SCIP version 1.00 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: CPLEX 11.11]
Copyright (c) 2002-2007 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)

reading user parameter file <scip.set>

read problem <bench/neos506428.mps>
============

original problem has 42981 variables (42981 bin, 0 int, 0 impl, 0 cont) and 129925 constraints

solve problem
=============

ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 
presolving:
(round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 129903 upgd conss, 1085182 impls, 95 clqs
(round 2) 53 del vars, 0 del conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 129903 upgd conss, 1388489 impls, 95 clqs
(round 3) 53 del vars, 66 del conss, 33 chg bounds, 0 chg sides, 0 chg coeffs, 129903 upgd conss, 1388489 impls, 95 clqs
presolving (4 rounds):
 53 deleted vars, 66 deleted constraints, 33 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
 1388489 implications, 95 cliques
presolved problem has 42928 variables (42928 bin, 0 int, 0 impl, 0 cont) and 129859 constraints
     95 constraints of type <setppc>
     22 constraints of type <linear>
 129742 constraints of type <logicor>
transformed objective value is always integral (scale: 1)
Presolving Time: 1061.04

 time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 1063s|     1 |     0 |   319 | 284M|   0 | 191 |  42k| 129k| 129k|  42k| 129k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1090s|     1 |     0 |   590 | 284M|   0 | 194 |  42k| 129k| 129k|  42k| 129k|   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1115s|     1 |     0 |   870 | 284M|   0 | 194 |  42k| 129k| 129k|  42k| 129k|  15 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1139s|     1 |     0 |  1178 | 284M|   0 | 193 |  42k| 129k| 129k|  42k| 129k|  22 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1163s|     1 |     0 |  1331 | 284M|   0 | 193 |  42k| 129k| 129k|  42k| 129k|  29 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1187s|     1 |     0 |  1544 | 284M|   0 | 196 |  42k| 129k| 129k|  42k| 129k|  34 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1211s|     1 |     0 |  1709 | 284M|   0 | 196 |  42k| 129k| 129k|  42k| 129k|  46 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
 1277s|     1 |     2 | 13516 | 285M|   0 | 196 |  42k| 129k| 129k|  42k| 129k|  46 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
R2202s|    42 |     0 | 77973 | 291M|  15 |   - |  42k| 129k|  56k|  42k| 129k|  46 |  51 | 159 | 0.000000e+00 | 0.000000e+00 |   0.00%

SCIP Status        : problem is solved [optimal solution found]
Solving Time (sec) : 2201.69
Solving Nodes      : 42
Primal Bound       : +0.00000000000000e+00 (1 solutions)
Dual Bound         : +0.00000000000000e+00
Gap                : 0.00 %

primal solution:
================

objective value:                                    0
x9                                                  1 	(obj:0)
x33                                                 1 	(obj:0)
x63                                                 1 	(obj:0)
x77                                                 1 	(obj:0)
x91                                                 1 	(obj:0)
x121                                                1 	(obj:0)
x134                                                1 	(obj:0)
x156                                                1 	(obj:0)
x179                                                1 	(obj:0)
x220                                                1 	(obj:0)
x231                                                1 	(obj:0)
x263                                                1 	(obj:0)
x277                                                1 	(obj:0)
x289                                                1 	(obj:0)
x327                                                1 	(obj:0)
x332                                                1 	(obj:0)
x354                                                1 	(obj:0)
x385                                                1 	(obj:0)
x407                                                1 	(obj:0)
x421                                                1 	(obj:0)
x462                                                1 	(obj:0)
x484                                                1 	(obj:0)
x506                                                1 	(obj:0)
x527                                                1 	(obj:0)
x550                                                1 	(obj:0)
x571                                                1 	(obj:0)
x585                                                1 	(obj:0)
x605                                                1 	(obj:0)
x619                                                1 	(obj:0)
x647                                                1 	(obj:0)
x673                                                1 	(obj:0)
x703                                                1 	(obj:0)
x726                                                1 	(obj:0)
x737                                                1 	(obj:0)
x759                                                1 	(obj:0)
x792                                                1 	(obj:0)
x803                                                1 	(obj:0)
x817                                                1 	(obj:0)
x855                                                1 	(obj:0)
x871                                                1 	(obj:0)
x901                                                1 	(obj:0)
x924                                                1 	(obj:0)
x937                                                1 	(obj:0)
x949                                                1 	(obj:0)
x981                                                1 	(obj:0)
x993                                                1 	(obj:0)
x1033                                               1 	(obj:0)
x1053                                               1 	(obj:0)
x1078                                               1 	(obj:0)
x1089                                               1 	(obj:0)
x1121                                               1 	(obj:0)
x1143                                               1 	(obj:0)
x1147                                               1 	(obj:0)
x1187                                               1 	(obj:0)
x1199                                               1 	(obj:0)
x1221                                               1 	(obj:0)
x1245                                               1 	(obj:0)
x1265                                               1 	(obj:0)
x1279                                               1 	(obj:0)
x1319                                               1 	(obj:0)
x1335                                               1 	(obj:0)
x1353                                               1 	(obj:0)
x1383                                               1 	(obj:0)
x1388                                               1 	(obj:0)
x1423                                               1 	(obj:0)
x1445                                               1 	(obj:0)
x1463                                               1 	(obj:0)
x1496                                               1 	(obj:0)
x1511                                               1 	(obj:0)
x1540                                               1 	(obj:0)
x1562                                               1 	(obj:0)
x1573                                               1 	(obj:0)
x1597                                               1 	(obj:0)
x1609                                               1 	(obj:0)
x1647                                               1 	(obj:0)
x1653                                               1 	(obj:0)
x1681                                               1 	(obj:0)
x1705                                               1 	(obj:0)
x1731                                               1 	(obj:0)
x1759                                               1 	(obj:0)
x1763                                               1 	(obj:0)
x1803                                               1 	(obj:0)
x1826                                               1 	(obj:0)
x1828                                               1 	(obj:0)
x1859                                               1 	(obj:0)
x1873                                               1 	(obj:0)
x1911                                               1 	(obj:0)
x1925                                               1 	(obj:0)
x1947                                               1 	(obj:0)
x1967                                               1 	(obj:0)
x1983                                               1 	(obj:0)
x2013                                               1 	(obj:0)
x2046                                               1 	(obj:0)
x2049                                               1 	(obj:0)
x2081                                               1 	(obj:0)
x2092                                               1 	(obj:0)
x2093                                               1 	(obj:0)
x2099                                               1 	(obj:0)
x2101                                               1 	(obj:0)
x2103                                               1 	(obj:0)
x2105                                               1 	(obj:0)
x2109                                               1 	(obj:0)
x2111                                               1 	(obj:0)
x2112                                               1 	(obj:0)
x3854                                               1 	(obj:0)
x3878                                               1 	(obj:0)
x3908                                               1 	(obj:0)
x3922                                               1 	(obj:0)
x3936                                               1 	(obj:0)
x3966                                               1 	(obj:0)
x3978                                               1 	(obj:0)
x3990                                               1 	(obj:0)
x3996                                               1 	(obj:0)
x4034                                               1 	(obj:0)
x4045                                               1 	(obj:0)
x4077                                               1 	(obj:0)
x4090                                               1 	(obj:0)
x4102                                               1 	(obj:0)
x4140                                               1 	(obj:0)
x4144                                               1 	(obj:0)
x4149                                               1 	(obj:0)
x4160                                               1 	(obj:0)
x4182                                               1 	(obj:0)
x4196                                               1 	(obj:0)
x4237                                               1 	(obj:0)
x4259                                               1 	(obj:0)
x4281                                               1 	(obj:0)
x4302                                               1 	(obj:0)
x4325                                               1 	(obj:0)
x4346                                               1 	(obj:0)
x4356                                               1 	(obj:0)
x4373                                               1 	(obj:0)
x4387                                               1 	(obj:0)
x4415                                               1 	(obj:0)
x4441                                               1 	(obj:0)
x4471                                               1 	(obj:0)
x4494                                               1 	(obj:0)
x4505                                               1 	(obj:0)
x4527                                               1 	(obj:0)
x4560                                               1 	(obj:0)
x4571                                               1 	(obj:0)
x4585                                               1 	(obj:0)
x4623                                               1 	(obj:0)
x4636                                               1 	(obj:0)
x4664                                               1 	(obj:0)
x4687                                               1 	(obj:0)
x4700                                               1 	(obj:0)
x4712                                               1 	(obj:0)
x4737                                               1 	(obj:0)
x4743                                               1 	(obj:0)
x4783                                               1 	(obj:0)
x4803                                               1 	(obj:0)
x4828                                               1 	(obj:0)
x4839                                               1 	(obj:0)
x4871                                               1 	(obj:0)
x4893                                               1 	(obj:0)
x4897                                               1 	(obj:0)
x4937                                               1 	(obj:0)
x4949                                               1 	(obj:0)
x4971                                               1 	(obj:0)
x4994                                               1 	(obj:0)
x5014                                               1 	(obj:0)
x5028                                               1 	(obj:0)
x5068                                               1 	(obj:0)
x5084                                               1 	(obj:0)
x5102                                               1 	(obj:0)
x5132                                               1 	(obj:0)
x5136                                               1 	(obj:0)
x5154                                               1 	(obj:0)
x5176                                               1 	(obj:0)
x5194                                               1 	(obj:0)
x5227                                               1 	(obj:0)
x5242                                               1 	(obj:0)
x5271                                               1 	(obj:0)
x5293                                               1 	(obj:0)
x5304                                               1 	(obj:0)
x5318                                               1 	(obj:0)
x5322                                               1 	(obj:0)
x5360                                               1 	(obj:0)
x5366                                               1 	(obj:0)
x5394                                               1 	(obj:0)
x5418                                               1 	(obj:0)
x5444                                               1 	(obj:0)
x5472                                               1 	(obj:0)
x5476                                               1 	(obj:0)
x5516                                               1 	(obj:0)
x5539                                               1 	(obj:0)
x5540                                               1 	(obj:0)
x5554                                               1 	(obj:0)
x5568                                               1 	(obj:0)
x5606                                               1 	(obj:0)
x5620                                               1 	(obj:0)
x5642                                               1 	(obj:0)
x5662                                               1 	(obj:0)
x5678                                               1 	(obj:0)
x5708                                               1 	(obj:0)
x5741                                               1 	(obj:0)
x5744                                               1 	(obj:0)
x5775                                               1 	(obj:0)
x5793                                               1 	(obj:0)
x5817                                               1 	(obj:0)
x5847                                               1 	(obj:0)
x5861                                               1 	(obj:0)
x5874                                               1 	(obj:0)
x5895                                               1 	(obj:0)
x5908                                               1 	(obj:0)
x5925                                               1 	(obj:0)
x5947                                               1 	(obj:0)
x5977                                               1 	(obj:0)
x5988                                               1 	(obj:0)
x6020                                               1 	(obj:0)
x6034                                               1 	(obj:0)
x6044                                               1 	(obj:0)
x6066                                               1 	(obj:0)
x6071                                               1 	(obj:0)
x6093                                               1 	(obj:0)
x6124                                               1 	(obj:0)
x6146                                               1 	(obj:0)
x6160                                               1 	(obj:0)
x6195                                               1 	(obj:0)
x6217                                               1 	(obj:0)
x6239                                               1 	(obj:0)
x6248                                               1 	(obj:0)
x6270                                               1 	(obj:0)
x6291                                               1 	(obj:0)
x6305                                               1 	(obj:0)
x6325                                               1 	(obj:0)
x6339                                               1 	(obj:0)
x6367                                               1 	(obj:0)
x6393                                               1 	(obj:0)
x6423                                               1 	(obj:0)
x6446                                               1 	(obj:0)
x6457                                               1 	(obj:0)
x6479                                               1 	(obj:0)
x6512                                               1 	(obj:0)
x6523                                               1 	(obj:0)
x6537                                               1 	(obj:0)
x6568                                               1 	(obj:0)
x6584                                               1 	(obj:0)
x6614                                               1 	(obj:0)
x6637                                               1 	(obj:0)
x6650                                               1 	(obj:0)
x6660                                               1 	(obj:0)
x6682                                               1 	(obj:0)
x6692                                               1 	(obj:0)
x6713                                               1 	(obj:0)
x6733                                               1 	(obj:0)
x6758                                               1 	(obj:0)
x6769                                               1 	(obj:0)
x6801                                               1 	(obj:0)
x6815                                               1 	(obj:0)
x6818                                               1 	(obj:0)
x6852                                               1 	(obj:0)
x6864                                               1 	(obj:0)
x6886                                               1 	(obj:0)
x6910                                               1 	(obj:0)
x6930                                               1 	(obj:0)
x6944                                               1 	(obj:0)
x6978                                               1 	(obj:0)
x6994                                               1 	(obj:0)
x7012                                               1 	(obj:0)
x7042                                               1 	(obj:0)
x7047                                               1 	(obj:0)
x7082                                               1 	(obj:0)
x7104                                               1 	(obj:0)
x7121                                               1 	(obj:0)
x7154                                               1 	(obj:0)
x7169                                               1 	(obj:0)
x7198                                               1 	(obj:0)
x7220                                               1 	(obj:0)
x7231                                               1 	(obj:0)
x7255                                               1 	(obj:0)
x7265                                               1 	(obj:0)
x7287                                               1 	(obj:0)
x7292                                               1 	(obj:0)
x7305                                               1 	(obj:0)
x7329                                               1 	(obj:0)
x7355                                               1 	(obj:0)
x7383                                               1 	(obj:0)
x7386                                               1 	(obj:0)
x7410                                               1 	(obj:0)
x7433                                               1 	(obj:0)
x7435                                               1 	(obj:0)
x7466                                               1 	(obj:0)
x7480                                               1 	(obj:0)
x7514                                               1 	(obj:0)
x7528                                               1 	(obj:0)
x7550                                               1 	(obj:0)
x7570                                               1 	(obj:0)
x7584                                               1 	(obj:0)
x7597                                               1 	(obj:0)
x7630                                               1 	(obj:0)
x7631                                               1 	(obj:0)
x7653                                               1 	(obj:0)
x17175                                              1 	(obj:0)
x17184                                              1 	(obj:0)
x17207                                              1 	(obj:0)
x17220                                              1 	(obj:0)
x17234                                              1 	(obj:0)
x17263                                              1 	(obj:0)
x17276                                              1 	(obj:0)
x17298                                              1 	(obj:0)
x17321                                              1 	(obj:0)
x17362                                              1 	(obj:0)
x17368                                              1 	(obj:0)
x17399                                              1 	(obj:0)
x17413                                              1 	(obj:0)
x17425                                              1 	(obj:0)
x17451                                              1 	(obj:0)
x17456                                              1 	(obj:0)
x17478                                              1 	(obj:0)
x17502                                              1 	(obj:0)
x17520                                              1 	(obj:0)
x17534                                              1 	(obj:0)
x17570                                              1 	(obj:0)
x17586                                              1 	(obj:0)
x17608                                              1 	(obj:0)
x17629                                              1 	(obj:0)
x17652                                              1 	(obj:0)
x17673                                              1 	(obj:0)
x17687                                              1 	(obj:0)
x17704                                              1 	(obj:0)
x17717                                              1 	(obj:0)
x17739                                              1 	(obj:0)
x17759                                              1 	(obj:0)
x17789                                              1 	(obj:0)
x17812                                              1 	(obj:0)
x17816                                              1 	(obj:0)
x17831                                              1 	(obj:0)
x17864                                              1 	(obj:0)
x17872                                              1 	(obj:0)
x17885                                              1 	(obj:0)
x17912                                              1 	(obj:0)
x17928                                              1 	(obj:0)
x17958                                              1 	(obj:0)
x17976                                              1 	(obj:0)
x17989                                              1 	(obj:0)
x18001                                              1 	(obj:0)
x18033                                              1 	(obj:0)
x18045                                              1 	(obj:0)
x18085                                              1 	(obj:0)
x18099                                              1 	(obj:0)
x18122                                              1 	(obj:0)
x18128                                              1 	(obj:0)
x18159                                              1 	(obj:0)
x18181                                              1 	(obj:0)
x18185                                              1 	(obj:0)
x18225                                              1 	(obj:0)
x18237                                              1 	(obj:0)
x18259                                              1 	(obj:0)
x18283                                              1 	(obj:0)
x18303                                              1 	(obj:0)
x18317                                              1 	(obj:0)
x18357                                              1 	(obj:0)
x18373                                              1 	(obj:0)
x18391                                              1 	(obj:0)
x18414                                              1 	(obj:0)
x18419                                              1 	(obj:0)
x18452                                              1 	(obj:0)
x18473                                              1 	(obj:0)
x18486                                              1 	(obj:0)
x18517                                              1 	(obj:0)
x18532                                              1 	(obj:0)
x18559                                              1 	(obj:0)
x18581                                              1 	(obj:0)
x18590                                              1 	(obj:0)
x18614                                              1 	(obj:0)
x18626                                              1 	(obj:0)
x18654                                              1 	(obj:0)
x18660                                              1 	(obj:0)
x18680                                              1 	(obj:0)
x18691                                              1 	(obj:0)
x18717                                              1 	(obj:0)
x18745                                              1 	(obj:0)
x18749                                              1 	(obj:0)
x18789                                              1 	(obj:0)
x18808                                              1 	(obj:0)
x18810                                              1 	(obj:0)
x18838                                              1 	(obj:0)
x18851                                              1 	(obj:0)
x18875                                              1 	(obj:0)
x18881                                              1 	(obj:0)
x18899                                              1 	(obj:0)
x18913                                              1 	(obj:0)
x18920                                              1 	(obj:0)
x18950                                              1 	(obj:0)
x18978                                              1 	(obj:0)
x18981                                              1 	(obj:0)
x19013                                              1 	(obj:0)
x20933                                              1 	(obj:0)
x20947                                              1 	(obj:0)
x20967                                              1 	(obj:0)
x20973                                              1 	(obj:0)
x20978                                              1 	(obj:0)
x21000                                              1 	(obj:0)
x21004                                              1 	(obj:0)
x21026                                              1 	(obj:0)
x21049                                              1 	(obj:0)
x21090                                              1 	(obj:0)
x21092                                              1 	(obj:0)
x21114                                              1 	(obj:0)
x21128                                              1 	(obj:0)
x21140                                              1 	(obj:0)
x21178                                              1 	(obj:0)
x21183                                              1 	(obj:0)
x21205                                              1 	(obj:0)
x21229                                              1 	(obj:0)
x21235                                              1 	(obj:0)
x21240                                              1 	(obj:0)
x21281                                              1 	(obj:0)
x21303                                              1 	(obj:0)
x21325                                              1 	(obj:0)
x21346                                              1 	(obj:0)
x21369                                              1 	(obj:0)
x21390                                              1 	(obj:0)
x21404                                              1 	(obj:0)
x21415                                              1 	(obj:0)
x21420                                              1 	(obj:0)
x21448                                              1 	(obj:0)
x21474                                              1 	(obj:0)
x21503                                              1 	(obj:0)
x21526                                              1 	(obj:0)
x21530                                              1 	(obj:0)
x21542                                              1 	(obj:0)
x21569                                              1 	(obj:0)
x21573                                              1 	(obj:0)
x21582                                              1 	(obj:0)
x21617                                              1 	(obj:0)
x21633                                              1 	(obj:0)
x21663                                              1 	(obj:0)
x21686                                              1 	(obj:0)
x21695                                              1 	(obj:0)
x21706                                              1 	(obj:0)
x21738                                              1 	(obj:0)
x21750                                              1 	(obj:0)
x21790                                              1 	(obj:0)
x21810                                              1 	(obj:0)
x21835                                              1 	(obj:0)
x21837                                              1 	(obj:0)
x21858                                              1 	(obj:0)
x21880                                              1 	(obj:0)
x21884                                              1 	(obj:0)
x21924                                              1 	(obj:0)
x21926                                              1 	(obj:0)
x21927                                              1 	(obj:0)
x21941                                              1 	(obj:0)
x21952                                              1 	(obj:0)
x21958                                              1 	(obj:0)
x21998                                              1 	(obj:0)
x22014                                              1 	(obj:0)
x22029                                              1 	(obj:0)
x22056                                              1 	(obj:0)
x22061                                              1 	(obj:0)
x22096                                              1 	(obj:0)
x22118                                              1 	(obj:0)
x22128                                              1 	(obj:0)
x22154                                              1 	(obj:0)
x22169                                              1 	(obj:0)
x22198                                              1 	(obj:0)
x22220                                              1 	(obj:0)
x22221                                              1 	(obj:0)
x22234                                              1 	(obj:0)
x22246                                              1 	(obj:0)
x22284                                              1 	(obj:0)
x22290                                              1 	(obj:0)
x22316                                              1 	(obj:0)
x22329                                              1 	(obj:0)
x22346                                              1 	(obj:0)
x22374                                              1 	(obj:0)
x22378                                              1 	(obj:0)
x22418                                              1 	(obj:0)
x22441                                              1 	(obj:0)
x22443                                              1 	(obj:0)
x22466                                              1 	(obj:0)
x22471                                              1 	(obj:0)
x22509                                              1 	(obj:0)
x22516                                              1 	(obj:0)
x22523                                              1 	(obj:0)
x22529                                              1 	(obj:0)
x22543                                              1 	(obj:0)
x22566                                              1 	(obj:0)
x22594                                              1 	(obj:0)
x22597                                              1 	(obj:0)
x22629                                              1 	(obj:0)
x24477                                              1 	(obj:0)
x24501                                              1 	(obj:0)
x24531                                              1 	(obj:0)
x24545                                              1 	(obj:0)
x24559                                              1 	(obj:0)
x24589                                              1 	(obj:0)
x24601                                              1 	(obj:0)
x24610                                              1 	(obj:0)
x24623                                              1 	(obj:0)
x24664                                              1 	(obj:0)
x24675                                              1 	(obj:0)
x24701                                              1 	(obj:0)
x24706                                              1 	(obj:0)
x24713                                              1 	(obj:0)
x24751                                              1 	(obj:0)
x24755                                              1 	(obj:0)
x24765                                              1 	(obj:0)
x24783                                              1 	(obj:0)
x24805                                              1 	(obj:0)
x24819                                              1 	(obj:0)
x24860                                              1 	(obj:0)
x24882                                              1 	(obj:0)
x24904                                              1 	(obj:0)
x24925                                              1 	(obj:0)
x24948                                              1 	(obj:0)
x24969                                              1 	(obj:0)
x24973                                              1 	(obj:0)
x24986                                              1 	(obj:0)
x25000                                              1 	(obj:0)
x25028                                              1 	(obj:0)
x25050                                              1 	(obj:0)
x25078                                              1 	(obj:0)
x25101                                              1 	(obj:0)
x25112                                              1 	(obj:0)
x25134                                              1 	(obj:0)
x25167                                              1 	(obj:0)
x25178                                              1 	(obj:0)
x25192                                              1 	(obj:0)
x25224                                              1 	(obj:0)
x25231                                              1 	(obj:0)
x25254                                              1 	(obj:0)
x25277                                              1 	(obj:0)
x25289                                              1 	(obj:0)
x25301                                              1 	(obj:0)
x25322                                              1 	(obj:0)
x25325                                              1 	(obj:0)
x25364                                              1 	(obj:0)
x25384                                              1 	(obj:0)
x25409                                              1 	(obj:0)
x25420                                              1 	(obj:0)
x25452                                              1 	(obj:0)
x25474                                              1 	(obj:0)
x25478                                              1 	(obj:0)
x25518                                              1 	(obj:0)
x25530                                              1 	(obj:0)
x25552                                              1 	(obj:0)
x25570                                              1 	(obj:0)
x25586                                              1 	(obj:0)
x25600                                              1 	(obj:0)
x25640                                              1 	(obj:0)
x25656                                              1 	(obj:0)
x25673                                              1 	(obj:0)
x25703                                              1 	(obj:0)
x25707                                              1 	(obj:0)
x25726                                              1 	(obj:0)
x25748                                              1 	(obj:0)
x25766                                              1 	(obj:0)
x25799                                              1 	(obj:0)
x25810                                              1 	(obj:0)
x25837                                              1 	(obj:0)
x25859                                              1 	(obj:0)
x25870                                              1 	(obj:0)
x25886                                              1 	(obj:0)
x25890                                              1 	(obj:0)
x25928                                              1 	(obj:0)
x25934                                              1 	(obj:0)
x25962                                              1 	(obj:0)
x25986                                              1 	(obj:0)
x26012                                              1 	(obj:0)
x26040                                              1 	(obj:0)
x26044                                              1 	(obj:0)
x26084                                              1 	(obj:0)
x26107                                              1 	(obj:0)
x26108                                              1 	(obj:0)
x26128                                              1 	(obj:0)
x26142                                              1 	(obj:0)
x26180                                              1 	(obj:0)
x26194                                              1 	(obj:0)
x26216                                              1 	(obj:0)
x26236                                              1 	(obj:0)
x26252                                              1 	(obj:0)
x26282                                              1 	(obj:0)
x26315                                              1 	(obj:0)
x26318                                              1 	(obj:0)
x26341                                              1 	(obj:0)
x28285                                              1 	(obj:0)
x28308                                              1 	(obj:0)
x28338                                              1 	(obj:0)
x28352                                              1 	(obj:0)
x28366                                              1 	(obj:0)
x28396                                              1 	(obj:0)
x28409                                              1 	(obj:0)
x28431                                              1 	(obj:0)
x28454                                              1 	(obj:0)
x28495                                              1 	(obj:0)
x28504                                              1 	(obj:0)
x28535                                              1 	(obj:0)
x28549                                              1 	(obj:0)
x28561                                              1 	(obj:0)
x28596                                              1 	(obj:0)
x28601                                              1 	(obj:0)
x28623                                              1 	(obj:0)
x28653                                              1 	(obj:0)
x28675                                              1 	(obj:0)
x28689                                              1 	(obj:0)
x28730                                              1 	(obj:0)
x28748                                              1 	(obj:0)
x28770                                              1 	(obj:0)
x28789                                              1 	(obj:0)
x28812                                              1 	(obj:0)
x28814                                              1 	(obj:0)
x28827                                              1 	(obj:0)
x28844                                              1 	(obj:0)
x28857                                              1 	(obj:0)
x28885                                              1 	(obj:0)
x28909                                              1 	(obj:0)
x28923                                              1 	(obj:0)
x28945                                              1 	(obj:0)
x28953                                              1 	(obj:0)
x28969                                              1 	(obj:0)
x28998                                              1 	(obj:0)
x29004                                              1 	(obj:0)
x29015                                              1 	(obj:0)
x29046                                              1 	(obj:0)
x29062                                              1 	(obj:0)
x29092                                              1 	(obj:0)
x29115                                              1 	(obj:0)
x29127                                              1 	(obj:0)
x29139                                              1 	(obj:0)
x29171                                              1 	(obj:0)
x29183                                              1 	(obj:0)
x29218                                              1 	(obj:0)
x29231                                              1 	(obj:0)
x29256                                              1 	(obj:0)
x29264                                              1 	(obj:0)
x29280                                              1 	(obj:0)
x29297                                              1 	(obj:0)
x29301                                              1 	(obj:0)
x29334                                              1 	(obj:0)
x29345                                              1 	(obj:0)
x29366                                              1 	(obj:0)
x29390                                              1 	(obj:0)
x29409                                              1 	(obj:0)
x29423                                              1 	(obj:0)
x29463                                              1 	(obj:0)
x29470                                              1 	(obj:0)
x29486                                              1 	(obj:0)
x29509                                              1 	(obj:0)
x29514                                              1 	(obj:0)
x29539                                              1 	(obj:0)
x29560                                              1 	(obj:0)
x29575                                              1 	(obj:0)
x29607                                              1 	(obj:0)
x29621                                              1 	(obj:0)
x29650                                              1 	(obj:0)
x29672                                              1 	(obj:0)
x29682                                              1 	(obj:0)
x29706                                              1 	(obj:0)
x29718                                              1 	(obj:0)
x29750                                              1 	(obj:0)
x29756                                              1 	(obj:0)
x29783                                              1 	(obj:0)
x29805                                              1 	(obj:0)
x29818                                              1 	(obj:0)
x29828                                              1 	(obj:0)
x29831                                              1 	(obj:0)
x29871                                              1 	(obj:0)
x29888                                              1 	(obj:0)
x29890                                              1 	(obj:0)
x29918                                              1 	(obj:0)
x29931                                              1 	(obj:0)
x29966                                              1 	(obj:0)
x29980                                              1 	(obj:0)
x29997                                              1 	(obj:0)
x30013                                              1 	(obj:0)
x30028                                              1 	(obj:0)
x30052                                              1 	(obj:0)
x30081                                              1 	(obj:0)
x30084                                              1 	(obj:0)
x30116                                              1 	(obj:0)
x35660                                              1 	(obj:0)
x35681                                              1 	(obj:0)
x35705                                              1 	(obj:0)
x35719                                              1 	(obj:0)
x35733                                              1 	(obj:0)
x35763                                              1 	(obj:0)
x35776                                              1 	(obj:0)
x35798                                              1 	(obj:0)
x35821                                              1 	(obj:0)
x35862                                              1 	(obj:0)
x35871                                              1 	(obj:0)
x35903                                              1 	(obj:0)
x35917                                              1 	(obj:0)
x35929                                              1 	(obj:0)
x35953                                              1 	(obj:0)
x35957                                              1 	(obj:0)
x35979                                              1 	(obj:0)
x36007                                              1 	(obj:0)
x36028                                              1 	(obj:0)
x36042                                              1 	(obj:0)
x36077                                              1 	(obj:0)
x36083                                              1 	(obj:0)
x36101                                              1 	(obj:0)
x36122                                              1 	(obj:0)
x36145                                              1 	(obj:0)
x36166                                              1 	(obj:0)
x36180                                              1 	(obj:0)
x36198                                              1 	(obj:0)
x36212                                              1 	(obj:0)
x36234                                              1 	(obj:0)
x36253                                              1 	(obj:0)
x36277                                              1 	(obj:0)
x36294                                              1 	(obj:0)
x36299                                              1 	(obj:0)
x36319                                              1 	(obj:0)
x36347                                              1 	(obj:0)
x36355                                              1 	(obj:0)
x36368                                              1 	(obj:0)
x36392                                              1 	(obj:0)
x36406                                              1 	(obj:0)
x36436                                              1 	(obj:0)
x36449                                              1 	(obj:0)
x36462                                              1 	(obj:0)
x36474                                              1 	(obj:0)
x36506                                              1 	(obj:0)
x36518                                              1 	(obj:0)
x36558                                              1 	(obj:0)
x36560                                              1 	(obj:0)
x36577                                              1 	(obj:0)
x36586                                              1 	(obj:0)
x36618                                              1 	(obj:0)
x36640                                              1 	(obj:0)
x36644                                              1 	(obj:0)
x36684                                              1 	(obj:0)
x36696                                              1 	(obj:0)
x36718                                              1 	(obj:0)
x36742                                              1 	(obj:0)
x36762                                              1 	(obj:0)
x36776                                              1 	(obj:0)
x36816                                              1 	(obj:0)
x36827                                              1 	(obj:0)
x36844                                              1 	(obj:0)
x36856                                              1 	(obj:0)
x36858                                              1 	(obj:0)
x36883                                              1 	(obj:0)
x36904                                              1 	(obj:0)
x36919                                              1 	(obj:0)
x36949                                              1 	(obj:0)
x36964                                              1 	(obj:0)
x36987                                              1 	(obj:0)
x37003                                              1 	(obj:0)
x37014                                              1 	(obj:0)
x37038                                              1 	(obj:0)
x37050                                              1 	(obj:0)
x37070                                              1 	(obj:0)
x37073                                              1 	(obj:0)
x37095                                              1 	(obj:0)
x37114                                              1 	(obj:0)
x37135                                              1 	(obj:0)
x37162                                              1 	(obj:0)
x37166                                              1 	(obj:0)
x37206                                              1 	(obj:0)
x37215                                              1 	(obj:0)
x37217                                              1 	(obj:0)
x37246                                              1 	(obj:0)
x37260                                              1 	(obj:0)
x37283                                              1 	(obj:0)
x37294                                              1 	(obj:0)
x37316                                              1 	(obj:0)
x37330                                              1 	(obj:0)
x37343                                              1 	(obj:0)
x37371                                              1 	(obj:0)
x37398                                              1 	(obj:0)
x37401                                              1 	(obj:0)
x37433                                              1 	(obj:0)
x39298                                              1 	(obj:0)
x39322                                              1 	(obj:0)
x39352                                              1 	(obj:0)
x39366                                              1 	(obj:0)
x39380                                              1 	(obj:0)
x39409                                              1 	(obj:0)
x39422                                              1 	(obj:0)
x39444                                              1 	(obj:0)
x39467                                              1 	(obj:0)
x39508                                              1 	(obj:0)
x39519                                              1 	(obj:0)
x39547                                              1 	(obj:0)
x39560                                              1 	(obj:0)
x39572                                              1 	(obj:0)
x39610                                              1 	(obj:0)
x39615                                              1 	(obj:0)
x39637                                              1 	(obj:0)
x39668                                              1 	(obj:0)
x39690                                              1 	(obj:0)
x39704                                              1 	(obj:0)
x39745                                              1 	(obj:0)
x39765                                              1 	(obj:0)
x39787                                              1 	(obj:0)
x39798                                              1 	(obj:0)
x39820                                              1 	(obj:0)
x39821                                              1 	(obj:0)
x39834                                              1 	(obj:0)
x39852                                              1 	(obj:0)
x39866                                              1 	(obj:0)
x39894                                              1 	(obj:0)
x39916                                              1 	(obj:0)
x39935                                              1 	(obj:0)
x39958                                              1 	(obj:0)
x39969                                              1 	(obj:0)
x39988                                              1 	(obj:0)
x40020                                              1 	(obj:0)
x40028                                              1 	(obj:0)
x40041                                              1 	(obj:0)
x40072                                              1 	(obj:0)
x40088                                              1 	(obj:0)
x40118                                              1 	(obj:0)
x40141                                              1 	(obj:0)
x40153                                              1 	(obj:0)
x40165                                              1 	(obj:0)
x40197                                              1 	(obj:0)
x40209                                              1 	(obj:0)
x40244                                              1 	(obj:0)
x40258                                              1 	(obj:0)
x40283                                              1 	(obj:0)
x40294                                              1 	(obj:0)
x40315                                              1 	(obj:0)
x40322                                              1 	(obj:0)
x40325                                              1 	(obj:0)
x40353                                              1 	(obj:0)
x40364                                              1 	(obj:0)
x40386                                              1 	(obj:0)
x40410                                              1 	(obj:0)
x40430                                              1 	(obj:0)
x40444                                              1 	(obj:0)
x40484                                              1 	(obj:0)
x40491                                              1 	(obj:0)
x40508                                              1 	(obj:0)
x40533                                              1 	(obj:0)
x40538                                              1 	(obj:0)
x40566                                              1 	(obj:0)
x40585                                              1 	(obj:0)
x40602                                              1 	(obj:0)
x40635                                              1 	(obj:0)
x40649                                              1 	(obj:0)
x40678                                              1 	(obj:0)
x40700                                              1 	(obj:0)
x40711                                              1 	(obj:0)
x40735                                              1 	(obj:0)
x40747                                              1 	(obj:0)
x40781                                              1 	(obj:0)
x40787                                              1 	(obj:0)
x40815                                              1 	(obj:0)
x40838                                              1 	(obj:0)
x40851                                              1 	(obj:0)
x40859                                              1 	(obj:0)
x40861                                              1 	(obj:0)
x40896                                              1 	(obj:0)
x40913                                              1 	(obj:0)
x40915                                              1 	(obj:0)
x40945                                              1 	(obj:0)
x40959                                              1 	(obj:0)
x40997                                              1 	(obj:0)
x41011                                              1 	(obj:0)
x41031                                              1 	(obj:0)
x41051                                              1 	(obj:0)
x41067                                              1 	(obj:0)
x41094                                              1 	(obj:0)
x41126                                              1 	(obj:0)
x41129                                              1 	(obj:0)
x41161                                              1 	(obj:0)
x41179                                              1 	(obj:0)
x41203                                              1 	(obj:0)
x41219                                              1 	(obj:0)
x41232                                              1 	(obj:0)
x41246                                              1 	(obj:0)
x41276                                              1 	(obj:0)
x41289                                              1 	(obj:0)
x41311                                              1 	(obj:0)
x41334                                              1 	(obj:0)
x41375                                              1 	(obj:0)
x41386                                              1 	(obj:0)
x41418                                              1 	(obj:0)
x41432                                              1 	(obj:0)
x41444                                              1 	(obj:0)
x41470                                              1 	(obj:0)
x41474                                              1 	(obj:0)
x41496                                              1 	(obj:0)
x41527                                              1 	(obj:0)
x41549                                              1 	(obj:0)
x41563                                              1 	(obj:0)
x41589                                              1 	(obj:0)
x41593                                              1 	(obj:0)
x41603                                              1 	(obj:0)
x41624                                              1 	(obj:0)
x41640                                              1 	(obj:0)
x41661                                              1 	(obj:0)
x41675                                              1 	(obj:0)
x41695                                              1 	(obj:0)
x41709                                              1 	(obj:0)
x41731                                              1 	(obj:0)
x41751                                              1 	(obj:0)
x41781                                              1 	(obj:0)
x41789                                              1 	(obj:0)
x41800                                              1 	(obj:0)
x41822                                              1 	(obj:0)
x41844                                              1 	(obj:0)
x41855                                              1 	(obj:0)
x41869                                              1 	(obj:0)
x41901                                              1 	(obj:0)
x41917                                              1 	(obj:0)
x41947                                              1 	(obj:0)
x41949                                              1 	(obj:0)
x41962                                              1 	(obj:0)
x41974                                              1 	(obj:0)
x42006                                              1 	(obj:0)
x42018                                              1 	(obj:0)
x42058                                              1 	(obj:0)
x42066                                              1 	(obj:0)
x42074                                              1 	(obj:0)
x42085                                              1 	(obj:0)
x42117                                              1 	(obj:0)
x42139                                              1 	(obj:0)
x42143                                              1 	(obj:0)
x42183                                              1 	(obj:0)
x42195                                              1 	(obj:0)
x42217                                              1 	(obj:0)
x42241                                              1 	(obj:0)
x42261                                              1 	(obj:0)
x42275                                              1 	(obj:0)
x42315                                              1 	(obj:0)
x42328                                              1 	(obj:0)
x42345                                              1 	(obj:0)
x42365                                              1 	(obj:0)
x42370                                              1 	(obj:0)
x42401                                              1 	(obj:0)
x42420                                              1 	(obj:0)
x42437                                              1 	(obj:0)
x42462                                              1 	(obj:0)
x42477                                              1 	(obj:0)
x42496                                              1 	(obj:0)
x42501                                              1 	(obj:0)
x42512                                              1 	(obj:0)
x42536                                              1 	(obj:0)
x42548                                              1 	(obj:0)
x42577                                              1 	(obj:0)
x42583                                              1 	(obj:0)
x42608                                              1 	(obj:0)
x42631                                              1 	(obj:0)
x42657                                              1 	(obj:0)
x42685                                              1 	(obj:0)
x42689                                              1 	(obj:0)
x42729                                              1 	(obj:0)
x42741                                              1 	(obj:0)
x42743                                              1 	(obj:0)
x42774                                              1 	(obj:0)
x42788                                              1 	(obj:0)
x42816                                              1 	(obj:0)
x42830                                              1 	(obj:0)
x42852                                              1 	(obj:0)
x42872                                              1 	(obj:0)
x42888                                              1 	(obj:0)
x42918                                              1 	(obj:0)
x42937                                              1 	(obj:0)
x42940                                              1 	(obj:0)
x42972                                              1 	(obj:0)

Statistics
==========

SCIP Status        : problem is solved [optimal solution found]
Solving Time       :    2201.69
Original Problem   :
  Problem name     : neos506428.lp
  Variables        : 42981 (42981 binary, 0 integer, 0 implicit integer, 0 continuous)
  Constraints      : 129925 initial, 129925 maximal
Presolved Problem  :
  Problem name     : t_neos506428.lp
  Variables        : 42928 (42928 binary, 0 integer, 0 implicit integer, 0 continuous)
  Constraints      : 129859 initial, 129910 maximal
Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
  trivial          :       0.01          0          0          0          0          0          0          0          0
  inttobinary      :       0.00          0          0          0          0          0          0          0          0
  dualfix          :       0.01          0          0          0          0          0          0          0          0
  implics          :       0.04          0          0          0          0          0          0          0          0
  probing          :       1.06         33         20          0         33          0          0          0          0
  setppc           :       0.00          0          0          0          0          0          0          0          0
  linear           :    1059.62          0          0          0          0          0          0          0          0
  logicor          :       0.12          0          0          0          0          0         66          0          0
  root node        :          -          0          -          -          0          -          -          -          -
Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
  integral         :          0          0          0         41          0          0          0          0          0         82
  setppc           :         95          6        859          0          0          2        555          0          0          0
  linear           :         22          6        857          0          0          1        511          0          0          0
  logicor          :     129742+         6        802          0          0          0     171344          0          0          0
Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
  integral         :     569.41       0.00       0.00     569.41       0.00
  setppc           :       0.00       0.00       0.00       0.00       0.00
  linear           :       0.13       0.00       0.13       0.00       0.00
  logicor          :       0.67       0.11       0.56       0.00       0.00
Propagators        :       Time      Calls    Cutoffs    DomReds
  rootredcost      :       0.00          0          0          0
  pseudoobj        :       0.00        791          0          0
Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
  propagation      :       0.00          3          3         97      232.8          0        0.0          -
  infeasible LP    :       0.12          3          3         97      938.1          0        0.0          0
  bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
  strong branching :       0.00          0          0          0        0.0          0        0.0          0
  pseudo solution  :       0.01          1          1          1        0.0          0        0.0          -
  applied globally :          -          -          -         51      558.4          -          -          -
  applied locally  :          -          -          -          0        0.0          -          -          -
Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
  cut pool         :       0.00          5          -          -          3          -    (maximal pool size: 70)
  redcost          :       0.14         46          0          0          0          0
  impliedbounds    :       0.02          6          0          0          0          0
  intobj           :       0.00          0          0          0          0          0
  gomory           :      16.57          6          0          0       3000          0
  strongcg         :      17.81          6          0          0       3000          0
  cmir             :      52.33          6          0          0          0          0
  flowcover        :      52.59          6          0          0          0          0
  clique           :       1.78          6          0          0         46          0
Pricers            :       Time      Calls       Vars
  problem variables:       0.00          0          0
Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
  relpscost        :     569.41         41          0          0          0          0         82
  pscost           :       0.00          0          0          0          0          0          0
  inference        :       0.00          0          0          0          0          0          0
  mostinf          :       0.00          0          0          0          0          0          0
  leastinf         :       0.00          0          0          0          0          0          0
  fullstrong       :       0.00          0          0          0          0          0          0
  allfullstrong    :       0.00          0          0          0          0          0          0
  random           :       0.00          0          0          0          0          0          0
Primal Heuristics  :       Time      Calls      Found
  LP solutions     :       0.00          -          0
  pseudo solutions :       0.00          -          0
  oneopt           :       0.00          0          0
  fracdiving       :       0.00          0          0
  veclendiving     :       0.00          0          0
  objpscostdiving  :       0.00          0          0
  rootsoldiving    :       0.00          0          0
  linesearchdiving :       0.00          0          0
  guideddiving     :       0.00          0          0
  crossover        :       0.00          0          0
  intshifting      :       0.00          0          0
  coefdiving       :      43.17          1          0
  pscostdiving     :      25.43          1          0
  simplerounding   :       0.00          0          0
  rounding         :       0.77         48          1
  shifting         :       0.25         10          0
  fixandinfer      :       0.00          0          0
  feaspump         :      26.41          1          0
  intdiving        :       0.00          0          0
  actconsdiving    :       0.00          0          0
  octane           :       0.00          0          0
  rins             :       0.00          0          0
  localbranching   :       0.00          0          0
  mutation         :       0.00          0          0
  rens             :       0.77          1          0
LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
  primal LP        :       0.29          0          0       0.00       0.00
  dual LP          :     330.39         48      53072    1105.67     160.63
  barrier LP       :       0.00          0          0       0.00          -
  diving/probing LP:      88.98        244      24901     102.05     279.85
  strong branching :     569.38        159     140486     883.56     246.74
    (at root node) :          -         18       8334     463.00          -
  conflict analysis:       0.00          0          0       0.00          -
B&B Tree           :
  number of runs   :          1
  nodes            :         42
  nodes (total)    :         42
  nodes left       :          0
  max depth        :         15
  max depth (total):         15
  backtracks       :          2 (4.8%)
  delayed cutoffs  :          0
  repropagations   :          0 (0 domain reductions, 0 cutoffs)
  avg switch length:       2.00
  switching time   :       0.41
Solution           :
  Solutions found  :          1 (1 improvements)
  Primal Bound     : +0.00000000000000e+00   (in run 1, after 42 nodes, 2201.57 seconds, depth 15, found by <rounding>)
  Dual Bound       : +0.00000000000000e+00
  Gap              :       0.00 %
  Root Dual Bound  : +0.00000000000000e+00
2203.67user 981.02system 53:04.50elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+192outputs (0major+1907531minor)pagefaults 0swaps