Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: SCIP spx E_2 2011-06-10 (fixed) | SAT | -31 | 1797.08 | 1797.39 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb |
| MD5SUM | 2cdec46d3e8e924c4987d217b8438ed8 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -31 |
| Best CPU time to get the best result obtained on this benchmark | 1796.94 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -31 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 43 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 6204 |
| Sum of products size (including duplicates) | 12408 |
| Number of different products | 3102 |
| Sum of products size | 6204 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3737241-1338725626.opb>
0.00/0.02 c original problem has 3302 variables (3302 bin, 0 int, 0 impl, 0 cont) and 3502 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.02/0.03 o 0
0.02/0.03 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.02/0.03 c presolving:
0.02/0.07 c (round 1) 3102 del vars, 400 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12408 impls, 0 clqs
0.02/0.07 c (round 2) 3102 del vars, 400 del conss, 0 add conss, 3102 chg bounds, 0 chg sides, 0 chg coeffs, 3102 upgd conss, 12408 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 3102 deleted vars, 400 deleted constraints, 0 added constraints, 3102 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.10 c 18610 implications, 0 cliques
0.09/0.10 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 3102 constraints
0.09/0.10 c 3102 constraints of type <setppc>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.07
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 2.0.1.5
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1797
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 13950
0.09/0.10 c
0.09/0.10 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.10 c # [type: int, range: [1,2], default: 1]
0.09/0.10 c timing/clocktype = 2
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/indicator/addCouplingCons = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.09/0.12 o -1
0.09/0.12 c R 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.09/0.12 o -2
0.09/0.12 c s 0.1s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.19 o -19
0.09/0.19 c y 0.2s| 1 | 0 | 206 | - | 10M| 0 | 200 | 200 |3102 | 200 |3102 | 0 | 0 | 0 |-1.000000e+02 |-1.900000e+01 | 81.00%
0.19/0.22 c 0.2s| 1 | 0 | 317 | - | 10M| 0 | 191 | 200 |3102 | 200 |3107 | 5 | 0 | 0 |-9.550000e+01 |-1.900000e+01 | 80.10%
0.19/0.29 c 0.3s| 1 | 0 | 522 | - | 10M| 0 | 180 | 200 |3102 | 200 |3118 | 16 | 0 | 0 |-9.000000e+01 |-1.900000e+01 | 78.89%
0.28/0.34 c 0.3s| 1 | 0 | 582 | - | 10M| 0 | 174 | 200 |3102 | 200 |3127 | 25 | 0 | 0 |-8.700000e+01 |-1.900000e+01 | 78.16%
0.39/0.42 c 0.4s| 1 | 0 | 702 | - | 10M| 0 | 168 | 200 |3102 | 200 |3140 | 38 | 0 | 0 |-8.400000e+01 |-1.900000e+01 | 77.38%
0.49/0.54 c 0.5s| 1 | 0 | 986 | - | 10M| 0 | 163 | 200 |3102 | 200 |3146 | 44 | 0 | 0 |-8.150000e+01 |-1.900000e+01 | 76.69%
0.49/0.59 c 0.6s| 1 | 0 | 1050 | - | 10M| 0 | 159 | 200 |3102 | 200 |3152 | 50 | 0 | 0 |-7.950000e+01 |-1.900000e+01 | 76.10%
0.59/0.67 c 0.7s| 1 | 0 | 1240 | - | 10M| 0 | 159 | 200 |3102 | 200 |3160 | 58 | 0 | 0 |-7.825000e+01 |-1.900000e+01 | 75.72%
0.68/0.74 c 0.7s| 1 | 0 | 1334 | - | 10M| 0 | 162 | 200 |3102 | 200 |3165 | 63 | 0 | 0 |-7.713333e+01 |-1.900000e+01 | 75.37%
0.79/0.86 c 0.9s| 1 | 0 | 1721 | - | 10M| 0 | 154 | 200 |3102 | 200 |3177 | 75 | 0 | 0 |-7.533333e+01 |-1.900000e+01 | 74.78%
0.89/0.95 c 0.9s| 1 | 0 | 1971 | - | 11M| 0 | 153 | 200 |3102 | 200 |3185 | 83 | 0 | 0 |-7.350000e+01 |-1.900000e+01 | 74.15%
1.00/1.00 c 1.0s| 1 | 0 | 2101 | - | 11M| 0 | 149 | 200 |3102 | 200 | 484 | 93 | 0 | 0 |-7.150000e+01 |-1.900000e+01 | 73.43%
1.00/1.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.03 c 1.0s| 1 | 0 | 2250 | - | 11M| 0 | 147 | 200 |3102 | 200 | 494 | 103 | 0 | 0 |-6.950000e+01 |-1.900000e+01 | 72.66%
1.00/1.07 c 1.1s| 1 | 0 | 2456 | - | 11M| 0 | 163 | 200 |3102 | 200 | 569 | 178 | 0 | 0 |-6.722222e+01 |-1.900000e+01 | 71.74%
1.09/1.13 c 1.1s| 1 | 0 | 2696 | - | 11M| 0 | 147 | 200 |3102 | 200 | 860 | 469 | 0 | 0 |-6.571429e+01 |-1.900000e+01 | 71.09%
1.19/1.20 c 1.2s| 1 | 0 | 3098 | - | 11M| 0 | 160 | 200 |3102 | 200 | 877 | 486 | 0 | 0 |-6.410000e+01 |-1.900000e+01 | 70.36%
1.19/1.29 c 1.3s| 1 | 0 | 3468 | - | 12M| 0 | 123 | 200 |3102 | 200 |1068 | 677 | 0 | 0 |-6.250000e+01 |-1.900000e+01 | 69.60%
1.29/1.33 c 1.3s| 1 | 0 | 3720 | - | 12M| 0 | 123 | 200 |3102 | 200 | 897 | 694 | 0 | 0 |-6.150000e+01 |-1.900000e+01 | 69.11%
1.29/1.37 c 1.4s| 1 | 0 | 3844 | - | 12M| 0 | 149 | 200 |3102 | 200 | 905 | 702 | 0 | 0 |-6.100000e+01 |-1.900000e+01 | 68.85%
1.39/1.48 c 1.5s| 1 | 0 | 4789 | - | 13M| 0 | 148 | 200 |3102 | 200 | 946 | 743 | 0 | 0 |-6.033333e+01 |-1.900000e+01 | 68.51%
1.49/1.54 c 1.5s| 1 | 0 | 5338 | - | 13M| 0 | 164 | 200 |3102 | 200 |1014 | 811 | 0 | 0 |-5.960000e+01 |-1.900000e+01 | 68.12%
1.59/1.63 c 1.6s| 1 | 0 | 6204 | - | 13M| 0 | 158 | 200 |3102 | 200 |1064 | 861 | 0 | 0 |-5.871644e+01 |-1.900000e+01 | 67.64%
1.69/1.74 c 1.7s| 1 | 0 | 6697 | - | 13M| 0 | 162 | 200 |3102 | 200 |1169 | 966 | 0 | 0 |-5.745455e+01 |-1.900000e+01 | 66.93%
1.79/1.84 c 1.8s| 1 | 0 | 7123 | - | 14M| 0 | 160 | 200 |3102 | 200 | 997 |1015 | 0 | 0 |-5.669492e+01 |-1.900000e+01 | 66.49%
1.89/1.90 c 1.9s| 1 | 0 | 7380 | - | 14M| 0 | 155 | 200 |3102 | 200 |1025 |1043 | 0 | 0 |-5.625000e+01 |-1.900000e+01 | 66.22%
1.89/1.96 c 2.0s| 1 | 0 | 7739 | - | 15M| 0 | 169 | 200 |3102 | 200 |1040 |1058 | 0 | 0 |-5.593050e+01 |-1.900000e+01 | 66.03%
1.99/2.04 c 2.0s| 1 | 0 | 7985 | - | 15M| 0 | 172 | 200 |3102 | 200 |1071 |1089 | 0 | 0 |-5.563387e+01 |-1.900000e+01 | 65.85%
2.09/2.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.09/2.13 c 2.1s| 1 | 0 | 8383 | - | 16M| 0 | 173 | 200 |3102 | 200 |1099 |1117 | 0 | 0 |-5.511965e+01 |-1.900000e+01 | 65.53%
2.19/2.26 c 2.3s| 1 | 0 | 8993 | - | 17M| 0 | 180 | 200 |3102 | 200 |1115 |1133 | 0 | 0 |-5.440639e+01 |-1.900000e+01 | 65.08%
2.28/2.37 c 2.4s| 1 | 0 | 9488 | - | 17M| 0 | 182 | 200 |3102 | 200 | 651 |1153 | 0 | 0 |-5.380655e+01 |-1.900000e+01 | 64.69%
2.39/2.42 c 2.4s| 1 | 0 | 9683 | - | 17M| 0 | 181 | 200 |3102 | 200 | 670 |1172 | 0 | 0 |-5.347581e+01 |-1.900000e+01 | 64.47%
2.39/2.48 c 2.5s| 1 | 0 | 9848 | - | 17M| 0 | 182 | 200 |3102 | 200 | 691 |1193 | 0 | 0 |-5.322569e+01 |-1.900000e+01 | 64.30%
2.49/2.54 c 2.5s| 1 | 0 | 10157 | - | 17M| 0 | 180 | 200 |3102 | 200 | 714 |1216 | 0 | 0 |-5.262512e+01 |-1.900000e+01 | 63.90%
2.59/2.60 c 2.6s| 1 | 0 | 10383 | - | 17M| 0 | 179 | 200 |3102 | 200 | 735 |1237 | 0 | 0 |-5.225915e+01 |-1.900000e+01 | 63.64%
2.59/2.67 c 2.7s| 1 | 0 | 10670 | - | 17M| 0 | 183 | 200 |3102 | 200 | 745 |1247 | 0 | 0 |-5.190093e+01 |-1.900000e+01 | 63.39%
2.69/2.74 c 2.7s| 1 | 0 | 10925 | - | 17M| 0 | 186 | 200 |3102 | 200 | 490 |1270 | 0 | 0 |-5.159149e+01 |-1.900000e+01 | 63.17%
2.69/2.78 c 2.8s| 1 | 0 | 11020 | - | 17M| 0 | 190 | 200 |3102 | 200 | 502 |1282 | 0 | 0 |-5.146154e+01 |-1.900000e+01 | 63.08%
2.79/2.82 c 2.8s| 1 | 0 | 11136 | - | 17M| 0 | 187 | 200 |3102 | 200 | 510 |1290 | 0 | 0 |-5.130132e+01 |-1.900000e+01 | 62.96%
2.79/2.87 c 2.9s| 1 | 0 | 11456 | - | 17M| 0 | 191 | 200 |3102 | 200 | 532 |1312 | 0 | 0 |-5.099710e+01 |-1.900000e+01 | 62.74%
2.89/2.92 c 2.9s| 1 | 0 | 11621 | - | 17M| 0 | 189 | 200 |3102 | 200 | 545 |1325 | 0 | 0 |-5.077418e+01 |-1.900000e+01 | 62.58%
2.89/2.97 c 3.0s| 1 | 0 | 11762 | - | 17M| 0 | 192 | 200 |3102 | 200 | 553 |1333 | 0 | 0 |-5.067019e+01 |-1.900000e+01 | 62.50%
2.99/3.01 c 3.0s| 1 | 0 | 11873 | - | 17M| 0 | 194 | 200 |3102 | 200 | 432 |1343 | 0 | 0 |-5.055319e+01 |-1.900000e+01 | 62.42%
2.99/3.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.05 c 3.1s| 1 | 0 | 12030 | - | 17M| 0 | 193 | 200 |3102 | 200 | 444 |1355 | 0 | 0 |-5.036074e+01 |-1.900000e+01 | 62.27%
2.99/3.09 c 3.1s| 1 | 0 | 12118 | - | 17M| 0 | 194 | 200 |3102 | 200 | 458 |1369 | 0 | 0 |-5.024503e+01 |-1.900000e+01 | 62.19%
3.09/3.13 c 3.1s| 1 | 0 | 12185 | - | 17M| 0 | 198 | 200 |3102 | 200 | 464 |1375 | 0 | 0 |-5.016920e+01 |-1.900000e+01 | 62.13%
3.09/3.17 c 3.2s| 1 | 0 | 12246 | - | 17M| 0 | 196 | 200 |3102 | 200 | 472 |1383 | 0 | 0 |-5.007681e+01 |-1.900000e+01 | 62.06%
3.19/3.21 c 3.2s| 1 | 0 | 12341 | - | 17M| 0 | 197 | 200 |3102 | 200 | 482 |1393 | 0 | 0 |-5.001726e+01 |-1.900000e+01 | 62.01%
3.19/3.25 c 3.3s| 1 | 0 | 12447 | - | 17M| 0 | 196 | 200 |3102 | 200 | 416 |1401 | 0 | 0 |-4.993332e+01 |-1.900000e+01 | 61.95%
3.19/3.30 c 3.3s| 1 | 0 | 12622 | - | 17M| 0 | 198 | 200 |3102 | 200 | 429 |1414 | 0 | 0 |-4.984512e+01 |-1.900000e+01 | 61.88%
3.29/3.33 c 3.3s| 1 | 0 | 12741 | - | 17M| 0 | 197 | 200 |3102 | 200 | 439 |1424 | 0 | 0 |-4.965693e+01 |-1.900000e+01 | 61.74%
3.29/3.38 c 3.4s| 1 | 0 | 12911 | - | 17M| 0 | 198 | 200 |3102 | 200 | 449 |1434 | 0 | 0 |-4.948977e+01 |-1.900000e+01 | 61.61%
3.39/3.42 c 3.4s| 1 | 0 | 13031 | - | 17M| 0 | 199 | 200 |3102 | 200 | 461 |1446 | 0 | 0 |-4.932855e+01 |-1.900000e+01 | 61.48%
3.39/3.46 c 3.5s| 1 | 0 | 13104 | - | 17M| 0 | 199 | 200 |3102 | 200 | 471 |1456 | 0 | 0 |-4.926214e+01 |-1.900000e+01 | 61.43%
3.49/3.50 c 3.5s| 1 | 0 | 13191 | - | 17M| 0 | 199 | 200 |3102 | 200 | 421 |1465 | 0 | 0 |-4.916925e+01 |-1.900000e+01 | 61.36%
3.49/3.54 c 3.5s| 1 | 0 | 13307 | - | 17M| 0 | 199 | 200 |3102 | 200 | 431 |1475 | 0 | 0 |-4.906189e+01 |-1.900000e+01 | 61.27%
3.49/3.58 c 3.6s| 1 | 0 | 13430 | - | 17M| 0 | 200 | 200 |3102 | 200 | 441 |1485 | 0 | 0 |-4.897384e+01 |-1.900000e+01 | 61.20%
3.59/3.62 c 3.6s| 1 | 0 | 13525 | - | 17M| 0 | 199 | 200 |3102 | 200 | 449 |1493 | 0 | 0 |-4.890134e+01 |-1.900000e+01 | 61.15%
3.59/3.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.67 c 3.7s| 1 | 0 | 13670 | - | 17M| 0 | 200 | 200 |3102 | 200 | 458 |1502 | 0 | 0 |-4.880682e+01 |-1.900000e+01 | 61.07%
3.69/3.71 c 3.7s| 1 | 0 | 13840 | - | 17M| 0 | 199 | 200 |3102 | 200 | 469 |1513 | 0 | 0 |-4.873755e+01 |-1.900000e+01 | 61.02%
3.69/3.75 c 3.8s| 1 | 0 | 13917 | - | 17M| 0 | 200 | 200 |3102 | 200 | 434 |1522 | 0 | 0 |-4.871006e+01 |-1.900000e+01 | 60.99%
3.69/3.79 c 3.8s| 1 | 0 | 13987 | - | 17M| 0 | 199 | 200 |3102 | 200 | 441 |1529 | 0 | 0 |-4.868244e+01 |-1.900000e+01 | 60.97%
3.79/3.83 c 3.8s| 1 | 0 | 14054 | - | 17M| 0 | 199 | 200 |3102 | 200 | 448 |1536 | 0 | 0 |-4.864927e+01 |-1.900000e+01 | 60.94%
3.79/3.87 c 3.9s| 1 | 0 | 14078 | - | 17M| 0 | 199 | 200 |3102 | 200 | 456 |1544 | 0 | 0 |-4.864543e+01 |-1.900000e+01 | 60.94%
3.89/3.90 c 3.9s| 1 | 0 | 14092 | - | 17M| 0 | 199 | 200 |3102 | 200 | 463 |1551 | 0 | 0 |-4.864382e+01 |-1.900000e+01 | 60.94%
3.89/3.94 c 3.9s| 1 | 0 | 14123 | - | 17M| 0 | 199 | 200 |3102 | 200 | 471 |1559 | 0 | 0 |-4.863949e+01 |-1.900000e+01 | 60.94%
3.89/3.97 c 4.0s| 1 | 0 | 14153 | - | 17M| 0 | 200 | 200 |3102 | 200 | 417 |1565 | 0 | 0 |-4.863545e+01 |-1.900000e+01 | 60.93%
3.99/4.01 c 4.0s| 1 | 0 | 14158 | - | 17M| 0 | 200 | 200 |3102 | 200 | 419 |1567 | 0 | 0 |-4.863523e+01 |-1.900000e+01 | 60.93%
4.68/4.77 c 4.8s| 1 | 2 | 14158 | - | 17M| 0 | 200 | 200 |3102 | 200 | 419 |1567 | 0 | 17 |-4.863523e+01 |-1.900000e+01 | 60.93%
6.09/6.12 o -20
6.09/6.12 c z 6.1s| 35 | 36 | 17597 | 101.1 | 17M| 13 | 14 | 200 |3102 | 200 | 254 |1807 | 0 | 641 |-4.843863e+01 |-2.000000e+01 | 58.71%
6.09/6.13 o -22
6.09/6.13 c * 6.1s| 36 | 32 | 17606 | 98.5 | 17M| 14 | - | 200 |3102 | 200 | 251 |1811 | 0 | 650 |-4.843863e+01 |-2.200000e+01 | 54.58%
6.49/6.54 o -23
6.49/6.54 c R 6.5s| 62 | 45 | 18878 | 77.4 | 17M| 15 | 5 | 200 |3102 | 200 | 224 |1932 | 0 | 913 |-4.843123e+01 |-2.300000e+01 | 52.51%
6.49/6.54 o -24
6.49/6.54 c z 6.5s| 62 | 44 | 18878 | 77.4 | 17M| 15 | - | 200 |3102 | 200 | 224 |1932 | 0 | 913 |-4.843123e+01 |-2.400000e+01 | 50.45%
6.99/7.06 o -25
6.99/7.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.06 c * 7.1s| 165 | 87 | 21894 | 47.2 | 17M| 15 | - | 200 |3102 | 200 | 235 |2872 | 0 |1372 |-4.843123e+01 |-2.500000e+01 | 48.38%
7.09/7.10 o -26
7.09/7.10 c * 7.1s| 185 | 91 | 22452 | 45.1 | 17M| 15 | - | 200 |3102 | 200 | 235 |3043 | 0 |1385 |-4.843123e+01 |-2.600000e+01 | 46.32%
18.09/18.18 o -27
18.09/18.18 c *18.2s| 9720 | 4528 |300678 | 29.5 | 30M| 51 | - | 200 |3102 | 200 | 252 | 108k| 0 |1524 |-4.538976e+01 |-2.700000e+01 | 40.52%
18.38/18.42 c 18.4s| 10000 | 4616 |306504 | 29.2 | 30M| 51 | - | 200 |3102 | 200 | 231 | 111k| 0 |1524 |-4.536471e+01 |-2.700000e+01 | 40.48%
26.49/26.53 o -28
26.49/26.53 c *26.5s| 19893 | 6604 |512535 | 25.1 | 37M| 57 | - | 200 |3102 | 200 | 222 | 214k| 0 |2014 |-4.472997e+01 |-2.800000e+01 | 37.40%
26.59/26.60 c 26.6s| 20000 | 6635 |514495 | 25.0 | 37M| 57 | - | 200 |3102 | 200 | 219 | 215k| 0 |2014 |-4.472833e+01 |-2.800000e+01 | 37.40%
33.99/34.08 c 34.1s| 30000 | 9209 |705100 | 23.0 | 44M| 63 | - | 200 |3102 | 200 | 215 | 318k| 0 |2489 |-4.433777e+01 |-2.800000e+01 | 36.85%
40.78/40.89 c 40.9s| 40000 | 11447 |880671 | 21.7 | 51M| 65 | 14 | 200 |3102 | 200 | 229 | 417k| 0 |2867 |-4.408768e+01 |-2.800000e+01 | 36.49%
47.78/47.81 c 47.8s| 50000 | 13707 | 1062k| 21.0 | 58M| 65 | 12 | 200 |3102 | 200 | 220 | 516k| 0 |3224 |-4.386011e+01 |-2.800000e+01 | 36.16%
54.38/54.40 c 54.4s| 60000 | 15685 | 1235k| 20.3 | 64M| 65 | - | 200 |3102 | 200 | 209 | 612k| 0 |3514 |-4.365000e+01 |-2.800000e+01 | 35.85%
60.77/60.88 c 60.9s| 70000 | 17725 | 1406k| 19.9 | 70M| 65 | 28 | 200 |3102 | 200 | 225 | 710k| 0 |3851 |-4.348571e+01 |-2.800000e+01 | 35.61%
67.18/67.20 c 67.2s| 80000 | 19671 | 1574k| 19.5 | 76M| 67 | - | 200 |3102 | 200 | 227 | 805k| 0 |4154 |-4.331910e+01 |-2.800000e+01 | 35.36%
73.46/73.50 c 73.5s| 90000 | 21633 | 1743k| 19.2 | 82M| 67 | 20 | 200 |3102 | 200 | 211 | 900k| 0 |4421 |-4.314570e+01 |-2.800000e+01 | 35.10%
79.76/79.81 c 79.8s|100000 | 23515 | 1913k| 19.0 | 89M| 72 | - | 200 |3102 | 200 | 224 | 994k| 0 |4684 |-4.293509e+01 |-2.800000e+01 | 34.79%
85.67/85.74 c 85.7s|110000 | 25131 | 2072k| 18.7 | 94M| 73 | 35 | 200 |3102 | 200 | 200 |1085k| 0 |4876 |-4.280000e+01 |-2.800000e+01 | 34.58%
91.76/91.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.76/91.89 c 91.9s|120000 | 26933 | 2238k| 18.5 | 100M| 75 | - | 200 |3102 | 200 | 235 |1178k| 0 |5149 |-4.266332e+01 |-2.800000e+01 | 34.37%
98.05/98.15 c 98.2s|130000 | 28729 | 2407k| 18.4 | 105M| 75 | - | 200 |3102 | 200 | 211 |1269k| 0 |5362 |-4.251613e+01 |-2.800000e+01 | 34.14%
104.16/104.21 c 104s|140000 | 30495 | 2570k| 18.3 | 111M| 75 | - | 200 |3102 | 200 | 233 |1360k| 0 |5606 |-4.241611e+01 |-2.800000e+01 | 33.99%
109.96/110.03 c 110s|150000 | 32045 | 2726k| 18.1 | 116M| 76 | 14 | 200 |3102 | 200 | 212 |1452k| 0 |5800 |-4.231579e+01 |-2.800000e+01 | 33.83%
115.86/115.96 c 116s|160000 | 33859 | 2886k| 18.0 | 121M| 76 | - | 200 |3102 | 200 | 229 |1542k| 0 |5981 |-4.221053e+01 |-2.800000e+01 | 33.67%
121.65/121.75 c 122s|170000 | 35605 | 3042k| 17.8 | 127M| 76 | - | 200 |3102 | 200 | 213 |1632k| 0 |6155 |-4.209750e+01 |-2.800000e+01 | 33.49%
127.45/127.56 c 128s|180000 | 37213 | 3198k| 17.7 | 132M| 76 | - | 200 |3102 | 200 | 214 |1721k| 0 |6383 |-4.200000e+01 |-2.800000e+01 | 33.33%
133.14/133.28 c 133s|190000 | 38763 | 3352k| 17.6 | 137M| 80 | 20 | 200 |3102 | 200 | 200 |1811k| 0 |6548 |-4.195283e+01 |-2.800000e+01 | 33.26%
138.94/139.06 c 139s|200000 | 40273 | 3507k| 17.5 | 142M| 80 | - | 200 |3102 | 200 | 222 |1900k| 0 |6739 |-4.186364e+01 |-2.800000e+01 | 33.12%
144.64/144.76 c 145s|210000 | 41761 | 3661k| 17.4 | 146M| 80 | 56 | 200 |3102 | 200 | 200 |1990k| 0 |6864 |-4.179904e+01 |-2.800000e+01 | 33.01%
150.34/150.45 c 150s|220000 | 43197 | 3813k| 17.3 | 151M| 80 | - | 200 |3102 | 200 | 213 |2079k| 0 |7037 |-4.172727e+01 |-2.800000e+01 | 32.90%
155.94/156.07 c 156s|230000 | 44617 | 3962k| 17.2 | 156M| 80 | 41 | 200 |3102 | 200 | 213 |2166k| 0 |7218 |-4.166667e+01 |-2.800000e+01 | 32.80%
161.64/161.71 c 162s|240000 | 46023 | 4113k| 17.1 | 160M| 80 | 56 | 200 |3102 | 200 | 237 |2256k| 0 |7400 |-4.161905e+01 |-2.800000e+01 | 32.72%
167.14/167.29 c 167s|250000 | 47365 | 4263k| 17.0 | 164M| 80 | 20 | 200 |3102 | 200 | 216 |2346k| 0 |7568 |-4.155618e+01 |-2.800000e+01 | 32.62%
172.74/172.88 c 173s|260000 | 48795 | 4413k| 16.9 | 169M| 80 | - | 200 |3102 | 200 | 245 |2436k| 0 |7733 |-4.150000e+01 |-2.800000e+01 | 32.53%
178.43/178.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.43/178.51 c 179s|270000 | 50279 | 4566k| 16.9 | 174M| 80 | - | 200 |3102 | 200 | 245 |2523k| 0 |7853 |-4.142857e+01 |-2.800000e+01 | 32.41%
183.93/184.07 c 184s|280000 | 51629 | 4714k| 16.8 | 178M| 82 | 36 | 200 |3102 | 200 | 200 |2613k| 0 |8021 |-4.137410e+01 |-2.800000e+01 | 32.32%
189.43/189.55 c 190s|290000 | 53075 | 4860k| 16.7 | 182M| 82 | 22 | 200 |3102 | 200 | 211 |2701k| 0 |8189 |-4.133333e+01 |-2.800000e+01 | 32.26%
194.93/195.05 c 195s|300000 | 54415 | 5008k| 16.6 | 187M| 82 | 27 | 200 |3102 | 200 | 215 |2789k| 0 |8280 |-4.127083e+01 |-2.800000e+01 | 32.16%
200.53/200.65 c 201s|310000 | 55843 | 5158k| 16.6 | 191M| 82 | 7 | 200 |3102 | 200 | 200 |2878k| 0 |8447 |-4.120513e+01 |-2.800000e+01 | 32.05%
206.12/206.20 c 206s|320000 | 57219 | 5306k| 16.5 | 195M| 82 | 48 | 200 |3102 | 200 | 237 |2966k| 0 |8596 |-4.116667e+01 |-2.800000e+01 | 31.98%
211.53/211.63 c 212s|330000 | 58535 | 5452k| 16.5 | 200M| 82 | 36 | 200 |3102 | 200 | 228 |3055k| 0 |8694 |-4.111538e+01 |-2.800000e+01 | 31.90%
217.03/217.19 c 217s|340000 | 59977 | 5602k| 16.4 | 204M| 82 | - | 200 |3102 | 200 | 237 |3141k| 0 |8870 |-4.104545e+01 |-2.800000e+01 | 31.78%
222.63/222.74 c 223s|350000 | 61409 | 5750k| 16.4 | 208M| 82 | 56 | 200 |3102 | 200 | 219 |3230k| 0 |9011 |-4.100000e+01 |-2.800000e+01 | 31.71%
228.03/228.12 c 228s|360000 | 62679 | 5894k| 16.3 | 212M| 82 | 63 | 200 |3102 | 200 | 264 |3317k| 0 |9141 |-4.100000e+01 |-2.800000e+01 | 31.71%
233.53/233.65 c 234s|370000 | 64059 | 6041k| 16.3 | 217M| 82 | - | 200 |3102 | 200 | 230 |3407k| 0 |9316 |-4.098165e+01 |-2.800000e+01 | 31.68%
239.02/239.11 c 239s|380000 | 65491 | 6187k| 16.2 | 221M| 82 | 42 | 200 |3102 | 200 | 228 |3497k| 0 |9397 |-4.092308e+01 |-2.800000e+01 | 31.58%
244.32/244.43 c 244s|390000 | 66795 | 6328k| 16.2 | 225M| 82 | 52 | 200 |3102 | 200 | 245 |3583k| 0 |9567 |-4.087500e+01 |-2.800000e+01 | 31.50%
249.73/249.81 c 250s|400000 | 68111 | 6472k| 16.1 | 229M| 82 | 29 | 200 |3102 | 200 | 225 |3671k| 0 |9661 |-4.083333e+01 |-2.800000e+01 | 31.43%
255.22/255.31 c 255s|410000 | 69403 | 6619k| 16.1 | 233M| 82 | 5 | 200 |3102 | 200 | 215 |3760k| 0 |9825 |-4.079167e+01 |-2.800000e+01 | 31.36%
260.53/260.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
260.53/260.68 c 261s|420000 | 70673 | 6763k| 16.1 | 237M| 82 | - | 200 |3102 | 200 | 221 |3848k| 0 |9913 |-4.075000e+01 |-2.800000e+01 | 31.29%
265.92/266.02 c 266s|430000 | 71913 | 6904k| 16.0 | 241M| 82 | 66 | 200 |3102 | 200 | 249 |3935k| 0 | 10k|-4.071429e+01 |-2.800000e+01 | 31.23%
271.32/271.43 c 271s|440000 | 73251 | 7049k| 16.0 | 245M| 82 | 26 | 200 |3102 | 200 | 216 |4020k| 0 | 10k|-4.066667e+01 |-2.800000e+01 | 31.15%
276.62/276.73 c 277s|450000 | 74559 | 7191k| 15.9 | 249M| 82 | 28 | 200 |3102 | 200 | 213 |4109k| 0 | 10k|-4.062500e+01 |-2.800000e+01 | 31.08%
281.92/282.04 c 282s|460000 | 75783 | 7332k| 15.9 | 253M| 91 | 16 | 200 |3102 | 200 | 200 |4199k| 0 | 10k|-4.058333e+01 |-2.800000e+01 | 31.01%
287.12/287.29 c 287s|470000 | 76999 | 7471k| 15.9 | 257M| 91 | - | 200 |3102 | 200 | 223 |4283k| 0 | 10k|-4.054545e+01 |-2.800000e+01 | 30.94%
292.42/292.60 c 293s|480000 | 78163 | 7613k| 15.8 | 261M| 91 | - | 200 |3102 | 200 | 215 |4371k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
297.72/297.80 c 298s|490000 | 79387 | 7751k| 15.8 | 264M| 91 | 43 | 200 |3102 | 200 | 229 |4457k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
302.92/303.02 c 303s|500000 | 80561 | 7889k| 15.8 | 268M| 91 | 40 | 200 |3102 | 200 | 213 |4543k| 0 | 10k|-4.050000e+01 |-2.800000e+01 | 30.86%
308.21/308.30 c 308s|510000 | 81781 | 8030k| 15.7 | 272M| 91 | - | 200 |3102 | 200 | 227 |4630k| 0 | 10k|-4.044444e+01 |-2.800000e+01 | 30.77%
313.42/313.58 c 314s|520000 | 82873 | 8171k| 15.7 | 275M| 91 | - | 200 |3102 | 200 | 233 |4720k| 0 | 11k|-4.040476e+01 |-2.800000e+01 | 30.70%
318.71/318.89 c 319s|530000 | 84071 | 8311k| 15.7 | 279M| 91 | - | 200 |3102 | 200 | 224 |4807k| 0 | 11k|-4.037500e+01 |-2.800000e+01 | 30.65%
324.01/324.17 c 324s|540000 | 85237 | 8451k| 15.6 | 283M| 91 | 8 | 200 |3102 | 200 | 200 |4895k| 0 | 11k|-4.033333e+01 |-2.800000e+01 | 30.58%
329.31/329.42 c 329s|550000 | 86391 | 8591k| 15.6 | 286M| 91 | - | 200 |3102 | 200 | 200 |4985k| 0 | 11k|-4.030952e+01 |-2.800000e+01 | 30.54%
334.51/334.62 c 335s|560000 | 87513 | 8728k| 15.6 | 290M| 91 | - | 200 |3102 | 200 | 218 |5070k| 0 | 11k|-4.026667e+01 |-2.800000e+01 | 30.46%
339.71/339.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.71/339.84 c 340s|570000 | 88651 | 8866k| 15.5 | 293M| 91 | - | 200 |3102 | 200 | 232 |5158k| 0 | 11k|-4.025000e+01 |-2.800000e+01 | 30.43%
344.91/345.04 c 345s|580000 | 89909 | 9004k| 15.5 | 297M| 91 | 37 | 200 |3102 | 200 | 241 |5245k| 0 | 11k|-4.021053e+01 |-2.800000e+01 | 30.37%
350.20/350.34 c 350s|590000 | 91121 | 9145k| 15.5 | 301M| 91 | 50 | 200 |3102 | 200 | 237 |5332k| 0 | 11k|-4.017647e+01 |-2.800000e+01 | 30.31%
355.41/355.51 c 356s|600000 | 92257 | 9282k| 15.4 | 305M| 91 | 44 | 200 |3102 | 200 | 229 |5418k| 0 | 11k|-4.015000e+01 |-2.800000e+01 | 30.26%
360.61/360.77 c 361s|610000 | 93353 | 9421k| 15.4 | 308M| 91 | 43 | 200 |3102 | 200 | 200 |5507k| 0 | 12k|-4.011628e+01 |-2.800000e+01 | 30.20%
365.90/366.06 c 366s|620000 | 94529 | 9561k| 15.4 | 312M| 91 | 39 | 200 |3102 | 200 | 220 |5596k| 0 | 12k|-4.007143e+01 |-2.800000e+01 | 30.12%
371.30/371.46 c 371s|630000 | 95771 | 9706k| 15.4 | 316M| 91 | 59 | 200 |3102 | 200 | 254 |5687k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
376.71/376.80 c 377s|640000 | 97051 | 9849k| 15.4 | 320M| 91 | 40 | 200 |3102 | 200 | 222 |5776k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
382.00/382.12 c 382s|650000 | 98285 | 9991k| 15.3 | 324M| 91 | 40 | 200 |3102 | 200 | 217 |5864k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
387.20/387.35 c 387s|660000 | 99453 | 10129k| 15.3 | 327M| 91 | - | 200 |3102 | 200 | 218 |5951k| 0 | 12k|-4.000000e+01 |-2.800000e+01 | 30.00%
392.51/392.60 c 393s|670000 |100667 | 10269k| 15.3 | 331M| 94 | - | 200 |3102 | 200 | 214 |6039k| 0 | 12k|-3.997500e+01 |-2.800000e+01 | 29.96%
397.60/397.77 c 398s|680000 |101767 | 10404k| 15.3 | 334M| 94 | 42 | 200 |3102 | 200 | 200 |6124k| 0 | 12k|-3.992593e+01 |-2.800000e+01 | 29.87%
402.90/403.00 c 403s|690000 |102963 | 10543k| 15.3 | 338M| 98 | 48 | 200 |3102 | 200 | 224 |6211k| 0 | 12k|-3.988889e+01 |-2.800000e+01 | 29.81%
408.01/408.18 c 408s|700000 |104063 | 10679k| 15.2 | 342M| 98 | 14 | 200 |3102 | 200 | 222 |6295k| 0 | 12k|-3.985714e+01 |-2.800000e+01 | 29.75%
413.19/413.31 c 413s|710000 |105175 | 10815k| 15.2 | 345M| 98 | - | 200 |3102 | 200 | 235 |6382k| 0 | 13k|-3.983333e+01 |-2.800000e+01 | 29.71%
418.40/418.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.40/418.55 c 419s|720000 |106327 | 10953k| 15.2 | 349M| 98 | - | 200 |3102 | 200 | 228 |6469k| 0 | 13k|-3.980000e+01 |-2.800000e+01 | 29.65%
423.60/423.78 c 424s|730000 |107509 | 11092k| 15.2 | 352M| 98 | 16 | 200 |3102 | 200 | 200 |6553k| 0 | 13k|-3.976238e+01 |-2.800000e+01 | 29.58%
428.80/428.97 c 429s|740000 |108627 | 11229k| 15.2 | 356M| 98 | 14 | 200 |3102 | 200 | 213 |6640k| 0 | 13k|-3.975000e+01 |-2.800000e+01 | 29.56%
434.00/434.15 c 434s|750000 |109663 | 11365k| 15.1 | 359M| 98 | - | 200 |3102 | 200 | 222 |6726k| 0 | 13k|-3.971429e+01 |-2.800000e+01 | 29.50%
439.09/439.26 c 439s|760000 |110635 | 11499k| 15.1 | 362M| 98 | 22 | 200 |3102 | 200 | 228 |6812k| 0 | 13k|-3.968310e+01 |-2.800000e+01 | 29.44%
444.29/444.45 c 444s|770000 |111727 | 11636k| 15.1 | 366M| 98 | 48 | 200 |3102 | 200 | 236 |6899k| 0 | 13k|-3.966667e+01 |-2.800000e+01 | 29.41%
449.39/449.51 c 450s|780000 |112873 | 11769k| 15.1 | 369M| 98 | 23 | 200 |3102 | 200 | 224 |6987k| 0 | 13k|-3.965909e+01 |-2.800000e+01 | 29.40%
454.49/454.69 c 455s|790000 |113985 | 11905k| 15.1 | 372M| 98 | - | 200 |3102 | 200 | 245 |7072k| 0 | 13k|-3.961538e+01 |-2.800000e+01 | 29.32%
459.69/459.88 c 460s|800000 |115101 | 12042k| 15.0 | 376M| 98 | 47 | 200 |3102 | 200 | 219 |7159k| 0 | 13k|-3.959763e+01 |-2.800000e+01 | 29.29%
464.79/464.96 c 465s|810000 |116115 | 12175k| 15.0 | 379M| 98 | 54 | 200 |3102 | 200 | 237 |7244k| 0 | 13k|-3.955556e+01 |-2.800000e+01 | 29.21%
469.99/470.14 c 470s|820000 |117223 | 12312k| 15.0 | 382M| 98 | - | 200 |3102 | 200 | 216 |7330k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
474.99/475.17 c 475s|830000 |118319 | 12444k| 15.0 | 386M| 98 | 28 | 200 |3102 | 200 | 216 |7413k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
480.19/480.39 c 480s|840000 |119471 | 12581k| 15.0 | 389M| 98 | 10 | 200 |3102 | 200 | 229 |7502k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
485.38/485.59 c 486s|850000 |120591 | 12718k| 14.9 | 393M| 98 | - | 200 |3102 | 200 | 253 |7591k| 0 | 14k|-3.950000e+01 |-2.800000e+01 | 29.11%
490.58/490.74 c 491s|860000 |121731 | 12853k| 14.9 | 396M| 98 | - | 200 |3102 | 200 | 215 |7680k| 0 | 14k|-3.945455e+01 |-2.800000e+01 | 29.03%
495.59/495.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.59/495.79 c 496s|870000 |122817 | 12984k| 14.9 | 400M| 98 | - | 200 |3102 | 200 | 227 |7763k| 0 | 14k|-3.941667e+01 |-2.800000e+01 | 28.96%
500.69/500.86 c 501s|880000 |123887 | 13117k| 14.9 | 403M| 98 | 14 | 200 |3102 | 200 | 214 |7849k| 0 | 14k|-3.939754e+01 |-2.800000e+01 | 28.93%
505.89/506.00 c 506s|890000 |124965 | 13252k| 14.9 | 406M| 98 | 38 | 200 |3102 | 200 | 213 |7936k| 0 | 14k|-3.936207e+01 |-2.800000e+01 | 28.87%
510.88/511.04 c 511s|900000 |125871 | 13383k| 14.9 | 409M| 98 | 5 | 200 |3102 | 200 | 200 |8022k| 0 | 14k|-3.933333e+01 |-2.800000e+01 | 28.81%
515.98/516.12 c 516s|910000 |126997 | 13517k| 14.8 | 412M| 98 | - | 200 |3102 | 200 | 244 |8109k| 0 | 14k|-3.933333e+01 |-2.800000e+01 | 28.81%
520.98/521.18 c 521s|920000 |128015 | 13649k| 14.8 | 416M| 98 | - | 200 |3102 | 200 | 200 |8194k| 0 | 14k|-3.930000e+01 |-2.800000e+01 | 28.75%
525.98/526.17 c 526s|930000 |129031 | 13780k| 14.8 | 419M| 98 | 30 | 200 |3102 | 200 | 215 |8278k| 0 | 14k|-3.926667e+01 |-2.800000e+01 | 28.69%
531.09/531.24 c 531s|940000 |130039 | 13913k| 14.8 | 422M| 98 | - | 200 |3102 | 200 | 230 |8364k| 0 | 14k|-3.925000e+01 |-2.800000e+01 | 28.66%
536.08/536.20 c 536s|950000 |131031 | 14042k| 14.8 | 425M| 98 | 32 | 200 |3102 | 200 | 212 |8448k| 0 | 15k|-3.923077e+01 |-2.800000e+01 | 28.63%
538.97/539.14 o -30
538.97/539.14 c * 539s|955216 | 86218 | 14112k| 14.8 | 308M| 98 | - | 200 |3102 | 200 | 233 |8492k| 0 | 15k|-3.920833e+01 |-3.000000e+01 | 23.49%
541.48/541.68 c 542s|960000 | 86444 | 14174k| 14.8 | 308M| 98 | 15 | 200 |3102 | 200 | 212 |8534k| 0 | 15k|-3.920000e+01 |-3.000000e+01 | 23.47%
546.58/546.75 c 547s|970000 | 86946 | 14301k| 14.7 | 310M| 98 | 60 | 200 |3102 | 200 | 219 |8621k| 0 | 15k|-3.916667e+01 |-3.000000e+01 | 23.40%
551.57/551.74 c 552s|980000 | 87306 | 14429k| 14.7 | 312M| 98 | 54 | 200 |3102 | 200 | 213 |8712k| 0 | 15k|-3.913514e+01 |-3.000000e+01 | 23.34%
556.68/556.84 c 557s|990000 | 87730 | 14560k| 14.7 | 314M| 98 | 12 | 200 |3102 | 200 | 200 |8803k| 0 | 15k|-3.910811e+01 |-3.000000e+01 | 23.29%
561.67/561.89 c 562s| 1000k| 88216 | 14689k| 14.7 | 316M| 98 | - | 200 |3102 | 200 | 238 |8893k| 0 | 15k|-3.906667e+01 |-3.000000e+01 | 23.21%
566.77/566.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.77/566.99 c 567s| 1010k| 88586 | 14819k| 14.7 | 317M| 98 | - | 200 |3102 | 200 | 252 |8982k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
571.87/572.05 c 572s| 1020k| 88994 | 14950k| 14.6 | 319M| 98 | - | 200 |3102 | 200 | 224 |9072k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
576.87/577.07 c 577s| 1030k| 89378 | 15079k| 14.6 | 321M| 98 | - | 200 |3102 | 200 | 216 |9160k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
581.97/582.11 c 582s| 1040k| 89852 | 15209k| 14.6 | 323M| 98 | 18 | 200 |3102 | 200 | 215 |9250k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
586.97/587.14 c 587s| 1050k| 90266 | 15339k| 14.6 | 324M| 98 | - | 200 |3102 | 200 | 238 |9342k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
591.97/592.14 c 592s| 1060k| 90702 | 15466k| 14.6 | 326M| 98 | - | 200 |3102 | 200 | 216 |9428k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
597.08/597.27 c 597s| 1070k| 91142 | 15599k| 14.6 | 328M| 98 | 44 | 200 |3102 | 200 | 218 |9519k| 0 | 15k|-3.900000e+01 |-3.000000e+01 | 23.08%
602.16/602.33 c 602s| 1080k| 91492 | 15729k| 14.6 | 330M| 98 | - | 200 |3102 | 200 | 211 |9612k| 0 | 16k|-3.900000e+01 |-3.000000e+01 | 23.08%
607.26/607.43 c 607s| 1090k| 91882 | 15859k| 14.5 | 331M| 98 | - | 200 |3102 | 200 | 232 |9702k| 0 | 16k|-3.894737e+01 |-3.000000e+01 | 22.97%
612.26/612.44 c 612s| 1100k| 92208 | 15985k| 14.5 | 333M| 98 | - | 200 |3102 | 200 | 229 |9793k| 0 | 16k|-3.891176e+01 |-3.000000e+01 | 22.90%
617.26/617.49 c 617s| 1110k| 92584 | 16114k| 14.5 | 335M| 98 | 6 | 200 |3102 | 200 | 200 |9883k| 0 | 16k|-3.887500e+01 |-3.000000e+01 | 22.83%
622.25/622.48 c 622s| 1120k| 92954 | 16240k| 14.5 | 336M| 98 | - | 200 |3102 | 200 | 215 |9971k| 0 | 16k|-3.885106e+01 |-3.000000e+01 | 22.78%
627.25/627.46 c 627s| 1130k| 93368 | 16367k| 14.5 | 338M| 98 | 49 | 200 |3102 | 200 | 247 | 10M| 0 | 16k|-3.883333e+01 |-3.000000e+01 | 22.75%
632.15/632.39 c 632s| 1140k| 93728 | 16492k| 14.5 | 339M| 98 | 38 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.880000e+01 |-3.000000e+01 | 22.68%
637.15/637.31 c 637s| 1150k| 94036 | 16617k| 14.4 | 341M| 98 | - | 200 |3102 | 200 | 241 | 10M| 0 | 16k|-3.876923e+01 |-3.000000e+01 | 22.62%
642.16/642.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.16/642.32 c 642s| 1160k| 94432 | 16745k| 14.4 | 343M| 98 | - | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.875000e+01 |-3.000000e+01 | 22.58%
647.15/647.35 c 647s| 1170k| 94846 | 16873k| 14.4 | 344M| 98 | - | 200 |3102 | 200 | 248 | 10M| 0 | 16k|-3.873333e+01 |-3.000000e+01 | 22.55%
652.25/652.41 c 652s| 1180k| 95188 | 17002k| 14.4 | 346M| 98 | - | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.870000e+01 |-3.000000e+01 | 22.48%
657.15/657.39 c 657s| 1190k| 95528 | 17128k| 14.4 | 347M| 98 | 9 | 200 |3102 | 200 | 200 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
662.15/662.31 c 662s| 1200k| 95906 | 17253k| 14.4 | 349M| 98 | - | 200 |3102 | 200 | 236 | 10M| 0 | 16k|-3.866667e+01 |-3.000000e+01 | 22.41%
667.05/667.22 c 667s| 1210k| 96314 | 17379k| 14.4 | 350M| 98 | 39 | 200 |3102 | 200 | 215 | 10M| 0 | 16k|-3.865625e+01 |-3.000000e+01 | 22.39%
672.05/672.20 c 672s| 1220k| 96646 | 17505k| 14.3 | 352M| 98 | - | 200 |3102 | 200 | 241 | 10M| 0 | 17k|-3.861538e+01 |-3.000000e+01 | 22.31%
676.95/677.16 c 677s| 1230k| 96952 | 17630k| 14.3 | 353M| 98 | - | 200 |3102 | 200 | 216 | 10M| 0 | 17k|-3.859091e+01 |-3.000000e+01 | 22.26%
681.85/682.09 c 682s| 1240k| 97244 | 17753k| 14.3 | 355M| 98 | 7 | 200 |3102 | 200 | 225 | 11M| 0 | 17k|-3.855556e+01 |-3.000000e+01 | 22.19%
686.85/687.04 c 687s| 1250k| 97554 | 17878k| 14.3 | 356M| 98 | - | 200 |3102 | 200 | 213 | 11M| 0 | 17k|-3.851250e+01 |-3.000000e+01 | 22.10%
691.85/692.02 c 692s| 1260k| 97964 | 18005k| 14.3 | 358M| 98 | 38 | 200 |3102 | 200 | 215 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
696.75/696.91 c 697s| 1270k| 98284 | 18129k| 14.3 | 359M| 98 | 7 | 200 |3102 | 200 | 230 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
701.55/701.79 c 702s| 1280k| 98588 | 18251k| 14.2 | 360M| 98 | 26 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
706.54/706.71 c 707s| 1290k| 98916 | 18376k| 14.2 | 362M| 98 | 59 | 200 |3102 | 200 | 251 | 11M| 0 | 17k|-3.850000e+01 |-3.000000e+01 | 22.08%
711.55/711.74 c 712s| 1300k| 99320 | 18505k| 14.2 | 363M| 98 | 33 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.846667e+01 |-3.000000e+01 | 22.01%
716.44/716.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.44/716.68 c 717s| 1310k| 99694 | 18628k| 14.2 | 365M| 98 | 9 | 200 |3102 | 200 | 200 | 11M| 0 | 17k|-3.842857e+01 |-3.000000e+01 | 21.93%
721.34/721.52 c 722s| 1320k| 99974 | 18749k| 14.2 | 366M| 98 | 55 | 200 |3102 | 200 | 273 | 11M| 0 | 17k|-3.840000e+01 |-3.000000e+01 | 21.87%
726.24/726.44 c 726s| 1330k|100346 | 18873k| 14.2 | 368M| 98 | - | 200 |3102 | 200 | 218 | 11M| 0 | 17k|-3.836842e+01 |-3.000000e+01 | 21.81%
731.13/731.33 c 731s| 1340k|100668 | 18997k| 14.2 | 369M| 98 | - | 200 |3102 | 200 | 227 | 11M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
736.04/736.23 c 736s| 1350k|100978 | 19120k| 14.2 | 371M| 98 | 54 | 200 |3102 | 200 | 246 | 12M| 0 | 17k|-3.833333e+01 |-3.000000e+01 | 21.74%
740.84/741.07 c 741s| 1360k|101242 | 19241k| 14.1 | 372M| 101 | - | 200 |3102 | 200 | 215 | 12M| 0 | 18k|-3.832000e+01 |-3.000000e+01 | 21.71%
745.83/746.02 c 746s| 1370k|101500 | 19363k| 14.1 | 373M| 101 | - | 200 |3102 | 200 | 225 | 12M| 0 | 18k|-3.828571e+01 |-3.000000e+01 | 21.64%
750.64/750.88 c 751s| 1380k|101764 | 19486k| 14.1 | 374M| 101 | 65 | 200 |3102 | 200 | 246 | 12M| 0 | 18k|-3.825000e+01 |-3.000000e+01 | 21.57%
752.24/752.49 o -31
752.24/752.49 c * 752s| 1382k| 76145 | 19522k| 14.1 | 299M| 101 | - | 200 |3102 | 200 | 227 | 12M| 0 | 18k|-3.825000e+01 |-3.100000e+01 | 18.95%
755.73/755.98 c 756s| 1390k| 76205 | 19604k| 14.1 | 299M| 101 | - | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.825000e+01 |-3.100000e+01 | 18.95%
760.63/760.83 c 761s| 1400k| 76195 | 19719k| 14.1 | 300M| 101 | - | 200 |3102 | 200 | 256 | 12M| 0 | 18k|-3.825000e+01 |-3.100000e+01 | 18.95%
765.54/765.71 c 766s| 1410k| 76199 | 19837k| 14.1 | 300M| 101 | 40 | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.820000e+01 |-3.100000e+01 | 18.85%
770.33/770.50 c 770s| 1420k| 76165 | 19953k| 14.0 | 301M| 101 | - | 200 |3102 | 200 | 239 | 12M| 0 | 18k|-3.818182e+01 |-3.100000e+01 | 18.81%
775.13/775.32 c 775s| 1430k| 76195 | 20071k| 14.0 | 301M| 101 | 20 | 200 |3102 | 200 | 200 | 12M| 0 | 18k|-3.816667e+01 |-3.100000e+01 | 18.78%
779.93/780.13 c 780s| 1440k| 76193 | 20186k| 14.0 | 302M| 101 | - | 200 |3102 | 200 | 212 | 12M| 0 | 18k|-3.812500e+01 |-3.100000e+01 | 18.69%
784.73/784.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.73/784.94 c 785s| 1450k| 76251 | 20304k| 14.0 | 302M| 101 | - | 200 |3102 | 200 | 237 | 12M| 0 | 18k|-3.810345e+01 |-3.100000e+01 | 18.64%
789.54/789.73 c 790s| 1460k| 76273 | 20419k| 14.0 | 303M| 101 | 48 | 200 |3102 | 200 | 224 | 12M| 0 | 18k|-3.807143e+01 |-3.100000e+01 | 18.57%
794.23/794.48 c 794s| 1470k| 76255 | 20533k| 14.0 | 303M| 101 | 39 | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
799.03/799.26 c 799s| 1480k| 76307 | 20650k| 13.9 | 303M| 101 | 14 | 200 |3102 | 200 | 216 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
803.83/804.02 c 804s| 1490k| 76311 | 20766k| 13.9 | 304M| 101 | - | 200 |3102 | 200 | 200 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
808.63/808.80 c 809s| 1500k| 76297 | 20881k| 13.9 | 304M| 101 | 49 | 200 |3102 | 200 | 253 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
813.32/813.55 c 814s| 1510k| 76409 | 20997k| 13.9 | 305M| 101 | - | 200 |3102 | 200 | 232 | 13M| 0 | 18k|-3.800000e+01 |-3.100000e+01 | 18.42%
818.13/818.36 c 818s| 1520k| 76417 | 21114k| 13.9 | 305M| 101 | - | 200 |3102 | 200 | 216 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
823.03/823.20 c 823s| 1530k| 76461 | 21231k| 13.9 | 306M| 101 | 43 | 200 |3102 | 200 | 216 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
827.72/827.99 c 828s| 1540k| 76445 | 21347k| 13.9 | 306M| 101 | - | 200 |3102 | 200 | 211 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
832.53/832.75 c 833s| 1550k| 76483 | 21464k| 13.8 | 307M| 101 | 22 | 200 |3102 | 200 | 220 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
837.32/837.52 c 838s| 1560k| 76475 | 21579k| 13.8 | 307M| 101 | 54 | 200 |3102 | 200 | 200 | 13M| 0 | 19k|-3.800000e+01 |-3.100000e+01 | 18.42%
842.02/842.24 c 842s| 1570k| 76443 | 21692k| 13.8 | 307M| 101 | - | 200 |3102 | 200 | 225 | 13M| 0 | 19k|-3.794737e+01 |-3.100000e+01 | 18.31%
846.73/846.93 c 847s| 1580k| 76385 | 21802k| 13.8 | 308M| 101 | 10 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.790909e+01 |-3.100000e+01 | 18.23%
851.52/851.76 c 852s| 1590k| 76341 | 21917k| 13.8 | 308M| 101 | 33 | 200 |3102 | 200 | 212 | 14M| 0 | 19k|-3.787500e+01 |-3.100000e+01 | 18.15%
856.22/856.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.22/856.44 c 856s| 1600k| 76327 | 22029k| 13.8 | 308M| 101 | 63 | 200 |3102 | 200 | 254 | 14M| 0 | 19k|-3.784783e+01 |-3.100000e+01 | 18.09%
860.92/861.12 c 861s| 1610k| 76305 | 22140k| 13.7 | 308M| 101 | - | 200 |3102 | 200 | 255 | 14M| 0 | 19k|-3.783333e+01 |-3.100000e+01 | 18.06%
865.61/865.86 c 866s| 1620k| 76259 | 22253k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 237 | 14M| 0 | 19k|-3.780000e+01 |-3.100000e+01 | 17.99%
870.32/870.57 c 871s| 1630k| 76195 | 22366k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 231 | 14M| 0 | 19k|-3.776744e+01 |-3.100000e+01 | 17.92%
875.01/875.29 c 875s| 1640k| 76201 | 22478k| 13.7 | 309M| 101 | 13 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.775000e+01 |-3.100000e+01 | 17.88%
879.72/879.92 c 880s| 1650k| 76151 | 22588k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.775000e+01 |-3.100000e+01 | 17.88%
884.31/884.57 c 885s| 1660k| 76107 | 22699k| 13.7 | 309M| 101 | - | 200 |3102 | 200 | 218 | 14M| 0 | 19k|-3.771429e+01 |-3.100000e+01 | 17.80%
889.01/889.26 c 889s| 1670k| 76025 | 22810k| 13.7 | 310M| 101 | 15 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.768750e+01 |-3.100000e+01 | 17.74%
893.71/893.97 c 894s| 1680k| 76051 | 22923k| 13.6 | 310M| 101 | 31 | 200 |3102 | 200 | 200 | 14M| 0 | 19k|-3.766667e+01 |-3.100000e+01 | 17.70%
898.41/898.60 c 899s| 1690k| 76023 | 23033k| 13.6 | 310M| 101 | 29 | 200 |3102 | 200 | 219 | 14M| 0 | 20k|-3.766667e+01 |-3.100000e+01 | 17.70%
903.02/903.27 c 903s| 1700k| 76015 | 23144k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.765625e+01 |-3.100000e+01 | 17.68%
907.71/907.91 c 908s| 1710k| 75987 | 23252k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 235 | 15M| 0 | 20k|-3.761538e+01 |-3.100000e+01 | 17.59%
912.31/912.53 c 913s| 1720k| 75873 | 23361k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 214 | 15M| 0 | 20k|-3.760000e+01 |-3.100000e+01 | 17.55%
916.91/917.20 c 917s| 1730k| 75825 | 23470k| 13.6 | 311M| 101 | - | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.756818e+01 |-3.100000e+01 | 17.48%
921.61/921.83 c 922s| 1740k| 75755 | 23579k| 13.5 | 311M| 101 | - | 200 |3102 | 200 | 239 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
926.21/926.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.21/926.41 c 926s| 1750k| 75673 | 23687k| 13.5 | 311M| 101 | - | 200 |3102 | 200 | 243 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
930.71/930.98 c 931s| 1760k| 75613 | 23794k| 13.5 | 311M| 101 | 22 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
935.41/935.61 c 936s| 1770k| 75553 | 23904k| 13.5 | 311M| 101 | - | 200 |3102 | 200 | 225 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
939.91/940.16 c 940s| 1780k| 75457 | 24010k| 13.5 | 311M| 105 | 30 | 200 |3102 | 200 | 213 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
944.50/944.79 c 945s| 1790k| 75343 | 24118k| 13.5 | 311M| 105 | 45 | 200 |3102 | 200 | 200 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
949.11/949.36 c 949s| 1800k| 75323 | 24223k| 13.4 | 311M| 105 | 16 | 200 |3102 | 200 | 229 | 15M| 0 | 20k|-3.750000e+01 |-3.100000e+01 | 17.33%
953.70/953.98 c 954s| 1810k| 75277 | 24332k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 214 | 15M| 0 | 20k|-3.745000e+01 |-3.100000e+01 | 17.22%
958.31/958.58 c 959s| 1820k| 75201 | 24438k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 239 | 15M| 0 | 20k|-3.741667e+01 |-3.100000e+01 | 17.15%
962.81/963.02 c 963s| 1830k| 75129 | 24540k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 211 | 16M| 0 | 20k|-3.740000e+01 |-3.100000e+01 | 17.11%
967.40/967.65 c 968s| 1840k| 75013 | 24647k| 13.4 | 312M| 105 | - | 200 |3102 | 200 | 248 | 16M| 0 | 20k|-3.737500e+01 |-3.100000e+01 | 17.06%
971.90/972.14 c 972s| 1850k| 74923 | 24751k| 13.4 | 312M| 105 | 20 | 200 |3102 | 200 | 211 | 16M| 0 | 20k|-3.733333e+01 |-3.100000e+01 | 16.96%
976.51/976.77 c 977s| 1860k| 74859 | 24859k| 13.4 | 312M| 105 | 33 | 200 |3102 | 200 | 200 | 16M| 0 | 20k|-3.733333e+01 |-3.100000e+01 | 16.96%
981.10/981.31 c 981s| 1870k| 74699 | 24964k| 13.3 | 312M| 105 | 26 | 200 |3102 | 200 | 213 | 16M| 0 | 20k|-3.733333e+01 |-3.100000e+01 | 16.96%
985.70/985.92 c 986s| 1880k| 74675 | 25071k| 13.3 | 312M| 105 | - | 200 |3102 | 200 | 225 | 16M| 0 | 20k|-3.728926e+01 |-3.100000e+01 | 16.87%
990.20/990.45 c 990s| 1890k| 74549 | 25173k| 13.3 | 312M| 105 | - | 200 |3102 | 200 | 216 | 16M| 0 | 21k|-3.725000e+01 |-3.100000e+01 | 16.78%
994.70/994.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.70/994.90 c 995s| 1900k| 74427 | 25275k| 13.3 | 311M| 105 | - | 200 |3102 | 200 | 234 | 16M| 0 | 21k|-3.725000e+01 |-3.100000e+01 | 16.78%
999.20/999.44 c 999s| 1910k| 74347 | 25379k| 13.3 | 312M| 105 | - | 200 |3102 | 200 | 247 | 16M| 0 | 21k|-3.723810e+01 |-3.100000e+01 | 16.75%
1003.70/1003.93 c 1004s| 1920k| 74239 | 25482k| 13.3 | 311M| 105 | - | 200 |3102 | 200 | 223 | 16M| 0 | 21k|-3.720000e+01 |-3.100000e+01 | 16.67%
1008.20/1008.41 c 1008s| 1930k| 74123 | 25584k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 208 | 16M| 0 | 21k|-3.718000e+01 |-3.100000e+01 | 16.62%
1012.60/1012.89 c 1013s| 1940k| 73981 | 25684k| 13.2 | 311M| 105 | 33 | 200 |3102 | 200 | 228 | 16M| 0 | 21k|-3.716667e+01 |-3.100000e+01 | 16.59%
1017.20/1017.41 c 1017s| 1950k| 73897 | 25787k| 13.2 | 311M| 105 | 3 | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.713636e+01 |-3.100000e+01 | 16.52%
1021.49/1021.80 c 1022s| 1960k| 73737 | 25886k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 218 | 17M| 0 | 21k|-3.711538e+01 |-3.100000e+01 | 16.48%
1026.00/1026.23 c 1026s| 1970k| 73631 | 25986k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 249 | 17M| 0 | 21k|-3.709091e+01 |-3.100000e+01 | 16.42%
1030.40/1030.65 c 1031s| 1980k| 73471 | 26085k| 13.2 | 311M| 105 | - | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.705882e+01 |-3.100000e+01 | 16.35%
1034.90/1035.12 c 1035s| 1990k| 73335 | 26187k| 13.2 | 310M| 105 | - | 200 |3102 | 200 | 214 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1039.29/1039.58 c 1040s| 2000k| 73233 | 26287k| 13.1 | 310M| 105 | - | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1043.70/1043.98 c 1044s| 2010k| 73105 | 26387k| 13.1 | 310M| 107 | - | 200 |3102 | 200 | 215 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1048.19/1048.41 c 1048s| 2020k| 72987 | 26486k| 13.1 | 310M| 107 | 27 | 200 |3102 | 200 | 219 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1052.59/1052.81 c 1053s| 2030k| 72905 | 26586k| 13.1 | 310M| 107 | 63 | 200 |3102 | 200 | 230 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1056.89/1057.17 c 1057s| 2040k| 72739 | 26683k| 13.1 | 310M| 107 | 59 | 200 |3102 | 200 | 245 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1061.29/1061.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.29/1061.57 c 1062s| 2050k| 72603 | 26783k| 13.1 | 310M| 107 | - | 200 |3102 | 200 | 250 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1065.69/1065.93 c 1066s| 2060k| 72513 | 26881k| 13.0 | 309M| 107 | 48 | 200 |3102 | 200 | 223 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1070.09/1070.32 c 1070s| 2070k| 72323 | 26980k| 13.0 | 309M| 107 | 45 | 200 |3102 | 200 | 200 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1074.49/1074.76 c 1075s| 2080k| 72245 | 27081k| 13.0 | 309M| 107 | 26 | 200 |3102 | 200 | 214 | 17M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1078.89/1079.17 c 1079s| 2090k| 72171 | 27179k| 13.0 | 309M| 107 | 7 | 200 |3102 | 200 | 200 | 18M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1083.39/1083.62 c 1084s| 2100k| 72067 | 27281k| 13.0 | 309M| 107 | 49 | 200 |3102 | 200 | 218 | 18M| 0 | 21k|-3.700000e+01 |-3.100000e+01 | 16.22%
1087.78/1088.05 c 1088s| 2110k| 71961 | 27380k| 13.0 | 309M| 107 | - | 200 |3102 | 200 | 214 | 18M| 0 | 22k|-3.693333e+01 |-3.100000e+01 | 16.06%
1092.19/1092.42 c 1092s| 2120k| 71811 | 27477k| 13.0 | 309M| 107 | - | 200 |3102 | 200 | 241 | 18M| 0 | 22k|-3.690000e+01 |-3.100000e+01 | 15.99%
1096.48/1096.76 c 1097s| 2130k| 71671 | 27574k| 12.9 | 309M| 107 | 34 | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.687500e+01 |-3.100000e+01 | 15.93%
1100.89/1101.13 c 1101s| 2140k| 71543 | 27671k| 12.9 | 308M| 107 | 29 | 200 |3102 | 200 | 215 | 18M| 0 | 22k|-3.685714e+01 |-3.100000e+01 | 15.89%
1105.19/1105.42 c 1105s| 2150k| 71359 | 27766k| 12.9 | 308M| 107 | 38 | 200 |3102 | 200 | 212 | 18M| 0 | 22k|-3.683333e+01 |-3.100000e+01 | 15.84%
1109.48/1109.73 c 1110s| 2160k| 71211 | 27860k| 12.9 | 308M| 107 | 10 | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.683333e+01 |-3.100000e+01 | 15.84%
1113.78/1114.07 c 1114s| 2170k| 71063 | 27957k| 12.9 | 308M| 107 | 38 | 200 |3102 | 200 | 213 | 18M| 0 | 22k|-3.680000e+01 |-3.100000e+01 | 15.76%
1118.28/1118.51 c 1119s| 2180k| 70969 | 28056k| 12.9 | 308M| 107 | - | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.678125e+01 |-3.100000e+01 | 15.72%
1122.58/1122.82 c 1123s| 2190k| 70805 | 28150k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 222 | 18M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1126.88/1127.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.88/1127.17 c 1127s| 2200k| 70671 | 28246k| 12.8 | 307M| 107 | 54 | 200 |3102 | 200 | 200 | 18M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1131.18/1131.41 c 1131s| 2210k| 70529 | 28340k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 217 | 18M| 0 | 22k|-3.675000e+01 |-3.100000e+01 | 15.65%
1135.47/1135.73 c 1136s| 2220k| 70427 | 28434k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 244 | 18M| 0 | 22k|-3.672727e+01 |-3.100000e+01 | 15.59%
1139.77/1140.10 c 1140s| 2230k| 70299 | 28532k| 12.8 | 307M| 107 | - | 200 |3102 | 200 | 227 | 18M| 0 | 22k|-3.670000e+01 |-3.100000e+01 | 15.53%
1144.07/1144.36 c 1144s| 2240k| 70151 | 28624k| 12.8 | 306M| 107 | 22 | 200 |3102 | 200 | 214 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1148.38/1148.66 c 1149s| 2250k| 70017 | 28720k| 12.8 | 306M| 107 | 59 | 200 |3102 | 200 | 248 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1152.78/1153.06 c 1153s| 2260k| 69905 | 28817k| 12.7 | 306M| 107 | - | 200 |3102 | 200 | 243 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1157.07/1157.30 c 1157s| 2270k| 69745 | 28910k| 12.7 | 306M| 107 | - | 200 |3102 | 200 | 233 | 19M| 0 | 22k|-3.666667e+01 |-3.100000e+01 | 15.45%
1161.28/1161.58 c 1162s| 2280k| 69575 | 29002k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 239 | 19M| 0 | 22k|-3.662500e+01 |-3.100000e+01 | 15.36%
1165.57/1165.80 c 1166s| 2290k| 69421 | 29094k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 233 | 19M| 0 | 22k|-3.660000e+01 |-3.100000e+01 | 15.30%
1169.78/1170.06 c 1170s| 2300k| 69283 | 29187k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 235 | 19M| 0 | 22k|-3.660000e+01 |-3.100000e+01 | 15.30%
1174.18/1174.41 c 1174s| 2310k| 69219 | 29283k| 12.7 | 305M| 107 | 36 | 200 |3102 | 200 | 200 | 19M| 0 | 22k|-3.656364e+01 |-3.100000e+01 | 15.22%
1178.37/1178.67 c 1179s| 2320k| 69069 | 29376k| 12.7 | 305M| 107 | - | 200 |3102 | 200 | 212 | 19M| 0 | 22k|-3.652941e+01 |-3.100000e+01 | 15.14%
1182.67/1182.95 c 1183s| 2330k| 68897 | 29469k| 12.6 | 304M| 107 | 61 | 200 |3102 | 200 | 231 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1186.87/1187.16 c 1187s| 2340k| 68739 | 29561k| 12.6 | 304M| 107 | 22 | 200 |3102 | 200 | 211 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1191.17/1191.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.17/1191.40 c 1191s| 2350k| 68589 | 29653k| 12.6 | 304M| 107 | - | 200 |3102 | 200 | 248 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1195.37/1195.61 c 1196s| 2360k| 68523 | 29746k| 12.6 | 304M| 107 | - | 200 |3102 | 200 | 215 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1199.57/1199.84 c 1200s| 2370k| 68379 | 29838k| 12.6 | 303M| 107 | - | 200 |3102 | 200 | 213 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1203.76/1204.02 c 1204s| 2380k| 68207 | 29929k| 12.6 | 303M| 107 | 9 | 200 |3102 | 200 | 218 | 19M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1207.97/1208.24 c 1208s| 2390k| 68029 | 30020k| 12.6 | 303M| 107 | - | 200 |3102 | 200 | 223 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1212.16/1212.43 c 1212s| 2400k| 67885 | 30111k| 12.5 | 302M| 107 | 54 | 200 |3102 | 200 | 214 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1216.37/1216.65 c 1217s| 2410k| 67707 | 30202k| 12.5 | 302M| 107 | 65 | 200 |3102 | 200 | 214 | 20M| 0 | 23k|-3.650000e+01 |-3.100000e+01 | 15.07%
1220.67/1220.96 c 1221s| 2420k| 67573 | 30299k| 12.5 | 302M| 107 | - | 200 |3102 | 200 | 250 | 20M| 0 | 23k|-3.649351e+01 |-3.100000e+01 | 15.05%
1224.97/1225.24 c 1225s| 2430k| 67433 | 30392k| 12.5 | 302M| 107 | 61 | 200 |3102 | 200 | 217 | 20M| 0 | 23k|-3.642857e+01 |-3.100000e+01 | 14.90%
1229.16/1229.44 c 1229s| 2440k| 67253 | 30482k| 12.5 | 301M| 107 | - | 200 |3102 | 200 | 244 | 20M| 0 | 23k|-3.640909e+01 |-3.100000e+01 | 14.86%
1233.46/1233.71 c 1234s| 2450k| 67109 | 30574k| 12.5 | 301M| 107 | 43 | 200 |3102 | 200 | 218 | 20M| 0 | 23k|-3.638462e+01 |-3.100000e+01 | 14.80%
1237.56/1237.86 c 1238s| 2460k| 66973 | 30664k| 12.5 | 301M| 107 | - | 200 |3102 | 200 | 243 | 20M| 0 | 23k|-3.635714e+01 |-3.100000e+01 | 14.73%
1241.77/1242.06 c 1242s| 2470k| 66785 | 30754k| 12.4 | 300M| 107 | 67 | 200 |3102 | 200 | 256 | 20M| 0 | 23k|-3.633333e+01 |-3.100000e+01 | 14.68%
1245.97/1246.25 c 1246s| 2480k| 66603 | 30845k| 12.4 | 300M| 107 | 16 | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.633333e+01 |-3.100000e+01 | 14.68%
1250.16/1250.44 c 1250s| 2490k| 66489 | 30935k| 12.4 | 300M| 107 | - | 200 |3102 | 200 | 232 | 20M| 0 | 23k|-3.633333e+01 |-3.100000e+01 | 14.68%
1254.36/1254.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.36/1254.64 c 1255s| 2500k| 66323 | 31026k| 12.4 | 299M| 107 | 62 | 200 |3102 | 200 | 229 | 20M| 0 | 23k|-3.633036e+01 |-3.100000e+01 | 14.67%
1258.55/1258.85 c 1259s| 2510k| 66157 | 31117k| 12.4 | 299M| 107 | - | 200 |3102 | 200 | 233 | 20M| 0 | 23k|-3.628571e+01 |-3.100000e+01 | 14.57%
1262.66/1262.99 c 1263s| 2520k| 65975 | 31205k| 12.4 | 299M| 107 | - | 200 |3102 | 200 | 211 | 20M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1266.87/1267.13 c 1267s| 2530k| 65787 | 31294k| 12.4 | 298M| 107 | - | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1270.96/1271.27 c 1271s| 2540k| 65617 | 31384k| 12.4 | 298M| 107 | - | 200 |3102 | 200 | 216 | 20M| 0 | 23k|-3.625000e+01 |-3.100000e+01 | 14.48%
1275.16/1275.45 c 1275s| 2550k| 65485 | 31474k| 12.3 | 298M| 107 | 14 | 200 |3102 | 200 | 214 | 20M| 0 | 23k|-3.623810e+01 |-3.100000e+01 | 14.45%
1279.26/1279.59 c 1280s| 2560k| 65329 | 31562k| 12.3 | 297M| 107 | 50 | 200 |3102 | 200 | 217 | 21M| 0 | 23k|-3.620000e+01 |-3.100000e+01 | 14.36%
1283.55/1283.82 c 1284s| 2570k| 65231 | 31653k| 12.3 | 297M| 107 | - | 200 |3102 | 200 | 222 | 21M| 0 | 23k|-3.618590e+01 |-3.100000e+01 | 14.33%
1287.65/1287.97 c 1288s| 2580k| 65027 | 31743k| 12.3 | 297M| 107 | - | 200 |3102 | 200 | 213 | 21M| 0 | 23k|-3.616667e+01 |-3.100000e+01 | 14.29%
1291.85/1292.14 c 1292s| 2590k| 64889 | 31832k| 12.3 | 297M| 107 | - | 200 |3102 | 200 | 237 | 21M| 0 | 23k|-3.614286e+01 |-3.100000e+01 | 14.23%
1295.95/1296.28 c 1296s| 2600k| 64741 | 31921k| 12.3 | 296M| 107 | - | 200 |3102 | 200 | 216 | 21M| 0 | 24k|-3.612500e+01 |-3.100000e+01 | 14.19%
1300.16/1300.44 c 1300s| 2610k| 64585 | 32010k| 12.3 | 296M| 107 | 69 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.610000e+01 |-3.100000e+01 | 14.13%
1304.26/1304.55 c 1305s| 2620k| 64401 | 32098k| 12.2 | 296M| 107 | - | 200 |3102 | 200 | 219 | 21M| 0 | 24k|-3.607143e+01 |-3.100000e+01 | 14.06%
1308.45/1308.75 c 1309s| 2630k| 64207 | 32188k| 12.2 | 295M| 107 | - | 200 |3102 | 200 | 219 | 21M| 0 | 24k|-3.603226e+01 |-3.100000e+01 | 13.97%
1312.65/1312.93 c 1313s| 2640k| 64101 | 32278k| 12.2 | 295M| 107 | 38 | 200 |3102 | 200 | 219 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1316.75/1317.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.75/1317.07 c 1317s| 2650k| 63959 | 32367k| 12.2 | 295M| 107 | - | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1320.95/1321.25 c 1321s| 2660k| 63821 | 32457k| 12.2 | 295M| 107 | - | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1325.05/1325.33 c 1325s| 2670k| 63627 | 32544k| 12.2 | 294M| 107 | - | 200 |3102 | 200 | 211 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1329.15/1329.48 c 1329s| 2680k| 63453 | 32634k| 12.2 | 294M| 107 | - | 200 |3102 | 200 | 216 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1333.25/1333.56 c 1334s| 2690k| 63287 | 32722k| 12.2 | 294M| 111 | - | 200 |3102 | 200 | 212 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1337.45/1337.72 c 1338s| 2700k| 63079 | 32811k| 12.1 | 293M| 111 | 54 | 200 |3102 | 200 | 226 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1341.55/1341.82 c 1342s| 2710k| 62945 | 32900k| 12.1 | 293M| 111 | 32 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1345.65/1345.96 c 1346s| 2720k| 62791 | 32989k| 12.1 | 293M| 111 | 18 | 200 |3102 | 200 | 215 | 21M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1349.74/1350.03 c 1350s| 2730k| 62675 | 33077k| 12.1 | 292M| 111 | - | 200 |3102 | 200 | 225 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1353.75/1354.08 c 1354s| 2740k| 62513 | 33162k| 12.1 | 292M| 111 | 43 | 200 |3102 | 200 | 215 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1357.84/1358.15 c 1358s| 2750k| 62353 | 33251k| 12.1 | 292M| 111 | - | 200 |3102 | 200 | 248 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1361.94/1362.25 c 1362s| 2760k| 62181 | 33339k| 12.1 | 291M| 111 | 41 | 200 |3102 | 200 | 210 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1366.14/1366.44 c 1366s| 2770k| 62077 | 33430k| 12.1 | 291M| 111 | - | 200 |3102 | 200 | 222 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1370.34/1370.60 c 1371s| 2780k| 61881 | 33519k| 12.1 | 291M| 111 | - | 200 |3102 | 200 | 239 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1374.44/1374.73 c 1375s| 2790k| 61733 | 33608k| 12.0 | 290M| 111 | 25 | 200 |3102 | 200 | 215 | 22M| 0 | 24k|-3.600000e+01 |-3.100000e+01 | 13.89%
1378.54/1378.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.54/1378.83 c 1379s| 2800k| 61615 | 33697k| 12.0 | 290M| 111 | - | 200 |3102 | 200 | 230 | 22M| 0 | 24k|-3.596429e+01 |-3.100000e+01 | 13.80%
1382.74/1383.00 c 1383s| 2810k| 61431 | 33785k| 12.0 | 290M| 111 | - | 200 |3102 | 200 | 239 | 22M| 0 | 24k|-3.591667e+01 |-3.100000e+01 | 13.69%
1386.75/1387.09 c 1387s| 2820k| 61265 | 33873k| 12.0 | 290M| 111 | - | 200 |3102 | 200 | 212 | 22M| 0 | 24k|-3.588889e+01 |-3.100000e+01 | 13.62%
1390.84/1391.10 c 1391s| 2830k| 61075 | 33957k| 12.0 | 289M| 111 | 32 | 200 |3102 | 200 | 255 | 22M| 0 | 24k|-3.587500e+01 |-3.100000e+01 | 13.59%
1394.93/1395.21 c 1395s| 2840k| 60899 | 34044k| 12.0 | 289M| 111 | 25 | 200 |3102 | 200 | 209 | 22M| 0 | 24k|-3.583333e+01 |-3.100000e+01 | 13.49%
1398.94/1399.23 c 1399s| 2850k| 60679 | 34128k| 12.0 | 288M| 111 | 47 | 200 |3102 | 200 | 216 | 22M| 0 | 24k|-3.583333e+01 |-3.100000e+01 | 13.49%
1402.94/1403.22 c 1403s| 2860k| 60463 | 34212k| 12.0 | 288M| 111 | - | 200 |3102 | 200 | 227 | 22M| 0 | 24k|-3.580000e+01 |-3.100000e+01 | 13.41%
1407.03/1407.30 c 1407s| 2870k| 60289 | 34298k| 11.9 | 287M| 111 | - | 200 |3102 | 200 | 224 | 22M| 0 | 24k|-3.580000e+01 |-3.100000e+01 | 13.41%
1411.04/1411.31 c 1411s| 2880k| 60061 | 34382k| 11.9 | 287M| 111 | - | 200 |3102 | 200 | 236 | 22M| 0 | 24k|-3.577273e+01 |-3.100000e+01 | 13.34%
1415.04/1415.37 c 1415s| 2890k| 59895 | 34468k| 11.9 | 286M| 111 | 43 | 200 |3102 | 200 | 228 | 22M| 0 | 24k|-3.575000e+01 |-3.100000e+01 | 13.29%
1419.04/1419.37 c 1419s| 2900k| 59675 | 34552k| 11.9 | 286M| 111 | - | 200 |3102 | 200 | 249 | 22M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1423.04/1423.38 c 1423s| 2910k| 59443 | 34636k| 11.9 | 285M| 111 | 48 | 200 |3102 | 200 | 209 | 23M| 0 | 25k|-3.575000e+01 |-3.100000e+01 | 13.29%
1427.13/1427.47 c 1427s| 2920k| 59249 | 34722k| 11.9 | 285M| 111 | 34 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.573684e+01 |-3.100000e+01 | 13.25%
1431.23/1431.50 c 1431s| 2930k| 59051 | 34806k| 11.9 | 285M| 111 | - | 200 |3102 | 200 | 255 | 23M| 0 | 25k|-3.571429e+01 |-3.100000e+01 | 13.20%
1435.14/1435.50 c 1435s| 2940k| 58831 | 34890k| 11.9 | 284M| 111 | - | 200 |3102 | 200 | 220 | 23M| 0 | 25k|-3.568182e+01 |-3.100000e+01 | 13.12%
1439.23/1439.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.23/1439.57 c 1440s| 2950k| 58653 | 34978k| 11.9 | 284M| 111 | - | 200 |3102 | 200 | 239 | 23M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1443.33/1443.65 c 1444s| 2960k| 58463 | 35064k| 11.8 | 283M| 111 | 66 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1447.33/1447.67 c 1448s| 2970k| 58247 | 35149k| 11.8 | 283M| 111 | 37 | 200 |3102 | 200 | 216 | 23M| 0 | 25k|-3.566667e+01 |-3.100000e+01 | 13.08%
1451.43/1451.73 c 1452s| 2980k| 58025 | 35235k| 11.8 | 282M| 111 | 49 | 200 |3102 | 200 | 218 | 23M| 0 | 25k|-3.566578e+01 |-3.100000e+01 | 13.08%
1455.43/1455.75 c 1456s| 2990k| 57807 | 35318k| 11.8 | 282M| 111 | 54 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.562500e+01 |-3.100000e+01 | 12.98%
1459.53/1459.82 c 1460s| 3000k| 57571 | 35404k| 11.8 | 281M| 111 | 12 | 200 |3102 | 200 | 215 | 23M| 0 | 25k|-3.560000e+01 |-3.100000e+01 | 12.92%
1463.52/1463.80 c 1464s| 3010k| 57347 | 35487k| 11.8 | 280M| 111 | - | 200 |3102 | 200 | 246 | 23M| 0 | 25k|-3.558621e+01 |-3.100000e+01 | 12.89%
1467.53/1467.86 c 1468s| 3020k| 57149 | 35572k| 11.8 | 280M| 114 | - | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.556250e+01 |-3.100000e+01 | 12.83%
1471.62/1471.95 c 1472s| 3030k| 56925 | 35657k| 11.8 | 279M| 114 | - | 200 |3102 | 200 | 249 | 23M| 0 | 25k|-3.552632e+01 |-3.100000e+01 | 12.74%
1475.73/1476.02 c 1476s| 3040k| 56713 | 35742k| 11.8 | 279M| 114 | 8 | 200 |3102 | 200 | 213 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1479.63/1479.97 c 1480s| 3050k| 56479 | 35826k| 11.7 | 278M| 114 | - | 200 |3102 | 200 | 221 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1483.63/1483.96 c 1484s| 3060k| 56227 | 35909k| 11.7 | 278M| 114 | - | 200 |3102 | 200 | 267 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1487.62/1487.91 c 1488s| 3070k| 56005 | 35992k| 11.7 | 277M| 114 | - | 200 |3102 | 200 | 250 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1491.62/1491.91 c 1492s| 3080k| 55789 | 36075k| 11.7 | 277M| 114 | 27 | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1495.52/1495.86 c 1496s| 3090k| 55571 | 36159k| 11.7 | 276M| 114 | - | 200 |3102 | 200 | 214 | 23M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1499.52/1499.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.52/1499.80 c 1500s| 3100k| 55315 | 36240k| 11.7 | 275M| 114 | 45 | 200 |3102 | 200 | 216 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1503.52/1503.81 c 1504s| 3110k| 55119 | 36324k| 11.7 | 275M| 114 | - | 200 |3102 | 200 | 218 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1507.42/1507.71 c 1508s| 3120k| 54905 | 36406k| 11.7 | 274M| 114 | - | 200 |3102 | 200 | 211 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1511.42/1511.76 c 1512s| 3130k| 54697 | 36491k| 11.7 | 274M| 114 | - | 200 |3102 | 200 | 238 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1515.31/1515.67 c 1516s| 3140k| 54435 | 36571k| 11.6 | 273M| 114 | - | 200 |3102 | 200 | 210 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1519.32/1519.66 c 1520s| 3150k| 54181 | 36654k| 11.6 | 272M| 114 | - | 200 |3102 | 200 | 223 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1523.31/1523.61 c 1524s| 3160k| 53959 | 36738k| 11.6 | 272M| 114 | - | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.550000e+01 |-3.100000e+01 | 12.68%
1527.31/1527.61 c 1528s| 3170k| 53729 | 36822k| 11.6 | 271M| 114 | 47 | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.547222e+01 |-3.100000e+01 | 12.61%
1531.32/1531.66 c 1532s| 3180k| 53499 | 36906k| 11.6 | 270M| 114 | 50 | 200 |3102 | 200 | 219 | 24M| 0 | 25k|-3.542857e+01 |-3.100000e+01 | 12.50%
1535.22/1535.57 c 1536s| 3190k| 53259 | 36987k| 11.6 | 270M| 114 | 10 | 200 |3102 | 200 | 216 | 24M| 0 | 25k|-3.540000e+01 |-3.100000e+01 | 12.43%
1539.21/1539.52 c 1540s| 3200k| 53007 | 37068k| 11.6 | 269M| 114 | 6 | 200 |3102 | 200 | 214 | 24M| 0 | 25k|-3.537500e+01 |-3.100000e+01 | 12.37%
1543.21/1543.50 c 1543s| 3210k| 52735 | 37151k| 11.6 | 268M| 114 | - | 200 |3102 | 200 | 218 | 24M| 0 | 25k|-3.533333e+01 |-3.100000e+01 | 12.26%
1547.11/1547.45 c 1547s| 3220k| 52485 | 37233k| 11.6 | 268M| 114 | - | 200 |3102 | 200 | 213 | 24M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1551.01/1551.39 c 1551s| 3230k| 52243 | 37315k| 11.5 | 267M| 114 | - | 200 |3102 | 200 | 217 | 24M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1555.01/1555.38 c 1555s| 3240k| 51999 | 37398k| 11.5 | 266M| 114 | - | 200 |3102 | 200 | 239 | 24M| 0 | 26k|-3.533333e+01 |-3.100000e+01 | 12.26%
1559.01/1559.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1559.01/1559.35 c 1559s| 3250k| 51759 | 37480k| 11.5 | 266M| 114 | - | 200 |3102 | 200 | 215 | 24M| 0 | 26k|-3.528571e+01 |-3.100000e+01 | 12.15%
1562.91/1563.29 c 1563s| 3260k| 51493 | 37561k| 11.5 | 265M| 114 | - | 200 |3102 | 200 | 219 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1566.91/1567.21 c 1567s| 3270k| 51229 | 37642k| 11.5 | 264M| 114 | - | 200 |3102 | 200 | 212 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1570.81/1571.15 c 1571s| 3280k| 50973 | 37724k| 11.5 | 263M| 114 | - | 200 |3102 | 200 | 241 | 24M| 0 | 26k|-3.525000e+01 |-3.100000e+01 | 12.06%
1574.71/1575.02 c 1575s| 3290k| 50665 | 37803k| 11.5 | 262M| 114 | - | 200 |3102 | 200 | 226 | 24M| 0 | 26k|-3.522581e+01 |-3.100000e+01 | 12.00%
1578.60/1578.98 c 1579s| 3300k| 50371 | 37884k| 11.5 | 262M| 114 | - | 200 |3102 | 200 | 219 | 25M| 0 | 26k|-3.520000e+01 |-3.100000e+01 | 11.93%
1582.61/1582.92 c 1583s| 3310k| 50111 | 37965k| 11.5 | 261M| 114 | 16 | 200 |3102 | 200 | 215 | 25M| 0 | 26k|-3.516667e+01 |-3.100000e+01 | 11.85%
1586.51/1586.80 c 1587s| 3320k| 49829 | 38045k| 11.5 | 260M| 114 | 30 | 200 |3102 | 200 | 216 | 25M| 0 | 26k|-3.516667e+01 |-3.100000e+01 | 11.85%
1590.31/1590.65 c 1591s| 3330k| 49509 | 38123k| 11.4 | 259M| 114 | - | 200 |3102 | 200 | 243 | 25M| 0 | 26k|-3.513514e+01 |-3.100000e+01 | 11.77%
1594.20/1594.53 c 1595s| 3340k| 49233 | 38202k| 11.4 | 258M| 114 | 53 | 200 |3102 | 200 | 218 | 25M| 0 | 26k|-3.510714e+01 |-3.100000e+01 | 11.70%
1598.10/1598.41 c 1598s| 3350k| 48921 | 38281k| 11.4 | 257M| 114 | 34 | 200 |3102 | 200 | 222 | 25M| 0 | 26k|-3.508333e+01 |-3.100000e+01 | 11.64%
1602.01/1602.32 c 1602s| 3360k| 48635 | 38362k| 11.4 | 257M| 114 | - | 200 |3102 | 200 | 212 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1605.90/1606.26 c 1606s| 3370k| 48335 | 38444k| 11.4 | 256M| 114 | 46 | 200 |3102 | 200 | 215 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1609.81/1610.19 c 1610s| 3380k| 48079 | 38525k| 11.4 | 255M| 114 | 51 | 200 |3102 | 200 | 244 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1613.70/1614.04 c 1614s| 3390k| 47803 | 38604k| 11.4 | 254M| 114 | 5 | 200 |3102 | 200 | 217 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1617.60/1617.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.60/1617.93 c 1618s| 3400k| 47509 | 38684k| 11.4 | 253M| 114 | - | 200 |3102 | 200 | 217 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1621.50/1621.82 c 1622s| 3410k| 47209 | 38764k| 11.4 | 252M| 114 | - | 200 |3102 | 200 | 255 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1625.30/1625.67 c 1626s| 3420k| 46919 | 38842k| 11.4 | 251M| 114 | - | 200 |3102 | 200 | 244 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1629.20/1629.51 c 1630s| 3430k| 46587 | 38921k| 11.3 | 250M| 114 | - | 200 |3102 | 200 | 212 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1633.00/1633.35 c 1633s| 3440k| 46269 | 39000k| 11.3 | 249M| 114 | 49 | 200 |3102 | 200 | 211 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1636.90/1637.21 c 1637s| 3450k| 45989 | 39078k| 11.3 | 248M| 114 | 50 | 200 |3102 | 200 | 230 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1640.70/1641.03 c 1641s| 3460k| 45673 | 39157k| 11.3 | 247M| 114 | - | 200 |3102 | 200 | 220 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1644.49/1644.85 c 1645s| 3470k| 45365 | 39234k| 11.3 | 246M| 114 | - | 200 |3102 | 200 | 244 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1648.40/1648.72 c 1649s| 3480k| 45061 | 39313k| 11.3 | 246M| 114 | 61 | 200 |3102 | 200 | 244 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1652.20/1652.58 c 1653s| 3490k| 44789 | 39393k| 11.3 | 245M| 114 | 65 | 200 |3102 | 200 | 214 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1656.10/1656.49 c 1656s| 3500k| 44439 | 39473k| 11.3 | 244M| 114 | 10 | 200 |3102 | 200 | 228 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1660.00/1660.36 c 1660s| 3510k| 44143 | 39553k| 11.3 | 243M| 114 | 45 | 200 |3102 | 200 | 222 | 25M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1663.90/1664.21 c 1664s| 3520k| 43827 | 39632k| 11.3 | 242M| 114 | 46 | 200 |3102 | 200 | 215 | 26M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1667.80/1668.18 c 1668s| 3530k| 43535 | 39715k| 11.2 | 241M| 114 | - | 200 |3102 | 200 | 233 | 26M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1671.70/1672.08 c 1672s| 3540k| 43241 | 39796k| 11.2 | 240M| 114 | 28 | 200 |3102 | 200 | 215 | 26M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1675.59/1675.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.59/1675.99 c 1676s| 3550k| 42963 | 39877k| 11.2 | 239M| 114 | 20 | 200 |3102 | 200 | 217 | 26M| 0 | 26k|-3.500000e+01 |-3.100000e+01 | 11.43%
1679.50/1679.85 c 1680s| 3560k| 42663 | 39956k| 11.2 | 238M| 114 | 38 | 200 |3102 | 200 | 213 | 26M| 0 | 26k|-3.496154e+01 |-3.100000e+01 | 11.33%
1683.29/1683.67 c 1684s| 3570k| 42281 | 40034k| 11.2 | 237M| 114 | 48 | 200 |3102 | 200 | 215 | 26M| 0 | 27k|-3.490385e+01 |-3.100000e+01 | 11.18%
1687.19/1687.54 c 1688s| 3580k| 41955 | 40112k| 11.2 | 235M| 114 | 32 | 200 |3102 | 200 | 227 | 26M| 0 | 27k|-3.487500e+01 |-3.100000e+01 | 11.11%
1690.99/1691.32 c 1691s| 3590k| 41637 | 40188k| 11.2 | 234M| 114 | - | 200 |3102 | 200 | 241 | 26M| 0 | 27k|-3.483333e+01 |-3.100000e+01 | 11.00%
1694.80/1695.15 c 1695s| 3600k| 41271 | 40265k| 11.2 | 233M| 114 | 57 | 200 |3102 | 200 | 220 | 26M| 0 | 27k|-3.480769e+01 |-3.100000e+01 | 10.94%
1698.60/1698.95 c 1699s| 3610k| 40939 | 40341k| 11.2 | 232M| 114 | 48 | 200 |3102 | 200 | 240 | 26M| 0 | 27k|-3.478261e+01 |-3.100000e+01 | 10.87%
1702.50/1702.80 c 1703s| 3620k| 40573 | 40420k| 11.2 | 231M| 114 | 40 | 200 |3102 | 200 | 210 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1706.19/1706.58 c 1707s| 3630k| 40181 | 40495k| 11.2 | 230M| 114 | 64 | 200 |3102 | 200 | 212 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1709.98/1710.35 c 1710s| 3640k| 39819 | 40570k| 11.1 | 228M| 114 | - | 200 |3102 | 200 | 247 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1713.79/1714.10 c 1714s| 3650k| 39461 | 40645k| 11.1 | 227M| 114 | 10 | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.475000e+01 |-3.100000e+01 | 10.79%
1717.59/1717.93 c 1718s| 3660k| 39105 | 40722k| 11.1 | 226M| 114 | - | 200 |3102 | 200 | 230 | 26M| 0 | 27k|-3.470000e+01 |-3.100000e+01 | 10.66%
1721.29/1721.69 c 1722s| 3670k| 38695 | 40797k| 11.1 | 224M| 114 | - | 200 |3102 | 200 | 217 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1725.18/1725.52 c 1726s| 3680k| 38319 | 40873k| 11.1 | 223M| 114 | - | 200 |3102 | 200 | 222 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1728.98/1729.36 c 1729s| 3690k| 37925 | 40951k| 11.1 | 221M| 114 | 4 | 200 |3102 | 200 | 218 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1732.78/1733.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1732.78/1733.12 c 1733s| 3700k| 37521 | 41026k| 11.1 | 220M| 114 | 20 | 200 |3102 | 200 | 216 | 26M| 0 | 27k|-3.466667e+01 |-3.100000e+01 | 10.58%
1736.59/1736.94 c 1737s| 3710k| 37153 | 41103k| 11.1 | 219M| 114 | 51 | 200 |3102 | 200 | 213 | 26M| 0 | 27k|-3.462500e+01 |-3.100000e+01 | 10.47%
1740.39/1740.71 c 1741s| 3720k| 36753 | 41179k| 11.1 | 217M| 114 | - | 200 |3102 | 200 | 214 | 26M| 0 | 27k|-3.460000e+01 |-3.100000e+01 | 10.40%
1744.08/1744.47 c 1744s| 3730k| 36353 | 41254k| 11.1 | 216M| 114 | - | 200 |3102 | 200 | 232 | 26M| 0 | 27k|-3.458333e+01 |-3.100000e+01 | 10.36%
1747.88/1748.25 c 1748s| 3740k| 35999 | 41330k| 11.0 | 215M| 114 | 14 | 200 |3102 | 200 | 212 | 26M| 0 | 27k|-3.453846e+01 |-3.100000e+01 | 10.24%
1751.68/1752.00 c 1752s| 3750k| 35607 | 41405k| 11.0 | 213M| 114 | 27 | 200 |3102 | 200 | 219 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1755.38/1755.72 c 1756s| 3760k| 35185 | 41478k| 11.0 | 212M| 114 | 20 | 200 |3102 | 200 | 224 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1759.08/1759.41 c 1759s| 3770k| 34737 | 41551k| 11.0 | 210M| 114 | - | 200 |3102 | 200 | 208 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1762.78/1763.13 c 1763s| 3780k| 34325 | 41625k| 11.0 | 208M| 114 | - | 200 |3102 | 200 | 225 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1766.48/1766.87 c 1767s| 3790k| 33895 | 41699k| 11.0 | 207M| 114 | - | 200 |3102 | 200 | 225 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1770.18/1770.60 c 1771s| 3800k| 33457 | 41772k| 11.0 | 205M| 114 | 45 | 200 |3102 | 200 | 242 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1773.99/1774.35 c 1774s| 3810k| 33021 | 41846k| 11.0 | 203M| 114 | - | 200 |3102 | 200 | 224 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1777.68/1778.08 c 1778s| 3820k| 32535 | 41919k| 11.0 | 202M| 114 | - | 200 |3102 | 200 | 213 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1781.38/1781.79 c 1782s| 3830k| 32019 | 41992k| 11.0 | 200M| 114 | - | 200 |3102 | 200 | 220 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1785.17/1785.57 c 1786s| 3840k| 31571 | 42067k| 11.0 | 198M| 114 | 50 | 200 |3102 | 200 | 219 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1788.88/1789.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.88/1789.29 c 1789s| 3850k| 31109 | 42141k| 10.9 | 196M| 114 | 34 | 200 |3102 | 200 | 214 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1792.59/1793.00 c 1793s| 3860k| 30651 | 42215k| 10.9 | 194M| 114 | - | 200 |3102 | 200 | 217 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1796.37/1796.73 c 1797s| 3870k| 30195 | 42288k| 10.9 | 192M| 114 | 32 | 200 |3102 | 200 | 214 | 27M| 0 | 27k|-3.450000e+01 |-3.100000e+01 | 10.14%
1796.67/1797.00 c
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Solving Time (sec) : 1797.00
1796.67/1797.00 c Solving Nodes : 3870735
1796.67/1797.00 c Primal Bound : -3.10000000000000e+01 (621 solutions)
1796.67/1797.00 c Dual Bound : -3.45000000000000e+01
1796.67/1797.00 c Gap : 10.14 %
1796.67/1797.00 s SATISFIABLE
1796.67/1797.00 v -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 x180 -x179
1796.67/1797.00 v -x178 x177 -x176 x175 x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156
1796.67/1797.00 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 x135
1796.67/1797.00 v -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 x115 -x114 -x113
1796.67/1797.00 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1796.67/1797.00 v -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
1796.67/1797.00 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39
1796.67/1797.00 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1796.67/1797.00 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1796.67/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.67/1797.00 c Total Time : 1797.00
1796.67/1797.00 c solving : 1797.00
1796.67/1797.00 c presolving : 0.07 (included in solving)
1796.67/1797.00 c reading : 0.02 (included in solving)
1796.67/1797.00 c Original Problem :
1796.67/1797.00 c Problem name : HOME/instance-3737241-1338725626.opb
1796.67/1797.00 c Variables : 3302 (3302 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 3502 initial, 3502 maximal
1796.67/1797.00 c Presolved Problem :
1796.67/1797.00 c Problem name : t_HOME/instance-3737241-1338725626.opb
1796.67/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1797.00 c Constraints : 3102 initial, 3102 maximal
1796.67/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.67/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c and : 0.03 0 0 0 0 0 0 0 0 0
1796.67/1797.00 c linear : 0.01 3102 0 0 3102 0 200 0 0 0
1796.67/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1796.67/1797.00 c root node : - 0 - - 0 - - - - -
1796.67/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c integral : 0 0 0 2912408 0 697895 0 243 1869 0 0 3974330
1796.67/1797.00 c setppc : 3102 67 6309248 924207 1 697891 0 18 21756616 27479868 0 0
1796.67/1797.00 c countsols : 0 0 0 7 1 616 0 0 0 0 0 0
1796.67/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.67/1797.00 c integral : 39.96 0.00 0.00 39.81 0.00 0.15 0.00
1796.67/1797.00 c setppc : 129.10 0.05 62.03 22.01 0.00 45.01 0.00
1796.67/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.67/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.67/1797.00 c vbounds : 0 0 0 0
1796.67/1797.00 c rootredcost : 9 0 0 0
1796.67/1797.00 c pseudoobj : 6315999 0 1 0
1796.67/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.67/1797.00 c vbounds : 0.96 0.96 0.00
1796.67/1797.00 c rootredcost : 1.06 1.06 0.00
1796.67/1797.00 c pseudoobj : 27.51 27.51 0.00
1796.67/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.67/1797.00 c propagation : 0.00 18 0 0 0.0 0 0.0 -
1796.67/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.67/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.67/1797.00 c applied globally : - - - 0 0.0 - - -
1796.67/1797.00 c applied locally : - - - 0 0.0 - - -
1796.67/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.67/1797.00 c cut pool : 0.07 66 - - 167 - (maximal pool size: 3265)
1796.67/1797.00 c redcost : 16.67 3280950 0 712939 0 0
1796.67/1797.00 c impliedbounds : 0.01 67 0 0 1915 0
1796.67/1797.00 c intobj : 0.00 0 0 0 0 0
1796.67/1797.00 c gomory : 1.76 67 0 0 12410 0
1796.67/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.67/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.67/1797.00 c strongcg : 0.31 20 0 0 9282 0
1796.67/1797.00 c cmir : 0.07 10 0 0 0 0
1796.67/1797.00 c flowcover : 0.05 10 0 0 0 0
1796.67/1797.00 c clique : 0.15 67 0 0 583 0
1796.67/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.67/1797.00 c mcf : 0.00 1 0 0 0 0
1796.67/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.67/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1796.67/1797.00 c Pricers : Time Calls Vars
1796.67/1797.00 c problem variables: 0.00 0 0
1796.67/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.67/1797.00 c relpscost : 38.64 1988201 243 1869 0 0 3974330
1796.67/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.67/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.67/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.67/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.67/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.67/1797.00 c random : 0.00 0 0 0 0 0 0
1796.67/1797.00 c Primal Heuristics : Time Calls Found
1796.67/1797.00 c LP solutions : 0.39 - 7
1796.67/1797.00 c pseudo solutions : 0.00 - 0
1796.67/1797.00 c feaspump : 0.08 0 0
1796.67/1797.00 c oneopt : 0.64 11 0
1796.67/1797.00 c crossover : 2.06 45 21
1796.67/1797.00 c coefdiving : 0.30 296 10
1796.67/1797.00 c pscostdiving : 0.32 296 9
1796.67/1797.00 c linesearchdiving : 0.31 296 10
1796.67/1797.00 c fracdiving : 0.34 296 5
1796.67/1797.00 c veclendiving : 0.33 296 4
1796.67/1797.00 c guideddiving : 0.32 296 8
1796.67/1797.00 c objpscostdiving : 0.23 149 12
1796.67/1797.00 c rootsoldiving : 0.34 149 5
1796.67/1797.01 c trivial : 0.00 2 1
1796.67/1797.01 c shiftandpropagate: 0.00 0 0
1796.67/1797.01 c simplerounding : 54.95 1991987 522
1796.67/1797.01 c zirounding : 0.65 1000 3
1796.67/1797.01 c rounding : 5.52 95135 2
1796.67/1797.01 c shifting : 1.48 21462 1
1796.67/1797.01 c intshifting : 0.04 0 0
1796.67/1797.01 c twoopt : 0.00 0 0
1796.67/1797.01 c fixandinfer : 0.00 0 0
1796.67/1797.01 c clique : 0.00 0 0
1796.67/1797.01 c intdiving : 0.00 0 0
1796.67/1797.01 c actconsdiving : 0.00 0 0
1796.67/1797.01 c octane : 0.00 0 0
1796.67/1797.01 c rens : 0.01 0 0
1796.67/1797.01 c rins : 0.00 0 0
1796.67/1797.01 c localbranching : 0.00 0 0
1796.67/1797.01 c mutation : 0.00 0 0
1796.67/1797.01 c dins : 0.00 0 0
1796.67/1797.01 c vbounds : 0.00 0 0
1796.67/1797.01 c undercover : 0.01 1 0
1796.67/1797.01 c subnlp : 0.53 0 0
1796.67/1797.01 c trysol : 0.73 0 0
1796.67/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1796.67/1797.01 c primal LP : 25.24 0 0 0.00 0.00
1796.67/1797.01 c dual LP : 1125.73 4803142 42261077 8.80 37541.18
1796.67/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.67/1797.01 c barrier LP : 0.00 0 0 0.00 -
1796.67/1797.01 c diving/probing LP: 1.22 5881 32901 5.59 27009.45
1796.67/1797.01 c strong branching : 16.90 27886 453735 16.27 26850.99
1796.67/1797.01 c (at root node) : - 17 11209 659.35 -
1796.67/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.67/1797.01 c B&B Tree :
1796.67/1797.01 c number of runs : 1
1796.67/1797.01 c nodes : 3870735
1796.67/1797.01 c nodes (total) : 3870735
1796.67/1797.01 c nodes left : 30154
1796.67/1797.01 c max depth : 114
1796.67/1797.01 c max depth (total): 114
1796.67/1797.01 c backtracks : 459057 (11.9%)
1796.67/1797.01 c delayed cutoffs : 0
1796.67/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.67/1797.01 c avg switch length: 5.50
1796.67/1797.01 c switching time : 154.60
1796.67/1797.01 c Solution :
1796.67/1797.01 c Solutions found : 621 (14 improvements)
1796.67/1797.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1796.67/1797.01 c Primal Bound : -3.10000000000000e+01 (in run 1, after 1382992 nodes, 752.35 seconds, depth 51, found by <relaxation>)
1796.67/1797.01 c Dual Bound : -3.45000000000000e+01
1796.67/1797.01 c Gap : 10.14 %
1796.67/1797.01 c Root Dual Bound : -4.86352303095987e+01
1796.67/1797.01 c Root Iterations : 14158
1796.98/1797.39 c Time complete: 1797.07.
OK -31
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737241-1338725626/watcher-3737241-1338725626 -o /tmp/evaluation-result-3737241-1338725626/solver-3737241-1338725626 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737241-1338725626.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16146 /proc/meminfo: memFree=28229988/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=9588 CPUtime=0 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 1526 0 0 0 0 0 0 0 20 0 1 0 338686920 9818112 1481 33554432000 4194304 9016284 140737204448944 140737409139560 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 2397 1481 311 1178 0 1215 0 [startup+0.0371921 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16146 /proc/meminfo: memFree=28229988/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=26432 CPUtime=0.02 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 5359 0 0 0 2 0 0 0 20 0 1 0 338686920 27066368 5314 33554432000 4194304 9016284 140737204448944 140737409139560 7875499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 6608 5321 463 1178 0 5426 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 26432 [startup+0.10036 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16146 /proc/meminfo: memFree=28229988/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=31160 CPUtime=0.09 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 6821 0 0 0 8 1 0 0 20 0 1 0 338686920 31907840 6519 33554432000 4194304 9016284 140737204448944 140737409139560 6469459 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 7790 6519 521 1178 0 6608 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 31160 [startup+0.300294 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16146 /proc/meminfo: memFree=28229988/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=36720 CPUtime=0.28 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 14911 0 0 0 26 2 0 0 20 0 1 0 338686920 37601280 8104 33554432000 4194304 9016284 140737204448944 140737409139560 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 9180 8104 688 1178 0 7998 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 36720 [startup+0.700285 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16146 /proc/meminfo: memFree=28229988/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=43876 CPUtime=0.68 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 16779 0 0 0 65 3 0 0 20 0 1 0 338686920 44929024 9971 33554432000 4194304 9016284 140737204448944 140737204444104 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 10969 9971 691 1178 0 9787 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 43876 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16147 /proc/meminfo: memFree=28188936/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=49764 CPUtime=1.49 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 18232 0 0 0 144 5 0 0 20 0 1 0 338686920 50958336 11419 33554432000 4194304 9016284 140737204448944 140737204444056 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 12441 11419 691 1178 0 11259 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49764 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16147 /proc/meminfo: memFree=28181108/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=56384 CPUtime=3.09 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 19861 0 0 0 302 7 0 0 20 0 1 0 338686920 57737216 13012 33554432000 4194304 9016284 140737204448944 140737204444056 6558044 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 14096 13012 692 1178 0 12914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 56384 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16147 /proc/meminfo: memFree=28174660/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=56384 CPUtime=6.29 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 21524 0 0 0 617 12 0 0 20 0 1 0 338686920 57737216 13115 33554432000 4194304 9016284 140737204448944 140737204442792 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 14096 13115 698 1178 0 12914 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 56384 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/176 16147 /proc/meminfo: memFree=28166176/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=59080 CPUtime=12.69 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 35596 0 0 0 1238 31 0 0 20 0 1 0 338686920 60497920 13752 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 14770 13752 704 1178 0 13588 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59080 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16148 /proc/meminfo: memFree=28135772/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=76696 CPUtime=25.49 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 61067 0 0 0 2478 71 0 0 20 0 1 0 338686920 78536704 18152 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 19174 18152 704 1178 0 17992 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76696 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16148 /proc/meminfo: memFree=28087008/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=99968 CPUtime=51.08 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 91631 0 0 0 4955 153 0 0 20 0 1 0 338686920 102367232 24000 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 24992 24000 704 1178 0 23810 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 99968 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16148 /proc/meminfo: memFree=27988908/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=151984 CPUtime=102.26 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 111742 0 0 0 9915 311 0 0 20 0 1 0 338686920 155631616 37224 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 37996 37224 704 1178 0 36814 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 151984 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16148 /proc/meminfo: memFree=27888312/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=200392 CPUtime=162.24 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 127456 0 0 0 15728 496 0 0 20 0 1 0 338686920 205201408 49406 33554432000 4194304 9016284 140737204448944 140737204442856 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 50098 49406 704 1178 0 48916 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 200392 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16148 /proc/meminfo: memFree=27795364/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=250144 CPUtime=222.23 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 139944 0 0 0 21531 692 0 0 20 0 1 0 338686920 256147456 61893 33554432000 4194304 9016284 140737204448944 140737204443224 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 62536 61893 704 1178 0 61354 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 250144 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16148 /proc/meminfo: memFree=27706284/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=297228 CPUtime=282.22 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 154789 0 0 0 27334 888 0 0 20 0 1 0 338686920 304361472 73211 33554432000 4194304 9016284 140737204448944 140737204442312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 74307 73211 704 1178 0 73125 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 297228 [startup+342.3 s] /proc/loadavg: 2.08 2.03 2.01 3/177 16149 /proc/meminfo: memFree=27636872/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=339316 CPUtime=342.21 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 165362 0 0 0 33135 1086 0 0 20 0 1 0 338686920 347459584 83784 33554432000 4194304 9016284 140737204448944 140737204443224 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 84829 83784 704 1178 0 83647 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 339316 [startup+402.3 s] /proc/loadavg: 2.03 2.02 2.00 3/178 16152 /proc/meminfo: memFree=27597852/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=375592 CPUtime=402.2 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 174490 0 0 0 38942 1278 0 0 20 0 1 0 338686920 384606208 92912 33554432000 4194304 9016284 140737204448944 140737204442312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 93898 92912 704 1178 0 92716 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 375592 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 16152 /proc/meminfo: memFree=27548012/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=418076 CPUtime=462.19 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 185154 0 0 0 44740 1479 0 0 20 0 1 0 338686920 428109824 103576 33554432000 4194304 9016284 140737204448944 140737204443272 6776667 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 104519 103576 704 1178 0 103337 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 418076 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 16152 /proc/meminfo: memFree=27498024/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=460104 CPUtime=522.18 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 199210 0 0 0 50545 1673 0 0 20 0 1 0 338686920 471146496 114134 33554432000 4194304 9016284 140737204448944 140737204443048 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 115026 114134 704 1178 0 113844 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 460104 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16152 /proc/meminfo: memFree=27477592/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=470136 CPUtime=582.16 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 229974 0 0 0 56349 1867 0 0 20 0 1 0 338686920 481419264 116731 33554432000 4194304 9016284 140737204448944 140737204442312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 117534 116731 705 1178 0 116352 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 470136 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27372052/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=483444 CPUtime=1062.09 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 281324 0 0 0 102877 3332 0 0 20 0 1 0 338686920 495046656 119996 33554432000 4194304 9016284 140737204448944 140737204442904 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 120861 119996 705 1178 0 119679 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 483444 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16157 /proc/meminfo: memFree=27363248/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=483444 CPUtime=1122.08 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 281326 0 0 0 108699 3509 0 0 20 0 1 0 338686920 495046656 119998 33554432000 4194304 9016284 140737204448944 140737204443272 7102936 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 120861 119998 705 1178 0 119679 0 Current children cumulated CPU time (s) 1122.08 Current children cumulated vsize (KiB) 483444 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16157 /proc/meminfo: memFree=27356552/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=484468 CPUtime=1182.07 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 285111 0 0 0 114522 3685 0 0 20 0 1 0 338686920 496095232 120252 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121117 120252 705 1178 0 119935 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 484468 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16158 /proc/meminfo: memFree=27349360/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=484468 CPUtime=1242.07 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 285114 0 0 0 120343 3864 0 0 20 0 1 0 338686920 496095232 120255 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121117 120255 705 1178 0 119935 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 484468 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16158 /proc/meminfo: memFree=27344948/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=484468 CPUtime=1302.05 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 285115 0 0 0 126174 4031 0 0 20 0 1 0 338686920 496095232 120255 33554432000 4194304 9016284 140737204448944 140737204442312 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121117 120255 705 1178 0 119935 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 484468 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 16158 /proc/meminfo: memFree=27340112/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1362.04 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 285368 0 0 0 131997 4207 0 0 20 0 1 0 338686920 497143808 120508 33554432000 4194304 9016284 140737204448944 140737204442888 4889148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120508 705 1178 0 120191 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 485492 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/177 16158 /proc/meminfo: memFree=27335524/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1422.04 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 285370 0 0 0 137820 4384 0 0 20 0 1 0 338686920 497143808 120510 33554432000 4194304 9016284 140737204448944 140737204442808 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120510 705 1178 0 120191 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 485492 [startup+1482.3 s] /proc/loadavg: 2.10 2.03 2.01 3/177 16158 /proc/meminfo: memFree=27333664/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1482.02 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289009 0 0 0 143644 4558 0 0 20 0 1 0 338686920 497143808 120574 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120574 705 1178 0 120191 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 485492 [startup+1542.3 s] /proc/loadavg: 2.03 2.02 2.00 3/177 16159 /proc/meminfo: memFree=27333540/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1542.01 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 149472 4729 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204442360 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 485492 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/178 16162 /proc/meminfo: memFree=27333244/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1602.01 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 155303 4898 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204443176 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 485492 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 16162 /proc/meminfo: memFree=27333624/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1662 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 161138 5062 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204442904 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 485492 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 16200 /proc/meminfo: memFree=27562876/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1721.99 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 166971 5228 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204443048 5978720 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 485492 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27496808/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1781.98 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 172801 5397 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204442808 4835231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 485492 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27496808/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1785.17 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 173112 5405 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204443112 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1785.17 Current children cumulated vsize (KiB) 485492 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27497056/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1791.58 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 173732 5426 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204443112 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 485492 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27494636/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1794.78 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 174043 5435 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204443272 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 485492 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27494636/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1796.37 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289012 0 0 0 174197 5440 0 0 20 0 1 0 338686920 497143808 120577 33554432000 4194304 9016284 140737204448944 140737204443112 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120577 705 1178 0 120191 0 Current children cumulated CPU time (s) 1796.37 Current children cumulated vsize (KiB) 485492 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27494636/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1796.77 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289014 0 0 0 174236 5441 0 0 20 0 1 0 338686920 497143808 120579 33554432000 4194304 9016284 140737204448944 140737204443112 4330109 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120579 707 1178 0 120191 0 Current children cumulated CPU time (s) 1796.77 Current children cumulated vsize (KiB) 485492 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 16200 /proc/meminfo: memFree=27494636/32873844 swapFree=7632/7632 [pid=16146] ppid=16144 vsize=485492 CPUtime=1796.98 cores=1,3,5,7 /proc/16146/stat : 16146 (scip-2.0.1.4b_2) R 16144 16146 12480 0 -1 4202496 289014 0 0 0 174257 5441 0 0 20 0 1 0 338686920 497143808 120579 33554432000 4194304 9016284 140737204448944 140737204443112 4897769 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/16146/statm: 121373 120579 707 1178 0 120191 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 485492 Child status: 0 Real time (s): 1797.39 CPU time (s): 1797.08 CPU user time (s): 1742.66 CPU system time (s): 54.4227 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 497544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.66 system time used= 54.4227 maximum resident set size= 496552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289019 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68 involuntary context switches= 1842 runsolver used 4.44532 second user time and 16.7525 second system time The end
Begin job on node141 at 2012-06-03 14:13:46 IDJOB=3737241 IDBENCH=48207 IDSOLVER=2329 FILE ID=node141/3737241-1338725626 RUNJOBID= node141-1338702880-12497 PBS_JOBID= 14636716 Free space on /tmp= 70704 MiB SOLVER NAME= PB11: SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737241-1338725626/watcher-3737241-1338725626 -o /tmp/evaluation-result-3737241-1338725626/solver-3737241-1338725626 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737241-1338725626.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8 RANDOM SEED=471004843 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.744 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28230360 kB Buffers: 414820 kB Cached: 3209884 kB SwapCached: 216 kB Active: 1418712 kB Inactive: 2340684 kB Active(anon): 124984 kB Inactive(anon): 11448 kB Active(file): 1293728 kB Inactive(file): 2329236 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67108640 kB Dirty: 16704 kB Writeback: 0 kB AnonPages: 216748 kB Mapped: 13592 kB Shmem: 172 kB Slab: 740796 kB SReclaimable: 183228 kB SUnreclaim: 557568 kB KernelStack: 1472 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 252552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70688 MiB End job on node141 at 2012-06-03 14:43:43