Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx 2 2011-06-10 (fixed) | SAT | -51 | 1797.88 | 1797.82 |
| 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.4 [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-3485162-1307784829.opb>
0.00/0.00 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.00 c problem read
0.00/0.00 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.02/0.03 c (round 1) 1241 del vars, 200 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4964 impls, 0 clqs
0.02/0.04 c (round 2) 1241 del vars, 200 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 1241 upgd conss, 7446 impls, 0 clqs
0.02/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (3 rounds):
0.02/0.05 c 1241 deleted vars, 200 deleted constraints, 0 added constraints, 1241 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 7446 implications, 0 cliques
0.02/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.02/0.05 c 1241 constraints of type <logicor>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.05
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 2.0.1.4
0.02/0.05 c
0.02/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c conflict/interconss = 0
0.02/0.05 c
0.02/0.05 c # should binary conflicts be preferred?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c conflict/preferbinary = TRUE
0.02/0.05 c
0.02/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.05 c constraints/agelimit = 1
0.02/0.05 c
0.02/0.05 c # should enforcement of pseudo solution be disabled?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/disableenfops = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1797
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 13950
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # belongs reading time to solving time?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c timing/reading = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/addCouplingCons = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/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.02/0.06 c t 0.1s| 1 | 0 | 223 | - |3217k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.02/0.06 o -1
0.02/0.06 c R 0.1s| 1 | 0 | 223 | - |3220k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.02/0.06 o -2
0.02/0.06 c s 0.1s| 1 | 0 | 223 | - |3222k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.02/0.08 c 0.1s| 1 | 0 | 302 | - |3229k| 0 | 191 | 200 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.02/0.08 o -38
0.02/0.08 c b 0.1s| 1 | 0 | 302 | - |3234k| 0 | 191 | 200 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-3.800000e+01 | 60.21%
0.09/0.11 c 0.1s| 1 | 0 | 402 | - |3240k| 0 | 184 | 200 |1241 | 200 |1260 | 19 | 0 | 0 |-9.200000e+01 |-3.800000e+01 | 58.70%
0.09/0.15 c 0.2s| 1 | 0 | 492 | - |3285k| 0 | 180 | 200 |1241 | 200 |1268 | 27 | 0 | 0 |-9.000000e+01 |-3.800000e+01 | 57.78%
0.19/0.22 c 0.2s| 1 | 0 | 699 | - |3416k| 0 | 179 | 200 |1241 | 200 |1274 | 33 | 0 | 0 |-8.800000e+01 |-3.800000e+01 | 56.82%
0.19/0.27 c 0.3s| 1 | 0 | 895 | - |3433k| 0 | 174 | 200 |1241 | 200 |1282 | 41 | 0 | 0 |-8.700000e+01 |-3.800000e+01 | 56.32%
0.29/0.31 c 0.3s| 1 | 0 | 1042 | - |3448k| 0 | 170 | 200 |1241 | 200 |1292 | 51 | 0 | 0 |-8.500000e+01 |-3.800000e+01 | 55.29%
0.29/0.36 c 0.4s| 1 | 0 | 1220 | - |3536k| 0 | 169 | 200 |1241 | 200 |1306 | 65 | 0 | 0 |-8.300000e+01 |-3.800000e+01 | 54.22%
0.38/0.41 c 0.4s| 1 | 0 | 1371 | - |3621k| 0 | 164 | 200 |1241 | 200 |1315 | 74 | 0 | 0 |-8.200000e+01 |-3.800000e+01 | 53.66%
0.38/0.46 c 0.5s| 1 | 0 | 1493 | - |3702k| 0 | 162 | 200 |1241 | 200 |1324 | 83 | 0 | 0 |-8.100000e+01 |-3.800000e+01 | 53.09%
0.38/0.49 c 0.5s| 1 | 0 | 1555 | - |3770k| 0 | 160 | 200 |1241 | 200 |1335 | 94 | 0 | 0 |-8.000000e+01 |-3.800000e+01 | 52.50%
0.49/0.57 c 0.6s| 1 | 0 | 1929 | - |3830k| 0 | 174 | 200 |1241 | 200 | 437 | 105 | 0 | 0 |-7.850000e+01 |-3.800000e+01 | 51.59%
0.59/0.60 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.60 c 0.6s| 1 | 0 | 2092 | - |3936k| 0 | 182 | 200 |1241 | 200 | 445 | 113 | 0 | 0 |-7.750000e+01 |-3.800000e+01 | 50.97%
0.59/0.63 c 0.6s| 1 | 0 | 2156 | - |4410k| 0 | 169 | 200 |1241 | 200 | 497 | 165 | 0 | 0 |-7.750000e+01 |-3.800000e+01 | 50.97%
0.59/0.67 c 0.7s| 1 | 0 | 2372 | - |4701k| 0 | 181 | 200 |1241 | 200 | 523 | 191 | 0 | 0 |-7.662500e+01 |-3.800000e+01 | 50.41%
0.68/0.72 c 0.7s| 1 | 0 | 2591 | - |4876k| 0 | 167 | 200 |1241 | 200 | 600 | 268 | 0 | 0 |-7.587500e+01 |-3.800000e+01 | 49.92%
0.68/0.76 c 0.8s| 1 | 0 | 2738 | - |4933k| 0 | 181 | 200 |1241 | 200 | 629 | 297 | 0 | 0 |-7.557692e+01 |-3.800000e+01 | 49.72%
0.79/0.83 c 0.8s| 1 | 0 | 2875 | - |5743k| 0 | 177 | 200 |1241 | 200 | 493 | 332 | 0 | 0 |-7.500000e+01 |-3.800000e+01 | 49.33%
0.79/0.87 c 0.9s| 1 | 0 | 3034 | - |5819k| 0 | 179 | 200 |1241 | 200 | 507 | 346 | 0 | 0 |-7.466667e+01 |-3.800000e+01 | 49.11%
0.89/0.90 c 0.9s| 1 | 0 | 3190 | - |6054k| 0 | 173 | 200 |1241 | 200 | 523 | 362 | 0 | 0 |-7.420000e+01 |-3.800000e+01 | 48.79%
0.89/0.95 c 1.0s| 1 | 0 | 3346 | - |6244k| 0 | 177 | 200 |1241 | 200 | 548 | 387 | 0 | 0 |-7.378571e+01 |-3.800000e+01 | 48.50%
0.89/0.98 c 1.0s| 1 | 0 | 3480 | - |6337k| 0 | 164 | 200 |1241 | 200 | 590 | 429 | 0 | 0 |-7.330000e+01 |-3.800000e+01 | 48.16%
1.00/1.01 c 1.0s| 1 | 0 | 3659 | - |6401k| 0 | 189 | 200 |1241 | 200 | 600 | 439 | 0 | 0 |-7.258540e+01 |-3.800000e+01 | 47.65%
1.00/1.07 c 1.1s| 1 | 0 | 3893 | - |6953k| 0 | 189 | 200 |1241 | 200 | 514 | 476 | 0 | 0 |-7.206061e+01 |-3.800000e+01 | 47.27%
1.10/1.11 c 1.1s| 1 | 0 | 4162 | - |7286k| 0 | 186 | 200 |1241 | 200 | 546 | 508 | 0 | 0 |-7.137815e+01 |-3.800000e+01 | 46.76%
1.10/1.15 c 1.1s| 1 | 0 | 4396 | - |7627k| 0 | 188 | 200 |1241 | 200 | 585 | 547 | 0 | 0 |-7.110521e+01 |-3.800000e+01 | 46.56%
1.19/1.21 c 1.2s| 1 | 0 | 4697 | - |8312k| 0 | 195 | 200 |1241 | 200 | 610 | 572 | 0 | 0 |-7.081507e+01 |-3.800000e+01 | 46.34%
1.19/1.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.25 c 1.3s| 1 | 0 | 4927 | - |8374k| 0 | 192 | 200 |1241 | 200 | 637 | 599 | 0 | 0 |-7.050815e+01 |-3.800000e+01 | 46.11%
1.19/1.29 c 1.3s| 1 | 0 | 5060 | - |8379k| 0 | 198 | 200 |1241 | 200 | 647 | 609 | 0 | 0 |-7.034161e+01 |-3.800000e+01 | 45.98%
1.28/1.33 c 1.3s| 1 | 0 | 5163 | - |8419k| 0 | 200 | 200 |1241 | 200 | 497 | 618 | 0 | 0 |-7.018315e+01 |-3.800000e+01 | 45.86%
1.28/1.37 c 1.4s| 1 | 0 | 5353 | - |8427k| 0 | 197 | 200 |1241 | 200 | 510 | 631 | 0 | 0 |-6.984531e+01 |-3.800000e+01 | 45.59%
1.39/1.40 c 1.4s| 1 | 0 | 5415 | - |8431k| 0 | 196 | 200 |1241 | 200 | 521 | 642 | 0 | 0 |-6.979729e+01 |-3.800000e+01 | 45.56%
1.39/1.43 c 1.4s| 1 | 0 | 5417 | - |8431k| 0 | 197 | 200 |1241 | 200 | 523 | 644 | 0 | 0 |-6.979723e+01 |-3.800000e+01 | 45.56%
1.39/1.46 c 1.5s| 1 | 0 | 5504 | - |8442k| 0 | 196 | 200 |1241 | 200 | 524 | 645 | 0 | 0 |-6.972613e+01 |-3.800000e+01 | 45.50%
1.49/1.50 c 1.5s| 1 | 0 | 5605 | - |8471k| 0 | 198 | 200 |1241 | 200 | 529 | 650 | 0 | 0 |-6.968203e+01 |-3.800000e+01 | 45.47%
1.49/1.53 c 1.5s| 1 | 0 | 5653 | - |8475k| 0 | 197 | 200 |1241 | 200 | 380 | 656 | 0 | 0 |-6.966808e+01 |-3.800000e+01 | 45.46%
1.49/1.55 c 1.6s| 1 | 0 | 5664 | - |8476k| 0 | 197 | 200 |1241 | 200 | 384 | 660 | 0 | 0 |-6.966647e+01 |-3.800000e+01 | 45.45%
1.99/2.01 c 2.0s| 1 | 2 | 5664 | - |8478k| 0 | 197 | 200 |1241 | 200 | 384 | 660 | 0 | 20 |-6.966647e+01 |-3.800000e+01 | 45.45%
2.29/2.38 o -44
2.29/2.38 c * 2.4s| 31 | 27 | 6678 | 33.8 |8531k| 18 | - | 200 |1241 | 200 | 284 |1075 | 0 | 480 |-6.928786e+01 |-4.400000e+01 | 36.50%
2.99/3.07 o -45
2.99/3.07 c o 3.1s| 172 | 134 | 10156 | 26.3 |8725k| 26 | 0 | 200 |1241 | 200 | 285 |2839 | 0 |1489 |-6.928786e+01 |-4.500000e+01 | 35.05%
20.29/20.35 c 20.4s| 10000 | 9880 |469318 | 46.4 | 17M| 36 | 61 | 200 |1241 | 200 | 266 | 223k| 0 |2924 |-6.700000e+01 |-4.500000e+01 | 32.84%
23.29/23.31 o -46
23.29/23.31 c *23.3s| 11939 | 11629 |550231 | 45.6 | 18M| 44 | - | 200 |1241 | 200 | 256 | 265k| 0 |3208 |-6.660000e+01 |-4.600000e+01 | 30.93%
33.89/33.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.89/33.92 c 33.9s| 20000 | 18714 |845900 | 42.0 | 24M| 45 | 23 | 200 |1241 | 200 | 241 | 419k| 0 |4053 |-6.560000e+01 |-4.600000e+01 | 29.88%
46.20/46.22 o -47
46.20/46.22 c l46.2s| 29713 | 25446 | 1188k| 39.8 | 30M| 45 | - | 200 |1241 | 200 | 258 | 598k| 0 |4820 |-6.500000e+01 |-4.700000e+01 | 27.69%
46.60/46.61 c 46.6s| 30000 | 25691 | 1198k| 39.8 | 31M| 45 | 95 | 200 |1241 | 200 | 281 | 604k| 0 |4852 |-6.500000e+01 |-4.700000e+01 | 27.69%
57.29/57.36 o -48
57.29/57.36 c *57.4s| 39170 | 30259 | 1494k| 38.0 | 35M| 46 | - | 200 |1241 | 200 | 245 | 758k| 0 |5394 |-6.450000e+01 |-4.800000e+01 | 25.58%
58.20/58.27 c 58.3s| 40000 | 30787 | 1519k| 37.8 | 36M| 46 | 72 | 200 |1241 | 200 | 260 | 772k| 0 |5474 |-6.450000e+01 |-4.800000e+01 | 25.58%
69.10/69.11 c 69.1s| 50000 | 37437 | 1818k| 36.2 | 42M| 46 | 64 | 200 |1241 | 200 | 261 | 926k| 0 |6027 |-6.400000e+01 |-4.800000e+01 | 25.00%
79.40/79.43 c 79.4s| 60000 | 43733 | 2100k| 34.9 | 47M| 48 | - | 200 |1241 | 200 | 268 |1073k| 0 |6483 |-6.388889e+01 |-4.800000e+01 | 24.87%
89.10/89.11 c 89.1s| 70000 | 49777 | 2365k| 33.7 | 53M| 55 | - | 200 |1241 | 200 | 259 |1213k| 0 |6951 |-6.362500e+01 |-4.800000e+01 | 24.56%
97.69/97.77 c 97.8s| 80000 | 54651 | 2600k| 32.4 | 57M| 55 | 58 | 200 |1241 | 200 | 261 |1342k| 0 |7314 |-6.350000e+01 |-4.800000e+01 | 24.41%
106.09/106.12 c 106s| 90000 | 59255 | 2824k| 31.3 | 62M| 55 | 48 | 200 |1241 | 200 | 226 |1467k| 0 |7658 |-6.333333e+01 |-4.800000e+01 | 24.21%
114.19/114.29 c 114s|100000 | 63717 | 3044k| 30.4 | 66M| 58 | 76 | 200 |1241 | 200 | 282 |1592k| 0 |7942 |-6.320000e+01 |-4.800000e+01 | 24.05%
122.50/122.54 c 123s|110000 | 68245 | 3265k| 29.6 | 70M| 58 | 79 | 200 |1241 | 200 | 292 |1715k| 0 |8268 |-6.300000e+01 |-4.800000e+01 | 23.81%
130.50/130.53 c 131s|120000 | 72541 | 3481k| 29.0 | 75M| 58 | 10 | 200 |1241 | 200 | 256 |1837k| 0 |8562 |-6.300000e+01 |-4.800000e+01 | 23.81%
138.79/138.80 c 139s|130000 | 77063 | 3703k| 28.4 | 79M| 58 | - | 200 |1241 | 200 | 296 |1960k| 0 |8875 |-6.300000e+01 |-4.800000e+01 | 23.81%
144.90/144.97 o -50
144.90/144.97 c * 145s|137570 | 57295 | 3869k| 28.1 | 64M| 58 | - | 200 |1241 | 200 | 239 |2054k| 0 |9063 |-6.294444e+01 |-5.000000e+01 | 20.56%
146.69/146.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.69/146.78 c 147s|140000 | 57953 | 3918k| 27.9 | 65M| 58 | - | 200 |1241 | 200 | 264 |2084k| 0 |9095 |-6.288889e+01 |-5.000000e+01 | 20.49%
154.19/154.22 c 154s|150000 | 60585 | 4116k| 27.4 | 68M| 58 | 46 | 200 |1241 | 200 | 253 |2209k| 0 |9376 |-6.277778e+01 |-5.000000e+01 | 20.35%
161.60/161.66 c 162s|160000 | 63375 | 4315k| 26.9 | 71M| 58 | 59 | 200 |1241 | 200 | 246 |2335k| 0 |9604 |-6.271429e+01 |-5.000000e+01 | 20.27%
169.00/169.01 c 169s|170000 | 66091 | 4512k| 26.5 | 74M| 58 | - | 200 |1241 | 200 | 253 |2460k| 0 |9855 |-6.266667e+01 |-5.000000e+01 | 20.21%
176.19/176.21 c 176s|180000 | 68691 | 4702k| 26.1 | 76M| 58 | - | 200 |1241 | 200 | 271 |2580k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
183.50/183.51 c 184s|190000 | 71365 | 4897k| 25.7 | 79M| 58 | 38 | 200 |1241 | 200 | 259 |2704k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
190.80/190.84 c 191s|200000 | 74055 | 5093k| 25.4 | 82M| 58 | - | 200 |1241 | 200 | 259 |2827k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
198.10/198.13 c 198s|210000 | 76643 | 5286k| 25.1 | 85M| 58 | 14 | 200 |1241 | 200 | 247 |2948k| 0 | 10k|-6.237500e+01 |-5.000000e+01 | 19.84%
205.19/205.27 c 205s|220000 | 79071 | 5476k| 24.9 | 88M| 58 | 39 | 200 |1241 | 200 | 245 |3070k| 0 | 10k|-6.233333e+01 |-5.000000e+01 | 19.79%
212.30/212.39 c 212s|230000 | 81341 | 5662k| 24.6 | 90M| 58 | - | 200 |1241 | 200 | 255 |3190k| 0 | 11k|-6.225000e+01 |-5.000000e+01 | 19.68%
219.49/219.56 c 220s|240000 | 83577 | 5852k| 24.4 | 93M| 58 | - | 200 |1241 | 200 | 255 |3314k| 0 | 11k|-6.216667e+01 |-5.000000e+01 | 19.57%
226.50/226.51 c 227s|250000 | 85713 | 6033k| 24.1 | 95M| 58 | 60 | 200 |1241 | 200 | 257 |3432k| 0 | 11k|-6.200000e+01 |-5.000000e+01 | 19.35%
233.59/233.68 c 234s|260000 | 88083 | 6223k| 23.9 | 98M| 58 | 17 | 200 |1241 | 200 | 243 |3554k| 0 | 11k|-6.200000e+01 |-5.000000e+01 | 19.35%
240.70/240.79 c 241s|270000 | 90485 | 6410k| 23.7 | 101M| 58 | 94 | 200 |1241 | 200 | 320 |3675k| 0 | 11k|-6.200000e+01 |-5.000000e+01 | 19.35%
247.80/247.81 c 248s|280000 | 92709 | 6596k| 23.5 | 103M| 58 | 68 | 200 |1241 | 200 | 260 |3793k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
254.80/254.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.80/254.87 c 255s|290000 | 95075 | 6782k| 23.4 | 106M| 58 | 16 | 200 |1241 | 200 | 260 |3914k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
261.90/261.95 c 262s|300000 | 97429 | 6970k| 23.2 | 108M| 58 | 12 | 200 |1241 | 200 | 224 |4036k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
269.00/269.00 c 269s|310000 | 99811 | 7156k| 23.1 | 111M| 58 | - | 200 |1241 | 200 | 286 |4154k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
275.90/275.92 c 276s|320000 |101981 | 7337k| 22.9 | 113M| 58 | - | 200 |1241 | 200 | 260 |4271k| 0 | 12k|-6.188889e+01 |-5.000000e+01 | 19.21%
283.00/283.07 c 283s|330000 |104341 | 7526k| 22.8 | 116M| 58 | - | 200 |1241 | 200 | 260 |4388k| 0 | 12k|-6.180000e+01 |-5.000000e+01 | 19.09%
290.00/290.09 c 290s|340000 |106631 | 7711k| 22.7 | 119M| 58 | 91 | 200 |1241 | 200 | 280 |4508k| 0 | 13k|-6.175000e+01 |-5.000000e+01 | 19.03%
297.10/297.15 c 297s|350000 |108983 | 7897k| 22.5 | 121M| 58 | - | 200 |1241 | 200 | 240 |4628k| 0 | 13k|-6.171429e+01 |-5.000000e+01 | 18.98%
304.30/304.30 c 304s|360000 |111419 | 8088k| 22.5 | 124M| 58 | 74 | 200 |1241 | 200 | 251 |4752k| 0 | 13k|-6.166667e+01 |-5.000000e+01 | 18.92%
311.30/311.38 c 311s|370000 |113757 | 8276k| 22.4 | 126M| 58 | - | 200 |1241 | 200 | 255 |4876k| 0 | 13k|-6.166667e+01 |-5.000000e+01 | 18.92%
318.20/318.26 c 318s|380000 |116037 | 8457k| 22.2 | 129M| 58 | 32 | 200 |1241 | 200 | 244 |4993k| 0 | 13k|-6.160000e+01 |-5.000000e+01 | 18.83%
325.10/325.11 c 325s|390000 |118127 | 8635k| 22.1 | 131M| 58 | 39 | 200 |1241 | 200 | 255 |5108k| 0 | 13k|-6.150000e+01 |-5.000000e+01 | 18.70%
331.90/331.94 c 332s|400000 |120245 | 8816k| 22.0 | 134M| 58 | - | 200 |1241 | 200 | 263 |5226k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
338.71/338.74 c 339s|410000 |122383 | 8995k| 21.9 | 136M| 58 | 5 | 200 |1241 | 200 | 267 |5344k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
345.50/345.54 c 346s|420000 |124461 | 9173k| 21.8 | 138M| 58 | 45 | 200 |1241 | 200 | 223 |5462k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
352.30/352.32 c 352s|430000 |126597 | 9349k| 21.7 | 141M| 58 | 13 | 200 |1241 | 200 | 255 |5577k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
359.10/359.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.10/359.11 c 359s|440000 |128701 | 9526k| 21.6 | 143M| 58 | - | 200 |1241 | 200 | 249 |5693k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
365.80/365.85 c 366s|450000 |130713 | 9700k| 21.5 | 145M| 58 | 58 | 200 |1241 | 200 | 255 |5806k| 0 | 14k|-6.140000e+01 |-5.000000e+01 | 18.57%
372.50/372.57 c 373s|460000 |132677 | 9874k| 21.5 | 148M| 58 | 76 | 200 |1241 | 200 | 263 |5919k| 0 | 14k|-6.133333e+01 |-5.000000e+01 | 18.48%
379.41/379.47 c 379s|470000 |134813 | 10057k| 21.4 | 150M| 58 | - | 200 |1241 | 200 | 274 |6039k| 0 | 15k|-6.133333e+01 |-5.000000e+01 | 18.48%
386.20/386.27 c 386s|480000 |136959 | 10235k| 21.3 | 152M| 58 | - | 200 |1241 | 200 | 274 |6157k| 0 | 15k|-6.125000e+01 |-5.000000e+01 | 18.37%
393.10/393.10 c 393s|490000 |139143 | 10415k| 21.2 | 155M| 58 | - | 200 |1241 | 200 | 259 |6273k| 0 | 15k|-6.125000e+01 |-5.000000e+01 | 18.37%
399.81/399.84 c 400s|500000 |141307 | 10591k| 21.2 | 157M| 58 | - | 200 |1241 | 200 | 241 |6387k| 0 | 15k|-6.120000e+01 |-5.000000e+01 | 18.30%
406.40/406.45 c 406s|510000 |143227 | 10763k| 21.1 | 159M| 58 | 70 | 200 |1241 | 200 | 259 |6501k| 0 | 15k|-6.114286e+01 |-5.000000e+01 | 18.22%
413.00/413.09 c 413s|520000 |145205 | 10933k| 21.0 | 162M| 58 | 87 | 200 |1241 | 200 | 296 |6614k| 0 | 15k|-6.105882e+01 |-5.000000e+01 | 18.11%
419.80/419.85 c 420s|530000 |147047 | 11110k| 21.0 | 164M| 58 | 54 | 200 |1241 | 200 | 260 |6732k| 0 | 15k|-6.100000e+01 |-5.000000e+01 | 18.03%
426.71/426.72 c 427s|540000 |149199 | 11288k| 20.9 | 166M| 58 | 40 | 200 |1241 | 200 | 239 |6847k| 0 | 15k|-6.100000e+01 |-5.000000e+01 | 18.03%
433.31/433.36 c 433s|550000 |151109 | 11459k| 20.8 | 168M| 58 | - | 200 |1241 | 200 | 275 |6961k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
440.01/440.05 c 440s|560000 |153057 | 11632k| 20.8 | 171M| 58 | - | 200 |1241 | 200 | 268 |7075k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
446.61/446.68 c 447s|570000 |154935 | 11803k| 20.7 | 173M| 59 | 69 | 200 |1241 | 200 | 262 |7187k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
453.31/453.36 c 453s|580000 |156941 | 11975k| 20.6 | 175M| 59 | - | 200 |1241 | 200 | 285 |7301k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
460.10/460.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.10/460.13 c 460s|590000 |158929 | 12150k| 20.6 | 177M| 59 | - | 200 |1241 | 200 | 257 |7415k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
466.81/466.89 c 467s|600000 |160993 | 12327k| 20.5 | 179M| 59 | 91 | 200 |1241 | 200 | 278 |7533k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
473.51/473.54 c 474s|610000 |162879 | 12498k| 20.5 | 182M| 59 | 36 | 200 |1241 | 200 | 250 |7647k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
480.21/480.29 c 480s|620000 |164935 | 12674k| 20.4 | 184M| 59 | 16 | 200 |1241 | 200 | 242 |7761k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
487.01/487.03 c 487s|630000 |166841 | 12850k| 20.4 | 186M| 59 | - | 200 |1241 | 200 | 283 |7878k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
493.71/493.74 c 494s|640000 |168871 | 13025k| 20.3 | 188M| 59 | 10 | 200 |1241 | 200 | 245 |7994k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
500.31/500.32 c 500s|650000 |170797 | 13196k| 20.3 | 191M| 59 | - | 200 |1241 | 200 | 281 |8105k| 0 | 17k|-6.087143e+01 |-5.000000e+01 | 17.86%
501.11/501.16 o -51
501.11/501.16 c * 501s|651145 |129850 | 13216k| 20.3 | 150M| 59 | - | 200 |1241 | 200 | 261 |8120k| 0 | 17k|-6.085714e+01 |-5.100000e+01 | 16.20%
506.91/506.96 c 507s|660000 |131235 | 13365k| 20.2 | 151M| 59 | 64 | 200 |1241 | 200 | 266 |8225k| 0 | 17k|-6.083333e+01 |-5.100000e+01 | 16.16%
513.21/513.21 c 513s|670000 |132515 | 13523k| 20.2 | 153M| 60 | - | 200 |1241 | 200 | 298 |8337k| 0 | 17k|-6.080000e+01 |-5.100000e+01 | 16.12%
519.51/519.53 c 520s|680000 |133625 | 13684k| 20.1 | 154M| 60 | 13 | 200 |1241 | 200 | 238 |8453k| 0 | 17k|-6.075000e+01 |-5.100000e+01 | 16.05%
525.71/525.76 c 526s|690000 |134797 | 13843k| 20.1 | 156M| 60 | 6 | 200 |1241 | 200 | 267 |8568k| 0 | 17k|-6.075000e+01 |-5.100000e+01 | 16.05%
532.01/532.07 c 532s|700000 |136077 | 14005k| 20.0 | 157M| 60 | 70 | 200 |1241 | 200 | 240 |8681k| 0 | 17k|-6.075000e+01 |-5.100000e+01 | 16.05%
538.41/538.46 c 538s|710000 |137415 | 14168k| 19.9 | 159M| 60 | 65 | 200 |1241 | 200 | 266 |8793k| 0 | 17k|-6.066667e+01 |-5.100000e+01 | 15.93%
544.61/544.60 c 545s|720000 |138599 | 14324k| 19.9 | 160M| 60 | - | 200 |1241 | 200 | 299 |8906k| 0 | 18k|-6.066667e+01 |-5.100000e+01 | 15.93%
550.71/550.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.71/550.73 c 551s|730000 |139735 | 14480k| 19.8 | 162M| 60 | - | 200 |1241 | 200 | 280 |9021k| 0 | 18k|-6.066667e+01 |-5.100000e+01 | 15.93%
557.01/557.02 c 557s|740000 |140973 | 14639k| 19.8 | 163M| 60 | 24 | 200 |1241 | 200 | 230 |9134k| 0 | 18k|-6.066667e+01 |-5.100000e+01 | 15.93%
563.22/563.26 c 563s|750000 |142141 | 14797k| 19.7 | 165M| 60 | 47 | 200 |1241 | 200 | 257 |9249k| 0 | 18k|-6.060000e+01 |-5.100000e+01 | 15.84%
569.41/569.44 c 569s|760000 |143195 | 14952k| 19.7 | 166M| 60 | - | 200 |1241 | 200 | 274 |9363k| 0 | 18k|-6.057143e+01 |-5.100000e+01 | 15.80%
575.71/575.70 c 576s|770000 |144251 | 15109k| 19.6 | 167M| 60 | 20 | 200 |1241 | 200 | 252 |9475k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
581.82/581.86 c 582s|780000 |145557 | 15267k| 19.6 | 169M| 60 | - | 200 |1241 | 200 | 303 |9585k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
588.11/588.11 c 588s|790000 |146835 | 15426k| 19.5 | 171M| 60 | - | 200 |1241 | 200 | 273 |9695k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
594.21/594.24 c 594s|800000 |147909 | 15580k| 19.5 | 172M| 62 | - | 200 |1241 | 200 | 286 |9806k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
600.41/600.47 c 600s|810000 |148893 | 15736k| 19.4 | 173M| 62 | - | 200 |1241 | 200 | 260 |9920k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
606.71/606.73 c 607s|820000 |150095 | 15894k| 19.4 | 175M| 62 | 51 | 200 |1241 | 200 | 266 | 10M| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
612.81/612.82 c 613s|830000 |151249 | 16049k| 19.3 | 176M| 62 | - | 200 |1241 | 200 | 293 | 10M| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
618.91/618.98 c 619s|840000 |152411 | 16205k| 19.3 | 177M| 63 | - | 200 |1241 | 200 | 284 | 10M| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
624.91/624.99 c 625s|850000 |153301 | 16357k| 19.2 | 179M| 63 | 12 | 200 |1241 | 200 | 251 | 10M| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
631.11/631.10 c 631s|860000 |154289 | 16511k| 19.2 | 180M| 63 | - | 200 |1241 | 200 | 295 | 10M| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
637.21/637.22 c 637s|870000 |155513 | 16668k| 19.2 | 181M| 63 | 10 | 200 |1241 | 200 | 246 | 10M| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
643.31/643.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.31/643.35 c 643s|880000 |156457 | 16821k| 19.1 | 183M| 63 | 106 | 200 |1241 | 200 | 297 | 10M| 0 | 19k|-6.040625e+01 |-5.100000e+01 | 15.57%
649.41/649.47 c 649s|890000 |157593 | 16976k| 19.1 | 184M| 63 | 88 | 200 |1241 | 200 | 262 | 10M| 0 | 19k|-6.037500e+01 |-5.100000e+01 | 15.53%
655.51/655.55 c 656s|900000 |158559 | 17127k| 19.0 | 185M| 63 | - | 200 |1241 | 200 | 250 | 10M| 0 | 19k|-6.033333e+01 |-5.100000e+01 | 15.47%
661.61/661.60 c 662s|910000 |159459 | 17277k| 19.0 | 186M| 63 | 62 | 200 |1241 | 200 | 259 | 11M| 0 | 19k|-6.033333e+01 |-5.100000e+01 | 15.47%
667.72/667.75 c 668s|920000 |160539 | 17431k| 18.9 | 188M| 63 | - | 200 |1241 | 200 | 262 | 11M| 0 | 19k|-6.033333e+01 |-5.100000e+01 | 15.47%
673.81/673.88 c 674s|930000 |161557 | 17587k| 18.9 | 189M| 63 | 19 | 200 |1241 | 200 | 246 | 11M| 0 | 20k|-6.030000e+01 |-5.100000e+01 | 15.42%
679.82/679.89 c 680s|940000 |162529 | 17737k| 18.9 | 190M| 63 | 11 | 200 |1241 | 200 | 241 | 11M| 0 | 20k|-6.025000e+01 |-5.100000e+01 | 15.35%
685.92/685.96 c 686s|950000 |163603 | 17889k| 18.8 | 192M| 63 | - | 200 |1241 | 200 | 299 | 11M| 0 | 20k|-6.025000e+01 |-5.100000e+01 | 15.35%
691.92/691.98 c 692s|960000 |164595 | 18041k| 18.8 | 193M| 63 | - | 200 |1241 | 200 | 271 | 11M| 0 | 20k|-6.025000e+01 |-5.100000e+01 | 15.35%
698.11/698.15 c 698s|970000 |165731 | 18198k| 18.8 | 194M| 63 | - | 200 |1241 | 200 | 295 | 11M| 0 | 20k|-6.022222e+01 |-5.100000e+01 | 15.31%
704.22/704.25 c 704s|980000 |166745 | 18350k| 18.7 | 196M| 63 | 92 | 200 |1241 | 200 | 289 | 11M| 0 | 20k|-6.019355e+01 |-5.100000e+01 | 15.27%
710.31/710.33 c 710s|990000 |167815 | 18502k| 18.7 | 197M| 63 | 24 | 200 |1241 | 200 | 249 | 11M| 0 | 20k|-6.016667e+01 |-5.100000e+01 | 15.24%
716.41/716.45 c 716s| 1000k|168945 | 18654k| 18.6 | 198M| 63 | 75 | 200 |1241 | 200 | 291 | 12M| 0 | 20k|-6.012500e+01 |-5.100000e+01 | 15.18%
722.42/722.48 c 722s| 1010k|169837 | 18803k| 18.6 | 199M| 63 | - | 200 |1241 | 200 | 241 | 12M| 0 | 20k|-6.007500e+01 |-5.100000e+01 | 15.11%
728.51/728.53 c 729s| 1020k|170823 | 18953k| 18.6 | 201M| 63 | - | 200 |1241 | 200 | 254 | 12M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
734.72/734.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.72/734.75 c 735s| 1030k|171839 | 19109k| 18.5 | 202M| 63 | - | 200 |1241 | 200 | 262 | 12M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
740.72/740.80 c 741s| 1040k|172831 | 19260k| 18.5 | 203M| 63 | 106 | 200 |1241 | 200 | 292 | 12M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
746.92/746.99 c 747s| 1050k|173863 | 19417k| 18.5 | 205M| 63 | 14 | 200 |1241 | 200 | 267 | 12M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
753.12/753.14 c 753s| 1060k|175031 | 19574k| 18.5 | 206M| 63 | 18 | 200 |1241 | 200 | 239 | 12M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
759.22/759.21 c 759s| 1070k|176083 | 19729k| 18.4 | 207M| 63 | - | 200 |1241 | 200 | 255 | 12M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
765.31/765.34 c 765s| 1080k|177149 | 19884k| 18.4 | 209M| 63 | - | 200 |1241 | 200 | 267 | 12M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
771.21/771.28 c 771s| 1090k|178041 | 20032k| 18.4 | 210M| 63 | - | 200 |1241 | 200 | 269 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
777.32/777.35 c 777s| 1100k|179099 | 20185k| 18.3 | 211M| 63 | 14 | 200 |1241 | 200 | 243 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
783.32/783.36 c 783s| 1110k|180091 | 20335k| 18.3 | 212M| 63 | - | 200 |1241 | 200 | 259 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
789.31/789.37 c 789s| 1120k|180951 | 20487k| 18.3 | 213M| 63 | - | 200 |1241 | 200 | 282 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
795.51/795.50 c 795s| 1130k|181855 | 20640k| 18.3 | 215M| 63 | 34 | 200 |1241 | 200 | 221 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
801.42/801.45 c 801s| 1140k|182813 | 20790k| 18.2 | 216M| 63 | - | 200 |1241 | 200 | 280 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
807.42/807.48 c 807s| 1150k|183855 | 20941k| 18.2 | 217M| 63 | 74 | 200 |1241 | 200 | 268 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
813.51/813.50 c 814s| 1160k|184825 | 21091k| 18.2 | 218M| 63 | 18 | 200 |1241 | 200 | 262 | 13M| 0 | 21k|-6.000000e+01 |-5.100000e+01 | 15.00%
819.42/819.41 c 819s| 1170k|185723 | 21237k| 18.1 | 219M| 66 | - | 200 |1241 | 200 | 283 | 13M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
825.41/825.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
825.41/825.46 c 825s| 1180k|186713 | 21389k| 18.1 | 221M| 66 | 81 | 200 |1241 | 200 | 283 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
831.42/831.47 c 831s| 1190k|187777 | 21541k| 18.1 | 222M| 66 | 85 | 200 |1241 | 200 | 286 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
837.52/837.60 c 838s| 1200k|188829 | 21694k| 18.1 | 223M| 66 | - | 200 |1241 | 200 | 265 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
843.62/843.62 c 844s| 1210k|189875 | 21845k| 18.0 | 225M| 66 | 22 | 200 |1241 | 200 | 267 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
849.72/849.75 c 850s| 1220k|190787 | 22001k| 18.0 | 226M| 66 | - | 200 |1241 | 200 | 295 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
855.92/855.94 c 856s| 1230k|191751 | 22157k| 18.0 | 227M| 66 | - | 200 |1241 | 200 | 240 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
862.02/862.04 c 862s| 1240k|192797 | 22309k| 18.0 | 228M| 66 | 4 | 200 |1241 | 200 | 226 | 14M| 0 | 22k|-5.992857e+01 |-5.100000e+01 | 14.90%
867.93/867.97 c 868s| 1250k|193703 | 22457k| 18.0 | 230M| 66 | 24 | 200 |1241 | 200 | 243 | 14M| 0 | 22k|-5.988235e+01 |-5.100000e+01 | 14.83%
873.92/873.95 c 874s| 1260k|194725 | 22607k| 17.9 | 231M| 66 | - | 200 |1241 | 200 | 267 | 14M| 0 | 22k|-5.985714e+01 |-5.100000e+01 | 14.80%
879.92/879.91 c 880s| 1270k|195689 | 22755k| 17.9 | 232M| 66 | - | 200 |1241 | 200 | 288 | 14M| 0 | 22k|-5.983333e+01 |-5.100000e+01 | 14.76%
885.82/885.87 c 886s| 1280k|196605 | 22903k| 17.9 | 233M| 66 | 51 | 200 |1241 | 200 | 274 | 15M| 0 | 22k|-5.981818e+01 |-5.100000e+01 | 14.74%
891.82/891.86 c 892s| 1290k|197635 | 23052k| 17.9 | 234M| 66 | - | 200 |1241 | 200 | 257 | 15M| 0 | 22k|-5.980000e+01 |-5.100000e+01 | 14.72%
897.82/897.81 c 898s| 1300k|198609 | 23199k| 17.8 | 236M| 66 | 52 | 200 |1241 | 200 | 251 | 15M| 0 | 23k|-5.976000e+01 |-5.100000e+01 | 14.66%
903.62/903.70 c 904s| 1310k|199517 | 23346k| 17.8 | 237M| 66 | 91 | 200 |1241 | 200 | 296 | 15M| 0 | 23k|-5.975000e+01 |-5.100000e+01 | 14.64%
909.63/909.64 c 910s| 1320k|200463 | 23493k| 17.8 | 238M| 66 | - | 200 |1241 | 200 | 300 | 15M| 0 | 23k|-5.975000e+01 |-5.100000e+01 | 14.64%
915.62/915.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
915.62/915.62 c 916s| 1330k|201467 | 23643k| 17.8 | 239M| 66 | - | 200 |1241 | 200 | 288 | 15M| 0 | 23k|-5.975000e+01 |-5.100000e+01 | 14.64%
921.52/921.59 c 922s| 1340k|202337 | 23792k| 17.8 | 240M| 66 | - | 200 |1241 | 200 | 258 | 15M| 0 | 23k|-5.975000e+01 |-5.100000e+01 | 14.64%
927.62/927.67 c 928s| 1350k|203329 | 23944k| 17.7 | 242M| 66 | - | 200 |1241 | 200 | 264 | 15M| 0 | 23k|-5.970000e+01 |-5.100000e+01 | 14.57%
933.42/933.48 c 933s| 1360k|204179 | 24087k| 17.7 | 243M| 66 | 81 | 200 |1241 | 200 | 268 | 15M| 0 | 23k|-5.966667e+01 |-5.100000e+01 | 14.53%
939.32/939.32 c 939s| 1370k|205025 | 24231k| 17.7 | 244M| 66 | 75 | 200 |1241 | 200 | 284 | 16M| 0 | 23k|-5.966667e+01 |-5.100000e+01 | 14.53%
945.12/945.17 c 945s| 1380k|205977 | 24376k| 17.7 | 245M| 66 | - | 200 |1241 | 200 | 262 | 16M| 0 | 23k|-5.966667e+01 |-5.100000e+01 | 14.53%
951.12/951.12 c 951s| 1390k|206989 | 24523k| 17.6 | 246M| 66 | 67 | 200 |1241 | 200 | 290 | 16M| 0 | 23k|-5.966667e+01 |-5.100000e+01 | 14.53%
957.13/957.14 c 957s| 1400k|208037 | 24673k| 17.6 | 248M| 66 | - | 200 |1241 | 200 | 279 | 16M| 0 | 23k|-5.966667e+01 |-5.100000e+01 | 14.53%
963.12/963.14 c 963s| 1410k|209067 | 24823k| 17.6 | 249M| 66 | 79 | 200 |1241 | 200 | 272 | 16M| 0 | 23k|-5.966667e+01 |-5.100000e+01 | 14.53%
969.13/969.14 c 969s| 1420k|209991 | 24972k| 17.6 | 250M| 66 | - | 200 |1241 | 200 | 273 | 16M| 0 | 23k|-5.962500e+01 |-5.100000e+01 | 14.47%
975.12/975.14 c 975s| 1430k|210903 | 25123k| 17.6 | 251M| 66 | - | 200 |1241 | 200 | 261 | 16M| 0 | 23k|-5.960000e+01 |-5.100000e+01 | 14.43%
981.13/981.11 c 981s| 1440k|211735 | 25273k| 17.5 | 252M| 66 | 85 | 200 |1241 | 200 | 293 | 16M| 0 | 24k|-5.957143e+01 |-5.100000e+01 | 14.39%
986.92/986.95 c 987s| 1450k|212613 | 25415k| 17.5 | 253M| 66 | - | 200 |1241 | 200 | 273 | 16M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
992.82/992.89 c 993s| 1460k|213555 | 25561k| 17.5 | 255M| 66 | - | 200 |1241 | 200 | 265 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
998.72/998.71 c 999s| 1470k|214407 | 25705k| 17.5 | 256M| 66 | 94 | 200 |1241 | 200 | 284 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1004.52/1004.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.52/1004.52 c 1005s| 1480k|215183 | 25850k| 17.5 | 257M| 66 | - | 200 |1241 | 200 | 267 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1010.33/1010.35 c 1010s| 1490k|215945 | 25993k| 17.4 | 258M| 66 | 12 | 200 |1241 | 200 | 273 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1016.33/1016.37 c 1016s| 1500k|216853 | 26145k| 17.4 | 259M| 66 | - | 200 |1241 | 200 | 243 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1022.22/1022.25 c 1022s| 1510k|217809 | 26291k| 17.4 | 260M| 66 | - | 200 |1241 | 200 | 296 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1028.12/1028.19 c 1028s| 1520k|218755 | 26438k| 17.4 | 261M| 66 | 58 | 200 |1241 | 200 | 258 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1034.12/1034.17 c 1034s| 1530k|219645 | 26586k| 17.4 | 262M| 66 | 87 | 200 |1241 | 200 | 274 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1040.02/1040.02 c 1040s| 1540k|220581 | 26731k| 17.4 | 264M| 66 | - | 200 |1241 | 200 | 264 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1045.92/1045.93 c 1046s| 1550k|221515 | 26876k| 17.3 | 265M| 66 | - | 200 |1241 | 200 | 267 | 17M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1051.63/1051.65 c 1052s| 1560k|222265 | 27016k| 17.3 | 266M| 66 | - | 200 |1241 | 200 | 246 | 18M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1057.52/1057.50 c 1057s| 1570k|223221 | 27161k| 17.3 | 267M| 66 | 87 | 200 |1241 | 200 | 240 | 18M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1063.32/1063.34 c 1063s| 1580k|224101 | 27307k| 17.3 | 268M| 66 | 25 | 200 |1241 | 200 | 261 | 18M| 0 | 24k|-5.950000e+01 |-5.100000e+01 | 14.29%
1069.13/1069.14 c 1069s| 1590k|224831 | 27449k| 17.3 | 269M| 66 | 13 | 200 |1241 | 200 | 263 | 18M| 0 | 25k|-5.950000e+01 |-5.100000e+01 | 14.29%
1074.82/1074.83 c 1075s| 1600k|225611 | 27586k| 17.2 | 270M| 66 | 23 | 200 |1241 | 200 | 247 | 18M| 0 | 25k|-5.950000e+01 |-5.100000e+01 | 14.29%
1080.63/1080.66 c 1081s| 1610k|226471 | 27730k| 17.2 | 271M| 68 | - | 200 |1241 | 200 | 303 | 18M| 0 | 25k|-5.950000e+01 |-5.100000e+01 | 14.29%
1086.42/1086.44 c 1086s| 1620k|227293 | 27873k| 17.2 | 272M| 68 | 5 | 200 |1241 | 200 | 240 | 18M| 0 | 25k|-5.950000e+01 |-5.100000e+01 | 14.29%
1092.33/1092.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.33/1092.31 c 1092s| 1630k|228187 | 28018k| 17.2 | 273M| 68 | - | 200 |1241 | 200 | 308 | 18M| 0 | 25k|-5.950000e+01 |-5.100000e+01 | 14.29%
1098.12/1098.17 c 1098s| 1640k|229087 | 28162k| 17.2 | 274M| 68 | 62 | 200 |1241 | 200 | 248 | 18M| 0 | 25k|-5.948148e+01 |-5.100000e+01 | 14.26%
1103.93/1103.98 c 1104s| 1650k|229839 | 28304k| 17.2 | 275M| 68 | 11 | 200 |1241 | 200 | 273 | 19M| 0 | 25k|-5.942857e+01 |-5.100000e+01 | 14.18%
1109.73/1109.78 c 1110s| 1660k|230635 | 28446k| 17.1 | 276M| 68 | 90 | 200 |1241 | 200 | 279 | 19M| 0 | 25k|-5.940000e+01 |-5.100000e+01 | 14.14%
1115.52/1115.55 c 1116s| 1670k|231461 | 28586k| 17.1 | 277M| 68 | 20 | 200 |1241 | 200 | 255 | 19M| 0 | 25k|-5.937500e+01 |-5.100000e+01 | 14.11%
1121.23/1121.27 c 1121s| 1680k|232111 | 28725k| 17.1 | 278M| 68 | 39 | 200 |1241 | 200 | 251 | 19M| 0 | 25k|-5.935714e+01 |-5.100000e+01 | 14.08%
1127.02/1127.09 c 1127s| 1690k|232813 | 28868k| 17.1 | 279M| 68 | 15 | 200 |1241 | 200 | 251 | 19M| 0 | 25k|-5.933333e+01 |-5.100000e+01 | 14.04%
1132.82/1132.86 c 1133s| 1700k|233603 | 29008k| 17.1 | 280M| 68 | - | 200 |1241 | 200 | 259 | 19M| 0 | 25k|-5.933333e+01 |-5.100000e+01 | 14.04%
1138.63/1138.69 c 1139s| 1710k|234379 | 29150k| 17.0 | 281M| 68 | 10 | 200 |1241 | 200 | 243 | 19M| 0 | 25k|-5.933333e+01 |-5.100000e+01 | 14.04%
1144.43/1144.46 c 1144s| 1720k|235153 | 29292k| 17.0 | 282M| 68 | 19 | 200 |1241 | 200 | 271 | 19M| 0 | 25k|-5.933333e+01 |-5.100000e+01 | 14.04%
1150.22/1150.27 c 1150s| 1730k|235951 | 29432k| 17.0 | 283M| 68 | 61 | 200 |1241 | 200 | 271 | 19M| 0 | 25k|-5.933333e+01 |-5.100000e+01 | 14.04%
1156.03/1156.01 c 1156s| 1740k|236711 | 29571k| 17.0 | 284M| 68 | 49 | 200 |1241 | 200 | 264 | 19M| 0 | 26k|-5.933333e+01 |-5.100000e+01 | 14.04%
1161.73/1161.79 c 1162s| 1750k|237441 | 29711k| 17.0 | 285M| 68 | 7 | 200 |1241 | 200 | 247 | 20M| 0 | 26k|-5.928571e+01 |-5.100000e+01 | 13.98%
1167.53/1167.54 c 1168s| 1760k|238179 | 29850k| 17.0 | 286M| 68 | - | 200 |1241 | 200 | 257 | 20M| 0 | 26k|-5.925000e+01 |-5.100000e+01 | 13.92%
1173.23/1173.29 c 1173s| 1770k|238981 | 29990k| 16.9 | 287M| 68 | - | 200 |1241 | 200 | 277 | 20M| 0 | 26k|-5.925000e+01 |-5.100000e+01 | 13.92%
1179.13/1179.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.13/1179.14 c 1179s| 1780k|239835 | 30136k| 16.9 | 288M| 68 | - | 200 |1241 | 200 | 270 | 20M| 0 | 26k|-5.925000e+01 |-5.100000e+01 | 13.92%
1185.03/1185.01 c 1185s| 1790k|240715 | 30281k| 16.9 | 290M| 68 | - | 200 |1241 | 200 | 282 | 20M| 0 | 26k|-5.925000e+01 |-5.100000e+01 | 13.92%
1190.73/1190.73 c 1191s| 1800k|241485 | 30421k| 16.9 | 291M| 68 | 6 | 200 |1241 | 200 | 228 | 20M| 0 | 26k|-5.925000e+01 |-5.100000e+01 | 13.92%
1196.53/1196.59 c 1197s| 1810k|242297 | 30566k| 16.9 | 292M| 68 | 46 | 200 |1241 | 200 | 242 | 20M| 0 | 26k|-5.920000e+01 |-5.100000e+01 | 13.85%
1202.33/1202.34 c 1202s| 1820k|242975 | 30705k| 16.9 | 293M| 68 | - | 200 |1241 | 200 | 273 | 20M| 0 | 26k|-5.920000e+01 |-5.100000e+01 | 13.85%
1208.03/1208.00 c 1208s| 1830k|243729 | 30842k| 16.9 | 294M| 68 | 56 | 200 |1241 | 200 | 286 | 20M| 0 | 26k|-5.916667e+01 |-5.100000e+01 | 13.80%
1213.83/1213.81 c 1214s| 1840k|244469 | 30984k| 16.8 | 294M| 68 | 84 | 200 |1241 | 200 | 260 | 21M| 0 | 26k|-5.916667e+01 |-5.100000e+01 | 13.80%
1219.53/1219.53 c 1220s| 1850k|245191 | 31124k| 16.8 | 295M| 68 | 45 | 200 |1241 | 200 | 248 | 21M| 0 | 26k|-5.914286e+01 |-5.100000e+01 | 13.77%
1225.13/1225.15 c 1225s| 1860k|246021 | 31262k| 16.8 | 297M| 68 | 12 | 200 |1241 | 200 | 245 | 21M| 0 | 26k|-5.912500e+01 |-5.100000e+01 | 13.74%
1230.83/1230.86 c 1231s| 1870k|246837 | 31400k| 16.8 | 298M| 68 | - | 200 |1241 | 200 | 299 | 21M| 0 | 26k|-5.908333e+01 |-5.100000e+01 | 13.68%
1236.63/1236.63 c 1237s| 1880k|247495 | 31539k| 16.8 | 298M| 68 | - | 200 |1241 | 200 | 295 | 21M| 0 | 26k|-5.900000e+01 |-5.100000e+01 | 13.56%
1242.43/1242.49 c 1242s| 1890k|248261 | 31681k| 16.8 | 299M| 68 | - | 200 |1241 | 200 | 264 | 21M| 0 | 26k|-5.900000e+01 |-5.100000e+01 | 13.56%
1248.33/1248.40 c 1248s| 1900k|249033 | 31826k| 16.7 | 300M| 68 | 18 | 200 |1241 | 200 | 241 | 21M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1254.23/1254.29 c 1254s| 1910k|249867 | 31972k| 16.7 | 301M| 68 | 82 | 200 |1241 | 200 | 269 | 21M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1260.03/1260.08 c 1260s| 1920k|250567 | 32113k| 16.7 | 302M| 68 | 71 | 200 |1241 | 200 | 262 | 21M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1265.93/1265.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.93/1265.90 c 1266s| 1930k|251345 | 32255k| 16.7 | 303M| 68 | - | 200 |1241 | 200 | 284 | 21M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1271.64/1271.68 c 1272s| 1940k|252139 | 32397k| 16.7 | 304M| 68 | 80 | 200 |1241 | 200 | 264 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1277.33/1277.30 c 1277s| 1950k|252813 | 32534k| 16.7 | 305M| 68 | - | 200 |1241 | 200 | 281 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1283.04/1283.02 c 1283s| 1960k|253541 | 32673k| 16.7 | 306M| 68 | - | 200 |1241 | 200 | 286 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1288.63/1288.68 c 1289s| 1970k|254191 | 32810k| 16.7 | 307M| 68 | 26 | 200 |1241 | 200 | 241 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1294.54/1294.50 c 1295s| 1980k|254897 | 32953k| 16.6 | 308M| 68 | - | 200 |1241 | 200 | 283 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1300.13/1300.13 c 1300s| 1990k|255573 | 33090k| 16.6 | 309M| 68 | - | 200 |1241 | 200 | 239 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1305.94/1305.93 c 1306s| 2000k|256347 | 33232k| 16.6 | 310M| 68 | 92 | 200 |1241 | 200 | 319 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1311.73/1311.71 c 1312s| 2010k|257089 | 33375k| 16.6 | 311M| 68 | - | 200 |1241 | 200 | 269 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1317.43/1317.41 c 1317s| 2020k|257757 | 33513k| 16.6 | 312M| 68 | - | 200 |1241 | 200 | 266 | 22M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1323.04/1323.10 c 1323s| 2030k|258459 | 33653k| 16.6 | 313M| 68 | 44 | 200 |1241 | 200 | 275 | 23M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1328.84/1328.83 c 1329s| 2040k|259127 | 33792k| 16.6 | 314M| 68 | 83 | 200 |1241 | 200 | 301 | 23M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1334.43/1334.46 c 1334s| 2050k|259849 | 33928k| 16.5 | 315M| 68 | - | 200 |1241 | 200 | 268 | 23M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1340.13/1340.13 c 1340s| 2060k|260629 | 34065k| 16.5 | 316M| 68 | 61 | 200 |1241 | 200 | 254 | 23M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1345.83/1345.89 c 1346s| 2070k|261357 | 34208k| 16.5 | 317M| 68 | 26 | 200 |1241 | 200 | 250 | 23M| 0 | 27k|-5.900000e+01 |-5.100000e+01 | 13.56%
1351.64/1351.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.64/1351.61 c 1352s| 2080k|262055 | 34347k| 16.5 | 318M| 68 | 12 | 200 |1241 | 200 | 225 | 23M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1357.43/1357.47 c 1357s| 2090k|262769 | 34490k| 16.5 | 319M| 68 | - | 200 |1241 | 200 | 265 | 23M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1363.13/1363.14 c 1363s| 2100k|263529 | 34628k| 16.5 | 320M| 68 | 94 | 200 |1241 | 200 | 270 | 23M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1368.83/1368.84 c 1369s| 2110k|264321 | 34767k| 16.5 | 321M| 68 | - | 200 |1241 | 200 | 275 | 23M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1374.54/1374.54 c 1375s| 2120k|265085 | 34906k| 16.5 | 322M| 68 | - | 200 |1241 | 200 | 263 | 23M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1380.13/1380.16 c 1380s| 2130k|265743 | 35042k| 16.4 | 322M| 68 | - | 200 |1241 | 200 | 266 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1385.94/1385.94 c 1386s| 2140k|266467 | 35181k| 16.4 | 323M| 68 | - | 200 |1241 | 200 | 283 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1391.64/1391.61 c 1392s| 2150k|267073 | 35318k| 16.4 | 324M| 68 | 37 | 200 |1241 | 200 | 265 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1397.24/1397.25 c 1397s| 2160k|267815 | 35455k| 16.4 | 325M| 70 | - | 200 |1241 | 200 | 276 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1403.04/1403.01 c 1403s| 2170k|268425 | 35596k| 16.4 | 326M| 70 | 51 | 200 |1241 | 200 | 269 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1408.64/1408.69 c 1409s| 2180k|269033 | 35735k| 16.4 | 327M| 70 | - | 200 |1241 | 200 | 275 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1414.34/1414.31 c 1414s| 2190k|269745 | 35873k| 16.4 | 328M| 70 | - | 200 |1241 | 200 | 264 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1420.04/1420.06 c 1420s| 2200k|270403 | 36012k| 16.4 | 329M| 70 | 69 | 200 |1241 | 200 | 268 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1425.74/1425.77 c 1426s| 2210k|271019 | 36150k| 16.4 | 329M| 70 | - | 200 |1241 | 200 | 275 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1431.53/1431.53 c 1432s| 2220k|271709 | 36290k| 16.3 | 330M| 70 | - | 200 |1241 | 200 | 275 | 24M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1437.24/1437.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.24/1437.26 c 1437s| 2230k|272407 | 36430k| 16.3 | 331M| 70 | - | 200 |1241 | 200 | 290 | 25M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1442.93/1442.90 c 1443s| 2240k|273099 | 36566k| 16.3 | 332M| 70 | - | 200 |1241 | 200 | 239 | 25M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1448.53/1448.57 c 1449s| 2250k|273803 | 36705k| 16.3 | 333M| 70 | - | 200 |1241 | 200 | 260 | 25M| 0 | 28k|-5.900000e+01 |-5.100000e+01 | 13.56%
1454.34/1454.32 c 1454s| 2260k|274565 | 36844k| 16.3 | 334M| 70 | 100 | 200 |1241 | 200 | 281 | 25M| 0 | 29k|-5.900000e+01 |-5.100000e+01 | 13.56%
1459.94/1459.98 c 1460s| 2270k|275181 | 36980k| 16.3 | 335M| 70 | - | 200 |1241 | 200 | 277 | 25M| 0 | 29k|-5.900000e+01 |-5.100000e+01 | 13.56%
1465.73/1465.70 c 1466s| 2280k|275967 | 37120k| 16.3 | 336M| 70 | - | 200 |1241 | 200 | 269 | 25M| 0 | 29k|-5.897368e+01 |-5.100000e+01 | 13.52%
1471.44/1471.42 c 1471s| 2290k|276643 | 37260k| 16.3 | 337M| 70 | - | 200 |1241 | 200 | 277 | 25M| 0 | 29k|-5.891667e+01 |-5.100000e+01 | 13.44%
1476.94/1476.98 c 1477s| 2300k|277163 | 37391k| 16.3 | 337M| 70 | 19 | 200 |1241 | 200 | 258 | 25M| 0 | 29k|-5.888889e+01 |-5.100000e+01 | 13.40%
1482.34/1482.37 c 1482s| 2310k|277657 | 37519k| 16.2 | 338M| 70 | - | 200 |1241 | 200 | 268 | 25M| 0 | 29k|-5.887500e+01 |-5.100000e+01 | 13.38%
1487.94/1487.98 c 1488s| 2320k|278223 | 37654k| 16.2 | 339M| 70 | 32 | 200 |1241 | 200 | 252 | 25M| 0 | 29k|-5.885000e+01 |-5.100000e+01 | 13.34%
1493.64/1493.66 c 1494s| 2330k|278911 | 37791k| 16.2 | 340M| 70 | 9 | 200 |1241 | 200 | 266 | 26M| 0 | 29k|-5.883333e+01 |-5.100000e+01 | 13.31%
1499.14/1499.18 c 1499s| 2340k|279415 | 37922k| 16.2 | 341M| 70 | 77 | 200 |1241 | 200 | 260 | 26M| 0 | 29k|-5.883333e+01 |-5.100000e+01 | 13.31%
1504.84/1504.89 c 1505s| 2350k|280127 | 38061k| 16.2 | 341M| 70 | - | 200 |1241 | 200 | 274 | 26M| 0 | 29k|-5.881818e+01 |-5.100000e+01 | 13.29%
1510.54/1510.50 c 1510s| 2360k|280853 | 38196k| 16.2 | 342M| 70 | - | 200 |1241 | 200 | 258 | 26M| 0 | 29k|-5.880000e+01 |-5.100000e+01 | 13.27%
1516.14/1516.10 c 1516s| 2370k|281385 | 38332k| 16.2 | 343M| 70 | - | 200 |1241 | 200 | 268 | 26M| 0 | 29k|-5.880000e+01 |-5.100000e+01 | 13.27%
1521.84/1521.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.84/1521.80 c 1522s| 2380k|282049 | 38469k| 16.2 | 344M| 70 | - | 200 |1241 | 200 | 243 | 26M| 0 | 29k|-5.877273e+01 |-5.100000e+01 | 13.23%
1527.34/1527.37 c 1527s| 2390k|282605 | 38602k| 16.1 | 345M| 70 | 53 | 200 |1241 | 200 | 269 | 26M| 0 | 29k|-5.875000e+01 |-5.100000e+01 | 13.19%
1533.04/1533.00 c 1533s| 2400k|283271 | 38737k| 16.1 | 346M| 70 | - | 200 |1241 | 200 | 258 | 26M| 0 | 29k|-5.875000e+01 |-5.100000e+01 | 13.19%
1538.54/1538.59 c 1539s| 2410k|283889 | 38872k| 16.1 | 346M| 70 | - | 200 |1241 | 200 | 283 | 26M| 0 | 29k|-5.875000e+01 |-5.100000e+01 | 13.19%
1544.14/1544.11 c 1544s| 2420k|284397 | 39004k| 16.1 | 347M| 70 | - | 200 |1241 | 200 | 305 | 26M| 0 | 29k|-5.875000e+01 |-5.100000e+01 | 13.19%
1549.65/1549.67 c 1550s| 2430k|284993 | 39137k| 16.1 | 348M| 70 | - | 200 |1241 | 200 | 285 | 27M| 0 | 30k|-5.875000e+01 |-5.100000e+01 | 13.19%
1555.14/1555.11 c 1555s| 2440k|285565 | 39269k| 16.1 | 349M| 70 | - | 200 |1241 | 200 | 272 | 27M| 0 | 30k|-5.875000e+01 |-5.100000e+01 | 13.19%
1560.65/1560.62 c 1561s| 2450k|286059 | 39400k| 16.1 | 349M| 70 | - | 200 |1241 | 200 | 250 | 27M| 0 | 30k|-5.875000e+01 |-5.100000e+01 | 13.19%
1566.14/1566.14 c 1566s| 2460k|286675 | 39533k| 16.1 | 350M| 70 | - | 200 |1241 | 200 | 258 | 27M| 0 | 30k|-5.875000e+01 |-5.100000e+01 | 13.19%
1571.64/1571.67 c 1572s| 2470k|287229 | 39664k| 16.1 | 351M| 70 | 85 | 200 |1241 | 200 | 268 | 27M| 0 | 30k|-5.871429e+01 |-5.100000e+01 | 13.14%
1577.24/1577.30 c 1577s| 2480k|287819 | 39799k| 16.0 | 352M| 70 | - | 200 |1241 | 200 | 274 | 27M| 0 | 30k|-5.867857e+01 |-5.100000e+01 | 13.09%
1582.95/1582.92 c 1583s| 2490k|288327 | 39933k| 16.0 | 353M| 70 | - | 200 |1241 | 200 | 271 | 27M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1588.34/1588.40 c 1588s| 2500k|288897 | 40064k| 16.0 | 353M| 70 | - | 200 |1241 | 200 | 265 | 27M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1593.95/1593.92 c 1594s| 2510k|289411 | 40196k| 16.0 | 354M| 70 | 43 | 200 |1241 | 200 | 263 | 27M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1599.54/1599.52 c 1600s| 2520k|290083 | 40330k| 16.0 | 355M| 70 | 36 | 200 |1241 | 200 | 255 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1605.04/1605.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.04/1605.07 c 1605s| 2530k|290787 | 40463k| 16.0 | 356M| 70 | 64 | 200 |1241 | 200 | 249 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1610.65/1610.69 c 1611s| 2540k|291485 | 40598k| 16.0 | 357M| 70 | 45 | 200 |1241 | 200 | 265 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1616.35/1616.33 c 1616s| 2550k|292155 | 40734k| 16.0 | 358M| 70 | - | 200 |1241 | 200 | 267 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1621.84/1621.87 c 1622s| 2560k|292737 | 40866k| 16.0 | 358M| 70 | 70 | 200 |1241 | 200 | 241 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1627.34/1627.37 c 1627s| 2570k|293377 | 40999k| 16.0 | 359M| 70 | 30 | 200 |1241 | 200 | 259 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1633.04/1633.04 c 1633s| 2580k|294041 | 41136k| 15.9 | 360M| 70 | - | 200 |1241 | 200 | 283 | 28M| 0 | 30k|-5.866667e+01 |-5.100000e+01 | 13.07%
1638.64/1638.65 c 1639s| 2590k|294595 | 41269k| 15.9 | 361M| 70 | - | 200 |1241 | 200 | 258 | 28M| 0 | 30k|-5.862500e+01 |-5.100000e+01 | 13.01%
1644.14/1644.12 c 1644s| 2600k|295113 | 41400k| 15.9 | 361M| 70 | 72 | 200 |1241 | 200 | 244 | 28M| 0 | 30k|-5.860000e+01 |-5.100000e+01 | 12.97%
1649.65/1649.68 c 1650s| 2610k|295725 | 41533k| 15.9 | 362M| 70 | 33 | 200 |1241 | 200 | 283 | 28M| 0 | 30k|-5.860000e+01 |-5.100000e+01 | 12.97%
1655.34/1655.31 c 1655s| 2620k|296331 | 41669k| 15.9 | 363M| 70 | 70 | 200 |1241 | 200 | 262 | 29M| 0 | 30k|-5.858333e+01 |-5.100000e+01 | 12.94%
1660.84/1660.84 c 1661s| 2630k|296879 | 41800k| 15.9 | 364M| 70 | - | 200 |1241 | 200 | 261 | 29M| 0 | 31k|-5.857143e+01 |-5.100000e+01 | 12.93%
1666.34/1666.39 c 1666s| 2640k|297473 | 41933k| 15.9 | 365M| 70 | 29 | 200 |1241 | 200 | 216 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1671.95/1671.94 c 1672s| 2650k|298073 | 42066k| 15.9 | 365M| 70 | 89 | 200 |1241 | 200 | 291 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1677.55/1677.52 c 1678s| 2660k|298633 | 42198k| 15.9 | 366M| 70 | 46 | 200 |1241 | 200 | 251 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1683.05/1683.05 c 1683s| 2670k|299273 | 42331k| 15.9 | 367M| 70 | 30 | 200 |1241 | 200 | 257 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1688.55/1688.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.55/1688.53 c 1689s| 2680k|299929 | 42463k| 15.8 | 368M| 70 | - | 200 |1241 | 200 | 292 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1694.05/1694.02 c 1694s| 2690k|300543 | 42594k| 15.8 | 369M| 70 | - | 200 |1241 | 200 | 247 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1699.55/1699.52 c 1700s| 2700k|301157 | 42725k| 15.8 | 369M| 70 | 33 | 200 |1241 | 200 | 264 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1705.05/1705.01 c 1705s| 2710k|301661 | 42854k| 15.8 | 370M| 70 | 6 | 200 |1241 | 200 | 245 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1710.55/1710.55 c 1711s| 2720k|302261 | 42985k| 15.8 | 371M| 70 | 82 | 200 |1241 | 200 | 274 | 29M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1716.05/1716.07 c 1716s| 2730k|302797 | 43116k| 15.8 | 372M| 70 | 46 | 200 |1241 | 200 | 270 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1721.56/1721.53 c 1722s| 2740k|303427 | 43246k| 15.8 | 373M| 70 | - | 200 |1241 | 200 | 273 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1727.05/1727.06 c 1727s| 2750k|304037 | 43378k| 15.8 | 373M| 70 | - | 200 |1241 | 200 | 292 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1732.65/1732.65 c 1733s| 2760k|304611 | 43512k| 15.8 | 374M| 70 | 34 | 200 |1241 | 200 | 256 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1738.14/1738.15 c 1738s| 2770k|305235 | 43643k| 15.8 | 375M| 70 | 41 | 200 |1241 | 200 | 241 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1743.64/1743.64 c 1744s| 2780k|305777 | 43775k| 15.7 | 376M| 70 | 43 | 200 |1241 | 200 | 243 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1749.15/1749.12 c 1749s| 2790k|306279 | 43904k| 15.7 | 376M| 70 | 67 | 200 |1241 | 200 | 266 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1754.45/1754.46 c 1754s| 2800k|306871 | 44030k| 15.7 | 377M| 70 | 53 | 200 |1241 | 200 | 267 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1759.95/1759.99 c 1760s| 2810k|307401 | 44162k| 15.7 | 378M| 70 | - | 200 |1241 | 200 | 267 | 30M| 0 | 31k|-5.850000e+01 |-5.100000e+01 | 12.82%
1765.46/1765.46 c 1765s| 2820k|307905 | 44292k| 15.7 | 379M| 70 | - | 200 |1241 | 200 | 235 | 30M| 0 | 32k|-5.850000e+01 |-5.100000e+01 | 12.82%
1770.85/1770.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1770.85/1770.90 c 1771s| 2830k|308419 | 44421k| 15.7 | 379M| 70 | 66 | 200 |1241 | 200 | 244 | 31M| 0 | 32k|-5.850000e+01 |-5.100000e+01 | 12.82%
1776.35/1776.35 c 1776s| 2840k|308855 | 44549k| 15.7 | 380M| 70 | 11 | 200 |1241 | 200 | 226 | 31M| 0 | 32k|-5.850000e+01 |-5.100000e+01 | 12.82%
1781.75/1781.79 c 1782s| 2850k|309383 | 44679k| 15.7 | 381M| 70 | - | 200 |1241 | 200 | 308 | 31M| 0 | 32k|-5.850000e+01 |-5.100000e+01 | 12.82%
1787.15/1787.19 c 1787s| 2860k|309849 | 44806k| 15.7 | 381M| 71 | - | 200 |1241 | 200 | 275 | 31M| 0 | 32k|-5.850000e+01 |-5.100000e+01 | 12.82%
1792.64/1792.60 c 1793s| 2870k|310305 | 44936k| 15.7 | 382M| 71 | 13 | 200 |1241 | 200 | 224 | 31M| 0 | 32k|-5.850000e+01 |-5.100000e+01 | 12.82%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 2878048
1797.05/1797.00 c Primal Bound : -5.10000000000000e+01 (660 solutions)
1797.05/1797.00 c Dual Bound : -5.85000000000000e+01
1797.05/1797.00 c Gap : 12.82 %
1797.05/1797.00 s SATISFIABLE
1797.05/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.05/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.05/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.05/1797.00 v -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 x118 -x117 -x116 -x115 x114 -x113
1797.05/1797.00 v -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 x102 x101 x100 -x99 x98 -x97 -x96 x95 -x94 x93 -x92 -x91 x90 x89
1797.05/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
1797.05/1797.00 v x62 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
1797.05/1797.00 v -x36 -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.05/1797.00 v -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.05 (included in solving)
1797.05/1797.00 c reading : 0.00 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485162-1307784829.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 200 initial, 200 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485162-1307784829.opb
1797.05/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 1241 initial, 1241 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.00 1241 0 0 1241 0 200 0 0 0
1797.05/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 2621126 0 870627 0 208 1365 0 0 3257174
1797.05/1797.00 c logicor : 1241 37 2935632 991762 0 870623 0 34 12885273 31566393 0 0
1797.05/1797.00 c countsols : 0 0 0 5 0 657 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 42.30 0.00 0.00 42.08 0.00 0.22 0.00
1797.05/1797.00 c logicor : 78.59 0.00 28.42 40.50 0.00 9.66 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 7 0 0 0
1797.05/1797.00 c pseudoobj : 4890498 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.74 0.74 0.00
1797.05/1797.00 c rootredcost : 0.81 0.81 0.00
1797.05/1797.00 c pseudoobj : 21.91 21.91 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 34 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 0 0.0 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.01 36 - - 99 - (maximal pool size: 1961)
1797.05/1797.00 c redcost : 11.50 2843931 0 454368 0 0
1797.05/1797.00 c impliedbounds : 0.00 37 0 0 770 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.64 37 0 0 10684 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.25 20 0 0 8076 0
1797.05/1797.00 c cmir : 0.03 10 0 0 0 0
1797.05/1797.00 c flowcover : 0.03 10 0 0 0 0
1797.05/1797.00 c clique : 0.04 37 0 0 238 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.00 0 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 40.87 1629364 208 1365 0 0 3257174
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.12 - 5
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c feaspump : 0.07 0 0
1797.05/1797.00 c oneopt : 0.69 9 1
1797.05/1797.00 c crossover : 0.78 7 0
1797.05/1797.00 c guideddiving : 2.87 2782 23
1797.05/1797.00 c coefdiving : 2.67 2783 30
1797.05/1797.00 c linesearchdiving : 2.74 2783 22
1797.05/1797.00 c pscostdiving : 2.69 2783 46
1797.05/1797.00 c fracdiving : 2.87 2783 14
1797.05/1797.00 c veclendiving : 2.72 2783 58
1797.05/1797.00 c objpscostdiving : 1.36 1392 24
1797.05/1797.00 c rootsoldiving : 1.47 1392 3
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 19.37 1638065 431
1797.05/1797.00 c zirounding : 0.53 1000 0
1797.05/1797.00 c rounding : 5.83 62012 1
1797.05/1797.00 c shifting : 1.85 19273 1
1797.05/1797.00 c intshifting : 0.04 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.41 0 0
1797.05/1797.00 c trysol : 0.62 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 42.01 0 0 0.00 0.00
1797.05/1797.00 c dual LP : 1225.99 3884958 44713143 11.51 36470.96
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 13.11 56011 327769 5.85 25005.81
1797.05/1797.00 c strong branching : 18.87 32256 428854 13.30 22725.46
1797.05/1797.00 c (at root node) : - 20 8653 432.65 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 2878048
1797.05/1797.00 c nodes (total) : 2878048
1797.05/1797.00 c nodes left : 310765
1797.05/1797.00 c max depth : 71
1797.05/1797.00 c max depth (total): 71
1797.05/1797.00 c backtracks : 429712 (14.9%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 5.16
1797.05/1797.00 c switching time : 110.28
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 660 (11 improvements)
1797.05/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : -5.10000000000000e+01 (in run 1, after 651145 nodes, 501.07 seconds, depth 27, found by <relaxation>)
1797.05/1797.00 c Dual Bound : -5.85000000000000e+01
1797.05/1797.00 c Gap : 12.82 %
1797.05/1797.00 c Root Dual Bound : -6.96664724704938e+01
1797.05/1797.00 c Root Iterations : 5664
1797.84/1797.82 c Time complete: 1797.87.
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-3485162-1307784829/watcher-3485162-1307784829 -o /tmp/evaluation-result-3485162-1307784829/solver-3485162-1307784829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485162-1307784829.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.00 1.69 2/170 17524 /proc/meminfo: memFree=31772512/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=9972 CPUtime=0 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 1501 0 0 0 0 0 0 0 23 0 1 0 870898855 10211328 1456 33554432000 4194304 8979876 140735841168288 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17524/statm: 2493 1456 367 1169 0 1320 0 [startup+0.0304271 s] /proc/loadavg: 2.03 2.00 1.69 2/170 17524 /proc/meminfo: memFree=31772512/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=18864 CPUtime=0.02 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 3743 0 0 0 2 0 0 0 23 0 1 0 870898855 19316736 3441 33554432000 4194304 8979876 140735841168288 18446744073709551615 18446744073699065911 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 4716 3441 480 1169 0 3543 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18864 [startup+0.100411 s] /proc/loadavg: 2.03 2.00 1.69 2/170 17524 /proc/meminfo: memFree=31772512/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=23304 CPUtime=0.09 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 5066 0 0 0 9 0 0 0 18 0 1 0 870898855 23863296 4743 33554432000 4194304 8979876 140735841168288 18446744073709551615 4241407 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 5826 4743 663 1169 0 4653 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23304 [startup+0.300375 s] /proc/loadavg: 2.03 2.00 1.69 2/170 17524 /proc/meminfo: memFree=31772512/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=33528 CPUtime=0.29 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 7661 0 0 0 28 1 0 0 18 0 1 0 870898855 34332672 7326 33554432000 4194304 8979876 140735841168288 18446744073709551615 5230996 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 8382 7326 655 1169 0 7209 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33528 [startup+0.700301 s] /proc/loadavg: 2.03 2.00 1.69 2/170 17524 /proc/meminfo: memFree=31772512/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=37560 CPUtime=0.68 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 8650 0 0 0 66 2 0 0 18 0 1 0 870898855 38461440 8315 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 9390 8315 655 1169 0 8217 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 37560 [startup+1.50115 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31656244/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=44488 CPUtime=1.49 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 10378 0 0 0 144 5 0 0 20 0 1 0 870898855 45555712 10039 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 11122 10039 666 1169 0 9949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44488 [startup+3.10086 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31646820/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=43956 CPUtime=3.09 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 11076 0 0 0 295 14 0 0 25 0 1 0 870898855 45010944 9979 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 10989 9979 678 1169 0 9816 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43956 [startup+6.30027 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31640980/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=45988 CPUtime=6.29 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 15158 0 0 0 590 39 0 0 25 0 1 0 870898855 47091712 10506 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 11497 10506 693 1169 0 10324 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45988 [startup+12.7011 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17534 /proc/meminfo: memFree=31605768/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=49912 CPUtime=12.69 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 17982 0 0 0 1173 96 0 0 25 0 1 0 870898855 51109888 11436 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 12478 11436 700 1169 0 11305 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49912 [startup+25.5007 s] /proc/loadavg: 2.02 2.00 1.69 3/175 17535 /proc/meminfo: memFree=31585576/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=57100 CPUtime=25.49 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 24367 0 0 0 2333 216 0 0 25 0 1 0 870898855 58470400 13300 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 14275 13300 700 1169 0 13102 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57100 [startup+51.101 s] /proc/loadavg: 2.01 2.00 1.70 3/175 17535 /proc/meminfo: memFree=31529424/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=72540 CPUtime=51.1 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 37511 0 0 0 4592 518 0 0 25 0 1 0 870898855 74280960 17180 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 18135 17180 707 1169 0 16962 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 72540 [startup+102.307 s] /proc/loadavg: 2.04 2.01 1.72 3/175 17537 /proc/meminfo: memFree=31494144/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=100932 CPUtime=102.3 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 53050 0 0 0 9038 1192 0 0 25 0 1 0 870898855 103354368 24357 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 25233 24357 707 1169 0 24060 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 100932 [startup+162.3 s] /proc/loadavg: 2.01 2.01 1.74 3/175 17538 /proc/meminfo: memFree=31471640/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=123636 CPUtime=162.3 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 64610 0 0 0 14268 1962 0 0 25 0 1 0 870898855 126603264 29683 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 30909 29683 708 1169 0 29736 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 123636 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.75 3/175 17540 /proc/meminfo: memFree=31457912/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=137908 CPUtime=222.3 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 70804 0 0 0 19510 2720 0 0 25 0 1 0 870898855 141217792 33199 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 34477 33199 708 1169 0 33304 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 137908 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.76 3/175 17542 /proc/meminfo: memFree=31436404/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=159340 CPUtime=282.3 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 76237 0 0 0 24758 3472 0 0 25 0 1 0 870898855 163164160 38632 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 39835 38632 708 1169 0 38662 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 159340 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.77 3/175 17543 /proc/meminfo: memFree=31415128/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=180344 CPUtime=342.3 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 82461 0 0 0 30010 4220 0 0 25 0 1 0 870898855 184672256 43959 33554432000 4194304 8979876 140735841168288 18446744073709551615 6546280 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 45086 43959 708 1169 0 43913 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 180344 [startup+402.3 s] /proc/loadavg: 2.07 2.02 1.79 3/175 17545 /proc/meminfo: memFree=31394968/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=199988 CPUtime=402.3 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 87450 0 0 0 35261 4969 0 0 25 0 1 0 870898855 204787712 48948 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 49997 48948 708 1169 0 48824 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 199988 [startup+462.3 s] /proc/loadavg: 2.02 2.01 1.80 3/175 17546 /proc/meminfo: memFree=31372440/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=222692 CPUtime=462.31 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 94087 0 0 0 40519 5712 0 0 25 0 1 0 870898855 228036608 54684 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 55673 54684 708 1169 0 54500 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 222692 [startup+522.301 s] /proc/loadavg: 2.01 2.00 1.81 3/175 17548 /proc/meminfo: memFree=31358604/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=234772 CPUtime=522.31 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 104829 0 0 0 45776 6455 0 0 25 0 1 0 870898855 240406528 57825 33554432000 4194304 8979876 140735841168288 18446744073709551615 5023312 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 58693 57825 709 1169 0 57520 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 234772 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.82 3/175 17550 /proc/meminfo: memFree=31358524/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=234772 CPUtime=582.31 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 106588 0 0 0 51034 7197 0 0 25 0 1 0 870898855 240406528 57831 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 58693 57831 709 1169 0 57520 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 234772 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=31268064/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=327568 CPUtime=1122.33 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 131551 0 0 0 98440 13793 0 0 25 0 1 0 870898855 335429632 80169 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 81892 80169 709 1169 0 80719 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 327568 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.89 3/175 17566 /proc/meminfo: memFree=31258660/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=336952 CPUtime=1182.33 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 133927 0 0 0 103710 14523 0 0 25 0 1 0 870898855 345038848 82545 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 84238 82545 709 1169 0 83065 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 336952 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.89 3/175 17567 /proc/meminfo: memFree=31245564/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=347604 CPUtime=1242.33 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 136624 0 0 0 108993 15240 0 0 25 0 1 0 870898855 355946496 85242 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 86901 85242 709 1169 0 85728 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 347604 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.90 3/175 17569 /proc/meminfo: memFree=31237040/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=355068 CPUtime=1302.33 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 138515 0 0 0 114285 15948 0 0 25 0 1 0 870898855 363589632 87133 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 88767 87133 709 1169 0 87594 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 355068 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.90 3/175 17570 /proc/meminfo: memFree=31227536/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=362812 CPUtime=1362.33 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 140482 0 0 0 119575 16658 0 0 25 0 1 0 870898855 371519488 89100 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 90703 89100 709 1169 0 89530 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 362812 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17572 /proc/meminfo: memFree=31210556/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=376380 CPUtime=1422.34 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 143902 0 0 0 124848 17386 0 0 25 0 1 0 870898855 385413120 92520 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 94095 92520 709 1169 0 92922 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 376380 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17574 /proc/meminfo: memFree=31199328/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=385916 CPUtime=1482.34 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 147163 0 0 0 130138 18096 0 0 25 0 1 0 870898855 395177984 94933 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 96479 94933 709 1169 0 95306 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 385916 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17575 /proc/meminfo: memFree=31187212/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=395324 CPUtime=1542.34 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 149545 0 0 0 135421 18813 0 0 25 0 1 0 870898855 404811776 97315 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 98831 97315 709 1169 0 97658 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 395324 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17577 /proc/meminfo: memFree=31176460/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=400728 CPUtime=1602.34 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 150917 0 0 0 140706 19528 0 0 25 0 1 0 870898855 410345472 98687 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 100182 98687 709 1169 0 99009 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 400728 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/175 17587 /proc/meminfo: memFree=31164772/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=408640 CPUtime=1662.34 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 152917 0 0 0 145993 20241 0 0 25 0 1 0 870898855 418447360 100687 33554432000 4194304 8979876 140735841168288 18446744073709551615 6702959 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 102160 100687 709 1169 0 100987 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 408640 [startup+1722.3 s] /proc/loadavg: 2.04 2.01 1.91 3/175 17589 /proc/meminfo: memFree=31152916/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=418048 CPUtime=1722.34 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 155294 0 0 0 151280 20954 0 0 25 0 1 0 870898855 428081152 103064 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 104512 103064 709 1169 0 103339 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 418048 [startup+1782.3 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31141048/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=426176 CPUtime=1782.35 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157351 0 0 0 156570 21665 0 0 25 0 1 0 870898855 436404224 105121 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 106544 105121 709 1169 0 105371 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 426176 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140800/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=426496 CPUtime=1785.55 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157436 0 0 0 156850 21705 0 0 25 0 1 0 870898855 436731904 105206 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 106624 105206 709 1169 0 105451 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 426496 [startup+1791.91 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140536/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=426496 CPUtime=1791.95 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157437 0 0 0 157415 21780 0 0 25 0 1 0 870898855 436731904 105207 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 106624 105207 709 1169 0 105451 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 426496 [startup+1795.1 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31140160/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=426880 CPUtime=1795.15 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157531 0 0 0 157698 21817 0 0 25 0 1 0 870898855 437125120 105301 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 106720 105301 709 1169 0 105547 0 Current children cumulated CPU time (s) 1795.15 Current children cumulated vsize (KiB) 426880 [startup+1796.7 s] /proc/loadavg: 2.01 2.01 1.91 3/175 17591 /proc/meminfo: memFree=31139912/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=427032 CPUtime=1796.74 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157572 0 0 0 157839 21835 0 0 25 0 1 0 870898855 437280768 105342 33554432000 4194304 8979876 140735841168288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/17524/statm: 106758 105342 709 1169 0 105585 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 427032 [startup+1797.5 s] /proc/loadavg: 2.01 2.01 1.91 3/172 17598 /proc/meminfo: memFree=31344280/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=427032 CPUtime=1797.54 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157575 0 0 0 157915 21839 0 0 25 0 1 0 870898855 437280768 105345 33554432000 4194304 8979876 140735841168288 18446744073709551615 6778306 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17524/statm: 106758 105345 712 1169 0 105585 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 427032 [startup+1797.7 s] /proc/loadavg: 2.01 2.01 1.91 3/172 17598 /proc/meminfo: memFree=31344280/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=427032 CPUtime=1797.74 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157575 0 0 0 157935 21839 0 0 25 0 1 0 870898855 437280768 105345 33554432000 4194304 8979876 140735841168288 18446744073709551615 6783299 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17524/statm: 106758 105345 712 1169 0 105585 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 427032 [startup+1797.8 s] /proc/loadavg: 2.01 2.01 1.91 3/172 17598 /proc/meminfo: memFree=31344280/32951124 swapFree=67062492/67111528 [pid=17524] ppid=17522 vsize=427032 CPUtime=1797.84 cores=1,3,5,7 /proc/17524/stat : 17524 (scip-2.0.1.4_2.) R 17522 17524 17360 0 -1 4202496 157575 0 0 0 157945 21839 0 0 25 0 1 0 870898855 437280768 105345 33554432000 4194304 8979876 140735841168288 18446744073709551615 6549928 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/17524/statm: 106758 105345 712 1169 0 105585 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 427032 Child status: 0 Real time (s): 1797.82 CPU time (s): 1797.88 CPU user time (s): 1579.46 CPU system time (s): 218.415 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 427032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1579.46 system time used= 218.415 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157580 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= 6 involuntary context switches= 4115 runsolver used 2.46462 second user time and 5.72013 second system time The end
Begin job on node147 at 2011-06-11 11:33:49 IDJOB=3485162 IDBENCH=48208 IDSOLVER=1977 FILE ID=node147/3485162-1307784829 RUNJOBID= node147-1307783032-17379 PBS_JOBID= 13550889 Free space on /tmp= 73920 MiB SOLVER NAME= SCIP spx 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.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3485162-1307784829/watcher-3485162-1307784829 -o /tmp/evaluation-result-3485162-1307784829/solver-3485162-1307784829 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485162-1307784829.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d RANDOM SEED=2074774657 node147.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.836 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.67 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.836 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.836 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.82 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.836 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.75 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.836 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.82 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.836 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.76 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.836 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.82 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.836 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31780636 kB Buffers: 131820 kB Cached: 876436 kB SwapCached: 10296 kB Active: 435772 kB Inactive: 590060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31780636 kB SwapTotal: 67111528 kB SwapFree: 67062492 kB Dirty: 22136 kB Writeback: 0 kB AnonPages: 14932 kB Mapped: 9756 kB Slab: 80136 kB PageTables: 3784 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 153688 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= 73884 MiB End job on node147 at 2011-06-11 12:03:47