Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -51 | 1798.44 | 1798.41 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb |
| MD5SUM | 2be9d345a101e171c9ff93c0b5b2195d |
| 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 | -52 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| 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 | 10 |
| Maximum length of a constraint | 22 |
| 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) | 2482 |
| Sum of products size (including duplicates) | 4964 |
| Number of different products | 1241 |
| Sum of products size | 2482 |
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-3488604-1307784423.opb>
0.00/0.01 c original problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 1641 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 1241 del vars, 400 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4964 impls, 0 clqs
0.00/0.04 c (round 2) 1241 del vars, 400 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 1241 upgd conss, 4964 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1241 deleted vars, 400 deleted constraints, 0 added constraints, 1241 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7444 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.00/0.05 c 1241 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.1s| 1 | 0 | 223 | - |4568k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.00/0.06 o -1
0.00/0.06 c R 0.1s| 1 | 0 | 223 | - |4571k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.00/0.06 o -2
0.00/0.06 c s 0.1s| 1 | 0 | 223 | - |4573k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 o -33
0.09/0.10 c y 0.1s| 1 | 0 | 223 | - |4918k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-3.300000e+01 | 67.00%
0.09/0.11 c 0.1s| 1 | 0 | 302 | - |4582k| 0 | 191 | 200 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-3.300000e+01 | 65.45%
0.09/0.14 c 0.1s| 1 | 0 | 402 | - |4590k| 0 | 184 | 200 |1241 | 200 |1260 | 19 | 0 | 0 |-9.200000e+01 |-3.300000e+01 | 64.13%
0.09/0.18 c 0.2s| 1 | 0 | 492 | - |4635k| 0 | 180 | 200 |1241 | 200 |1268 | 27 | 0 | 0 |-9.000000e+01 |-3.300000e+01 | 63.33%
0.19/0.25 c 0.3s| 1 | 0 | 699 | - |4767k| 0 | 179 | 200 |1241 | 200 |1274 | 33 | 0 | 0 |-8.800000e+01 |-3.300000e+01 | 62.50%
0.29/0.30 c 0.3s| 1 | 0 | 895 | - |4783k| 0 | 174 | 200 |1241 | 200 |1282 | 41 | 0 | 0 |-8.700000e+01 |-3.300000e+01 | 62.07%
0.29/0.35 c 0.3s| 1 | 0 | 1042 | - |4799k| 0 | 170 | 200 |1241 | 200 |1292 | 51 | 0 | 0 |-8.500000e+01 |-3.300000e+01 | 61.18%
0.39/0.40 c 0.4s| 1 | 0 | 1220 | - |4889k| 0 | 169 | 200 |1241 | 200 |1306 | 65 | 0 | 0 |-8.300000e+01 |-3.300000e+01 | 60.24%
0.39/0.45 c 0.4s| 1 | 0 | 1371 | - |4979k| 0 | 164 | 200 |1241 | 200 |1315 | 74 | 0 | 0 |-8.200000e+01 |-3.300000e+01 | 59.76%
0.39/0.49 c 0.5s| 1 | 0 | 1493 | - |5058k| 0 | 162 | 200 |1241 | 200 |1324 | 83 | 0 | 0 |-8.100000e+01 |-3.300000e+01 | 59.26%
0.49/0.53 c 0.5s| 1 | 0 | 1555 | - |5125k| 0 | 160 | 200 |1241 | 200 |1335 | 94 | 0 | 0 |-8.000000e+01 |-3.300000e+01 | 58.75%
0.59/0.60 c 0.6s| 1 | 0 | 1929 | - |5183k| 0 | 174 | 200 |1241 | 200 | 437 | 105 | 0 | 0 |-7.850000e+01 |-3.300000e+01 | 57.96%
0.59/0.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.64 c 0.6s| 1 | 0 | 2065 | - |5289k| 0 | 174 | 200 |1241 | 200 | 445 | 113 | 0 | 0 |-7.750000e+01 |-3.300000e+01 | 57.42%
0.59/0.67 c 0.7s| 1 | 0 | 2151 | - |5492k| 0 | 156 | 200 |1241 | 200 | 471 | 139 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
0.69/0.71 c 0.7s| 1 | 0 | 2389 | - |5592k| 0 | 155 | 200 |1241 | 200 | 488 | 156 | 0 | 0 |-7.700000e+01 |-3.300000e+01 | 57.14%
0.69/0.74 c 0.7s| 1 | 0 | 2540 | - |5755k| 0 | 183 | 200 |1241 | 200 | 498 | 166 | 0 | 0 |-7.607090e+01 |-3.300000e+01 | 56.62%
0.79/0.81 c 0.8s| 1 | 0 | 2668 | - |6702k| 0 | 148 | 200 |1241 | 200 | 623 | 291 | 0 | 0 |-7.500000e+01 |-3.300000e+01 | 56.00%
0.79/0.84 c 0.8s| 1 | 0 | 2788 | - |6784k| 0 | 184 | 200 |1241 | 200 | 462 | 304 | 0 | 0 |-7.465625e+01 |-3.300000e+01 | 55.80%
0.89/0.90 c 0.9s| 1 | 0 | 3218 | - |7022k| 0 | 189 | 200 |1241 | 200 | 480 | 322 | 0 | 0 |-7.376562e+01 |-3.300000e+01 | 55.26%
0.89/0.95 c 0.9s| 1 | 0 | 3375 | - |7376k| 0 | 194 | 200 |1241 | 200 | 542 | 384 | 0 | 0 |-7.317054e+01 |-3.300000e+01 | 54.90%
0.99/1.03 c 1.0s| 1 | 0 | 3676 | - |8157k| 0 | 192 | 200 |1241 | 200 | 565 | 407 | 0 | 0 |-7.276900e+01 |-3.300000e+01 | 54.65%
0.99/1.09 c 1.1s| 1 | 0 | 4007 | - |8583k| 0 | 189 | 200 |1241 | 200 | 596 | 438 | 0 | 0 |-7.211765e+01 |-3.300000e+01 | 54.24%
1.10/1.14 c 1.1s| 1 | 0 | 4250 | - |8754k| 0 | 189 | 200 |1241 | 200 | 617 | 459 | 0 | 0 |-7.138649e+01 |-3.300000e+01 | 53.77%
1.10/1.19 c 1.2s| 1 | 0 | 4417 | - |9504k| 0 | 196 | 200 |1241 | 200 | 543 | 486 | 0 | 0 |-7.099082e+01 |-3.300000e+01 | 53.52%
1.19/1.23 c 1.2s| 1 | 0 | 4542 | - |9512k| 0 | 195 | 200 |1241 | 200 | 558 | 501 | 0 | 0 |-7.085365e+01 |-3.300000e+01 | 53.43%
1.19/1.27 c 1.3s| 1 | 0 | 4723 | - |9518k| 0 | 193 | 200 |1241 | 200 | 573 | 516 | 0 | 0 |-7.056667e+01 |-3.300000e+01 | 53.24%
1.29/1.31 c 1.3s| 1 | 0 | 4891 | - |9838k| 0 | 195 | 200 |1241 | 200 | 584 | 527 | 0 | 0 |-7.035820e+01 |-3.300000e+01 | 53.10%
1.29/1.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.39 c 1.4s| 1 | 0 | 5093 | - | 10M| 0 | 195 | 200 |1241 | 200 | 598 | 541 | 0 | 0 |-7.026550e+01 |-3.300000e+01 | 53.04%
1.39/1.43 c 1.4s| 1 | 0 | 5188 | - | 10M| 0 | 198 | 200 |1241 | 200 | 609 | 552 | 0 | 0 |-7.021414e+01 |-3.300000e+01 | 53.00%
1.39/1.47 c 1.5s| 1 | 0 | 5253 | - | 10M| 0 | 197 | 200 |1241 | 200 | 416 | 560 | 0 | 0 |-7.018607e+01 |-3.300000e+01 | 52.98%
1.49/1.50 c 1.5s| 1 | 0 | 5544 | - | 10M| 0 | 198 | 200 |1241 | 200 | 426 | 570 | 0 | 0 |-6.996512e+01 |-3.300000e+01 | 52.83%
1.49/1.54 c 1.5s| 1 | 0 | 5784 | - | 10M| 0 | 190 | 200 |1241 | 200 | 457 | 601 | 0 | 0 |-6.947218e+01 |-3.300000e+01 | 52.50%
1.49/1.56 c 1.6s| 1 | 0 | 5798 | - | 10M| 0 | 194 | 200 |1241 | 200 | 469 | 613 | 0 | 0 |-6.946988e+01 |-3.300000e+01 | 52.50%
1.49/1.59 c 1.6s| 1 | 0 | 5863 | - | 11M| 0 | 193 | 200 |1241 | 200 | 475 | 619 | 0 | 0 |-6.934419e+01 |-3.300000e+01 | 52.41%
1.58/1.62 c 1.6s| 1 | 0 | 5892 | - | 11M| 0 | 195 | 200 |1241 | 200 | 482 | 626 | 0 | 0 |-6.933586e+01 |-3.300000e+01 | 52.41%
1.58/1.65 c 1.7s| 1 | 0 | 5913 | - | 11M| 0 | 195 | 200 |1241 | 200 | 358 | 630 | 0 | 0 |-6.933148e+01 |-3.300000e+01 | 52.40%
2.10/2.16 c 2.2s| 1 | 2 | 5913 | - | 11M| 0 | 195 | 200 |1241 | 200 | 358 | 630 | 0 | 30 |-6.933148e+01 |-3.300000e+01 | 52.40%
3.39/3.47 o -34
3.39/3.47 c R 3.5s| 140 | 139 | 11293 | 38.7 | 11M| 16 | 34 | 200 |1241 | 200 | 257 |2306 | 0 |1504 |-6.894863e+01 |-3.400000e+01 | 50.69%
3.59/3.60 o -40
3.59/3.60 c * 3.6s| 219 | 217 | 13627 | 35.4 | 11M| 22 | - | 200 |1241 | 200 | 263 |3189 | 0 |1531 |-6.894863e+01 |-4.000000e+01 | 41.99%
3.59/3.61 o -41
3.59/3.61 c * 3.6s| 231 | 225 | 13944 | 34.9 | 11M| 22 | - | 200 |1241 | 200 | 257 |3311 | 0 |1531 |-6.894863e+01 |-4.100000e+01 | 40.54%
3.59/3.63 o -42
3.59/3.63 c p 3.6s| 245 | 232 | 14319 | 34.5 | 11M| 23 | - | 200 |1241 | 200 | 271 |3479 | 0 |1531 |-6.894863e+01 |-4.200000e+01 | 39.09%
3.69/3.77 o -43
3.69/3.77 c * 3.8s| 397 | 325 | 17766 | 29.9 | 11M| 27 | - | 200 |1241 | 200 | 260 |5184 | 0 |1531 |-6.894863e+01 |-4.300000e+01 | 37.63%
4.19/4.21 o -45
4.19/4.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.19/4.21 c C 4.2s| 597 | 483 | 28423 | 37.8 | 11M| 27 | 76 | 200 |1241 | 200 | 222 |8700 | 0 |1531 |-6.866913e+01 |-4.500000e+01 | 34.47%
20.49/20.55 c 20.5s| 10000 | 9806 |466835 | 46.1 | 25M| 37 | 94 | 200 |1241 | 200 | 252 | 200k| 0 |2639 |-6.680000e+01 |-4.500000e+01 | 32.63%
28.50/28.59 o -48
28.50/28.59 c *28.6s| 15119 | 13926 |689271 | 45.2 | 31M| 38 | - | 200 |1241 | 200 | 260 | 306k| 0 |3324 |-6.633333e+01 |-4.800000e+01 | 27.64%
36.19/36.23 c 36.2s| 20000 | 18353 |892674 | 44.3 | 37M| 38 | 63 | 200 |1241 | 200 | 239 | 406k| 0 |3818 |-6.600000e+01 |-4.800000e+01 | 27.27%
51.18/51.21 c 51.2s| 30000 | 27155 | 1283k| 42.6 | 50M| 38 | 11 | 200 |1241 | 200 | 239 | 607k| 0 |4637 |-6.536364e+01 |-4.800000e+01 | 26.56%
63.58/63.66 c 63.7s| 40000 | 34555 | 1619k| 40.3 | 61M| 49 | - | 200 |1241 | 200 | 263 | 786k| 0 |5384 |-6.480000e+01 |-4.800000e+01 | 25.93%
74.98/75.08 c 75.1s| 50000 | 41745 | 1940k| 38.7 | 71M| 49 | 105 | 200 |1241 | 200 | 274 | 959k| 0 |5958 |-6.445455e+01 |-4.800000e+01 | 25.53%
86.38/86.43 c 86.4s| 60000 | 48157 | 2238k| 37.2 | 81M| 49 | 34 | 200 |1241 | 200 | 250 |1121k| 0 |6445 |-6.400000e+01 |-4.800000e+01 | 25.00%
97.68/97.79 c 97.8s| 70000 | 54565 | 2531k| 36.1 | 90M| 49 | 13 | 200 |1241 | 200 | 197 |1280k| 0 |6899 |-6.395833e+01 |-4.800000e+01 | 24.95%
108.49/108.57 c 109s| 80000 | 60769 | 2810k| 35.1 | 100M| 49 | 58 | 200 |1241 | 200 | 238 |1429k| 0 |7347 |-6.366667e+01 |-4.800000e+01 | 24.61%
119.08/119.10 c 119s| 90000 | 66733 | 3086k| 34.2 | 109M| 49 | - | 200 |1241 | 200 | 254 |1575k| 0 |7704 |-6.350000e+01 |-4.800000e+01 | 24.41%
129.28/129.34 c 129s|100000 | 72341 | 3348k| 33.4 | 117M| 49 | 30 | 200 |1241 | 200 | 250 |1718k| 0 |8045 |-6.337500e+01 |-4.800000e+01 | 24.26%
139.28/139.35 c 139s|110000 | 77931 | 3608k| 32.8 | 126M| 49 | 51 | 200 |1241 | 200 | 249 |1859k| 0 |8387 |-6.325000e+01 |-4.800000e+01 | 24.11%
149.49/149.51 c 150s|120000 | 83455 | 3866k| 32.2 | 134M| 49 | 51 | 200 |1241 | 200 | 243 |1996k| 0 |8733 |-6.300000e+01 |-4.800000e+01 | 23.81%
155.89/155.91 o -49
155.89/155.91 c * 156s|126266 | 75619 | 4030k| 31.9 | 126M| 49 | - | 200 |1241 | 200 | 245 |2081k| 0 |8930 |-6.300000e+01 |-4.900000e+01 | 22.22%
159.58/159.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.58/159.61 c 160s|130000 | 77459 | 4125k| 31.7 | 129M| 49 | - | 200 |1241 | 200 | 255 |2134k| 0 |9032 |-6.300000e+01 |-4.900000e+01 | 22.22%
168.99/169.00 c 169s|140000 | 81951 | 4363k| 31.1 | 137M| 49 | - | 200 |1241 | 200 | 251 |2265k| 0 |9303 |-6.300000e+01 |-4.900000e+01 | 22.22%
178.29/178.32 c 178s|150000 | 86741 | 4604k| 30.7 | 144M| 49 | 63 | 200 |1241 | 200 | 236 |2395k| 0 |9544 |-6.287500e+01 |-4.900000e+01 | 22.07%
187.48/187.58 c 188s|160000 | 91247 | 4839k| 30.2 | 151M| 49 | 33 | 200 |1241 | 200 | 243 |2525k| 0 |9842 |-6.275000e+01 |-4.900000e+01 | 21.91%
196.09/196.18 c 196s|170000 | 95709 | 5075k| 29.8 | 158M| 49 | 103 | 200 |1241 | 200 | 284 |2654k| 0 | 10k|-6.266667e+01 |-4.900000e+01 | 21.81%
204.59/204.62 c 205s|180000 |100213 | 5309k| 29.5 | 165M| 49 | 41 | 200 |1241 | 200 | 244 |2782k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
212.78/212.83 c 213s|190000 |104475 | 5535k| 29.1 | 172M| 49 | 77 | 200 |1241 | 200 | 263 |2908k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
220.89/220.96 c 221s|200000 |108681 | 5761k| 28.8 | 179M| 49 | 65 | 200 |1241 | 200 | 261 |3037k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
229.09/229.17 c 229s|210000 |112695 | 5988k| 28.5 | 185M| 49 | 96 | 200 |1241 | 200 | 269 |3165k| 0 | 11k|-6.240000e+01 |-4.900000e+01 | 21.47%
237.18/237.22 c 237s|220000 |116763 | 6209k| 28.2 | 192M| 49 | 92 | 200 |1241 | 200 | 300 |3289k| 0 | 11k|-6.233333e+01 |-4.900000e+01 | 21.39%
245.08/245.19 c 245s|230000 |120641 | 6428k| 27.9 | 198M| 49 | - | 200 |1241 | 200 | 267 |3412k| 0 | 11k|-6.225000e+01 |-4.900000e+01 | 21.29%
252.99/253.09 c 253s|240000 |124751 | 6645k| 27.7 | 204M| 49 | 37 | 200 |1241 | 200 | 239 |3535k| 0 | 11k|-6.222222e+01 |-4.900000e+01 | 21.25%
261.18/261.22 c 261s|250000 |129121 | 6868k| 27.4 | 211M| 49 | 42 | 200 |1241 | 200 | 256 |3659k| 0 | 11k|-6.214286e+01 |-4.900000e+01 | 21.15%
268.89/268.92 c 269s|260000 |132795 | 7077k| 27.2 | 217M| 52 | 33 | 200 |1241 | 200 | 257 |3779k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
276.38/276.42 c 276s|270000 |136139 | 7282k| 27.0 | 222M| 53 | 98 | 200 |1241 | 200 | 274 |3899k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
283.59/283.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.59/283.68 c 284s|280000 |139321 | 7480k| 26.7 | 228M| 53 | 89 | 200 |1241 | 200 | 257 |4018k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
290.99/291.05 c 291s|290000 |142537 | 7681k| 26.5 | 233M| 53 | - | 200 |1241 | 200 | 247 |4137k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
298.19/298.25 c 298s|300000 |145627 | 7877k| 26.2 | 238M| 53 | 71 | 200 |1241 | 200 | 267 |4254k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
305.39/305.41 c 305s|310000 |148641 | 8071k| 26.0 | 243M| 53 | - | 200 |1241 | 200 | 258 |4370k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
312.49/312.55 c 313s|320000 |151563 | 8264k| 25.8 | 248M| 53 | - | 200 |1241 | 200 | 262 |4486k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
319.69/319.74 c 320s|330000 |154653 | 8460k| 25.6 | 254M| 53 | 78 | 200 |1241 | 200 | 256 |4605k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
326.88/326.90 c 327s|340000 |157837 | 8655k| 25.4 | 259M| 53 | 42 | 200 |1241 | 200 | 219 |4721k| 0 | 13k|-6.200000e+01 |-4.900000e+01 | 20.97%
333.79/333.81 c 334s|350000 |160717 | 8840k| 25.2 | 264M| 53 | 84 | 200 |1241 | 200 | 281 |4833k| 0 | 13k|-6.188889e+01 |-4.900000e+01 | 20.83%
340.99/341.00 c 341s|360000 |163979 | 9034k| 25.1 | 269M| 53 | 70 | 200 |1241 | 200 | 247 |4947k| 0 | 13k|-6.183333e+01 |-4.900000e+01 | 20.75%
347.99/348.08 c 348s|370000 |166971 | 9225k| 24.9 | 274M| 53 | - | 200 |1241 | 200 | 249 |5062k| 0 | 14k|-6.178571e+01 |-4.900000e+01 | 20.69%
355.09/355.16 c 355s|380000 |170129 | 9418k| 24.8 | 279M| 53 | - | 200 |1241 | 200 | 286 |5178k| 0 | 14k|-6.175000e+01 |-4.900000e+01 | 20.65%
362.09/362.12 c 362s|390000 |173059 | 9605k| 24.6 | 284M| 53 | - | 200 |1241 | 200 | 250 |5289k| 0 | 14k|-6.173333e+01 |-4.900000e+01 | 20.63%
368.98/369.07 c 369s|400000 |175879 | 9794k| 24.5 | 289M| 53 | 14 | 200 |1241 | 200 | 239 |5402k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
375.99/376.09 c 376s|410000 |178989 | 9985k| 24.3 | 294M| 53 | 49 | 200 |1241 | 200 | 238 |5517k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
382.99/383.00 c 383s|420000 |181769 | 10172k| 24.2 | 299M| 53 | 55 | 200 |1241 | 200 | 254 |5632k| 0 | 14k|-6.166667e+01 |-4.900000e+01 | 20.54%
389.99/390.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.99/390.05 c 390s|430000 |184671 | 10365k| 24.1 | 304M| 55 | 22 | 200 |1241 | 200 | 250 |5747k| 0 | 14k|-6.160000e+01 |-4.900000e+01 | 20.45%
397.10/397.11 c 397s|440000 |187675 | 10557k| 24.0 | 309M| 55 | 85 | 200 |1241 | 200 | 238 |5863k| 0 | 15k|-6.157143e+01 |-4.900000e+01 | 20.42%
404.09/404.18 c 404s|450000 |190525 | 10749k| 23.9 | 314M| 55 | 42 | 200 |1241 | 200 | 241 |5979k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
411.09/411.12 c 411s|460000 |193335 | 10939k| 23.8 | 319M| 55 | - | 200 |1241 | 200 | 284 |6095k| 0 | 15k|-6.150000e+01 |-4.900000e+01 | 20.33%
418.00/418.05 o -50
418.00/418.05 c * 418s|469903 |154797 | 11123k| 23.7 | 268M| 55 | - | 200 |1241 | 200 | 259 |6208k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
418.09/418.13 c 418s|470000 |154802 | 11125k| 23.7 | 268M| 55 | - | 200 |1241 | 200 | 258 |6210k| 0 | 15k|-6.150000e+01 |-5.000000e+01 | 18.70%
419.29/419.38 o -51
419.29/419.38 c * 419s|471717 |123302 | 11155k| 23.6 | 224M| 55 | - | 200 |1241 | 200 | 266 |6229k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
424.89/424.95 c 425s|480000 |124833 | 11303k| 23.5 | 227M| 55 | 19 | 200 |1241 | 200 | 218 |6328k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
431.59/431.61 c 432s|490000 |126589 | 11481k| 23.4 | 230M| 57 | 8 | 200 |1241 | 200 | 219 |6447k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
437.99/438.05 c 438s|500000 |128151 | 11653k| 23.3 | 233M| 57 | - | 200 |1241 | 200 | 280 |6569k| 0 | 15k|-6.150000e+01 |-5.100000e+01 | 17.07%
444.49/444.56 c 445s|510000 |130011 | 11828k| 23.2 | 237M| 57 | 42 | 200 |1241 | 200 | 243 |6686k| 0 | 16k|-6.150000e+01 |-5.100000e+01 | 17.07%
451.00/451.09 c 451s|520000 |131675 | 11999k| 23.1 | 240M| 57 | 45 | 200 |1241 | 200 | 242 |6803k| 0 | 16k|-6.141667e+01 |-5.100000e+01 | 16.96%
457.69/457.72 c 458s|530000 |133301 | 12175k| 23.0 | 243M| 57 | 21 | 200 |1241 | 200 | 242 |6926k| 0 | 16k|-6.137500e+01 |-5.100000e+01 | 16.90%
464.29/464.31 c 464s|540000 |135063 | 12351k| 22.9 | 247M| 57 | 32 | 200 |1241 | 200 | 225 |7044k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
470.89/470.91 c 471s|550000 |136639 | 12525k| 22.8 | 250M| 57 | 60 | 200 |1241 | 200 | 267 |7164k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
477.40/477.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.40/477.44 c 477s|560000 |138313 | 12698k| 22.7 | 253M| 57 | 57 | 200 |1241 | 200 | 244 |7281k| 0 | 16k|-6.133333e+01 |-5.100000e+01 | 16.85%
483.90/483.97 c 484s|570000 |139903 | 12870k| 22.6 | 256M| 57 | - | 200 |1241 | 200 | 237 |7403k| 0 | 16k|-6.125000e+01 |-5.100000e+01 | 16.73%
490.39/490.46 c 490s|580000 |141495 | 13041k| 22.5 | 259M| 57 | - | 200 |1241 | 200 | 275 |7521k| 0 | 16k|-6.125000e+01 |-5.100000e+01 | 16.73%
497.00/497.10 c 497s|590000 |143063 | 13218k| 22.4 | 262M| 57 | - | 200 |1241 | 200 | 234 |7647k| 0 | 17k|-6.125000e+01 |-5.100000e+01 | 16.73%
503.59/503.64 c 504s|600000 |144685 | 13391k| 22.3 | 266M| 57 | 29 | 200 |1241 | 200 | 248 |7769k| 0 | 17k|-6.120000e+01 |-5.100000e+01 | 16.67%
510.09/510.10 c 510s|610000 |146375 | 13562k| 22.2 | 269M| 57 | - | 200 |1241 | 200 | 271 |7885k| 0 | 17k|-6.115000e+01 |-5.100000e+01 | 16.60%
516.59/516.64 c 517s|620000 |148041 | 13735k| 22.1 | 272M| 57 | 75 | 200 |1241 | 200 | 244 |8004k| 0 | 17k|-6.109091e+01 |-5.100000e+01 | 16.52%
522.99/523.07 c 523s|630000 |149543 | 13904k| 22.1 | 275M| 57 | 26 | 200 |1241 | 200 | 242 |8121k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
529.49/529.59 c 530s|640000 |151149 | 14077k| 22.0 | 278M| 57 | 27 | 200 |1241 | 200 | 244 |8239k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
536.09/536.11 c 536s|650000 |152719 | 14249k| 21.9 | 281M| 57 | - | 200 |1241 | 200 | 259 |8356k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
542.49/542.53 c 543s|660000 |154235 | 14420k| 21.8 | 284M| 57 | 80 | 200 |1241 | 200 | 283 |8473k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
548.80/548.84 c 549s|670000 |155793 | 14586k| 21.8 | 288M| 57 | - | 200 |1241 | 200 | 271 |8591k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
555.19/555.27 c 555s|680000 |157405 | 14758k| 21.7 | 291M| 57 | - | 200 |1241 | 200 | 272 |8710k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
561.59/561.63 c 562s|690000 |159011 | 14927k| 21.6 | 294M| 57 | 11 | 200 |1241 | 200 | 226 |8827k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
568.00/568.04 c 568s|700000 |160515 | 15097k| 21.6 | 297M| 57 | 109 | 200 |1241 | 200 | 273 |8946k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
574.39/574.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.39/574.49 c 574s|710000 |161947 | 15268k| 21.5 | 300M| 57 | 21 | 200 |1241 | 200 | 224 |9069k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
581.00/581.01 c 581s|720000 |163403 | 15441k| 21.4 | 303M| 57 | - | 200 |1241 | 200 | 271 |9190k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
587.50/587.50 c 587s|730000 |164933 | 15615k| 21.4 | 306M| 57 | 57 | 200 |1241 | 200 | 251 |9309k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
593.90/593.94 c 594s|740000 |166625 | 15788k| 21.3 | 309M| 57 | 117 | 200 |1241 | 200 | 285 |9429k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
600.40/600.46 c 600s|750000 |168147 | 15960k| 21.3 | 312M| 57 | - | 200 |1241 | 200 | 285 |9550k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
606.89/606.92 c 607s|760000 |169751 | 16130k| 21.2 | 315M| 57 | - | 200 |1241 | 200 | 289 |9667k| 0 | 18k|-6.100000e+01 |-5.100000e+01 | 16.39%
613.49/613.51 c 614s|770000 |171437 | 16304k| 21.2 | 318M| 57 | - | 200 |1241 | 200 | 246 |9783k| 0 | 19k|-6.100000e+01 |-5.100000e+01 | 16.39%
619.79/619.87 c 620s|780000 |172823 | 16470k| 21.1 | 321M| 57 | 34 | 200 |1241 | 200 | 224 |9899k| 0 | 19k|-6.097059e+01 |-5.100000e+01 | 16.35%
626.09/626.19 c 626s|790000 |174209 | 16637k| 21.1 | 324M| 57 | 96 | 200 |1241 | 200 | 242 | 10M| 0 | 19k|-6.090000e+01 |-5.100000e+01 | 16.26%
632.40/632.50 c 632s|800000 |175713 | 16802k| 21.0 | 327M| 57 | - | 200 |1241 | 200 | 248 | 10M| 0 | 19k|-6.085714e+01 |-5.100000e+01 | 16.20%
638.80/638.87 c 639s|810000 |177223 | 16969k| 20.9 | 330M| 57 | 6 | 200 |1241 | 200 | 242 | 10M| 0 | 19k|-6.083333e+01 |-5.100000e+01 | 16.16%
645.19/645.24 c 645s|820000 |178801 | 17136k| 20.9 | 333M| 57 | - | 200 |1241 | 200 | 270 | 10M| 0 | 19k|-6.080000e+01 |-5.100000e+01 | 16.12%
651.39/651.48 c 651s|830000 |180215 | 17299k| 20.8 | 336M| 57 | 37 | 200 |1241 | 200 | 230 | 10M| 0 | 19k|-6.077778e+01 |-5.100000e+01 | 16.09%
657.70/657.79 c 658s|840000 |181667 | 17465k| 20.8 | 339M| 57 | - | 200 |1241 | 200 | 260 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
664.00/664.01 c 664s|850000 |183205 | 17629k| 20.7 | 342M| 57 | - | 200 |1241 | 200 | 279 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
670.30/670.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.30/670.33 c 670s|860000 |184677 | 17795k| 20.7 | 345M| 57 | - | 200 |1241 | 200 | 238 | 10M| 0 | 19k|-6.075000e+01 |-5.100000e+01 | 16.05%
676.50/676.59 c 677s|870000 |185997 | 17959k| 20.6 | 347M| 57 | 29 | 200 |1241 | 200 | 243 | 10M| 0 | 20k|-6.070000e+01 |-5.100000e+01 | 15.98%
682.80/682.80 c 683s|880000 |187389 | 18121k| 20.6 | 350M| 57 | - | 200 |1241 | 200 | 276 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
689.10/689.18 c 689s|890000 |188811 | 18290k| 20.5 | 353M| 57 | 59 | 200 |1241 | 200 | 238 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
695.50/695.55 c 696s|900000 |190269 | 18458k| 20.5 | 356M| 57 | 68 | 200 |1241 | 200 | 248 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
701.71/701.80 c 702s|910000 |191621 | 18622k| 20.5 | 358M| 57 | 55 | 200 |1241 | 200 | 219 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
707.89/707.95 c 708s|920000 |192989 | 18783k| 20.4 | 361M| 57 | - | 200 |1241 | 200 | 237 | 11M| 0 | 20k|-6.066667e+01 |-5.100000e+01 | 15.93%
714.20/714.25 c 714s|930000 |194355 | 18948k| 20.4 | 364M| 57 | 83 | 200 |1241 | 200 | 248 | 11M| 0 | 20k|-6.060000e+01 |-5.100000e+01 | 15.84%
720.60/720.63 c 721s|940000 |195875 | 19115k| 20.3 | 367M| 57 | 38 | 200 |1241 | 200 | 250 | 11M| 0 | 20k|-6.057143e+01 |-5.100000e+01 | 15.80%
726.80/726.85 c 727s|950000 |197207 | 19278k| 20.3 | 369M| 57 | - | 200 |1241 | 200 | 277 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
732.79/732.89 c 733s|960000 |198531 | 19434k| 20.2 | 372M| 57 | 26 | 200 |1241 | 200 | 239 | 11M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
738.90/738.93 c 739s|970000 |199705 | 19592k| 20.2 | 375M| 57 | - | 200 |1241 | 200 | 239 | 12M| 0 | 20k|-6.050000e+01 |-5.100000e+01 | 15.70%
745.20/745.29 c 745s|980000 |201259 | 19759k| 20.2 | 378M| 57 | 98 | 200 |1241 | 200 | 295 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
751.49/751.59 c 752s|990000 |202755 | 19927k| 20.1 | 380M| 57 | 43 | 200 |1241 | 200 | 239 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
757.81/757.87 c 758s| 1000k|204099 | 20092k| 20.1 | 383M| 57 | - | 200 |1241 | 200 | 248 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
764.00/764.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.00/764.05 c 764s| 1010k|205429 | 20255k| 20.0 | 386M| 57 | - | 200 |1241 | 200 | 277 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
770.20/770.21 c 770s| 1020k|206673 | 20416k| 20.0 | 388M| 57 | 68 | 200 |1241 | 200 | 262 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
776.30/776.34 c 776s| 1030k|207953 | 20576k| 20.0 | 391M| 57 | - | 200 |1241 | 200 | 281 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
782.40/782.49 c 782s| 1040k|209245 | 20737k| 19.9 | 393M| 57 | 12 | 200 |1241 | 200 | 237 | 12M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
788.61/788.66 c 789s| 1050k|210651 | 20898k| 19.9 | 396M| 57 | - | 200 |1241 | 200 | 255 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
794.70/794.77 c 795s| 1060k|211797 | 21058k| 19.9 | 399M| 57 | 87 | 200 |1241 | 200 | 276 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
800.89/800.96 c 801s| 1070k|213197 | 21224k| 19.8 | 401M| 57 | - | 200 |1241 | 200 | 265 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
807.10/807.16 c 807s| 1080k|214607 | 21386k| 19.8 | 404M| 57 | 32 | 200 |1241 | 200 | 241 | 13M| 0 | 21k|-6.050000e+01 |-5.100000e+01 | 15.70%
813.20/813.27 c 813s| 1090k|215877 | 21544k| 19.8 | 407M| 57 | 52 | 200 |1241 | 200 | 239 | 13M| 0 | 21k|-6.044444e+01 |-5.100000e+01 | 15.63%
819.20/819.24 c 819s| 1100k|216949 | 21699k| 19.7 | 409M| 60 | - | 200 |1241 | 200 | 256 | 13M| 0 | 22k|-6.040000e+01 |-5.100000e+01 | 15.56%
825.20/825.21 c 825s| 1110k|218011 | 21852k| 19.7 | 411M| 60 | - | 200 |1241 | 200 | 238 | 13M| 0 | 22k|-6.038889e+01 |-5.100000e+01 | 15.55%
831.20/831.20 c 831s| 1120k|219083 | 22007k| 19.6 | 413M| 60 | - | 200 |1241 | 200 | 260 | 13M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
837.11/837.14 c 837s| 1130k|220055 | 22159k| 19.6 | 415M| 60 | 16 | 200 |1241 | 200 | 223 | 13M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
843.10/843.11 c 843s| 1140k|221135 | 22314k| 19.6 | 418M| 60 | 10 | 200 |1241 | 200 | 248 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
849.11/849.16 c 849s| 1150k|222287 | 22471k| 19.5 | 420M| 60 | 72 | 200 |1241 | 200 | 261 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
855.10/855.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.10/855.19 c 855s| 1160k|223455 | 22628k| 19.5 | 422M| 60 | - | 200 |1241 | 200 | 270 | 14M| 0 | 22k|-6.033333e+01 |-5.100000e+01 | 15.47%
861.10/861.20 c 861s| 1170k|224625 | 22782k| 19.5 | 425M| 60 | - | 200 |1241 | 200 | 260 | 14M| 0 | 22k|-6.028571e+01 |-5.100000e+01 | 15.40%
867.00/867.04 c 867s| 1180k|225741 | 22931k| 19.4 | 427M| 60 | - | 200 |1241 | 200 | 273 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
873.00/873.04 c 873s| 1190k|226797 | 23088k| 19.4 | 429M| 60 | 45 | 200 |1241 | 200 | 245 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
879.00/879.05 c 879s| 1200k|227893 | 23243k| 19.4 | 432M| 60 | - | 200 |1241 | 200 | 271 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
884.90/884.93 c 885s| 1210k|228869 | 23393k| 19.3 | 434M| 60 | - | 200 |1241 | 200 | 256 | 14M| 0 | 22k|-6.025000e+01 |-5.100000e+01 | 15.35%
890.80/890.88 c 891s| 1220k|229801 | 23544k| 19.3 | 436M| 60 | 10 | 200 |1241 | 200 | 242 | 14M| 0 | 23k|-6.020000e+01 |-5.100000e+01 | 15.28%
896.91/896.93 c 897s| 1230k|230913 | 23700k| 19.3 | 438M| 60 | 24 | 200 |1241 | 200 | 223 | 15M| 0 | 23k|-6.018182e+01 |-5.100000e+01 | 15.26%
902.80/902.86 c 903s| 1240k|231837 | 23852k| 19.2 | 440M| 60 | - | 200 |1241 | 200 | 273 | 15M| 0 | 23k|-6.016667e+01 |-5.100000e+01 | 15.24%
908.60/908.65 c 909s| 1250k|232857 | 24003k| 19.2 | 442M| 60 | - | 200 |1241 | 200 | 265 | 15M| 0 | 23k|-6.014286e+01 |-5.100000e+01 | 15.20%
914.50/914.57 c 915s| 1260k|233835 | 24155k| 19.2 | 444M| 60 | - | 200 |1241 | 200 | 240 | 15M| 0 | 23k|-6.011111e+01 |-5.100000e+01 | 15.16%
920.30/920.39 c 920s| 1270k|234783 | 24303k| 19.1 | 446M| 60 | 80 | 200 |1241 | 200 | 242 | 15M| 0 | 23k|-6.006250e+01 |-5.100000e+01 | 15.09%
926.20/926.24 c 926s| 1280k|235685 | 24454k| 19.1 | 448M| 60 | - | 200 |1241 | 200 | 245 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
932.21/932.20 c 932s| 1290k|236833 | 24607k| 19.1 | 450M| 63 | 44 | 200 |1241 | 200 | 277 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
938.21/938.24 c 938s| 1300k|237849 | 24762k| 19.0 | 453M| 63 | 26 | 200 |1241 | 200 | 230 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
944.10/944.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.10/944.12 c 944s| 1310k|238841 | 24912k| 19.0 | 455M| 63 | 97 | 200 |1241 | 200 | 277 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
950.00/950.00 c 950s| 1320k|239847 | 25063k| 19.0 | 457M| 63 | 96 | 200 |1241 | 200 | 249 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
955.91/955.97 c 956s| 1330k|240823 | 25219k| 19.0 | 459M| 63 | 34 | 200 |1241 | 200 | 232 | 16M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
961.70/961.77 c 962s| 1340k|241591 | 25366k| 18.9 | 461M| 63 | 58 | 200 |1241 | 200 | 243 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
967.70/967.73 c 968s| 1350k|242629 | 25519k| 18.9 | 463M| 63 | 35 | 200 |1241 | 200 | 218 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
973.61/973.68 c 974s| 1360k|243733 | 25674k| 18.9 | 465M| 63 | 48 | 200 |1241 | 200 | 248 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
979.41/979.49 c 979s| 1370k|244715 | 25825k| 18.8 | 467M| 63 | - | 200 |1241 | 200 | 246 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
985.31/985.39 c 985s| 1380k|245765 | 25977k| 18.8 | 469M| 63 | - | 200 |1241 | 200 | 281 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
991.11/991.18 c 991s| 1390k|246867 | 26128k| 18.8 | 471M| 63 | - | 200 |1241 | 200 | 245 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
997.10/997.12 c 997s| 1400k|247799 | 26281k| 18.8 | 473M| 63 | - | 200 |1241 | 200 | 233 | 16M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1003.01/1003.01 c 1003s| 1410k|248879 | 26432k| 18.7 | 476M| 63 | 72 | 200 |1241 | 200 | 287 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1008.81/1008.86 c 1009s| 1420k|249849 | 26583k| 18.7 | 478M| 63 | 51 | 200 |1241 | 200 | 243 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1014.61/1014.60 c 1015s| 1430k|250833 | 26730k| 18.7 | 480M| 63 | - | 200 |1241 | 200 | 251 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1020.51/1020.52 c 1021s| 1440k|252031 | 26882k| 18.7 | 482M| 63 | - | 200 |1241 | 200 | 229 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1026.31/1026.37 c 1026s| 1450k|252939 | 27033k| 18.6 | 484M| 63 | 50 | 200 |1241 | 200 | 276 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1032.21/1032.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.21/1032.21 c 1032s| 1460k|254007 | 27183k| 18.6 | 486M| 63 | - | 200 |1241 | 200 | 233 | 17M| 0 | 24k|-6.000000e+01 |-5.100000e+01 | 15.00%
1037.90/1037.93 c 1038s| 1470k|254871 | 27330k| 18.6 | 488M| 63 | 43 | 200 |1241 | 200 | 262 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1043.70/1043.72 c 1044s| 1480k|255919 | 27478k| 18.6 | 490M| 63 | - | 200 |1241 | 200 | 262 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1049.51/1049.59 c 1050s| 1490k|257009 | 27629k| 18.5 | 492M| 63 | 34 | 200 |1241 | 200 | 229 | 17M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1055.41/1055.43 c 1055s| 1500k|258033 | 27778k| 18.5 | 495M| 63 | 20 | 200 |1241 | 200 | 245 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1061.21/1061.28 c 1061s| 1510k|259093 | 27930k| 18.5 | 497M| 63 | 32 | 200 |1241 | 200 | 252 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1067.02/1067.09 c 1067s| 1520k|260147 | 28079k| 18.5 | 499M| 63 | - | 200 |1241 | 200 | 252 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1073.01/1073.01 c 1073s| 1530k|261081 | 28231k| 18.4 | 501M| 63 | - | 200 |1241 | 200 | 241 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1078.91/1078.97 c 1079s| 1540k|262153 | 28384k| 18.4 | 503M| 63 | 75 | 200 |1241 | 200 | 270 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1084.90/1084.94 c 1085s| 1550k|263221 | 28538k| 18.4 | 505M| 63 | 24 | 200 |1241 | 200 | 218 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1090.71/1090.74 c 1091s| 1560k|264185 | 28686k| 18.4 | 507M| 63 | 102 | 200 |1241 | 200 | 265 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1096.61/1096.66 c 1097s| 1570k|265101 | 28838k| 18.4 | 509M| 63 | 93 | 200 |1241 | 200 | 257 | 18M| 0 | 25k|-5.995833e+01 |-5.100000e+01 | 14.94%
1102.51/1102.50 c 1102s| 1580k|266131 | 28988k| 18.3 | 511M| 63 | - | 200 |1241 | 200 | 274 | 18M| 0 | 25k|-5.990566e+01 |-5.100000e+01 | 14.87%
1108.31/1108.36 c 1108s| 1590k|267047 | 29138k| 18.3 | 513M| 63 | - | 200 |1241 | 200 | 271 | 19M| 0 | 25k|-5.987500e+01 |-5.100000e+01 | 14.82%
1114.22/1114.26 c 1114s| 1600k|268045 | 29289k| 18.3 | 515M| 63 | 13 | 200 |1241 | 200 | 219 | 19M| 0 | 25k|-5.986667e+01 |-5.100000e+01 | 14.81%
1119.91/1119.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.91/1119.95 c 1120s| 1610k|268881 | 29434k| 18.3 | 517M| 63 | - | 200 |1241 | 200 | 257 | 19M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1125.61/1125.67 c 1126s| 1620k|269827 | 29581k| 18.3 | 519M| 63 | - | 200 |1241 | 200 | 270 | 19M| 0 | 25k|-5.983333e+01 |-5.100000e+01 | 14.76%
1131.41/1131.41 c 1131s| 1630k|270731 | 29726k| 18.2 | 521M| 63 | 65 | 200 |1241 | 200 | 266 | 19M| 0 | 26k|-5.983333e+01 |-5.100000e+01 | 14.76%
1137.11/1137.18 c 1137s| 1640k|271681 | 29873k| 18.2 | 523M| 63 | 10 | 200 |1241 | 200 | 257 | 19M| 0 | 26k|-5.980000e+01 |-5.100000e+01 | 14.72%
1143.01/1143.01 c 1143s| 1650k|272619 | 30022k| 18.2 | 525M| 63 | 96 | 200 |1241 | 200 | 272 | 19M| 0 | 26k|-5.980000e+01 |-5.100000e+01 | 14.72%
1148.71/1148.78 c 1149s| 1660k|273513 | 30168k| 18.2 | 527M| 63 | 4 | 200 |1241 | 200 | 253 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1154.51/1154.54 c 1155s| 1670k|274549 | 30316k| 18.1 | 529M| 63 | - | 200 |1241 | 200 | 264 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1160.21/1160.29 c 1160s| 1680k|275465 | 30462k| 18.1 | 531M| 63 | - | 200 |1241 | 200 | 279 | 19M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1166.11/1166.12 c 1166s| 1690k|276425 | 30611k| 18.1 | 533M| 63 | 55 | 200 |1241 | 200 | 241 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1171.81/1171.86 c 1172s| 1700k|277427 | 30756k| 18.1 | 535M| 63 | - | 200 |1241 | 200 | 241 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1177.61/1177.68 c 1178s| 1710k|278447 | 30905k| 18.1 | 537M| 63 | 95 | 200 |1241 | 200 | 274 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1183.31/1183.35 c 1183s| 1720k|279279 | 31048k| 18.0 | 539M| 63 | 7 | 200 |1241 | 200 | 218 | 20M| 0 | 26k|-5.975000e+01 |-5.100000e+01 | 14.64%
1189.01/1189.09 c 1189s| 1730k|280053 | 31193k| 18.0 | 541M| 63 | - | 200 |1241 | 200 | 245 | 20M| 0 | 26k|-5.970000e+01 |-5.100000e+01 | 14.57%
1194.81/1194.80 c 1195s| 1740k|280883 | 31338k| 18.0 | 543M| 63 | 30 | 200 |1241 | 200 | 255 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1200.51/1200.54 c 1201s| 1750k|281781 | 31484k| 18.0 | 545M| 63 | - | 200 |1241 | 200 | 257 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1206.21/1206.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.21/1206.28 c 1206s| 1760k|282727 | 31630k| 18.0 | 546M| 63 | 10 | 200 |1241 | 200 | 248 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1212.01/1212.05 c 1212s| 1770k|283525 | 31777k| 17.9 | 548M| 63 | 58 | 200 |1241 | 200 | 243 | 20M| 0 | 26k|-5.966667e+01 |-5.100000e+01 | 14.53%
1217.91/1217.90 c 1218s| 1780k|284537 | 31926k| 17.9 | 550M| 65 | 94 | 200 |1241 | 200 | 248 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1223.61/1223.62 c 1224s| 1790k|285387 | 32070k| 17.9 | 552M| 65 | - | 200 |1241 | 200 | 257 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1229.41/1229.42 c 1229s| 1800k|286295 | 32217k| 17.9 | 554M| 65 | - | 200 |1241 | 200 | 239 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1235.21/1235.21 c 1235s| 1810k|287189 | 32366k| 17.9 | 556M| 65 | - | 200 |1241 | 200 | 280 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1240.91/1240.99 c 1241s| 1820k|288121 | 32514k| 17.9 | 558M| 65 | - | 200 |1241 | 200 | 275 | 21M| 0 | 27k|-5.966667e+01 |-5.100000e+01 | 14.53%
1246.81/1246.82 c 1247s| 1830k|288933 | 32662k| 17.8 | 560M| 65 | - | 200 |1241 | 200 | 281 | 21M| 0 | 27k|-5.962500e+01 |-5.100000e+01 | 14.47%
1252.51/1252.58 c 1253s| 1840k|289817 | 32807k| 17.8 | 562M| 65 | 48 | 200 |1241 | 200 | 244 | 21M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1258.31/1258.31 c 1258s| 1850k|290641 | 32952k| 17.8 | 564M| 65 | 19 | 200 |1241 | 200 | 228 | 21M| 0 | 27k|-5.960000e+01 |-5.100000e+01 | 14.43%
1264.11/1264.11 c 1264s| 1860k|291469 | 33098k| 17.8 | 565M| 65 | 70 | 200 |1241 | 200 | 251 | 21M| 0 | 27k|-5.958333e+01 |-5.100000e+01 | 14.41%
1269.81/1269.82 c 1270s| 1870k|292335 | 33241k| 17.8 | 567M| 65 | 38 | 200 |1241 | 200 | 248 | 22M| 0 | 27k|-5.955556e+01 |-5.100000e+01 | 14.37%
1275.52/1275.56 c 1276s| 1880k|293207 | 33387k| 17.8 | 569M| 65 | 73 | 200 |1241 | 200 | 259 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1281.31/1281.33 c 1281s| 1890k|294155 | 33532k| 17.7 | 571M| 65 | - | 200 |1241 | 200 | 247 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1286.91/1286.97 c 1287s| 1900k|295063 | 33673k| 17.7 | 573M| 65 | 69 | 200 |1241 | 200 | 259 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1292.71/1292.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.71/1292.70 c 1293s| 1910k|296143 | 33817k| 17.7 | 575M| 65 | - | 200 |1241 | 200 | 243 | 22M| 0 | 27k|-5.950000e+01 |-5.100000e+01 | 14.29%
1298.31/1298.35 c 1298s| 1920k|296917 | 33959k| 17.7 | 577M| 65 | 87 | 200 |1241 | 200 | 265 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1304.02/1304.02 c 1304s| 1930k|297755 | 34101k| 17.7 | 579M| 65 | 20 | 200 |1241 | 200 | 225 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1309.71/1309.77 c 1310s| 1940k|298575 | 34248k| 17.7 | 580M| 65 | - | 200 |1241 | 200 | 265 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1315.41/1315.47 c 1315s| 1950k|299497 | 34391k| 17.6 | 582M| 65 | 14 | 200 |1241 | 200 | 261 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1321.02/1321.08 c 1321s| 1960k|300303 | 34531k| 17.6 | 584M| 65 | - | 200 |1241 | 200 | 281 | 22M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1326.72/1326.71 c 1327s| 1970k|301089 | 34673k| 17.6 | 586M| 65 | 40 | 200 |1241 | 200 | 224 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1332.31/1332.39 c 1332s| 1980k|301893 | 34813k| 17.6 | 587M| 65 | - | 200 |1241 | 200 | 254 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1338.12/1338.15 c 1338s| 1990k|302641 | 34961k| 17.6 | 589M| 65 | - | 200 |1241 | 200 | 294 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1343.82/1343.80 c 1344s| 2000k|303447 | 35104k| 17.5 | 591M| 65 | 18 | 200 |1241 | 200 | 240 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1349.51/1349.53 c 1350s| 2010k|304277 | 35250k| 17.5 | 593M| 65 | 81 | 200 |1241 | 200 | 234 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1355.12/1355.19 c 1355s| 2020k|305063 | 35393k| 17.5 | 594M| 65 | 40 | 200 |1241 | 200 | 242 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1360.81/1360.84 c 1361s| 2030k|305793 | 35536k| 17.5 | 596M| 65 | 22 | 200 |1241 | 200 | 235 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1366.52/1366.56 c 1367s| 2040k|306747 | 35682k| 17.5 | 598M| 65 | 37 | 200 |1241 | 200 | 236 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1372.32/1372.30 c 1372s| 2050k|307649 | 35829k| 17.5 | 600M| 65 | - | 200 |1241 | 200 | 272 | 23M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1378.01/1378.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1378.01/1378.04 c 1378s| 2060k|308631 | 35975k| 17.5 | 602M| 65 | 59 | 200 |1241 | 200 | 250 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1383.72/1383.70 c 1384s| 2070k|309521 | 36119k| 17.4 | 604M| 65 | - | 200 |1241 | 200 | 240 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1389.32/1389.39 c 1389s| 2080k|310527 | 36266k| 17.4 | 606M| 65 | 34 | 200 |1241 | 200 | 240 | 24M| 0 | 28k|-5.950000e+01 |-5.100000e+01 | 14.29%
1394.91/1394.99 c 1395s| 2090k|311389 | 36405k| 17.4 | 607M| 65 | 24 | 200 |1241 | 200 | 245 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1400.81/1400.84 c 1401s| 2100k|312377 | 36556k| 17.4 | 609M| 65 | - | 200 |1241 | 200 | 274 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1406.51/1406.53 c 1407s| 2110k|313269 | 36702k| 17.4 | 611M| 65 | - | 200 |1241 | 200 | 263 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1412.21/1412.22 c 1412s| 2120k|314185 | 36844k| 17.4 | 613M| 65 | - | 200 |1241 | 200 | 263 | 24M| 0 | 29k|-5.950000e+01 |-5.100000e+01 | 14.29%
1417.92/1417.93 c 1418s| 2130k|315077 | 36987k| 17.4 | 615M| 65 | 74 | 200 |1241 | 200 | 276 | 24M| 0 | 29k|-5.946296e+01 |-5.100000e+01 | 14.23%
1423.62/1423.63 c 1424s| 2140k|315929 | 37130k| 17.3 | 617M| 65 | 52 | 200 |1241 | 200 | 258 | 24M| 0 | 29k|-5.942857e+01 |-5.100000e+01 | 14.18%
1429.32/1429.31 c 1429s| 2150k|316723 | 37273k| 17.3 | 619M| 65 | 20 | 200 |1241 | 200 | 247 | 25M| 0 | 29k|-5.940000e+01 |-5.100000e+01 | 14.14%
1434.92/1434.99 c 1435s| 2160k|317581 | 37417k| 17.3 | 620M| 65 | - | 200 |1241 | 200 | 233 | 25M| 0 | 29k|-5.940000e+01 |-5.100000e+01 | 14.14%
1440.62/1440.66 c 1441s| 2170k|318319 | 37557k| 17.3 | 622M| 65 | - | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.937500e+01 |-5.100000e+01 | 14.11%
1446.32/1446.35 c 1446s| 2180k|319085 | 37699k| 17.3 | 624M| 65 | 63 | 200 |1241 | 200 | 255 | 25M| 0 | 29k|-5.935000e+01 |-5.100000e+01 | 14.07%
1451.92/1451.98 c 1452s| 2190k|319815 | 37841k| 17.3 | 625M| 65 | - | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1457.53/1457.53 c 1458s| 2200k|320613 | 37978k| 17.3 | 627M| 65 | - | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1463.12/1463.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1463.12/1463.18 c 1463s| 2210k|321475 | 38120k| 17.2 | 629M| 66 | - | 200 |1241 | 200 | 253 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1468.82/1468.89 c 1469s| 2220k|322319 | 38264k| 17.2 | 631M| 66 | - | 200 |1241 | 200 | 234 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1474.42/1474.47 c 1474s| 2230k|323109 | 38405k| 17.2 | 632M| 66 | 56 | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1480.12/1480.18 c 1480s| 2240k|323905 | 38547k| 17.2 | 634M| 66 | - | 200 |1241 | 200 | 236 | 25M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1485.72/1485.79 c 1486s| 2250k|324623 | 38686k| 17.2 | 636M| 66 | 47 | 200 |1241 | 200 | 247 | 26M| 0 | 29k|-5.933333e+01 |-5.100000e+01 | 14.04%
1491.42/1491.42 c 1491s| 2260k|325375 | 38827k| 17.2 | 637M| 66 | 98 | 200 |1241 | 200 | 288 | 26M| 0 | 30k|-5.933333e+01 |-5.100000e+01 | 14.04%
1496.91/1496.97 c 1497s| 2270k|326099 | 38963k| 17.2 | 639M| 66 | - | 200 |1241 | 200 | 259 | 26M| 0 | 30k|-5.930000e+01 |-5.100000e+01 | 14.00%
1502.63/1502.64 c 1503s| 2280k|326779 | 39104k| 17.1 | 640M| 66 | 19 | 200 |1241 | 200 | 250 | 26M| 0 | 30k|-5.928000e+01 |-5.100000e+01 | 13.97%
1508.32/1508.37 c 1508s| 2290k|327625 | 39249k| 17.1 | 642M| 66 | - | 200 |1241 | 200 | 258 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1514.02/1514.04 c 1514s| 2300k|328379 | 39389k| 17.1 | 644M| 66 | 16 | 200 |1241 | 200 | 257 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1519.62/1519.60 c 1520s| 2310k|329121 | 39527k| 17.1 | 645M| 66 | 22 | 200 |1241 | 200 | 245 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1525.12/1525.14 c 1525s| 2320k|329949 | 39666k| 17.1 | 647M| 66 | - | 200 |1241 | 200 | 258 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1530.72/1530.79 c 1531s| 2330k|330697 | 39806k| 17.1 | 649M| 66 | - | 200 |1241 | 200 | 248 | 26M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1536.42/1536.49 c 1536s| 2340k|331475 | 39947k| 17.1 | 650M| 66 | - | 200 |1241 | 200 | 247 | 27M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1542.02/1542.05 c 1542s| 2350k|332175 | 40086k| 17.1 | 652M| 66 | 88 | 200 |1241 | 200 | 265 | 27M| 0 | 30k|-5.925000e+01 |-5.100000e+01 | 13.92%
1547.63/1547.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.63/1547.68 c 1548s| 2360k|332915 | 40227k| 17.0 | 654M| 66 | 10 | 200 |1241 | 200 | 234 | 27M| 0 | 30k|-5.922222e+01 |-5.100000e+01 | 13.88%
1553.42/1553.48 c 1553s| 2370k|333709 | 40372k| 17.0 | 655M| 66 | - | 200 |1241 | 200 | 252 | 27M| 0 | 30k|-5.920000e+01 |-5.100000e+01 | 13.85%
1559.22/1559.23 c 1559s| 2380k|334485 | 40517k| 17.0 | 657M| 66 | - | 200 |1241 | 200 | 307 | 27M| 0 | 30k|-5.920000e+01 |-5.100000e+01 | 13.85%
1564.72/1564.78 c 1565s| 2390k|335245 | 40653k| 17.0 | 659M| 66 | 90 | 200 |1241 | 200 | 242 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1570.32/1570.37 c 1570s| 2400k|335919 | 40791k| 17.0 | 660M| 66 | - | 200 |1241 | 200 | 244 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1575.92/1575.98 c 1576s| 2410k|336689 | 40930k| 17.0 | 662M| 66 | 82 | 200 |1241 | 200 | 275 | 27M| 0 | 30k|-5.916667e+01 |-5.100000e+01 | 13.80%
1581.62/1581.63 c 1582s| 2420k|337491 | 41071k| 17.0 | 664M| 66 | 86 | 200 |1241 | 200 | 287 | 27M| 0 | 30k|-5.915385e+01 |-5.100000e+01 | 13.78%
1587.23/1587.23 c 1587s| 2430k|338205 | 41210k| 17.0 | 665M| 66 | - | 200 |1241 | 200 | 254 | 27M| 0 | 30k|-5.912500e+01 |-5.100000e+01 | 13.74%
1592.83/1592.80 c 1593s| 2440k|339057 | 41347k| 16.9 | 667M| 66 | - | 200 |1241 | 200 | 258 | 28M| 0 | 31k|-5.912000e+01 |-5.100000e+01 | 13.73%
1598.33/1598.38 c 1598s| 2450k|339661 | 41485k| 16.9 | 668M| 66 | - | 200 |1241 | 200 | 276 | 28M| 0 | 31k|-5.909524e+01 |-5.100000e+01 | 13.70%
1603.92/1603.94 c 1604s| 2460k|340383 | 41621k| 16.9 | 670M| 66 | - | 200 |1241 | 200 | 251 | 28M| 0 | 31k|-5.905882e+01 |-5.100000e+01 | 13.65%
1609.52/1609.54 c 1610s| 2470k|341053 | 41759k| 16.9 | 671M| 66 | - | 200 |1241 | 200 | 265 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1615.12/1615.17 c 1615s| 2480k|341743 | 41899k| 16.9 | 673M| 66 | 8 | 200 |1241 | 200 | 225 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1620.83/1620.80 c 1621s| 2490k|342477 | 42040k| 16.9 | 674M| 66 | 85 | 200 |1241 | 200 | 293 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1626.42/1626.47 c 1626s| 2500k|343211 | 42182k| 16.9 | 676M| 66 | 48 | 200 |1241 | 200 | 238 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1632.12/1632.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.12/1632.17 c 1632s| 2510k|343927 | 42326k| 16.9 | 678M| 66 | 33 | 200 |1241 | 200 | 224 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1637.83/1637.85 c 1638s| 2520k|344779 | 42468k| 16.9 | 679M| 66 | 55 | 200 |1241 | 200 | 258 | 28M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1643.43/1643.42 c 1643s| 2530k|345407 | 42606k| 16.8 | 681M| 66 | 61 | 200 |1241 | 200 | 267 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1648.93/1648.95 c 1649s| 2540k|346067 | 42743k| 16.8 | 682M| 66 | - | 200 |1241 | 200 | 243 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1654.62/1654.64 c 1655s| 2550k|346811 | 42886k| 16.8 | 684M| 66 | - | 200 |1241 | 200 | 282 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1660.32/1660.37 c 1660s| 2560k|347673 | 43032k| 16.8 | 686M| 66 | 51 | 200 |1241 | 200 | 220 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1666.02/1666.02 c 1666s| 2570k|348427 | 43175k| 16.8 | 688M| 66 | 96 | 200 |1241 | 200 | 249 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1671.52/1671.51 c 1672s| 2580k|349139 | 43311k| 16.8 | 689M| 66 | - | 200 |1241 | 200 | 270 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1677.13/1677.19 c 1677s| 2590k|350049 | 43454k| 16.8 | 691M| 66 | - | 200 |1241 | 200 | 288 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1682.72/1682.78 c 1683s| 2600k|350747 | 43593k| 16.8 | 693M| 66 | - | 200 |1241 | 200 | 275 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1688.43/1688.42 c 1688s| 2610k|351479 | 43733k| 16.8 | 694M| 66 | 8 | 200 |1241 | 200 | 244 | 29M| 0 | 31k|-5.900000e+01 |-5.100000e+01 | 13.56%
1694.03/1694.03 c 1694s| 2620k|352291 | 43871k| 16.7 | 696M| 66 | - | 200 |1241 | 200 | 302 | 29M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1699.53/1699.53 c 1700s| 2630k|353169 | 44009k| 16.7 | 698M| 66 | - | 200 |1241 | 200 | 275 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1705.03/1705.04 c 1705s| 2640k|353921 | 44146k| 16.7 | 699M| 66 | - | 200 |1241 | 200 | 242 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1710.83/1710.84 c 1711s| 2650k|354799 | 44293k| 16.7 | 701M| 66 | 28 | 200 |1241 | 200 | 261 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1716.23/1716.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.23/1716.29 c 1716s| 2660k|355471 | 44428k| 16.7 | 703M| 66 | - | 200 |1241 | 200 | 262 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1721.82/1721.89 c 1722s| 2670k|356199 | 44566k| 16.7 | 704M| 66 | 24 | 200 |1241 | 200 | 237 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1727.32/1727.38 c 1727s| 2680k|356919 | 44702k| 16.7 | 706M| 66 | 81 | 200 |1241 | 200 | 269 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1732.93/1732.95 c 1733s| 2690k|357715 | 44842k| 16.7 | 707M| 66 | - | 200 |1241 | 200 | 258 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1738.53/1738.58 c 1739s| 2700k|358487 | 44981k| 16.7 | 709M| 66 | - | 200 |1241 | 200 | 253 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1744.22/1744.25 c 1744s| 2710k|359225 | 45121k| 16.6 | 711M| 66 | 36 | 200 |1241 | 200 | 244 | 30M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1749.72/1749.78 c 1750s| 2720k|359887 | 45260k| 16.6 | 712M| 66 | 18 | 200 |1241 | 200 | 220 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1755.53/1755.55 c 1756s| 2730k|360875 | 45407k| 16.6 | 714M| 66 | - | 200 |1241 | 200 | 257 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1761.22/1761.20 c 1761s| 2740k|361603 | 45548k| 16.6 | 716M| 66 | 104 | 200 |1241 | 200 | 253 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1766.72/1766.72 c 1767s| 2750k|362337 | 45686k| 16.6 | 717M| 66 | 17 | 200 |1241 | 200 | 252 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1772.22/1772.29 c 1772s| 2760k|363197 | 45823k| 16.6 | 719M| 66 | - | 200 |1241 | 200 | 247 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1777.82/1777.89 c 1778s| 2770k|364019 | 45962k| 16.6 | 721M| 66 | 83 | 200 |1241 | 200 | 284 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1783.43/1783.48 c 1783s| 2780k|364749 | 46102k| 16.6 | 722M| 66 | - | 200 |1241 | 200 | 248 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1789.02/1789.10 c 1789s| 2790k|365447 | 46240k| 16.6 | 724M| 66 | - | 200 |1241 | 200 | 259 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1794.63/1794.63 c 1795s| 2800k|366195 | 46375k| 16.6 | 726M| 66 | 40 | 200 |1241 | 200 | 221 | 31M| 0 | 32k|-5.900000e+01 |-5.100000e+01 | 13.56%
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 2804328
1797.02/1797.00 c Primal Bound : -5.10000000000000e+01 (597 solutions)
1797.02/1797.00 c Dual Bound : -5.90000000000000e+01
1797.02/1797.00 c Gap : 13.56 %
1797.02/1797.00 s SATISFIABLE
1797.02/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 x178
1797.02/1797.00 v x177 x176 -x175 -x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156
1797.02/1797.00 v -x155 -x154 -x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 x136 x135 -x134
1797.02/1797.00 v x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 x123 x122 x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112
1797.02/1797.00 v -x111 -x110 -x109 x108 -x107 -x106 x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1797.02/1797.00 v -x88 x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 x67 x66 x65 -x64 x63 -x62
1797.02/1797.00 v x61 -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
1797.02/1797.00 v -x35 -x34 -x33 -x32 -x31 x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11
1797.02/1797.00 v -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 x2 -x1
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 0.04 (included in solving)
1797.02/1797.00 c reading : 0.01 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3488604-1307784423.opb
1797.02/1797.00 c Variables : 1441 (1441 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 1641 initial, 1641 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3488604-1307784423.opb
1797.02/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 1241 initial, 1241 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c linear : 0.00 1241 0 0 1241 0 200 0 0 0
1797.02/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.02/1797.00 c root node : - 0 - - 0 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 2607578 0 904272 0 203 1262 0 0 3256328
1797.02/1797.00 c setppc : 1241 36 4813790 978667 2 904268 0 42 12834524 31892073 0 0
1797.02/1797.00 c countsols : 0 0 0 7 2 592 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 42.68 0.00 0.00 42.48 0.00 0.20 0.00
1797.02/1797.00 c setppc : 76.64 0.01 38.45 28.91 0.00 9.27 0.00
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 10 0 0 0
1797.02/1797.00 c pseudoobj : 4815302 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.87 0.87 0.00
1797.02/1797.00 c rootredcost : 0.87 0.87 0.00
1797.02/1797.00 c pseudoobj : 22.53 22.53 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 0.00 42 0 0 0.0 0 0.0 -
1797.02/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 0 0.0 - - -
1797.02/1797.00 c applied locally : - - - 0 0.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.02 35 - - 88 - (maximal pool size: 2189)
1797.02/1797.00 c redcost : 11.77 2798979 0 375683 0 0
1797.02/1797.00 c impliedbounds : 0.00 36 0 0 707 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 0.69 36 0 0 10372 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 0.26 20 0 0 7787 0
1797.02/1797.00 c cmir : 0.03 10 0 0 0 0
1797.02/1797.00 c flowcover : 0.03 10 0 0 0 0
1797.02/1797.00 c clique : 0.04 36 0 0 239 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 41.40 1628911 203 1262 0 0 3256328
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.22 - 7
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c oneopt : 0.64 11 0
1797.02/1797.00 c crossover : 1.05 13 4
1797.02/1797.00 c guideddiving : 4.71 4333 20
1797.02/1797.00 c coefdiving : 4.22 4333 33
1797.02/1797.00 c veclendiving : 4.48 4333 47
1797.02/1797.00 c pscostdiving : 4.28 4333 30
1797.02/1797.00 c objpscostdiving : 2.10 2167 32
1797.02/1797.00 c rootsoldiving : 2.11 2167 0
1797.02/1797.00 c linesearchdiving : 4.40 4334 31
1797.02/1797.00 c fracdiving : 4.63 4334 23
1797.02/1797.00 c trivial : 0.00 2 1
1797.02/1797.00 c shiftandpropagate: 0.00 0 0
1797.02/1797.00 c simplerounding : 18.85 1638952 364
1797.02/1797.00 c zirounding : 0.51 1000 1
1797.02/1797.00 c rounding : 7.66 85591 2
1797.02/1797.00 c shifting : 1.81 19267 1
1797.02/1797.00 c intshifting : 0.04 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c feaspump : 0.06 0 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.01 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.01 1 0
1797.02/1797.00 c subnlp : 0.45 0 0
1797.02/1797.00 c trysol : 0.68 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 42.84 0 0 0.00 0.00
1797.02/1797.00 c dual LP : 1218.86 3800284 45910605 12.08 37666.96
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 20.86 87594 524228 5.98 25136.47
1797.02/1797.00 c strong branching : 19.57 33014 452456 13.70 23122.35
1797.02/1797.00 c (at root node) : - 30 9057 301.90 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 2804328
1797.02/1797.00 c nodes (total) : 2804328
1797.02/1797.00 c nodes left : 366503
1797.02/1797.00 c max depth : 66
1797.02/1797.00 c max depth (total): 66
1797.02/1797.00 c backtracks : 426927 (15.2%)
1797.02/1797.00 c delayed cutoffs : 0
1797.02/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.02/1797.00 c avg switch length: 5.26
1797.02/1797.00 c switching time : 119.05
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 597 (14 improvements)
1797.02/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.02/1797.00 c Primal Bound : -5.10000000000000e+01 (in run 1, after 471717 nodes, 419.28 seconds, depth 53, found by <relaxation>)
1797.02/1797.00 c Dual Bound : -5.90000000000000e+01
1797.02/1797.00 c Gap : 13.56 %
1797.02/1797.00 c Root Dual Bound : -6.93314752162609e+01
1797.02/1797.00 c Root Iterations : 5913
1798.43/1798.41 c Time complete: 1798.44.
OK -51
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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-3488604-1307784423/watcher-3488604-1307784423 -o /tmp/evaluation-result-3488604-1307784423/solver-3488604-1307784423 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488604-1307784423.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=12216 CPUtime=0 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 2109 0 0 0 0 0 0 0 25 0 1 0 890041108 12509184 2063 33554432000 4194304 9016284 140733353443536 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/22473/statm: 3140 2074 348 1178 0 1958 0 [startup+0.074828 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=36824 CPUtime=0.06 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 8097 0 0 0 6 0 0 0 25 0 1 0 890041108 37707776 7772 33554432000 4194304 9016284 140733353443536 18446744073709551615 4447394 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 9206 7772 645 1178 0 8024 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 36824 [startup+0.100817 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=38812 CPUtime=0.09 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 10810 0 0 0 8 1 0 0 25 0 1 0 890041108 39743488 8311 33554432000 4194304 9016284 140733353443536 18446744073709551615 4445973 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 9703 8311 685 1178 0 8521 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38812 [startup+0.300782 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=35764 CPUtime=0.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 13349 0 0 0 28 1 0 0 25 0 1 0 890041108 36622336 7835 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 8941 7835 688 1178 0 7759 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35764 [startup+0.70076 s] /proc/loadavg: 1.84 1.97 2.01 5/176 22474 /proc/meminfo: memFree=31689260/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=40792 CPUtime=0.69 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 14622 0 0 0 66 3 0 0 25 0 1 0 890041108 41771008 9097 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 10198 9097 690 1178 0 9016 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40792 [startup+1.50062 s] /proc/loadavg: 1.86 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31557604/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=49552 CPUtime=1.49 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 16779 0 0 0 145 4 0 0 25 0 1 0 890041108 50741248 11254 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 12388 11254 691 1178 0 11206 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49552 [startup+3.10039 s] /proc/loadavg: 1.86 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31547168/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=49580 CPUtime=3.09 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 18416 0 0 0 302 7 0 0 25 0 1 0 890041108 50769920 11346 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 12395 11346 697 1178 0 11213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49580 [startup+6.30071 s] /proc/loadavg: 1.86 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31538748/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=50508 CPUtime=6.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 21401 0 0 0 607 22 0 0 25 0 1 0 890041108 51720192 11572 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 12627 11572 703 1178 0 11445 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50508 [startup+12.7006 s] /proc/loadavg: 1.88 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31502924/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=54116 CPUtime=12.69 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 32427 0 0 0 1222 47 0 0 25 0 1 0 890041108 55414784 12466 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 13529 12466 703 1178 0 12347 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54116 [startup+25.5004 s] /proc/loadavg: 1.90 1.97 2.01 4/178 22476 /proc/meminfo: memFree=31482656/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=65016 CPUtime=25.49 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 36940 0 0 0 2457 92 0 0 25 0 1 0 890041108 66576384 15229 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/22473/statm: 16254 15229 703 1178 0 15072 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 65016 [startup+51.1008 s] /proc/loadavg: 1.93 1.97 2.01 4/178 22477 /proc/meminfo: memFree=31414520/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=86572 CPUtime=51.09 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 56811 0 0 0 4936 173 0 0 25 0 1 0 890041108 88649728 20645 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22473/statm: 21643 20645 703 1178 0 20461 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 86572 [startup+102.307 s] /proc/loadavg: 1.97 1.97 2.00 4/178 22478 /proc/meminfo: memFree=31358964/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=132060 CPUtime=102.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 71825 0 0 0 9879 350 0 0 25 0 1 0 890041108 135229440 32127 33554432000 4194304 9016284 140733353443536 18446744073709551615 4679568 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22473/statm: 33015 32127 703 1178 0 31833 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 132060 [startup+162.301 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22480 /proc/meminfo: memFree=31310536/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=180956 CPUtime=162.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 95365 0 0 0 15699 530 0 0 25 0 1 0 890041108 185298944 44054 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/22473/statm: 45239 44054 703 1178 0 44057 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 180956 [startup+222.3 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22482 /proc/meminfo: memFree=31272164/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=220068 CPUtime=222.28 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 110436 0 0 0 21478 750 0 0 25 0 1 0 890041108 225349632 53822 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 55017 53822 703 1178 0 53835 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 220068 [startup+282.301 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22483 /proc/meminfo: memFree=31225464/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=266712 CPUtime=282.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 125013 0 0 0 27226 1003 0 0 25 0 1 0 890041108 273113088 65604 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 66678 65604 703 1178 0 65496 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 266712 [startup+342.301 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22485 /proc/meminfo: memFree=31182252/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=309072 CPUtime=342.28 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 137455 0 0 0 32974 1254 0 0 25 0 1 0 890041108 316489728 76296 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 77268 76296 703 1178 0 76086 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 309072 [startup+402.3 s] /proc/loadavg: 1.99 1.97 2.00 4/178 22486 /proc/meminfo: memFree=31139660/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=351480 CPUtime=402.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 148162 0 0 0 38720 1509 0 0 25 0 1 0 890041108 359915520 86996 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 87870 86996 703 1178 0 86688 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 351480 [startup+462.301 s] /proc/loadavg: 2.15 2.01 2.01 4/178 22488 /proc/meminfo: memFree=31121988/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=364608 CPUtime=462.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 173901 0 0 0 44478 1751 0 0 25 0 1 0 890041108 373358592 90391 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 91152 90391 703 1178 0 89970 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 364608 [startup+522.301 s] /proc/loadavg: 2.06 2.00 2.00 4/178 22490 /proc/meminfo: memFree=31121796/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=365632 CPUtime=522.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 175842 0 0 0 50245 1984 0 0 25 0 1 0 890041108 374407168 90572 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 91408 90572 703 1178 0 90226 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 365632 [startup+582.301 s] /proc/loadavg: 2.02 2.00 2.00 4/178 22491 /proc/meminfo: memFree=31115536/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=371632 CPUtime=582.29 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 179086 0 0 0 56015 2214 0 0 25 0 1 0 890041108 380551168 92052 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 92908 92052 703 1178 0 91726 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 371632 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30918988/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=562768 CPUtime=1122.31 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 230711 0 0 0 107939 4292 0 0 25 0 1 0 890041108 576274432 139097 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 140692 139097 703 1178 0 139510 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 562768 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 4/178 22507 /proc/meminfo: memFree=30897352/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=581456 CPUtime=1182.31 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 235457 0 0 0 113707 4524 0 0 25 0 1 0 890041108 595410944 143843 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 145364 143843 703 1178 0 144182 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 581456 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22509 /proc/meminfo: memFree=30873848/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=600336 CPUtime=1242.31 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 240179 0 0 0 119476 4755 0 0 25 0 1 0 890041108 614744064 148565 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 150084 148565 703 1178 0 148902 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 600336 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22510 /proc/meminfo: memFree=30847728/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=621584 CPUtime=1302.32 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 245532 0 0 0 125239 4993 0 0 25 0 1 0 890041108 636502016 153918 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 155396 153918 703 1178 0 154214 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 621584 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22512 /proc/meminfo: memFree=30826340/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=635868 CPUtime=1362.31 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 249130 0 0 0 131005 5226 0 0 25 0 1 0 890041108 651128832 157516 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 158967 157516 703 1178 0 157785 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 635868 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22514 /proc/meminfo: memFree=30796508/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=659164 CPUtime=1422.32 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 257821 0 0 0 136765 5467 0 0 25 0 1 0 890041108 674983936 163413 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 164791 163413 703 1178 0 163609 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 659164 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22515 /proc/meminfo: memFree=30773864/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=676444 CPUtime=1482.31 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 262140 0 0 0 142540 5691 0 0 25 0 1 0 890041108 692678656 167732 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 169111 167732 703 1178 0 167929 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 676444 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22517 /proc/meminfo: memFree=30752464/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=691804 CPUtime=1542.32 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 266045 0 0 0 148311 5921 0 0 25 0 1 0 890041108 708407296 171637 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 172951 171637 703 1178 0 171769 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 691804 [startup+1602.3 s] /proc/loadavg: 2.11 2.03 2.01 4/178 22518 /proc/meminfo: memFree=30726604/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=710284 CPUtime=1602.32 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 270663 0 0 0 154088 6144 0 0 25 0 1 0 890041108 727330816 176255 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 177571 176255 703 1178 0 176389 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 710284 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 2.00 4/178 22520 /proc/meminfo: memFree=30707556/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=724304 CPUtime=1662.32 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 274197 0 0 0 159861 6371 0 0 25 0 1 0 890041108 741687296 179789 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 181076 179789 703 1178 0 179894 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 724304 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 4/178 22522 /proc/meminfo: memFree=30685020/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=741456 CPUtime=1722.33 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 278551 0 0 0 165637 6596 0 0 25 0 1 0 890041108 759250944 184143 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 185364 184143 703 1178 0 184182 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 741456 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22523 /proc/meminfo: memFree=30663112/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=756624 CPUtime=1782.32 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 282385 0 0 0 171413 6819 0 0 25 0 1 0 890041108 774782976 187977 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 189156 187977 703 1178 0 187974 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 756624 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22523 /proc/meminfo: memFree=30660248/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=758608 CPUtime=1791.94 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 282844 0 0 0 172331 6863 0 0 25 0 1 0 890041108 776814592 188436 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 189652 188436 703 1178 0 188470 0 Current children cumulated CPU time (s) 1791.94 Current children cumulated vsize (KiB) 758608 [startup+1795.1 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658760/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=760016 CPUtime=1795.13 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283197 0 0 0 172641 6872 0 0 25 0 1 0 890041108 778256384 188789 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 190004 188789 703 1178 0 188822 0 Current children cumulated CPU time (s) 1795.13 Current children cumulated vsize (KiB) 760016 [startup+1796.7 s] /proc/loadavg: 2.00 2.01 2.00 4/178 22524 /proc/meminfo: memFree=30658880/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=760464 CPUtime=1796.73 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283309 0 0 0 172796 6877 0 0 25 0 1 0 890041108 778715136 188901 33554432000 4194304 9016284 140733353443536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/22473/statm: 190116 188901 703 1178 0 188934 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 760464 [startup+1797.5 s] /proc/loadavg: 2.00 2.01 2.00 3/176 22524 /proc/meminfo: memFree=30932812/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=760464 CPUtime=1797.53 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172875 6878 0 0 18 0 1 0 890041108 778715136 188903 33554432000 4194304 9016284 140733353443536 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22473/statm: 190116 188903 705 1178 0 188934 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 760464 [startup+1797.9 s] /proc/loadavg: 2.00 2.01 2.00 3/176 22524 /proc/meminfo: memFree=30932812/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=760464 CPUtime=1797.93 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172915 6878 0 0 19 0 1 0 890041108 778715136 188903 33554432000 4194304 9016284 140733353443536 18446744073709551615 6548932 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22473/statm: 190116 188903 705 1178 0 188934 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 760464 [startup+1798.3 s] /proc/loadavg: 2.00 2.01 2.00 3/176 22524 /proc/meminfo: memFree=30932812/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=760464 CPUtime=1798.33 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172955 6878 0 0 19 0 1 0 890041108 778715136 188903 33554432000 4194304 9016284 140733353443536 18446744073709551615 6812833 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22473/statm: 190116 188903 705 1178 0 188934 0 Current children cumulated CPU time (s) 1798.33 Current children cumulated vsize (KiB) 760464 [startup+1798.4 s] /proc/loadavg: 2.00 2.01 2.00 3/178 22562 /proc/meminfo: memFree=31382124/32950928 swapFree=67048868/67111528 [pid=22473] ppid=22469 vsize=188280 CPUtime=1798.43 cores=0,2,4,6 /proc/22473/stat : 22473 (scip-2.0.1.4b_2) R 22469 22473 22429 0 -1 4202496 283311 0 0 0 172963 6880 0 0 19 0 1 0 890041108 192798720 28823 33554432000 4194304 9016284 140733353443536 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/22473/statm: 47070 28823 705 1178 0 45888 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (KiB) 188280 Child status: 0 Real time (s): 1798.41 CPU time (s): 1798.44 CPU user time (s): 1729.63 CPU system time (s): 68.8105 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 760464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1729.63 system time used= 68.8105 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283316 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= 7 involuntary context switches= 5578 runsolver used 2.68959 second user time and 6.88595 second system time The end
Begin job on node122 at 2011-06-11 11:27:03 IDJOB=3488604 IDBENCH=48208 IDSOLVER=1979 FILE ID=node122/3488604-1307784423 RUNJOBID= node122-1307784423-22447 PBS_JOBID= 13550902 Free space on /tmp= 74104 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_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-3488604-1307784423/watcher-3488604-1307784423 -o /tmp/evaluation-result-3488604-1307784423/solver-3488604-1307784423 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488604-1307784423.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d RANDOM SEED=614599355 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31690364 kB Buffers: 142372 kB Cached: 945236 kB SwapCached: 14712 kB Active: 367776 kB Inactive: 738624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31690364 kB SwapTotal: 67111528 kB SwapFree: 67048868 kB Dirty: 34248 kB Writeback: 0 kB AnonPages: 15760 kB Mapped: 8564 kB Slab: 88212 kB PageTables: 4424 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 191460 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74072 MiB End job on node122 at 2011-06-11 11:57:02