Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -52 | 1800.08 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb |
| MD5SUM | 2be9d345a101e171c9ff93c0b5b2195d |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -52 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -52 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2482 |
| Sum of products size (including duplicates) | 4964 |
| Number of different products | 1241 |
| Sum of products size | 2482 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450684-1307106982.opb>
0.00/0.01 c original problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 1641 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 0
0.00/0.01 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 1241 del vars, 400 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4964 impls, 0 clqs
0.00/0.05 c (round 2) 1241 del vars, 400 del conss, 0 add conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 1241 upgd conss, 7446 impls, 0 clqs
0.00/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 1241 deleted vars, 400 deleted constraints, 0 added constraints, 1241 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 7446 implications, 0 cliques
0.00/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.00/0.06 c 1241 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.0.1.5
0.00/0.06 c
0.00/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c conflict/interconss = 0
0.00/0.06 c
0.00/0.06 c # should binary conflicts be preferred?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c conflict/preferbinary = TRUE
0.00/0.06 c
0.00/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c constraints/agelimit = 1
0.00/0.06 c
0.00/0.06 c # should enforcement of pseudo solution be disabled?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/disableenfops = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1800
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c t 0.1s| 1 | 0 | 223 | - |4725k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.06/0.07 o -1
0.06/0.07 c R 0.1s| 1 | 0 | 223 | - |4728k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.06/0.07 o -2
0.06/0.07 c s 0.1s| 1 | 0 | 223 | - |4730k| 0 | 200 | 200 |1241 | 200 |1241 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 c 0.1s| 1 | 0 | 302 | - |4737k| 0 | 191 | 200 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-2.000000e+00 | 97.91%
0.09/0.10 o -38
0.09/0.10 c b 0.1s| 1 | 0 | 302 | - |4742k| 0 | 191 | 200 |1241 | 200 |1250 | 9 | 0 | 0 |-9.550000e+01 |-3.800000e+01 | 60.21%
0.09/0.12 c 0.1s| 1 | 0 | 402 | - |4748k| 0 | 184 | 200 |1241 | 200 |1260 | 19 | 0 | 0 |-9.200000e+01 |-3.800000e+01 | 58.70%
0.09/0.17 c 0.2s| 1 | 0 | 492 | - |4793k| 0 | 180 | 200 |1241 | 200 |1268 | 27 | 0 | 0 |-9.000000e+01 |-3.800000e+01 | 57.78%
0.19/0.24 c 0.2s| 1 | 0 | 699 | - |4924k| 0 | 179 | 200 |1241 | 200 |1274 | 33 | 0 | 0 |-8.800000e+01 |-3.800000e+01 | 56.82%
0.19/0.28 c 0.3s| 1 | 0 | 895 | - |4941k| 0 | 174 | 200 |1241 | 200 |1282 | 41 | 0 | 0 |-8.700000e+01 |-3.800000e+01 | 56.32%
0.29/0.33 c 0.3s| 1 | 0 | 1042 | - |4956k| 0 | 170 | 200 |1241 | 200 |1292 | 51 | 0 | 0 |-8.500000e+01 |-3.800000e+01 | 55.29%
0.29/0.38 c 0.4s| 1 | 0 | 1220 | - |5044k| 0 | 169 | 200 |1241 | 200 |1306 | 65 | 0 | 0 |-8.300000e+01 |-3.800000e+01 | 54.22%
0.39/0.44 c 0.4s| 1 | 0 | 1371 | - |5129k| 0 | 164 | 200 |1241 | 200 |1315 | 74 | 0 | 0 |-8.200000e+01 |-3.800000e+01 | 53.66%
0.39/0.48 c 0.5s| 1 | 0 | 1493 | - |5210k| 0 | 162 | 200 |1241 | 200 |1324 | 83 | 0 | 0 |-8.100000e+01 |-3.800000e+01 | 53.09%
0.49/0.52 c 0.5s| 1 | 0 | 1555 | - |5278k| 0 | 160 | 200 |1241 | 200 |1335 | 94 | 0 | 0 |-8.000000e+01 |-3.800000e+01 | 52.50%
0.49/0.59 c 0.6s| 1 | 0 | 1929 | - |5338k| 0 | 174 | 200 |1241 | 200 | 437 | 105 | 0 | 0 |-7.850000e+01 |-3.800000e+01 | 51.59%
0.59/0.62 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.62 c 0.6s| 1 | 0 | 2092 | - |5444k| 0 | 182 | 200 |1241 | 200 | 445 | 113 | 0 | 0 |-7.750000e+01 |-3.800000e+01 | 50.97%
0.59/0.66 c 0.7s| 1 | 0 | 2156 | - |5918k| 0 | 169 | 200 |1241 | 200 | 497 | 165 | 0 | 0 |-7.750000e+01 |-3.800000e+01 | 50.97%
0.69/0.70 c 0.7s| 1 | 0 | 2372 | - |6209k| 0 | 181 | 200 |1241 | 200 | 523 | 191 | 0 | 0 |-7.662500e+01 |-3.800000e+01 | 50.41%
0.69/0.74 c 0.7s| 1 | 0 | 2591 | - |6384k| 0 | 167 | 200 |1241 | 200 | 600 | 268 | 0 | 0 |-7.587500e+01 |-3.800000e+01 | 49.92%
0.69/0.78 c 0.8s| 1 | 0 | 2738 | - |6441k| 0 | 181 | 200 |1241 | 200 | 629 | 297 | 0 | 0 |-7.557692e+01 |-3.800000e+01 | 49.72%
0.79/0.85 c 0.9s| 1 | 0 | 2875 | - |7251k| 0 | 177 | 200 |1241 | 200 | 493 | 332 | 0 | 0 |-7.500000e+01 |-3.800000e+01 | 49.33%
0.79/0.89 c 0.9s| 1 | 0 | 3034 | - |7327k| 0 | 179 | 200 |1241 | 200 | 507 | 346 | 0 | 0 |-7.466667e+01 |-3.800000e+01 | 49.11%
0.89/0.93 c 0.9s| 1 | 0 | 3190 | - |7562k| 0 | 173 | 200 |1241 | 200 | 523 | 362 | 0 | 0 |-7.420000e+01 |-3.800000e+01 | 48.79%
0.89/0.98 c 1.0s| 1 | 0 | 3346 | - |7752k| 0 | 177 | 200 |1241 | 200 | 548 | 387 | 0 | 0 |-7.378571e+01 |-3.800000e+01 | 48.50%
0.89/1.01 c 1.0s| 1 | 0 | 3480 | - |7845k| 0 | 164 | 200 |1241 | 200 | 590 | 429 | 0 | 0 |-7.330000e+01 |-3.800000e+01 | 48.16%
1.00/1.04 c 1.0s| 1 | 0 | 3659 | - |7909k| 0 | 189 | 200 |1241 | 200 | 600 | 439 | 0 | 0 |-7.258540e+01 |-3.800000e+01 | 47.65%
1.00/1.10 c 1.1s| 1 | 0 | 3893 | - |8461k| 0 | 189 | 200 |1241 | 200 | 514 | 476 | 0 | 0 |-7.206061e+01 |-3.800000e+01 | 47.27%
1.11/1.14 c 1.1s| 1 | 0 | 4162 | - |8794k| 0 | 186 | 200 |1241 | 200 | 546 | 508 | 0 | 0 |-7.137815e+01 |-3.800000e+01 | 46.76%
1.11/1.18 c 1.2s| 1 | 0 | 4396 | - |9135k| 0 | 188 | 200 |1241 | 200 | 585 | 547 | 0 | 0 |-7.110521e+01 |-3.800000e+01 | 46.56%
1.19/1.24 c 1.2s| 1 | 0 | 4697 | - |9820k| 0 | 195 | 200 |1241 | 200 | 610 | 572 | 0 | 0 |-7.081507e+01 |-3.800000e+01 | 46.34%
1.19/1.29 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.29 c 1.3s| 1 | 0 | 4927 | - |9882k| 0 | 192 | 200 |1241 | 200 | 637 | 599 | 0 | 0 |-7.050815e+01 |-3.800000e+01 | 46.11%
1.29/1.33 c 1.3s| 1 | 0 | 5060 | - |9887k| 0 | 198 | 200 |1241 | 200 | 647 | 609 | 0 | 0 |-7.034161e+01 |-3.800000e+01 | 45.98%
1.29/1.37 c 1.4s| 1 | 0 | 5163 | - |9927k| 0 | 200 | 200 |1241 | 200 | 497 | 618 | 0 | 0 |-7.018315e+01 |-3.800000e+01 | 45.86%
1.39/1.41 c 1.4s| 1 | 0 | 5353 | - |9935k| 0 | 197 | 200 |1241 | 200 | 510 | 631 | 0 | 0 |-6.984531e+01 |-3.800000e+01 | 45.59%
1.39/1.44 c 1.4s| 1 | 0 | 5415 | - |9939k| 0 | 196 | 200 |1241 | 200 | 521 | 642 | 0 | 0 |-6.979729e+01 |-3.800000e+01 | 45.56%
1.39/1.47 c 1.5s| 1 | 0 | 5417 | - |9939k| 0 | 197 | 200 |1241 | 200 | 523 | 644 | 0 | 0 |-6.979723e+01 |-3.800000e+01 | 45.56%
1.49/1.50 c 1.5s| 1 | 0 | 5504 | - |9950k| 0 | 196 | 200 |1241 | 200 | 524 | 645 | 0 | 0 |-6.972613e+01 |-3.800000e+01 | 45.50%
1.49/1.54 c 1.5s| 1 | 0 | 5605 | - |9979k| 0 | 198 | 200 |1241 | 200 | 529 | 650 | 0 | 0 |-6.968203e+01 |-3.800000e+01 | 45.47%
1.49/1.57 c 1.6s| 1 | 0 | 5653 | - |9983k| 0 | 197 | 200 |1241 | 200 | 380 | 656 | 0 | 0 |-6.966808e+01 |-3.800000e+01 | 45.46%
1.49/1.59 c 1.6s| 1 | 0 | 5664 | - |9984k| 0 | 197 | 200 |1241 | 200 | 384 | 660 | 0 | 0 |-6.966647e+01 |-3.800000e+01 | 45.45%
1.99/2.05 c 2.1s| 1 | 2 | 5664 | - |9986k| 0 | 197 | 200 |1241 | 200 | 384 | 660 | 0 | 20 |-6.966647e+01 |-3.800000e+01 | 45.45%
2.39/2.42 o -44
2.39/2.42 c * 2.4s| 31 | 27 | 6678 | 33.8 | 10M| 18 | - | 200 |1241 | 200 | 284 |1075 | 0 | 480 |-6.928786e+01 |-4.400000e+01 | 36.50%
2.99/3.09 o -45
2.99/3.09 c o 3.1s| 172 | 134 | 10156 | 26.3 | 10M| 26 | 0 | 200 |1241 | 200 | 285 |2839 | 0 |1489 |-6.928786e+01 |-4.500000e+01 | 35.05%
20.29/20.35 c 20.3s| 10000 | 9880 |469318 | 46.4 | 18M| 36 | 61 | 200 |1241 | 200 | 266 | 223k| 0 |2924 |-6.700000e+01 |-4.500000e+01 | 32.84%
23.29/23.30 o -46
23.29/23.30 c *23.3s| 11939 | 11629 |550231 | 45.6 | 20M| 44 | - | 200 |1241 | 200 | 256 | 265k| 0 |3208 |-6.660000e+01 |-4.600000e+01 | 30.93%
33.79/33.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.79/33.89 c 33.9s| 20000 | 18714 |845900 | 42.0 | 26M| 45 | 23 | 200 |1241 | 200 | 241 | 419k| 0 |4053 |-6.560000e+01 |-4.600000e+01 | 29.88%
46.10/46.13 o -47
46.10/46.13 c l46.1s| 29713 | 25446 | 1188k| 39.8 | 32M| 45 | - | 200 |1241 | 200 | 258 | 598k| 0 |4820 |-6.500000e+01 |-4.700000e+01 | 27.69%
46.49/46.52 c 46.5s| 30000 | 25691 | 1198k| 39.8 | 32M| 45 | 95 | 200 |1241 | 200 | 281 | 604k| 0 |4852 |-6.500000e+01 |-4.700000e+01 | 27.69%
57.21/57.23 o -48
57.21/57.23 c *57.2s| 39170 | 30259 | 1494k| 38.0 | 37M| 46 | - | 200 |1241 | 200 | 245 | 758k| 0 |5394 |-6.450000e+01 |-4.800000e+01 | 25.58%
58.09/58.14 c 58.1s| 40000 | 30787 | 1519k| 37.8 | 37M| 46 | 72 | 200 |1241 | 200 | 260 | 772k| 0 |5474 |-6.450000e+01 |-4.800000e+01 | 25.58%
68.90/68.94 c 68.9s| 50000 | 37437 | 1818k| 36.2 | 43M| 46 | 64 | 200 |1241 | 200 | 261 | 926k| 0 |6027 |-6.400000e+01 |-4.800000e+01 | 25.00%
79.21/79.23 c 79.2s| 60000 | 43733 | 2100k| 34.9 | 49M| 48 | - | 200 |1241 | 200 | 268 |1073k| 0 |6483 |-6.388889e+01 |-4.800000e+01 | 24.87%
88.79/88.87 c 88.9s| 70000 | 49777 | 2365k| 33.7 | 54M| 55 | - | 200 |1241 | 200 | 259 |1213k| 0 |6951 |-6.362500e+01 |-4.800000e+01 | 24.56%
97.39/97.48 c 97.5s| 80000 | 54651 | 2600k| 32.4 | 59M| 55 | 58 | 200 |1241 | 200 | 261 |1342k| 0 |7314 |-6.350000e+01 |-4.800000e+01 | 24.41%
105.69/105.78 c 106s| 90000 | 59255 | 2824k| 31.3 | 63M| 55 | 48 | 200 |1241 | 200 | 226 |1467k| 0 |7658 |-6.333333e+01 |-4.800000e+01 | 24.21%
113.89/113.91 c 114s|100000 | 63717 | 3044k| 30.4 | 68M| 58 | 76 | 200 |1241 | 200 | 282 |1592k| 0 |7942 |-6.320000e+01 |-4.800000e+01 | 24.05%
122.00/122.10 c 122s|110000 | 68177 | 3264k| 29.6 | 72M| 58 | - | 200 |1241 | 200 | 299 |1716k| 0 |8302 |-6.300000e+01 |-4.800000e+01 | 23.81%
129.99/130.04 c 130s|120000 | 72347 | 3481k| 29.0 | 76M| 58 | - | 200 |1241 | 200 | 275 |1841k| 0 |8603 |-6.300000e+01 |-4.800000e+01 | 23.81%
138.10/138.18 c 138s|130000 | 76647 | 3701k| 28.4 | 80M| 58 | 46 | 200 |1241 | 200 | 239 |1965k| 0 |8886 |-6.300000e+01 |-4.800000e+01 | 23.81%
146.10/146.14 c 146s|140000 | 80907 | 3918k| 27.9 | 84M| 58 | - | 200 |1241 | 200 | 263 |2091k| 0 |9126 |-6.290000e+01 |-4.800000e+01 | 23.69%
153.90/153.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.90/153.93 c 154s|150000 | 84885 | 4129k| 27.5 | 88M| 58 | 82 | 200 |1241 | 200 | 275 |2213k| 0 |9371 |-6.280000e+01 |-4.800000e+01 | 23.57%
161.80/161.87 c 162s|160000 | 89001 | 4346k| 27.1 | 92M| 58 | 16 | 200 |1241 | 200 | 247 |2337k| 0 |9654 |-6.271429e+01 |-4.800000e+01 | 23.46%
169.60/169.68 c 170s|170000 | 93189 | 4558k| 26.8 | 96M| 58 | 58 | 200 |1241 | 200 | 262 |2460k| 0 |9886 |-6.266667e+01 |-4.800000e+01 | 23.40%
177.59/177.63 c 178s|180000 | 97315 | 4773k| 26.5 | 100M| 59 | - | 200 |1241 | 200 | 264 |2583k| 0 | 10k|-6.250000e+01 |-4.800000e+01 | 23.20%
178.00/178.08 o -49
178.00/178.08 c * 178s|180581 | 81294 | 4784k| 26.5 | 88M| 59 | - | 200 |1241 | 200 | 250 |2589k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
185.19/185.22 c 185s|190000 | 84409 | 4976k| 26.2 | 91M| 59 | 11 | 200 |1241 | 200 | 263 |2708k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
192.60/192.69 c 193s|200000 | 87629 | 5178k| 25.9 | 94M| 59 | - | 200 |1241 | 200 | 254 |2830k| 0 | 10k|-6.250000e+01 |-4.900000e+01 | 21.60%
200.10/200.18 c 200s|210000 | 90621 | 5378k| 25.6 | 97M| 59 | 36 | 200 |1241 | 200 | 289 |2952k| 0 | 10k|-6.240000e+01 |-4.900000e+01 | 21.47%
207.59/207.65 c 208s|220000 | 93877 | 5579k| 25.3 | 101M| 59 | 18 | 200 |1241 | 200 | 268 |3073k| 0 | 10k|-6.233333e+01 |-4.900000e+01 | 21.39%
215.00/215.05 c 215s|230000 | 97011 | 5777k| 25.1 | 104M| 59 | - | 200 |1241 | 200 | 243 |3191k| 0 | 11k|-6.225000e+01 |-4.900000e+01 | 21.29%
222.50/222.50 c 223s|240000 |100113 | 5978k| 24.9 | 107M| 59 | - | 200 |1241 | 200 | 245 |3313k| 0 | 11k|-6.216667e+01 |-4.900000e+01 | 21.18%
229.70/229.75 c 230s|250000 |103089 | 6171k| 24.7 | 110M| 59 | - | 200 |1241 | 200 | 275 |3432k| 0 | 11k|-6.207143e+01 |-4.900000e+01 | 21.06%
237.00/237.09 c 237s|260000 |106203 | 6367k| 24.5 | 114M| 59 | 14 | 200 |1241 | 200 | 265 |3551k| 0 | 11k|-6.200000e+01 |-4.900000e+01 | 20.97%
244.30/244.34 c 244s|270000 |109203 | 6562k| 24.3 | 117M| 59 | 13 | 200 |1241 | 200 | 237 |3672k| 0 | 11k|-6.200000e+01 |-4.900000e+01 | 20.97%
251.60/251.65 c 252s|280000 |112263 | 6759k| 24.1 | 120M| 59 | - | 200 |1241 | 200 | 268 |3790k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
258.90/258.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.90/258.91 c 259s|290000 |115037 | 6951k| 24.0 | 123M| 59 | 66 | 200 |1241 | 200 | 260 |3909k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
266.22/266.26 c 266s|300000 |118143 | 7148k| 23.8 | 126M| 59 | 15 | 200 |1241 | 200 | 263 |4027k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
273.50/273.53 c 274s|310000 |121157 | 7342k| 23.7 | 129M| 59 | - | 200 |1241 | 200 | 291 |4144k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
280.80/280.84 c 281s|320000 |124297 | 7537k| 23.5 | 132M| 59 | 80 | 200 |1241 | 200 | 312 |4258k| 0 | 12k|-6.200000e+01 |-4.900000e+01 | 20.97%
287.80/287.89 c 288s|330000 |127135 | 7724k| 23.4 | 135M| 59 | - | 200 |1241 | 200 | 271 |4371k| 0 | 12k|-6.186667e+01 |-4.900000e+01 | 20.80%
295.10/295.11 c 295s|340000 |130017 | 7917k| 23.3 | 139M| 59 | - | 200 |1241 | 200 | 251 |4487k| 0 | 13k|-6.180000e+01 |-4.900000e+01 | 20.71%
302.30/302.30 c 302s|350000 |133025 | 8109k| 23.2 | 142M| 59 | - | 200 |1241 | 200 | 277 |4604k| 0 | 13k|-6.175000e+01 |-4.900000e+01 | 20.65%
309.30/309.38 c 309s|360000 |135753 | 8298k| 23.0 | 145M| 59 | 49 | 200 |1241 | 200 | 271 |4723k| 0 | 13k|-6.175000e+01 |-4.900000e+01 | 20.65%
316.60/316.60 c 317s|370000 |138733 | 8492k| 22.9 | 148M| 59 | - | 200 |1241 | 200 | 268 |4839k| 0 | 13k|-6.166667e+01 |-4.900000e+01 | 20.54%
323.60/323.69 c 324s|380000 |141419 | 8682k| 22.8 | 151M| 59 | 23 | 200 |1241 | 200 | 271 |4956k| 0 | 13k|-6.166667e+01 |-4.900000e+01 | 20.54%
330.60/330.68 c 331s|390000 |144375 | 8867k| 22.7 | 154M| 59 | - | 200 |1241 | 200 | 253 |5070k| 0 | 13k|-6.160000e+01 |-4.900000e+01 | 20.45%
337.71/337.76 c 338s|400000 |147095 | 9056k| 22.6 | 157M| 59 | - | 200 |1241 | 200 | 274 |5189k| 0 | 14k|-6.151852e+01 |-4.900000e+01 | 20.35%
344.50/344.59 c 345s|410000 |149777 | 9235k| 22.5 | 159M| 59 | - | 200 |1241 | 200 | 282 |5301k| 0 | 14k|-6.150000e+01 |-4.900000e+01 | 20.33%
351.50/351.54 c 352s|420000 |152471 | 9421k| 22.4 | 162M| 59 | 38 | 200 |1241 | 200 | 239 |5415k| 0 | 14k|-6.150000e+01 |-4.900000e+01 | 20.33%
358.51/358.56 c 359s|430000 |155271 | 9608k| 22.3 | 165M| 59 | 25 | 200 |1241 | 200 | 252 |5532k| 0 | 14k|-6.150000e+01 |-4.900000e+01 | 20.33%
365.50/365.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.50/365.57 c 366s|440000 |158015 | 9797k| 22.3 | 168M| 59 | - | 200 |1241 | 200 | 250 |5652k| 0 | 14k|-6.150000e+01 |-4.900000e+01 | 20.33%
372.50/372.56 c 373s|450000 |160905 | 9982k| 22.2 | 171M| 59 | - | 200 |1241 | 200 | 284 |5765k| 0 | 14k|-6.150000e+01 |-4.900000e+01 | 20.33%
379.52/379.55 c 380s|460000 |163623 | 10168k| 22.1 | 174M| 59 | - | 200 |1241 | 200 | 261 |5881k| 0 | 14k|-6.150000e+01 |-4.900000e+01 | 20.33%
386.50/386.51 c 387s|470000 |166107 | 10349k| 22.0 | 177M| 60 | 8 | 200 |1241 | 200 | 250 |5995k| 0 | 15k|-6.140000e+01 |-4.900000e+01 | 20.20%
393.00/393.09 c 393s|480000 |168321 | 10521k| 21.9 | 179M| 60 | - | 200 |1241 | 200 | 267 |6105k| 0 | 15k|-6.133333e+01 |-4.900000e+01 | 20.11%
399.60/399.63 c 400s|490000 |170329 | 10690k| 21.8 | 181M| 60 | 9 | 200 |1241 | 200 | 246 |6216k| 0 | 15k|-6.133333e+01 |-4.900000e+01 | 20.11%
406.20/406.21 c 406s|500000 |172577 | 10861k| 21.7 | 184M| 60 | - | 200 |1241 | 200 | 269 |6328k| 0 | 15k|-6.133333e+01 |-4.900000e+01 | 20.11%
412.70/412.77 c 413s|510000 |174741 | 11030k| 21.6 | 186M| 60 | 50 | 200 |1241 | 200 | 249 |6439k| 0 | 15k|-6.125000e+01 |-4.900000e+01 | 20.00%
419.12/419.19 c 419s|520000 |176763 | 11196k| 21.5 | 188M| 60 | 81 | 200 |1241 | 200 | 260 |6548k| 0 | 15k|-6.125000e+01 |-4.900000e+01 | 20.00%
425.72/425.73 c 426s|530000 |178851 | 11366k| 21.4 | 191M| 60 | 45 | 200 |1241 | 200 | 276 |6658k| 0 | 15k|-6.120000e+01 |-4.900000e+01 | 19.93%
432.11/432.12 c 432s|540000 |180859 | 11531k| 21.3 | 193M| 60 | 7 | 200 |1241 | 200 | 239 |6765k| 0 | 15k|-6.116667e+01 |-4.900000e+01 | 19.89%
438.70/438.71 c 439s|550000 |183007 | 11703k| 21.3 | 195M| 60 | 66 | 200 |1241 | 200 | 279 |6876k| 0 | 16k|-6.111111e+01 |-4.900000e+01 | 19.82%
445.20/445.27 c 445s|560000 |185071 | 11872k| 21.2 | 198M| 60 | - | 200 |1241 | 200 | 279 |6985k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
451.70/451.74 c 452s|570000 |187279 | 12040k| 21.1 | 200M| 60 | 38 | 200 |1241 | 200 | 223 |7096k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
458.20/458.21 c 458s|580000 |189363 | 12209k| 21.0 | 202M| 60 | - | 200 |1241 | 200 | 245 |7205k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
464.70/464.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.70/464.72 c 465s|590000 |191411 | 12376k| 21.0 | 205M| 60 | 66 | 200 |1241 | 200 | 293 |7314k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
471.20/471.24 c 471s|600000 |193625 | 12547k| 20.9 | 207M| 60 | 30 | 200 |1241 | 200 | 266 |7426k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
477.90/477.91 c 478s|610000 |195865 | 12721k| 20.8 | 210M| 60 | 91 | 200 |1241 | 200 | 308 |7536k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
484.40/484.42 c 484s|620000 |198055 | 12891k| 20.8 | 212M| 60 | - | 200 |1241 | 200 | 258 |7644k| 0 | 16k|-6.100000e+01 |-4.900000e+01 | 19.67%
490.80/490.89 c 491s|630000 |200101 | 13059k| 20.7 | 214M| 60 | - | 200 |1241 | 200 | 279 |7754k| 0 | 17k|-6.100000e+01 |-4.900000e+01 | 19.67%
497.41/497.46 c 497s|640000 |202157 | 13229k| 20.7 | 216M| 60 | 10 | 200 |1241 | 200 | 249 |7863k| 0 | 17k|-6.100000e+01 |-4.900000e+01 | 19.67%
503.90/503.92 c 504s|650000 |204205 | 13396k| 20.6 | 219M| 60 | - | 200 |1241 | 200 | 277 |7971k| 0 | 17k|-6.100000e+01 |-4.900000e+01 | 19.67%
510.20/510.22 o -50
510.20/510.22 c * 510s|659550 |160453 | 13556k| 20.5 | 178M| 63 | - | 200 |1241 | 200 | 292 |8076k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
510.50/510.54 c 511s|660000 |160517 | 13564k| 20.5 | 178M| 63 | - | 200 |1241 | 200 | 282 |8082k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
516.91/516.93 c 517s|670000 |161803 | 13726k| 20.5 | 180M| 63 | 73 | 200 |1241 | 200 | 262 |8195k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
523.40/523.43 c 523s|680000 |163537 | 13894k| 20.4 | 182M| 63 | 45 | 200 |1241 | 200 | 282 |8308k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
529.70/529.78 c 530s|690000 |165137 | 14059k| 20.4 | 184M| 63 | 44 | 200 |1241 | 200 | 249 |8422k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
536.10/536.12 c 536s|700000 |166759 | 14222k| 20.3 | 186M| 63 | 52 | 200 |1241 | 200 | 261 |8533k| 0 | 17k|-6.100000e+01 |-5.000000e+01 | 18.03%
542.41/542.44 c 542s|710000 |168137 | 14384k| 20.3 | 187M| 63 | 73 | 200 |1241 | 200 | 278 |8644k| 0 | 17k|-6.093750e+01 |-5.000000e+01 | 17.95%
548.71/548.74 c 549s|720000 |169693 | 14545k| 20.2 | 189M| 63 | 36 | 200 |1241 | 200 | 243 |8757k| 0 | 18k|-6.087500e+01 |-5.000000e+01 | 17.86%
555.01/555.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.01/555.03 c 555s|730000 |171241 | 14708k| 20.1 | 191M| 63 | - | 200 |1241 | 200 | 261 |8868k| 0 | 18k|-6.083333e+01 |-5.000000e+01 | 17.81%
561.30/561.38 c 561s|740000 |172893 | 14871k| 20.1 | 193M| 63 | 21 | 200 |1241 | 200 | 246 |8981k| 0 | 18k|-6.081818e+01 |-5.000000e+01 | 17.79%
567.51/567.52 c 568s|750000 |174265 | 15026k| 20.0 | 195M| 63 | 12 | 200 |1241 | 200 | 274 |9088k| 0 | 18k|-6.080000e+01 |-5.000000e+01 | 17.76%
573.81/573.89 c 574s|760000 |175919 | 15191k| 20.0 | 196M| 63 | 32 | 200 |1241 | 200 | 258 |9199k| 0 | 18k|-6.075000e+01 |-5.000000e+01 | 17.70%
580.21/580.29 c 580s|770000 |177465 | 15356k| 19.9 | 198M| 63 | 50 | 200 |1241 | 200 | 278 |9312k| 0 | 18k|-6.075000e+01 |-5.000000e+01 | 17.70%
586.41/586.46 c 586s|780000 |178947 | 15515k| 19.9 | 200M| 63 | - | 200 |1241 | 200 | 272 |9424k| 0 | 18k|-6.075000e+01 |-5.000000e+01 | 17.70%
592.60/592.68 c 593s|790000 |180435 | 15673k| 19.8 | 202M| 63 | - | 200 |1241 | 200 | 287 |9533k| 0 | 18k|-6.066667e+01 |-5.000000e+01 | 17.58%
598.91/598.94 c 599s|800000 |182009 | 15835k| 19.8 | 204M| 63 | - | 200 |1241 | 200 | 283 |9642k| 0 | 18k|-6.066667e+01 |-5.000000e+01 | 17.58%
605.10/605.14 c 605s|810000 |183491 | 15994k| 19.7 | 205M| 63 | 75 | 200 |1241 | 200 | 241 |9754k| 0 | 18k|-6.066667e+01 |-5.000000e+01 | 17.58%
611.40/611.41 c 611s|820000 |184973 | 16154k| 19.7 | 207M| 63 | - | 200 |1241 | 200 | 263 |9863k| 0 | 19k|-6.066667e+01 |-5.000000e+01 | 17.58%
617.60/617.61 c 618s|830000 |186557 | 16313k| 19.6 | 209M| 63 | - | 200 |1241 | 200 | 267 |9973k| 0 | 19k|-6.062500e+01 |-5.000000e+01 | 17.53%
623.72/623.78 c 624s|840000 |188119 | 16472k| 19.6 | 211M| 63 | 43 | 200 |1241 | 200 | 245 | 10M| 0 | 19k|-6.060000e+01 |-5.000000e+01 | 17.49%
630.01/630.01 c 630s|850000 |189613 | 16630k| 19.6 | 213M| 63 | 87 | 200 |1241 | 200 | 293 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
636.21/636.22 c 636s|860000 |191201 | 16790k| 19.5 | 214M| 63 | - | 200 |1241 | 200 | 248 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
642.31/642.38 c 642s|870000 |192625 | 16947k| 19.5 | 216M| 63 | - | 200 |1241 | 200 | 260 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
648.70/648.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.70/648.74 c 649s|880000 |194333 | 17110k| 19.4 | 218M| 63 | 62 | 200 |1241 | 200 | 263 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
654.80/654.83 c 655s|890000 |195705 | 17265k| 19.4 | 220M| 63 | 87 | 200 |1241 | 200 | 319 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
661.01/661.07 c 661s|900000 |197211 | 17424k| 19.4 | 221M| 63 | 82 | 200 |1241 | 200 | 262 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
667.30/667.37 c 667s|910000 |198813 | 17586k| 19.3 | 223M| 63 | - | 200 |1241 | 200 | 273 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
673.51/673.50 c 674s|920000 |200305 | 17744k| 19.3 | 225M| 63 | 8 | 200 |1241 | 200 | 250 | 10M| 0 | 19k|-6.050000e+01 |-5.000000e+01 | 17.36%
679.51/679.55 c 680s|930000 |201641 | 17898k| 19.2 | 227M| 63 | 26 | 200 |1241 | 200 | 239 | 11M| 0 | 20k|-6.050000e+01 |-5.000000e+01 | 17.36%
685.70/685.76 c 686s|940000 |203121 | 18057k| 19.2 | 228M| 64 | 48 | 200 |1241 | 200 | 250 | 11M| 0 | 20k|-6.050000e+01 |-5.000000e+01 | 17.36%
691.81/691.82 c 692s|950000 |204465 | 18212k| 19.2 | 230M| 64 | - | 200 |1241 | 200 | 274 | 11M| 0 | 20k|-6.050000e+01 |-5.000000e+01 | 17.36%
697.90/697.95 c 698s|960000 |205715 | 18368k| 19.1 | 232M| 64 | 68 | 200 |1241 | 200 | 264 | 11M| 0 | 20k|-6.050000e+01 |-5.000000e+01 | 17.36%
704.11/704.19 c 704s|970000 |207227 | 18529k| 19.1 | 233M| 64 | 80 | 200 |1241 | 200 | 271 | 11M| 0 | 20k|-6.050000e+01 |-5.000000e+01 | 17.36%
710.41/710.40 c 710s|980000 |208599 | 18687k| 19.1 | 235M| 64 | - | 200 |1241 | 200 | 278 | 11M| 0 | 20k|-6.040000e+01 |-5.000000e+01 | 17.22%
716.60/716.66 c 717s|990000 |209977 | 18845k| 19.0 | 237M| 64 | 57 | 200 |1241 | 200 | 253 | 11M| 0 | 20k|-6.037500e+01 |-5.000000e+01 | 17.18%
722.73/722.76 c 723s| 1000k|211273 | 18998k| 19.0 | 238M| 64 | - | 200 |1241 | 200 | 282 | 11M| 0 | 20k|-6.033333e+01 |-5.000000e+01 | 17.13%
728.81/728.87 c 729s| 1010k|212611 | 19153k| 19.0 | 240M| 64 | - | 200 |1241 | 200 | 247 | 11M| 0 | 20k|-6.033333e+01 |-5.000000e+01 | 17.13%
734.90/734.98 c 735s| 1020k|214017 | 19307k| 18.9 | 241M| 64 | 52 | 200 |1241 | 200 | 278 | 12M| 0 | 20k|-6.033333e+01 |-5.000000e+01 | 17.13%
741.00/741.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.00/741.00 c 741s| 1030k|215261 | 19461k| 18.9 | 243M| 64 | - | 200 |1241 | 200 | 259 | 12M| 0 | 20k|-6.033333e+01 |-5.000000e+01 | 17.13%
747.00/747.03 c 747s| 1040k|216555 | 19613k| 18.9 | 245M| 64 | 83 | 200 |1241 | 200 | 284 | 12M| 0 | 21k|-6.030435e+01 |-5.000000e+01 | 17.09%
753.21/753.26 c 753s| 1050k|217943 | 19770k| 18.8 | 246M| 64 | - | 200 |1241 | 200 | 284 | 12M| 0 | 21k|-6.025000e+01 |-5.000000e+01 | 17.01%
759.21/759.28 c 759s| 1060k|219289 | 19923k| 18.8 | 248M| 64 | 8 | 200 |1241 | 200 | 262 | 12M| 0 | 21k|-6.025000e+01 |-5.000000e+01 | 17.01%
765.31/765.35 c 765s| 1070k|220655 | 20077k| 18.8 | 249M| 64 | 115 | 200 |1241 | 200 | 295 | 12M| 0 | 21k|-6.025000e+01 |-5.000000e+01 | 17.01%
771.51/771.57 c 772s| 1080k|222079 | 20235k| 18.7 | 251M| 64 | 95 | 200 |1241 | 200 | 295 | 12M| 0 | 21k|-6.025000e+01 |-5.000000e+01 | 17.01%
777.62/777.62 c 778s| 1090k|223301 | 20388k| 18.7 | 253M| 64 | - | 200 |1241 | 200 | 280 | 12M| 0 | 21k|-6.020000e+01 |-5.000000e+01 | 16.94%
783.81/783.83 c 784s| 1100k|224747 | 20544k| 18.7 | 254M| 64 | 10 | 200 |1241 | 200 | 243 | 12M| 0 | 21k|-6.016667e+01 |-5.000000e+01 | 16.90%
789.91/789.98 c 790s| 1110k|226153 | 20701k| 18.6 | 256M| 64 | - | 200 |1241 | 200 | 279 | 12M| 0 | 21k|-6.016667e+01 |-5.000000e+01 | 16.90%
796.01/796.08 c 796s| 1120k|227379 | 20856k| 18.6 | 257M| 64 | 9 | 200 |1241 | 200 | 281 | 13M| 0 | 21k|-6.012500e+01 |-5.000000e+01 | 16.84%
802.11/802.19 c 802s| 1130k|228703 | 21008k| 18.6 | 259M| 64 | 26 | 200 |1241 | 200 | 246 | 13M| 0 | 21k|-6.005263e+01 |-5.000000e+01 | 16.74%
808.21/808.29 c 808s| 1140k|230009 | 21162k| 18.6 | 261M| 64 | - | 200 |1241 | 200 | 296 | 13M| 0 | 21k|-6.000000e+01 |-5.000000e+01 | 16.67%
814.31/814.37 c 814s| 1150k|231403 | 21316k| 18.5 | 262M| 64 | 41 | 200 |1241 | 200 | 267 | 13M| 0 | 21k|-6.000000e+01 |-5.000000e+01 | 16.67%
820.63/820.62 c 821s| 1160k|232885 | 21474k| 18.5 | 264M| 64 | - | 200 |1241 | 200 | 258 | 13M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
826.81/826.83 c 827s| 1170k|234343 | 21633k| 18.5 | 266M| 64 | 10 | 200 |1241 | 200 | 268 | 13M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
832.82/832.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.82/832.89 c 833s| 1180k|235661 | 21788k| 18.5 | 267M| 64 | 31 | 200 |1241 | 200 | 244 | 13M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
839.12/839.16 c 839s| 1190k|237025 | 21949k| 18.4 | 269M| 64 | - | 200 |1241 | 200 | 266 | 13M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
845.22/845.28 c 845s| 1200k|238413 | 22105k| 18.4 | 271M| 64 | - | 200 |1241 | 200 | 270 | 13M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
851.43/851.49 c 851s| 1210k|239837 | 22263k| 18.4 | 272M| 64 | - | 200 |1241 | 200 | 275 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
857.61/857.63 c 858s| 1220k|241365 | 22420k| 18.4 | 274M| 64 | 28 | 200 |1241 | 200 | 218 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
863.61/863.69 c 864s| 1230k|242789 | 22575k| 18.3 | 276M| 64 | 62 | 200 |1241 | 200 | 243 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
869.71/869.75 c 870s| 1240k|244009 | 22728k| 18.3 | 277M| 64 | - | 200 |1241 | 200 | 266 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
875.72/875.74 c 876s| 1250k|245357 | 22877k| 18.3 | 279M| 64 | - | 200 |1241 | 200 | 238 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
881.82/881.82 c 882s| 1260k|246747 | 23031k| 18.3 | 280M| 64 | - | 200 |1241 | 200 | 244 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
887.73/887.76 c 888s| 1270k|248045 | 23181k| 18.2 | 282M| 64 | 42 | 200 |1241 | 200 | 275 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
893.81/893.80 c 894s| 1280k|249415 | 23334k| 18.2 | 284M| 64 | - | 200 |1241 | 200 | 271 | 14M| 0 | 22k|-6.000000e+01 |-5.000000e+01 | 16.67%
894.11/894.17 o -51
894.11/894.17 c * 894s| 1280k|192714 | 23340k| 18.2 | 224M| 64 | - | 200 |1241 | 200 | 289 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
900.01/900.04 c 900s| 1290k|193776 | 23488k| 18.2 | 226M| 64 | - | 200 |1241 | 200 | 268 | 14M| 0 | 22k|-6.000000e+01 |-5.100000e+01 | 15.00%
905.91/905.90 c 906s| 1300k|194792 | 23633k| 18.2 | 227M| 64 | 56 | 200 |1241 | 200 | 279 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
911.82/911.86 c 912s| 1310k|195740 | 23782k| 18.2 | 228M| 64 | - | 200 |1241 | 200 | 265 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
917.82/917.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.82/917.80 c 918s| 1320k|196608 | 23930k| 18.1 | 229M| 64 | - | 200 |1241 | 200 | 289 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
923.81/923.85 c 924s| 1330k|197590 | 24083k| 18.1 | 230M| 64 | - | 200 |1241 | 200 | 275 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
929.92/929.95 c 930s| 1340k|198652 | 24236k| 18.1 | 232M| 64 | 34 | 200 |1241 | 200 | 244 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
935.91/935.97 c 936s| 1350k|199634 | 24387k| 18.1 | 233M| 64 | 81 | 200 |1241 | 200 | 293 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
941.91/941.94 c 942s| 1360k|200484 | 24536k| 18.0 | 234M| 64 | 70 | 200 |1241 | 200 | 239 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
948.01/948.03 c 948s| 1370k|201604 | 24690k| 18.0 | 235M| 64 | 14 | 200 |1241 | 200 | 258 | 15M| 0 | 23k|-6.000000e+01 |-5.100000e+01 | 15.00%
954.01/954.01 c 954s| 1380k|202664 | 24840k| 18.0 | 237M| 64 | 83 | 200 |1241 | 200 | 296 | 15M| 0 | 23k|-5.990000e+01 |-5.100000e+01 | 14.86%
959.91/959.98 c 960s| 1390k|203640 | 24990k| 18.0 | 238M| 64 | 23 | 200 |1241 | 200 | 247 | 16M| 0 | 23k|-5.986667e+01 |-5.100000e+01 | 14.81%
965.92/965.97 c 966s| 1400k|204484 | 25138k| 18.0 | 239M| 64 | 27 | 200 |1241 | 200 | 244 | 16M| 0 | 23k|-5.983333e+01 |-5.100000e+01 | 14.76%
971.91/971.91 c 972s| 1410k|205466 | 25287k| 17.9 | 240M| 64 | - | 200 |1241 | 200 | 269 | 16M| 0 | 23k|-5.983333e+01 |-5.100000e+01 | 14.76%
977.82/977.82 c 978s| 1420k|206394 | 25435k| 17.9 | 242M| 64 | - | 200 |1241 | 200 | 259 | 16M| 0 | 23k|-5.980000e+01 |-5.100000e+01 | 14.72%
983.62/983.67 c 984s| 1430k|207276 | 25581k| 17.9 | 243M| 64 | 20 | 200 |1241 | 200 | 285 | 16M| 0 | 24k|-5.980000e+01 |-5.100000e+01 | 14.72%
989.51/989.52 c 990s| 1440k|208184 | 25726k| 17.9 | 244M| 64 | - | 200 |1241 | 200 | 251 | 16M| 0 | 24k|-5.975000e+01 |-5.100000e+01 | 14.64%
995.42/995.48 c 995s| 1450k|209136 | 25876k| 17.8 | 245M| 64 | 13 | 200 |1241 | 200 | 251 | 16M| 0 | 24k|-5.975000e+01 |-5.100000e+01 | 14.64%
1001.32/1001.31 c 1001s| 1460k|210056 | 26020k| 17.8 | 246M| 68 | 15 | 200 |1241 | 200 | 238 | 16M| 0 | 24k|-5.975000e+01 |-5.100000e+01 | 14.64%
1007.21/1007.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.21/1007.21 c 1007s| 1470k|210952 | 26167k| 17.8 | 247M| 68 | 60 | 200 |1241 | 200 | 256 | 16M| 0 | 24k|-5.975000e+01 |-5.100000e+01 | 14.64%
1013.02/1013.09 c 1013s| 1480k|211774 | 26314k| 17.8 | 248M| 68 | 32 | 200 |1241 | 200 | 240 | 16M| 0 | 24k|-5.975000e+01 |-5.100000e+01 | 14.64%
1018.92/1018.98 c 1019s| 1490k|212676 | 26460k| 17.8 | 250M| 68 | 74 | 200 |1241 | 200 | 274 | 17M| 0 | 24k|-5.970000e+01 |-5.100000e+01 | 14.57%
1021.72/1021.80 o -52
1021.72/1021.80 c *1022s| 1494k|158866 | 26526k| 17.7 | 192M| 68 | - | 200 |1241 | 200 | 281 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1025.01/1025.05 c 1025s| 1500k|159213 | 26606k| 17.7 | 193M| 68 | - | 200 |1241 | 200 | 269 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1030.82/1030.87 c 1031s| 1510k|159819 | 26750k| 17.7 | 193M| 68 | - | 200 |1241 | 200 | 261 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1036.52/1036.59 c 1037s| 1520k|160311 | 26890k| 17.7 | 194M| 68 | - | 200 |1241 | 200 | 292 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1042.22/1042.26 c 1042s| 1530k|160833 | 27028k| 17.7 | 195M| 68 | - | 200 |1241 | 200 | 251 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1047.91/1047.94 c 1048s| 1540k|161369 | 27168k| 17.6 | 196M| 68 | - | 200 |1241 | 200 | 305 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1053.72/1053.76 c 1054s| 1550k|161993 | 27312k| 17.6 | 197M| 68 | - | 200 |1241 | 200 | 244 | 17M| 0 | 24k|-5.966667e+01 |-5.200000e+01 | 12.85%
1059.41/1059.41 c 1059s| 1560k|162525 | 27450k| 17.6 | 197M| 68 | - | 200 |1241 | 200 | 259 | 17M| 0 | 24k|-5.962500e+01 |-5.200000e+01 | 12.79%
1065.11/1065.12 c 1065s| 1570k|163095 | 27590k| 17.6 | 198M| 68 | - | 200 |1241 | 200 | 274 | 17M| 0 | 24k|-5.960000e+01 |-5.200000e+01 | 12.75%
1070.81/1070.86 c 1071s| 1580k|163571 | 27729k| 17.5 | 199M| 68 | - | 200 |1241 | 200 | 302 | 18M| 0 | 25k|-5.957500e+01 |-5.200000e+01 | 12.72%
1076.42/1076.48 c 1076s| 1590k|164051 | 27865k| 17.5 | 200M| 68 | 28 | 200 |1241 | 200 | 261 | 18M| 0 | 25k|-5.951613e+01 |-5.200000e+01 | 12.63%
1082.12/1082.17 c 1082s| 1600k|164651 | 28004k| 17.5 | 200M| 68 | 10 | 200 |1241 | 200 | 228 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1087.72/1087.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.72/1087.75 c 1088s| 1610k|165123 | 28141k| 17.5 | 201M| 68 | 22 | 200 |1241 | 200 | 237 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1093.44/1093.48 c 1093s| 1620k|165599 | 28281k| 17.5 | 202M| 68 | 18 | 200 |1241 | 200 | 235 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1099.21/1099.25 c 1099s| 1630k|166117 | 28423k| 17.4 | 203M| 68 | 74 | 200 |1241 | 200 | 290 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1104.92/1104.90 c 1105s| 1640k|166599 | 28561k| 17.4 | 203M| 68 | 11 | 200 |1241 | 200 | 254 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1110.52/1110.59 c 1111s| 1650k|167063 | 28701k| 17.4 | 204M| 68 | - | 200 |1241 | 200 | 270 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1116.22/1116.26 c 1116s| 1660k|167511 | 28841k| 17.4 | 205M| 68 | 75 | 200 |1241 | 200 | 284 | 18M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1122.04/1122.09 c 1122s| 1670k|167995 | 28986k| 17.4 | 205M| 68 | - | 200 |1241 | 200 | 292 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1127.72/1127.76 c 1128s| 1680k|168479 | 29126k| 17.3 | 206M| 68 | - | 200 |1241 | 200 | 249 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1133.42/1133.41 c 1133s| 1690k|168905 | 29264k| 17.3 | 207M| 68 | 30 | 200 |1241 | 200 | 226 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1139.12/1139.12 c 1139s| 1700k|169437 | 29402k| 17.3 | 208M| 68 | - | 200 |1241 | 200 | 289 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1144.62/1144.69 c 1145s| 1710k|169859 | 29539k| 17.3 | 208M| 68 | 29 | 200 |1241 | 200 | 247 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1150.32/1150.39 c 1150s| 1720k|170285 | 29679k| 17.3 | 209M| 68 | - | 200 |1241 | 200 | 261 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1156.02/1156.07 c 1156s| 1730k|170729 | 29819k| 17.2 | 210M| 68 | 14 | 200 |1241 | 200 | 248 | 19M| 0 | 25k|-5.950000e+01 |-5.200000e+01 | 12.61%
1161.64/1161.63 c 1162s| 1740k|171261 | 29954k| 17.2 | 210M| 68 | - | 200 |1241 | 200 | 249 | 19M| 0 | 26k|-5.950000e+01 |-5.200000e+01 | 12.61%
1167.22/1167.21 c 1167s| 1750k|171887 | 30092k| 17.2 | 211M| 69 | - | 200 |1241 | 200 | 269 | 19M| 0 | 26k|-5.950000e+01 |-5.200000e+01 | 12.61%
1172.82/1172.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.82/1172.82 c 1173s| 1760k|172367 | 30228k| 17.2 | 212M| 69 | 25 | 200 |1241 | 200 | 242 | 20M| 0 | 26k|-5.950000e+01 |-5.200000e+01 | 12.61%
1178.42/1178.48 c 1178s| 1770k|172941 | 30368k| 17.2 | 213M| 69 | - | 200 |1241 | 200 | 267 | 20M| 0 | 26k|-5.950000e+01 |-5.200000e+01 | 12.61%
1184.12/1184.19 c 1184s| 1780k|173435 | 30509k| 17.1 | 213M| 69 | 90 | 200 |1241 | 200 | 247 | 20M| 0 | 26k|-5.946154e+01 |-5.200000e+01 | 12.55%
1189.82/1189.82 c 1190s| 1790k|173981 | 30644k| 17.1 | 214M| 69 | 52 | 200 |1241 | 200 | 265 | 20M| 0 | 26k|-5.941667e+01 |-5.200000e+01 | 12.48%
1195.52/1195.56 c 1196s| 1800k|174507 | 30784k| 17.1 | 215M| 69 | - | 200 |1241 | 200 | 273 | 20M| 0 | 26k|-5.940000e+01 |-5.200000e+01 | 12.46%
1201.12/1201.15 c 1201s| 1810k|174967 | 30919k| 17.1 | 216M| 69 | - | 200 |1241 | 200 | 278 | 20M| 0 | 26k|-5.937500e+01 |-5.200000e+01 | 12.42%
1206.82/1206.81 c 1207s| 1820k|175401 | 31056k| 17.1 | 216M| 69 | - | 200 |1241 | 200 | 277 | 20M| 0 | 26k|-5.933333e+01 |-5.200000e+01 | 12.36%
1212.42/1212.45 c 1212s| 1830k|175945 | 31194k| 17.0 | 217M| 69 | 88 | 200 |1241 | 200 | 272 | 20M| 0 | 26k|-5.933333e+01 |-5.200000e+01 | 12.36%
1218.02/1218.00 c 1218s| 1840k|176453 | 31328k| 17.0 | 218M| 69 | 39 | 200 |1241 | 200 | 242 | 20M| 0 | 26k|-5.933333e+01 |-5.200000e+01 | 12.36%
1223.62/1223.65 c 1224s| 1850k|176925 | 31467k| 17.0 | 219M| 69 | 83 | 200 |1241 | 200 | 267 | 21M| 0 | 26k|-5.933333e+01 |-5.200000e+01 | 12.36%
1229.42/1229.44 c 1229s| 1860k|177429 | 31609k| 17.0 | 219M| 72 | 40 | 200 |1241 | 200 | 258 | 21M| 0 | 26k|-5.933333e+01 |-5.200000e+01 | 12.36%
1234.92/1234.95 c 1235s| 1870k|177781 | 31742k| 17.0 | 220M| 72 | - | 200 |1241 | 200 | 238 | 21M| 0 | 26k|-5.933333e+01 |-5.200000e+01 | 12.36%
1240.52/1240.56 c 1241s| 1880k|178197 | 31878k| 17.0 | 221M| 72 | - | 200 |1241 | 200 | 291 | 21M| 0 | 26k|-5.928571e+01 |-5.200000e+01 | 12.29%
1246.03/1246.03 c 1246s| 1890k|178595 | 32010k| 16.9 | 221M| 72 | 8 | 200 |1241 | 200 | 247 | 21M| 0 | 26k|-5.925000e+01 |-5.200000e+01 | 12.24%
1251.52/1251.56 c 1252s| 1900k|179029 | 32143k| 16.9 | 222M| 72 | - | 200 |1241 | 200 | 267 | 21M| 0 | 27k|-5.925000e+01 |-5.200000e+01 | 12.24%
1257.13/1257.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.13/1257.14 c 1257s| 1910k|179417 | 32277k| 16.9 | 222M| 72 | 80 | 200 |1241 | 200 | 265 | 21M| 0 | 27k|-5.925000e+01 |-5.200000e+01 | 12.24%
1262.62/1262.66 c 1263s| 1920k|179715 | 32409k| 16.9 | 223M| 72 | 56 | 200 |1241 | 200 | 247 | 21M| 0 | 27k|-5.925000e+01 |-5.200000e+01 | 12.24%
1268.23/1268.22 c 1268s| 1930k|180077 | 32541k| 16.9 | 223M| 72 | 64 | 200 |1241 | 200 | 273 | 21M| 0 | 27k|-5.925000e+01 |-5.200000e+01 | 12.24%
1273.73/1273.79 c 1274s| 1940k|180437 | 32674k| 16.8 | 224M| 72 | 33 | 200 |1241 | 200 | 242 | 22M| 0 | 27k|-5.920000e+01 |-5.200000e+01 | 12.16%
1279.34/1279.37 c 1279s| 1950k|180807 | 32808k| 16.8 | 225M| 72 | - | 200 |1241 | 200 | 257 | 22M| 0 | 27k|-5.918182e+01 |-5.200000e+01 | 12.14%
1284.92/1284.95 c 1285s| 1960k|181209 | 32944k| 16.8 | 225M| 72 | 42 | 200 |1241 | 200 | 261 | 22M| 0 | 27k|-5.916667e+01 |-5.200000e+01 | 12.11%
1290.42/1290.47 c 1290s| 1970k|181595 | 33076k| 16.8 | 226M| 72 | 65 | 200 |1241 | 200 | 272 | 22M| 0 | 27k|-5.916667e+01 |-5.200000e+01 | 12.11%
1296.02/1296.09 c 1296s| 1980k|182029 | 33211k| 16.8 | 226M| 72 | - | 200 |1241 | 200 | 281 | 22M| 0 | 27k|-5.912500e+01 |-5.200000e+01 | 12.05%
1301.62/1301.60 c 1302s| 1990k|182407 | 33345k| 16.8 | 227M| 72 | - | 200 |1241 | 200 | 286 | 22M| 0 | 27k|-5.911111e+01 |-5.200000e+01 | 12.03%
1307.12/1307.12 c 1307s| 2000k|182727 | 33478k| 16.7 | 228M| 72 | 32 | 200 |1241 | 200 | 242 | 22M| 0 | 27k|-5.906250e+01 |-5.200000e+01 | 11.96%
1312.73/1312.72 c 1313s| 2010k|183107 | 33611k| 16.7 | 228M| 72 | 76 | 200 |1241 | 200 | 280 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1318.32/1318.32 c 1318s| 2020k|183421 | 33747k| 16.7 | 229M| 72 | - | 200 |1241 | 200 | 230 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1323.72/1323.78 c 1324s| 2030k|183671 | 33877k| 16.7 | 229M| 72 | 11 | 200 |1241 | 200 | 236 | 22M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1329.32/1329.34 c 1329s| 2040k|184021 | 34010k| 16.7 | 230M| 72 | 64 | 200 |1241 | 200 | 268 | 23M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1334.92/1334.90 c 1335s| 2050k|184391 | 34145k| 16.7 | 230M| 72 | 5 | 200 |1241 | 200 | 250 | 23M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1340.52/1340.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.52/1340.55 c 1341s| 2060k|184781 | 34281k| 16.6 | 231M| 72 | - | 200 |1241 | 200 | 293 | 23M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1345.92/1345.97 c 1346s| 2070k|185035 | 34413k| 16.6 | 231M| 72 | 55 | 200 |1241 | 200 | 242 | 23M| 0 | 27k|-5.900000e+01 |-5.200000e+01 | 11.86%
1351.62/1351.60 c 1352s| 2080k|185343 | 34549k| 16.6 | 232M| 72 | 75 | 200 |1241 | 200 | 274 | 23M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1357.03/1357.03 c 1357s| 2090k|185609 | 34677k| 16.6 | 232M| 72 | 14 | 200 |1241 | 200 | 241 | 23M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1362.52/1362.52 c 1363s| 2100k|185919 | 34809k| 16.6 | 233M| 72 | - | 200 |1241 | 200 | 256 | 23M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1368.02/1368.03 c 1368s| 2110k|186361 | 34943k| 16.6 | 233M| 72 | - | 200 |1241 | 200 | 281 | 23M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1373.52/1373.56 c 1374s| 2120k|186683 | 35076k| 16.5 | 234M| 72 | 36 | 200 |1241 | 200 | 254 | 23M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1379.02/1379.00 c 1379s| 2130k|187013 | 35208k| 16.5 | 235M| 72 | - | 200 |1241 | 200 | 277 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1384.52/1384.52 c 1385s| 2140k|187427 | 35341k| 16.5 | 235M| 72 | 34 | 200 |1241 | 200 | 251 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1390.02/1390.03 c 1390s| 2150k|187793 | 35473k| 16.5 | 236M| 72 | - | 200 |1241 | 200 | 285 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1395.52/1395.55 c 1396s| 2160k|188247 | 35606k| 16.5 | 236M| 72 | 25 | 200 |1241 | 200 | 239 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1400.93/1400.98 c 1401s| 2170k|188545 | 35736k| 16.5 | 237M| 72 | - | 200 |1241 | 200 | 267 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1406.52/1406.51 c 1407s| 2180k|188837 | 35869k| 16.5 | 237M| 72 | - | 200 |1241 | 200 | 298 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1412.13/1412.12 c 1412s| 2190k|189251 | 36006k| 16.4 | 238M| 72 | - | 200 |1241 | 200 | 280 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1417.52/1417.53 c 1418s| 2200k|189633 | 36135k| 16.4 | 239M| 72 | 85 | 200 |1241 | 200 | 299 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1423.02/1423.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.02/1423.00 c 1423s| 2210k|189993 | 36265k| 16.4 | 239M| 72 | - | 200 |1241 | 200 | 238 | 24M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1428.32/1428.36 c 1428s| 2220k|190437 | 36394k| 16.4 | 240M| 72 | 20 | 200 |1241 | 200 | 250 | 25M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1433.93/1433.91 c 1434s| 2230k|190861 | 36528k| 16.4 | 240M| 72 | 46 | 200 |1241 | 200 | 266 | 25M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1439.32/1439.32 c 1439s| 2240k|191185 | 36657k| 16.4 | 241M| 72 | - | 200 |1241 | 200 | 287 | 25M| 0 | 28k|-5.900000e+01 |-5.200000e+01 | 11.86%
1444.63/1444.65 c 1445s| 2250k|191465 | 36785k| 16.3 | 241M| 72 | 47 | 200 |1241 | 200 | 265 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1450.03/1450.03 c 1450s| 2260k|191765 | 36913k| 16.3 | 242M| 72 | - | 200 |1241 | 200 | 244 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1455.43/1455.42 c 1455s| 2270k|192069 | 37041k| 16.3 | 242M| 72 | 98 | 200 |1241 | 200 | 306 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1460.73/1460.78 c 1461s| 2280k|192259 | 37167k| 16.3 | 243M| 72 | - | 200 |1241 | 200 | 291 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1466.13/1466.17 c 1466s| 2290k|192549 | 37296k| 16.3 | 243M| 72 | - | 200 |1241 | 200 | 242 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1471.62/1471.60 c 1472s| 2300k|192857 | 37426k| 16.3 | 244M| 72 | - | 200 |1241 | 200 | 241 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1477.02/1477.07 c 1477s| 2310k|193273 | 37560k| 16.3 | 244M| 72 | 30 | 200 |1241 | 200 | 238 | 25M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1482.63/1482.63 c 1483s| 2320k|193739 | 37693k| 16.2 | 245M| 72 | 49 | 200 |1241 | 200 | 250 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1488.13/1488.11 c 1488s| 2330k|194175 | 37825k| 16.2 | 246M| 72 | - | 200 |1241 | 200 | 289 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1493.53/1493.50 c 1493s| 2340k|194507 | 37953k| 16.2 | 246M| 72 | 18 | 200 |1241 | 200 | 235 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1498.92/1498.93 c 1499s| 2350k|194837 | 38082k| 16.2 | 247M| 72 | 37 | 200 |1241 | 200 | 237 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1504.43/1504.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1504.43/1504.44 c 1504s| 2360k|195251 | 38214k| 16.2 | 247M| 72 | 77 | 200 |1241 | 200 | 223 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1509.92/1509.95 c 1510s| 2370k|195603 | 38346k| 16.2 | 248M| 72 | 21 | 200 |1241 | 200 | 225 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1515.43/1515.46 c 1515s| 2380k|195925 | 38476k| 16.2 | 248M| 72 | 13 | 200 |1241 | 200 | 253 | 26M| 0 | 29k|-5.900000e+01 |-5.200000e+01 | 11.86%
1520.83/1520.86 c 1521s| 2390k|196171 | 38603k| 16.1 | 249M| 72 | 19 | 200 |1241 | 200 | 255 | 26M| 0 | 29k|-5.892308e+01 |-5.200000e+01 | 11.75%
1526.23/1526.20 c 1526s| 2400k|196447 | 38729k| 16.1 | 249M| 72 | - | 200 |1241 | 200 | 275 | 26M| 0 | 29k|-5.888889e+01 |-5.200000e+01 | 11.70%
1531.63/1531.62 c 1532s| 2410k|196805 | 38856k| 16.1 | 250M| 72 | 101 | 200 |1241 | 200 | 285 | 26M| 0 | 29k|-5.887500e+01 |-5.200000e+01 | 11.68%
1537.03/1537.06 c 1537s| 2420k|197121 | 38985k| 16.1 | 250M| 72 | - | 200 |1241 | 200 | 252 | 27M| 0 | 29k|-5.885714e+01 |-5.200000e+01 | 11.65%
1542.53/1542.51 c 1543s| 2430k|197447 | 39115k| 16.1 | 251M| 72 | - | 200 |1241 | 200 | 280 | 27M| 0 | 29k|-5.883333e+01 |-5.200000e+01 | 11.61%
1547.93/1547.95 c 1548s| 2440k|197673 | 39244k| 16.1 | 251M| 72 | 33 | 200 |1241 | 200 | 274 | 27M| 0 | 30k|-5.883333e+01 |-5.200000e+01 | 11.61%
1553.33/1553.31 c 1553s| 2450k|198031 | 39371k| 16.1 | 252M| 72 | - | 200 |1241 | 200 | 274 | 27M| 0 | 30k|-5.881818e+01 |-5.200000e+01 | 11.59%
1558.63/1558.64 c 1559s| 2460k|198269 | 39497k| 16.1 | 252M| 72 | 58 | 200 |1241 | 200 | 226 | 27M| 0 | 30k|-5.880000e+01 |-5.200000e+01 | 11.56%
1564.03/1564.07 c 1564s| 2470k|198565 | 39626k| 16.0 | 253M| 72 | - | 200 |1241 | 200 | 264 | 27M| 0 | 30k|-5.880000e+01 |-5.200000e+01 | 11.56%
1569.53/1569.53 c 1570s| 2480k|198769 | 39755k| 16.0 | 253M| 72 | - | 200 |1241 | 200 | 288 | 27M| 0 | 30k|-5.877778e+01 |-5.200000e+01 | 11.53%
1574.93/1574.91 c 1575s| 2490k|199051 | 39883k| 16.0 | 253M| 72 | - | 200 |1241 | 200 | 284 | 27M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1580.23/1580.22 c 1580s| 2500k|199387 | 40008k| 16.0 | 254M| 72 | - | 200 |1241 | 200 | 280 | 27M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1585.63/1585.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.63/1585.62 c 1586s| 2510k|199763 | 40136k| 16.0 | 255M| 76 | - | 200 |1241 | 200 | 255 | 28M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1591.03/1591.03 c 1591s| 2520k|200145 | 40265k| 16.0 | 255M| 76 | 21 | 200 |1241 | 200 | 231 | 28M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1596.33/1596.39 c 1596s| 2530k|200543 | 40391k| 16.0 | 256M| 76 | - | 200 |1241 | 200 | 261 | 28M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1601.64/1601.66 c 1602s| 2540k|200763 | 40514k| 15.9 | 256M| 76 | 10 | 200 |1241 | 200 | 280 | 28M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1606.92/1607.00 c 1607s| 2550k|201101 | 40640k| 15.9 | 257M| 76 | 16 | 200 |1241 | 200 | 256 | 28M| 0 | 30k|-5.875000e+01 |-5.200000e+01 | 11.49%
1612.33/1612.35 c 1612s| 2560k|201439 | 40767k| 15.9 | 257M| 76 | 49 | 200 |1241 | 200 | 235 | 28M| 0 | 30k|-5.871429e+01 |-5.200000e+01 | 11.44%
1617.63/1617.65 c 1618s| 2570k|201657 | 40889k| 15.9 | 258M| 76 | - | 200 |1241 | 200 | 288 | 28M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1622.93/1622.91 c 1623s| 2580k|201877 | 41011k| 15.9 | 258M| 76 | - | 200 |1241 | 200 | 246 | 28M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1628.33/1628.30 c 1628s| 2590k|202149 | 41140k| 15.9 | 258M| 76 | 12 | 200 |1241 | 200 | 238 | 28M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1633.63/1633.64 c 1634s| 2600k|202431 | 41266k| 15.9 | 259M| 76 | 27 | 200 |1241 | 200 | 231 | 28M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1638.94/1638.94 c 1639s| 2610k|202705 | 41391k| 15.9 | 259M| 76 | 99 | 200 |1241 | 200 | 300 | 29M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1644.33/1644.30 c 1644s| 2620k|203005 | 41519k| 15.8 | 260M| 76 | - | 200 |1241 | 200 | 274 | 29M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1649.63/1649.69 c 1650s| 2630k|203279 | 41646k| 15.8 | 260M| 76 | - | 200 |1241 | 200 | 296 | 29M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1654.93/1654.99 c 1655s| 2640k|203509 | 41771k| 15.8 | 261M| 76 | 60 | 200 |1241 | 200 | 256 | 29M| 0 | 30k|-5.866667e+01 |-5.200000e+01 | 11.36%
1660.33/1660.39 c 1660s| 2650k|203783 | 41899k| 15.8 | 261M| 76 | 76 | 200 |1241 | 200 | 265 | 29M| 0 | 31k|-5.866667e+01 |-5.200000e+01 | 11.36%
1665.63/1665.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.63/1665.65 c 1666s| 2660k|204055 | 42024k| 15.8 | 261M| 76 | - | 200 |1241 | 200 | 260 | 29M| 0 | 31k|-5.866667e+01 |-5.200000e+01 | 11.36%
1670.95/1670.92 c 1671s| 2670k|204287 | 42148k| 15.8 | 262M| 76 | - | 200 |1241 | 200 | 283 | 29M| 0 | 31k|-5.863636e+01 |-5.200000e+01 | 11.32%
1676.23/1676.22 c 1676s| 2680k|204685 | 42271k| 15.8 | 262M| 76 | 50 | 200 |1241 | 200 | 258 | 29M| 0 | 31k|-5.861111e+01 |-5.200000e+01 | 11.28%
1681.53/1681.56 c 1682s| 2690k|204977 | 42397k| 15.8 | 263M| 76 | 57 | 200 |1241 | 200 | 265 | 29M| 0 | 31k|-5.860000e+01 |-5.200000e+01 | 11.26%
1686.83/1686.81 c 1687s| 2700k|205219 | 42519k| 15.7 | 263M| 76 | 24 | 200 |1241 | 200 | 244 | 29M| 0 | 31k|-5.860000e+01 |-5.200000e+01 | 11.26%
1692.13/1692.19 c 1692s| 2710k|205489 | 42644k| 15.7 | 264M| 76 | 71 | 200 |1241 | 200 | 245 | 30M| 0 | 31k|-5.857143e+01 |-5.200000e+01 | 11.22%
1697.35/1697.33 c 1697s| 2720k|205747 | 42761k| 15.7 | 264M| 76 | 92 | 200 |1241 | 200 | 271 | 30M| 0 | 31k|-5.853125e+01 |-5.200000e+01 | 11.16%
1702.64/1702.64 c 1703s| 2730k|206043 | 42887k| 15.7 | 265M| 76 | - | 200 |1241 | 200 | 281 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1707.93/1707.95 c 1708s| 2740k|206337 | 43012k| 15.7 | 265M| 76 | 54 | 200 |1241 | 200 | 248 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1713.13/1713.15 c 1713s| 2750k|206535 | 43133k| 15.7 | 265M| 76 | 18 | 200 |1241 | 200 | 244 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1718.44/1718.44 c 1718s| 2760k|206743 | 43257k| 15.7 | 266M| 76 | - | 200 |1241 | 200 | 278 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1723.64/1723.70 c 1724s| 2770k|206947 | 43381k| 15.7 | 266M| 76 | 35 | 200 |1241 | 200 | 251 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1729.03/1729.03 c 1729s| 2780k|207105 | 43506k| 15.6 | 267M| 76 | - | 200 |1241 | 200 | 301 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1734.33/1734.32 c 1734s| 2790k|207387 | 43631k| 15.6 | 267M| 76 | 17 | 200 |1241 | 200 | 234 | 30M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1739.63/1739.61 c 1740s| 2800k|207675 | 43755k| 15.6 | 267M| 76 | 84 | 200 |1241 | 200 | 269 | 31M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1744.93/1744.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.93/1744.96 c 1745s| 2810k|207967 | 43879k| 15.6 | 268M| 76 | 27 | 200 |1241 | 200 | 248 | 31M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1750.23/1750.20 c 1750s| 2820k|208365 | 44004k| 15.6 | 269M| 76 | 12 | 200 |1241 | 200 | 245 | 31M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1755.44/1755.47 c 1755s| 2830k|208643 | 44127k| 15.6 | 269M| 76 | 52 | 200 |1241 | 200 | 252 | 31M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1760.63/1760.65 c 1761s| 2840k|208881 | 44248k| 15.6 | 269M| 76 | 40 | 200 |1241 | 200 | 249 | 31M| 0 | 31k|-5.850000e+01 |-5.200000e+01 | 11.11%
1765.93/1765.90 c 1766s| 2850k|209159 | 44372k| 15.6 | 270M| 76 | - | 200 |1241 | 200 | 275 | 31M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1771.13/1771.14 c 1771s| 2860k|209449 | 44494k| 15.6 | 270M| 76 | - | 200 |1241 | 200 | 297 | 31M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1776.44/1776.42 c 1776s| 2870k|209697 | 44618k| 15.5 | 271M| 76 | 43 | 200 |1241 | 200 | 252 | 31M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1781.84/1781.80 c 1782s| 2880k|209951 | 44744k| 15.5 | 271M| 76 | 83 | 200 |1241 | 200 | 304 | 31M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1787.13/1787.14 c 1787s| 2890k|210271 | 44869k| 15.5 | 272M| 76 | 12 | 200 |1241 | 200 | 250 | 31M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1792.34/1792.33 c 1792s| 2900k|210475 | 44990k| 15.5 | 272M| 76 | - | 200 |1241 | 200 | 297 | 32M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1797.45/1797.48 c 1797s| 2910k|210657 | 45107k| 15.5 | 272M| 76 | 12 | 200 |1241 | 200 | 248 | 32M| 0 | 32k|-5.850000e+01 |-5.200000e+01 | 11.11%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 2914795
1800.03/1800.00 c Primal Bound : -5.20000000000000e+01 (674 solutions)
1800.03/1800.00 c Dual Bound : -5.85000000000000e+01
1800.03/1800.00 c Gap : 11.11 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.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
1800.03/1800.00 v -x177 -x176 x175 x174 x173 x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156
1800.03/1800.00 v -x155 -x154 -x153 -x152 x151 -x150 x149 x148 -x147 -x146 -x145 x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 -x135 -x134
1800.03/1800.00 v x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 x125 -x124 x123 x122 x121 -x120 -x119 x118 -x117 x116 -x115 -x114 -x113 -x112
1800.03/1800.00 v -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1800.03/1800.00 v -x88 -x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 x76 -x75 -x74 x73 -x72 -x71 -x70 x69 x68 x67 -x66 x65 -x64 x63 x62 x61
1800.03/1800.00 v -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.03/1800.00 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 -x10
1800.03/1800.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.04 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3450684-1307106982.opb
1800.03/1800.00 c Variables : 1441 (1441 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 1641 initial, 1641 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3450684-1307106982.opb
1800.03/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 1241 initial, 1241 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 1241 0 0 1241 0 200 0 0 0
1800.03/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 2657423 0 853686 0 199 1391 0 0 3302392
1800.03/1800.00 c logicor : 1241 37 2975838 1005435 0 853682 0 27 13075313 32163834 0 0
1800.03/1800.00 c countsols : 0 0 0 7 0 669 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 42.09 0.00 0.00 41.91 0.00 0.18 0.00
1800.03/1800.00 c logicor : 81.39 0.00 31.95 40.71 0.00 8.72 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 9 0 0 0
1800.03/1800.00 c pseudoobj : 4956951 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.86 0.86 0.00
1800.03/1800.00 c rootredcost : 0.98 0.98 0.00
1800.03/1800.00 c pseudoobj : 23.51 23.51 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.00 27 0 0 0.0 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 0 0.0 - - -
1800.03/1800.00 c applied locally : - - - 0 0.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.02 36 - - 99 - (maximal pool size: 1961)
1800.03/1800.00 c redcost : 12.31 2886936 0 464436 0 0
1800.03/1800.00 c impliedbounds : 0.00 37 0 0 770 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.65 37 0 0 10684 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.25 20 0 0 8076 0
1800.03/1800.00 c cmir : 0.03 10 0 0 0 0
1800.03/1800.00 c flowcover : 0.03 10 0 0 0 0
1800.03/1800.00 c clique : 0.04 37 0 0 238 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 40.75 1651988 199 1391 0 0 3302392
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.40 - 7
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c feaspump : 0.07 0 0
1800.03/1800.00 c oneopt : 0.67 11 1
1800.03/1800.00 c crossover : 1.31 5 2
1800.03/1800.00 c linesearchdiving : 2.88 2961 22
1800.03/1800.00 c guideddiving : 2.97 2961 22
1800.03/1800.00 c veclendiving : 2.84 2961 57
1800.03/1800.00 c objpscostdiving : 1.44 1481 21
1800.03/1800.00 c rootsoldiving : 1.56 1481 3
1800.03/1800.00 c pscostdiving : 2.75 2962 50
1800.03/1800.00 c fracdiving : 3.03 2962 16
1800.03/1800.00 c coefdiving : 2.76 2962 30
1800.03/1800.00 c trivial : 0.00 2 1
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 18.70 1661390 440
1800.03/1800.00 c zirounding : 0.56 1000 0
1800.03/1800.00 c rounding : 6.18 62583 1
1800.03/1800.00 c shifting : 1.89 19284 1
1800.03/1800.00 c intshifting : 0.04 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.01 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.01 1 0
1800.03/1800.00 c subnlp : 0.44 0 0
1800.03/1800.00 c trysol : 0.69 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 40.85 0 0 0.00 0.00
1800.03/1800.00 c dual LP : 1220.16 3936632 44825077 11.39 36737.14
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 13.59 58923 341858 5.80 25148.06
1800.03/1800.00 c strong branching : 18.54 32295 432217 13.38 23311.93
1800.03/1800.00 c (at root node) : - 20 8653 432.65 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2914795
1800.03/1800.00 c nodes (total) : 2914795
1800.03/1800.00 c nodes left : 210770
1800.03/1800.00 c max depth : 76
1800.03/1800.00 c max depth (total): 76
1800.03/1800.00 c backtracks : 433152 (14.9%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 5.16
1800.03/1800.00 c switching time : 115.67
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 674 (13 improvements)
1800.03/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1494487 nodes, 1021.65 seconds, depth 40, found by <relaxation>)
1800.03/1800.00 c Dual Bound : -5.85000000000000e+01
1800.03/1800.00 c Gap : 11.11 %
1800.03/1800.00 c Root Dual Bound : -6.96664724704938e+01
1800.03/1800.00 c Root Iterations : 5664
OK -52
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3450684-1307106982/watcher-3450684-1307106982 -o /tmp/evaluation-result-3450684-1307106982/solver-3450684-1307106982 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450684-1307106982.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.03 2.00 2/505 3561 /proc/meminfo: memFree=30205692/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=13028 CPUtime=0 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 2253 0 0 0 0 0 0 0 25 0 1 0 822300780 13340672 2207 33554432000 4194304 9163163 140736837861456 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3561/statm: 3257 2207 415 1214 0 2039 0 [startup+0.071213 s] /proc/loadavg: 2.01 2.03 2.00 2/505 3561 /proc/meminfo: memFree=30205692/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=25812 CPUtime=0.06 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 5589 0 0 0 6 0 0 0 18 0 1 0 822300780 26431488 5264 33554432000 4194304 9163163 140736837861456 18446744073709551615 4816672 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 6453 5264 655 1214 0 5235 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 25812 [startup+0.101218 s] /proc/loadavg: 2.01 2.03 2.00 2/505 3561 /proc/meminfo: memFree=30205692/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=26708 CPUtime=0.09 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 8128 0 0 0 8 1 0 0 18 0 1 0 822300780 27348992 5627 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 6677 5627 694 1214 0 5459 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26708 [startup+0.30117 s] /proc/loadavg: 2.01 2.03 2.00 2/505 3561 /proc/meminfo: memFree=30205692/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=36596 CPUtime=0.29 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 10611 0 0 0 28 1 0 0 18 0 1 0 822300780 37474304 8102 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 9149 8102 693 1214 0 7931 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36596 [startup+0.70114 s] /proc/loadavg: 2.01 2.03 2.00 2/505 3561 /proc/meminfo: memFree=30205692/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=41856 CPUtime=0.69 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 11896 0 0 0 67 2 0 0 18 0 1 0 822300780 42860544 9385 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 10464 9385 693 1214 0 9246 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41856 [startup+1.50099 s] /proc/loadavg: 2.00 2.03 2.00 3/506 3562 /proc/meminfo: memFree=30165880/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=48532 CPUtime=1.49 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 13479 0 0 0 147 2 0 0 19 0 1 0 822300780 49696768 10968 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 12133 10968 693 1214 0 10915 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 48532 [startup+3.1007 s] /proc/loadavg: 2.00 2.03 2.00 3/506 3562 /proc/meminfo: memFree=30161416/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=48064 CPUtime=3.09 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 15177 0 0 0 303 6 0 0 25 0 1 0 822300780 49217536 11000 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 12016 11000 716 1214 0 10798 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 48064 [startup+6.30111 s] /proc/loadavg: 2.00 2.03 2.00 3/506 3562 /proc/meminfo: memFree=30160020/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=49560 CPUtime=6.29 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 21822 0 0 0 613 16 0 0 25 0 1 0 822300780 50749440 11362 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 12390 11362 724 1214 0 11172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49560 [startup+12.701 s] /proc/loadavg: 2.00 2.03 2.00 3/506 3563 /proc/meminfo: memFree=30155112/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=53324 CPUtime=12.69 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 25557 0 0 0 1236 33 0 0 25 0 1 0 822300780 54603776 12306 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 13331 12306 724 1214 0 12113 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53324 [startup+25.5008 s] /proc/loadavg: 2.00 2.03 2.00 3/506 3563 /proc/meminfo: memFree=30143708/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=61168 CPUtime=25.49 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 36469 0 0 0 2477 72 0 0 25 0 1 0 822300780 62636032 14305 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 15292 14305 724 1214 0 14074 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 61168 [startup+51.1002 s] /proc/loadavg: 2.00 2.02 2.00 3/506 3564 /proc/meminfo: memFree=30124456/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=75736 CPUtime=51.09 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 53527 0 0 0 4956 153 0 0 25 0 1 0 822300780 77553664 17924 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 18934 17924 731 1214 0 17716 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 75736 [startup+102.319 s] /proc/loadavg: 2.00 2.02 2.00 3/506 3565 /proc/meminfo: memFree=30079104/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=105284 CPUtime=102.31 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 76269 0 0 0 9924 307 0 0 25 0 1 0 822300780 107810816 25421 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 26321 25421 731 1214 0 25103 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 105284 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/506 3567 /proc/meminfo: memFree=30037400/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=136820 CPUtime=162.29 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 87272 0 0 0 15739 490 0 0 25 0 1 0 822300780 140103680 32927 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 34205 32927 734 1214 0 32987 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 136820 [startup+222.301 s] /proc/loadavg: 2.00 2.01 2.00 3/506 3568 /proc/meminfo: memFree=30006480/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=151500 CPUtime=222.29 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 105199 0 0 0 21559 670 0 0 25 0 1 0 822300780 155136000 36680 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 37875 36680 736 1214 0 36657 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 151500 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/506 3570 /proc/meminfo: memFree=29966152/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=177704 CPUtime=282.3 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 113604 0 0 0 27385 845 0 0 25 0 1 0 822300780 181968896 43300 33554432000 4194304 9163163 140736837861456 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 44426 43300 734 1214 0 43208 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 177704 [startup+342.301 s] /proc/loadavg: 2.06 2.02 2.00 3/506 3571 /proc/meminfo: memFree=29920720/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=203324 CPUtime=342.3 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 121844 0 0 0 33202 1028 0 0 25 0 1 0 822300780 208203776 49787 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 50831 49787 734 1214 0 49613 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 203324 [startup+402.3 s] /proc/loadavg: 2.22 2.07 2.02 3/506 3573 /proc/meminfo: memFree=29875656/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=230040 CPUtime=402.3 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 128614 0 0 0 39026 1204 0 0 25 0 1 0 822300780 235560960 56557 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 57510 56557 734 1214 0 56292 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 230040 [startup+462.301 s] /proc/loadavg: 2.08 2.05 2.01 3/506 3575 /proc/meminfo: memFree=29841988/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=250584 CPUtime=462.3 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 133814 0 0 0 44847 1383 0 0 25 0 1 0 822300780 256598016 61757 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 62646 61757 734 1214 0 61428 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 250584 [startup+522.301 s] /proc/loadavg: 2.03 2.04 2.01 3/506 3576 /proc/meminfo: memFree=29801292/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=272712 CPUtime=522.3 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 150720 0 0 0 50668 1562 0 0 25 0 1 0 822300780 279257088 66403 33554432000 4194304 9163163 140736837861456 18446744073709551615 7238312 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 68178 66403 734 1214 0 66960 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 272712 [startup+582.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 3578 /proc/meminfo: memFree=29787632/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=272712 CPUtime=582.31 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 155984 0 0 0 56491 1740 0 0 25 0 1 0 822300780 279257088 66404 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 68178 66404 734 1214 0 66960 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 272712 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.01 2.00 3/506 3584 /proc/meminfo: memFree=29676644/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=313608 CPUtime=822.31 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 169765 0 0 0 79788 2443 0 0 25 0 1 0 822300780 321134592 76666 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 78402 76666 734 1214 0 77184 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 313608 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/506 3586 /proc/meminfo: memFree=29646112/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=329968 CPUtime=882.31 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 173919 0 0 0 85616 2615 0 0 25 0 1 0 822300780 337887232 80819 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 82492 80819 734 1214 0 81274 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 329968 [startup+942.301 s] /proc/loadavg: 2.23 2.07 2.02 3/506 3587 /proc/meminfo: memFree=29625496/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=942.32 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 188744 0 0 0 91451 2781 0 0 25 0 1 0 822300780 340508672 81538 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81538 734 1214 0 81914 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 332528 [startup+1002.3 s] /proc/loadavg: 2.12 2.07 2.02 3/506 3589 /proc/meminfo: memFree=29605256/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1002.32 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 190506 0 0 0 97278 2954 0 0 25 0 1 0 822300780 340508672 81537 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81537 734 1214 0 81914 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 332528 [startup+1062.3 s] /proc/loadavg: 2.04 2.05 2.02 3/506 3591 /proc/meminfo: memFree=29587728/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1062.32 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 207399 0 0 0 103102 3130 0 0 25 0 1 0 822300780 340508672 81537 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81537 734 1214 0 81914 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 332528 [startup+1122.3 s] /proc/loadavg: 2.01 2.04 2.01 3/506 3592 /proc/meminfo: memFree=29571324/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1122.32 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 209166 0 0 0 108928 3304 0 0 25 0 1 0 822300780 340508672 81538 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81538 734 1214 0 81914 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 332528 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/506 3594 /proc/meminfo: memFree=29553180/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1182.32 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 210933 0 0 0 114767 3465 0 0 25 0 1 0 822300780 340508672 81537 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81537 734 1214 0 81914 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 332528 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 2/504 3596 /proc/meminfo: memFree=30069752/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1242.32 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 210936 0 0 0 120602 3630 0 0 25 0 1 0 822300780 340508672 81540 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81540 734 1214 0 81914 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 332528 [startup+1302.3 s] /proc/loadavg: 1.37 1.84 1.94 2/500 3618 /proc/meminfo: memFree=30087780/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1302.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 212697 0 0 0 126440 3793 0 0 25 0 1 0 822300780 340508672 81538 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81538 734 1214 0 81914 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 332528 [startup+1362.3 s] /proc/loadavg: 1.13 1.68 1.87 2/500 3620 /proc/meminfo: memFree=30086872/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1362.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 212697 0 0 0 132271 3962 0 0 25 0 1 0 822300780 340508672 81538 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81538 734 1214 0 81914 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 332528 [startup+1422.32 s] /proc/loadavg: 1.05 1.55 1.82 2/500 3621 /proc/meminfo: memFree=30088068/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=332528 CPUtime=1422.35 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 212699 0 0 0 138113 4122 0 0 25 0 1 0 822300780 340508672 81540 33554432000 4194304 9163163 140736837861456 18446744073709551615 4640498 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83132 81540 734 1214 0 81914 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 332528 [startup+1482.3 s] /proc/loadavg: 1.14 1.48 1.77 2/500 3623 /proc/meminfo: memFree=30086548/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=333552 CPUtime=1482.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 214708 0 0 0 143948 4285 0 0 25 0 1 0 822300780 341557248 81785 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83388 81785 734 1214 0 82170 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 333552 [startup+1542.3 s] /proc/loadavg: 1.11 1.41 1.73 2/500 3624 /proc/meminfo: memFree=30086864/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=333552 CPUtime=1542.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 214716 0 0 0 149785 4448 0 0 25 0 1 0 822300780 341557248 81793 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83388 81793 734 1214 0 82170 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 333552 [startup+1602.3 s] /proc/loadavg: 1.04 1.33 1.68 2/500 3626 /proc/meminfo: memFree=30086716/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=333552 CPUtime=1602.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 214716 0 0 0 155617 4616 0 0 25 0 1 0 822300780 341557248 81793 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83388 81793 734 1214 0 82170 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 333552 [startup+1662.3 s] /proc/loadavg: 1.01 1.27 1.63 2/500 3628 /proc/meminfo: memFree=30086912/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=334576 CPUtime=1662.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 214903 0 0 0 161455 4778 0 0 25 0 1 0 822300780 342605824 81980 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83644 81980 734 1214 0 82426 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 334576 [startup+1722.3 s] /proc/loadavg: 1.00 1.22 1.59 2/500 3629 /proc/meminfo: memFree=30085136/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=335984 CPUtime=1722.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 215250 0 0 0 167295 4938 0 0 25 0 1 0 822300780 344047616 82327 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 83996 82327 734 1214 0 82778 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 335984 [startup+1782.3 s] /proc/loadavg: 1.00 1.17 1.55 2/500 3631 /proc/meminfo: memFree=30080640/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=339184 CPUtime=1782.33 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 216051 0 0 0 173141 5092 0 0 25 0 1 0 822300780 347324416 83128 33554432000 4194304 9163163 140736837861456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/3561/statm: 84796 83128 734 1214 0 83578 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 339184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.17 1.54 2/500 3631 /proc/meminfo: memFree=30080868/32951124 swapFree=51712236/67111528 [pid=3561] ppid=3559 vsize=339724 CPUtime=1800.04 cores=0,2,4,6 /proc/3561/stat : 3561 (scip-2.0.1.4b.l) R 3559 3561 2157 0 -1 4202496 216201 0 0 0 174864 5140 0 0 25 0 1 0 822300780 347877376 83278 33554432000 4194304 9163163 140736837861456 18446744073709551615 4693093 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3561/statm: 84931 83278 734 1214 0 83713 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 339724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.08 CPU user time (s): 1748.66 CPU system time (s): 51.4212 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 339724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1748.66 system time used= 51.4212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 216203 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2352 runsolver used 9.52055 second user time and 19.98 second system time The end
Begin job on node103 at 2011-06-03 15:16:22 IDJOB=3450684 IDBENCH=48208 IDSOLVER=1948 FILE ID=node103/3450684-1307106982 RUNJOBID= node103-1307092333-2175 PBS_JOBID= 13497971 Free space on /tmp= 73868 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450684-1307106982/watcher-3450684-1307106982 -o /tmp/evaluation-result-3450684-1307106982/solver-3450684-1307106982 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450684-1307106982.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d RANDOM SEED=1137143528 node103.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.858 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.71 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.858 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.77 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.858 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.858 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.83 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.858 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: 30205972 kB Buffers: 282180 kB Cached: 444648 kB SwapCached: 23760 kB Active: 2074040 kB Inactive: 378172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30205972 kB SwapTotal: 67111528 kB SwapFree: 51712236 kB Dirty: 12072 kB Writeback: 0 kB AnonPages: 1722776 kB Mapped: 25544 kB Slab: 149156 kB PageTables: 73640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162257368 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= 73868 MiB End job on node103 at 2011-06-03 15:46:24