Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E_2 2011-06-10 (fixed) | SAT | -51 | 1798.25 | 1798.21 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_2.opb |
| MD5SUM | 5255c8da63867fe6fe080ca048384827 |
| 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 | 1797.65 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -48 |
| 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 | 19 |
| 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) | 2492 |
| Sum of products size (including duplicates) | 4984 |
| Number of different products | 1246 |
| Sum of products size | 2492 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3488581-1307783036.opb>
0.00/0.01 c original problem has 1446 variables (1446 bin, 0 int, 0 impl, 0 cont) and 1646 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 1246 del vars, 400 del conss, 0 add conss, 1246 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4984 impls, 0 clqs
0.00/0.04 c (round 2) 1246 del vars, 400 del conss, 0 add conss, 1246 chg bounds, 0 chg sides, 0 chg coeffs, 1246 upgd conss, 4984 impls, 0 clqs
0.00/0.05 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1246 deleted vars, 400 deleted constraints, 0 added constraints, 1246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7474 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1246 constraints
0.00/0.05 c 1246 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1797
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.1s| 1 | 0 | 216 | - |4583k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.00/0.06 o -1
0.00/0.06 c R 0.1s| 1 | 0 | 216 | - |4586k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.00/0.07 o -2
0.00/0.07 c s 0.1s| 1 | 0 | 216 | - |4588k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.11 o -35
0.09/0.11 c y 0.1s| 1 | 0 | 216 | - |4844k| 0 | 200 | 200 |1246 | 200 |1246 | 0 | 0 | 0 |-1.000000e+02 |-3.500000e+01 | 65.00%
0.09/0.12 c 0.1s| 1 | 0 | 283 | - |4597k| 0 | 191 | 200 |1246 | 200 |1255 | 9 | 0 | 0 |-9.550000e+01 |-3.500000e+01 | 63.35%
0.09/0.15 c 0.1s| 1 | 0 | 373 | - |4605k| 0 | 186 | 200 |1246 | 200 |1263 | 17 | 0 | 0 |-9.300000e+01 |-3.500000e+01 | 62.37%
0.09/0.18 c 0.2s| 1 | 0 | 481 | - |4610k| 0 | 181 | 200 |1246 | 200 |1271 | 25 | 0 | 0 |-9.050000e+01 |-3.500000e+01 | 61.33%
0.19/0.21 c 0.2s| 1 | 0 | 581 | - |4617k| 0 | 177 | 200 |1246 | 200 |1281 | 35 | 0 | 0 |-8.850000e+01 |-3.500000e+01 | 60.45%
0.19/0.28 c 0.3s| 1 | 0 | 1209 | - |4625k| 0 | 173 | 200 |1246 | 200 |1289 | 43 | 0 | 0 |-8.650000e+01 |-3.500000e+01 | 59.54%
0.29/0.33 c 0.3s| 1 | 0 | 1418 | - |4633k| 0 | 189 | 200 |1246 | 200 |1295 | 49 | 0 | 0 |-8.550000e+01 |-3.500000e+01 | 59.06%
0.39/0.42 c 0.4s| 1 | 0 | 1686 | - |4946k| 0 | 183 | 200 |1246 | 200 |1308 | 62 | 0 | 0 |-8.408333e+01 |-3.500000e+01 | 58.37%
0.49/0.50 c 0.5s| 1 | 0 | 1919 | - |5484k| 0 | 170 | 200 |1246 | 200 |1318 | 72 | 0 | 0 |-8.350000e+01 |-3.500000e+01 | 58.08%
0.59/0.61 c 0.6s| 1 | 0 | 2284 | - |5941k| 0 | 166 | 200 |1246 | 200 |1325 | 79 | 0 | 0 |-8.298551e+01 |-3.500000e+01 | 57.82%
0.69/0.73 c 0.7s| 1 | 0 | 2729 | - |6244k| 0 | 166 | 200 |1246 | 200 |1335 | 89 | 0 | 0 |-8.100000e+01 |-3.500000e+01 | 56.79%
0.79/0.81 c 0.8s| 1 | 0 | 2901 | - |6295k| 0 | 161 | 200 |1246 | 200 | 493 | 96 | 0 | 0 |-7.950000e+01 |-3.500000e+01 | 55.97%
0.79/0.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.84 c 0.8s| 1 | 0 | 3120 | - |6310k| 0 | 174 | 200 |1246 | 200 | 499 | 102 | 0 | 0 |-7.825000e+01 |-3.500000e+01 | 55.27%
0.79/0.87 c 0.9s| 1 | 0 | 3251 | - |6526k| 0 | 174 | 200 |1246 | 200 | 513 | 116 | 0 | 0 |-7.700000e+01 |-3.500000e+01 | 54.55%
0.89/0.91 c 0.9s| 1 | 0 | 3465 | - |6575k| 0 | 192 | 200 |1246 | 200 | 533 | 136 | 0 | 0 |-7.594600e+01 |-3.500000e+01 | 53.91%
0.89/1.00 c 1.0s| 1 | 0 | 3648 | - |7613k| 0 | 173 | 200 |1246 | 200 | 614 | 217 | 0 | 0 |-7.550000e+01 |-3.500000e+01 | 53.64%
1.00/1.05 c 1.0s| 1 | 0 | 3773 | - |8200k| 0 | 152 | 200 |1246 | 200 | 634 | 237 | 0 | 0 |-7.500000e+01 |-3.500000e+01 | 53.33%
1.10/1.11 c 1.1s| 1 | 0 | 4019 | - |8366k| 0 | 185 | 200 |1246 | 200 | 505 | 244 | 0 | 0 |-7.490179e+01 |-3.500000e+01 | 53.27%
1.10/1.17 c 1.2s| 1 | 0 | 4157 | - |8817k| 0 | 178 | 200 |1246 | 200 | 515 | 254 | 0 | 0 |-7.400000e+01 |-3.500000e+01 | 52.70%
1.19/1.26 c 1.3s| 1 | 0 | 4673 | - |9260k| 0 | 195 | 200 |1246 | 200 | 551 | 290 | 0 | 0 |-7.400000e+01 |-3.500000e+01 | 52.70%
1.29/1.35 c 1.4s| 1 | 0 | 4971 | - | 10M| 0 | 193 | 200 |1246 | 200 | 592 | 331 | 0 | 0 |-7.280435e+01 |-3.500000e+01 | 51.93%
1.39/1.41 c 1.4s| 1 | 0 | 5175 | - | 10M| 0 | 196 | 200 |1246 | 200 | 622 | 361 | 0 | 0 |-7.203333e+01 |-3.500000e+01 | 51.41%
1.39/1.45 c 1.5s| 1 | 0 | 5311 | - | 10M| 0 | 199 | 200 |1246 | 200 | 645 | 384 | 0 | 0 |-7.155285e+01 |-3.500000e+01 | 51.09%
1.49/1.53 c 1.5s| 1 | 0 | 5669 | - | 11M| 0 | 197 | 200 |1246 | 200 | 554 | 401 | 0 | 0 |-7.107744e+01 |-3.500000e+01 | 50.76%
1.49/1.57 c 1.6s| 1 | 0 | 5783 | - | 11M| 0 | 199 | 200 |1246 | 200 | 576 | 423 | 0 | 0 |-7.089843e+01 |-3.500000e+01 | 50.63%
1.59/1.62 c 1.6s| 1 | 0 | 5910 | - | 11M| 0 | 199 | 200 |1246 | 200 | 589 | 436 | 0 | 0 |-7.062011e+01 |-3.500000e+01 | 50.44%
1.59/1.66 c 1.7s| 1 | 0 | 6029 | - | 11M| 0 | 200 | 200 |1246 | 200 | 600 | 447 | 0 | 0 |-7.042019e+01 |-3.500000e+01 | 50.30%
1.69/1.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.72 c 1.7s| 1 | 0 | 6185 | - | 11M| 0 | 200 | 200 |1246 | 200 | 609 | 456 | 0 | 0 |-7.031860e+01 |-3.500000e+01 | 50.23%
1.69/1.76 c 1.8s| 1 | 0 | 6307 | - | 11M| 0 | 200 | 200 |1246 | 200 | 620 | 467 | 0 | 0 |-7.021799e+01 |-3.500000e+01 | 50.16%
1.79/1.81 c 1.8s| 1 | 0 | 6358 | - | 11M| 0 | 200 | 200 |1246 | 200 | 450 | 475 | 0 | 0 |-7.017781e+01 |-3.500000e+01 | 50.13%
1.79/1.84 c 1.8s| 1 | 0 | 6383 | - | 11M| 0 | 200 | 200 |1246 | 200 | 454 | 479 | 0 | 0 |-7.017250e+01 |-3.500000e+01 | 50.12%
1.79/1.87 c 1.9s| 1 | 0 | 6400 | - | 11M| 0 | 200 | 200 |1246 | 200 | 459 | 484 | 0 | 0 |-7.016964e+01 |-3.500000e+01 | 50.12%
2.29/2.39 c 2.4s| 1 | 2 | 6400 | - | 11M| 0 | 200 | 200 |1246 | 200 | 459 | 484 | 0 | 17 |-7.016964e+01 |-3.500000e+01 | 50.12%
3.79/3.84 o -39
3.79/3.84 c r 3.8s| 94 | 93 | 10059 | 39.3 | 12M| 17 | 12 | 200 |1246 | 200 | 250 |1195 | 0 |1305 |-6.967843e+01 |-3.900000e+01 | 44.03%
3.79/3.84 o -40
3.79/3.84 c R 3.8s| 94 | 93 | 10059 | 39.3 | 12M| 17 | 12 | 200 |1246 | 200 | 250 |1195 | 0 |1305 |-6.967843e+01 |-4.000000e+01 | 42.59%
4.19/4.25 o -45
4.19/4.25 c * 4.3s| 225 | 211 | 14314 | 35.3 | 12M| 19 | - | 200 |1246 | 200 | 272 |2661 | 0 |1527 |-6.950583e+01 |-4.500000e+01 | 35.26%
4.19/4.25 o -46
4.19/4.25 c * 4.3s| 228 | 207 | 14330 | 34.9 | 12M| 21 | - | 200 |1246 | 200 | 272 |2669 | 0 |1528 |-6.950583e+01 |-4.600000e+01 | 33.82%
23.49/23.50 c 23.5s| 10000 | 9685 |476081 | 47.0 | 25M| 37 | 49 | 200 |1246 | 200 | 228 | 199k| 0 |2528 |-6.733333e+01 |-4.600000e+01 | 31.68%
40.20/40.23 c 40.2s| 20000 | 19057 |891777 | 44.3 | 38M| 41 | 81 | 200 |1246 | 200 | 270 | 396k| 0 |3658 |-6.650000e+01 |-4.600000e+01 | 30.83%
54.90/54.97 c 55.0s| 30000 | 27867 | 1264k| 41.9 | 51M| 45 | 6 | 200 |1246 | 200 | 267 | 578k| 0 |4500 |-6.600000e+01 |-4.600000e+01 | 30.30%
69.20/69.25 c 69.2s| 40000 | 36669 | 1625k| 40.5 | 63M| 48 | 24 | 200 |1246 | 200 | 200 | 758k| 0 |5273 |-6.572222e+01 |-4.600000e+01 | 30.01%
82.69/82.76 c 82.8s| 50000 | 45049 | 1971k| 39.3 | 75M| 48 | 53 | 200 |1246 | 200 | 228 | 931k| 0 |5887 |-6.550000e+01 |-4.600000e+01 | 29.77%
93.59/93.66 o -47
93.59/93.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.59/93.66 c *93.7s| 58166 | 48401 | 2250k| 38.6 | 81M| 48 | - | 200 |1246 | 200 | 274 |1067k| 0 |6336 |-6.517857e+01 |-4.700000e+01 | 27.89%
96.00/96.00 c 96.0s| 60000 | 49763 | 2309k| 38.4 | 83M| 48 | 61 | 200 |1246 | 200 | 241 |1097k| 0 |6409 |-6.512500e+01 |-4.700000e+01 | 27.83%
102.30/102.36 o -48
102.30/102.36 c * 102s| 65052 | 49270 | 2472k| 37.9 | 84M| 48 | - | 200 |1246 | 200 | 270 |1180k| 0 |6674 |-6.500000e+01 |-4.800000e+01 | 26.15%
107.90/107.90 c 108s| 70000 | 52082 | 2613k| 37.2 | 89M| 54 | 92 | 200 |1246 | 200 | 245 |1255k| 0 |6895 |-6.500000e+01 |-4.800000e+01 | 26.15%
118.19/118.27 c 118s| 80000 | 57408 | 2879k| 35.9 | 97M| 55 | 17 | 200 |1246 | 200 | 200 |1403k| 0 |7323 |-6.475000e+01 |-4.800000e+01 | 25.87%
128.19/128.26 c 128s| 90000 | 62508 | 3135k| 34.8 | 105M| 55 | 18 | 200 |1246 | 200 | 228 |1547k| 0 |7670 |-6.450000e+01 |-4.800000e+01 | 25.58%
137.99/138.03 c 138s|100000 | 67352 | 3383k| 33.8 | 112M| 55 | 44 | 200 |1246 | 200 | 252 |1689k| 0 |8036 |-6.433333e+01 |-4.800000e+01 | 25.39%
147.50/147.54 c 148s|110000 | 72086 | 3624k| 32.9 | 120M| 55 | 78 | 200 |1246 | 200 | 265 |1825k| 0 |8394 |-6.420455e+01 |-4.800000e+01 | 25.24%
153.69/153.75 o -49
153.69/153.75 c * 154s|116618 | 65625 | 3779k| 32.4 | 114M| 55 | - | 200 |1246 | 200 | 271 |1913k| 0 |8620 |-6.407407e+01 |-4.900000e+01 | 23.53%
156.79/156.82 c 157s|120000 | 66869 | 3855k| 32.1 | 116M| 55 | 51 | 200 |1246 | 200 | 247 |1958k| 0 |8721 |-6.400000e+01 |-4.900000e+01 | 23.44%
165.70/165.77 c 166s|130000 | 70563 | 4083k| 31.4 | 122M| 55 | 38 | 200 |1246 | 200 | 236 |2094k| 0 |9007 |-6.400000e+01 |-4.900000e+01 | 23.44%
174.69/174.72 c 175s|140000 | 74203 | 4310k| 30.7 | 128M| 55 | 15 | 200 |1246 | 200 | 225 |2228k| 0 |9274 |-6.383333e+01 |-4.900000e+01 | 23.24%
183.60/183.63 c 184s|150000 | 77801 | 4534k| 30.2 | 134M| 55 | 48 | 200 |1246 | 200 | 220 |2359k| 0 |9589 |-6.370000e+01 |-4.900000e+01 | 23.08%
192.40/192.40 c 192s|160000 | 81511 | 4758k| 29.7 | 141M| 55 | 14 | 200 |1246 | 200 | 240 |2490k| 0 |9856 |-6.360000e+01 |-4.900000e+01 | 22.96%
201.00/201.06 c 201s|170000 | 85003 | 4973k| 29.2 | 147M| 55 | 83 | 200 |1246 | 200 | 258 |2618k| 0 | 10k|-6.350000e+01 |-4.900000e+01 | 22.83%
209.60/209.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.60/209.61 c 210s|180000 | 88435 | 5189k| 28.8 | 152M| 55 | 14 | 200 |1246 | 200 | 222 |2747k| 0 | 10k|-6.343750e+01 |-4.900000e+01 | 22.76%
217.99/218.00 c 218s|190000 | 91659 | 5399k| 28.4 | 158M| 55 | 69 | 200 |1246 | 200 | 260 |2870k| 0 | 10k|-6.333333e+01 |-4.900000e+01 | 22.63%
226.29/226.36 c 226s|200000 | 94657 | 5605k| 28.0 | 163M| 56 | - | 200 |1246 | 200 | 281 |2993k| 0 | 10k|-6.325000e+01 |-4.900000e+01 | 22.53%
234.70/234.79 c 235s|210000 | 98017 | 5813k| 27.7 | 169M| 56 | 48 | 200 |1246 | 200 | 248 |3114k| 0 | 11k|-6.314286e+01 |-4.900000e+01 | 22.40%
243.10/243.16 c 243s|220000 |101131 | 6019k| 27.3 | 174M| 56 | 60 | 200 |1246 | 200 | 241 |3235k| 0 | 11k|-6.300000e+01 |-4.900000e+01 | 22.22%
251.50/251.59 c 252s|230000 |104221 | 6230k| 27.1 | 180M| 56 | - | 200 |1246 | 200 | 269 |3361k| 0 | 11k|-6.300000e+01 |-4.900000e+01 | 22.22%
259.80/259.84 c 260s|240000 |107235 | 6436k| 26.8 | 185M| 56 | 49 | 200 |1246 | 200 | 224 |3483k| 0 | 11k|-6.300000e+01 |-4.900000e+01 | 22.22%
268.19/268.23 c 268s|250000 |110593 | 6645k| 26.6 | 190M| 56 | 15 | 200 |1246 | 200 | 220 |3604k| 0 | 11k|-6.291667e+01 |-4.900000e+01 | 22.12%
276.29/276.32 c 276s|260000 |113405 | 6845k| 26.3 | 195M| 56 | 14 | 200 |1246 | 200 | 256 |3723k| 0 | 12k|-6.280000e+01 |-4.900000e+01 | 21.97%
284.40/284.44 c 284s|270000 |116237 | 7046k| 26.1 | 200M| 56 | - | 200 |1246 | 200 | 247 |3844k| 0 | 12k|-6.275000e+01 |-4.900000e+01 | 21.91%
287.70/287.71 o -50
287.70/287.71 c * 288s|274037 | 96413 | 7124k| 26.0 | 173M| 56 | - | 200 |1246 | 200 | 267 |3889k| 0 | 12k|-6.275000e+01 |-5.000000e+01 | 20.32%
292.40/292.49 c 292s|280000 | 97676 | 7239k| 25.8 | 176M| 56 | 9 | 200 |1246 | 200 | 200 |3961k| 0 | 12k|-6.266667e+01 |-5.000000e+01 | 20.21%
300.39/300.43 c 300s|290000 |100146 | 7434k| 25.6 | 180M| 56 | - | 200 |1246 | 200 | 251 |4082k| 0 | 12k|-6.264706e+01 |-5.000000e+01 | 20.19%
308.30/308.33 c 308s|300000 |102292 | 7626k| 25.4 | 184M| 56 | - | 200 |1246 | 200 | 264 |4204k| 0 | 12k|-6.254545e+01 |-5.000000e+01 | 20.06%
315.90/315.90 c 316s|310000 |104384 | 7811k| 25.2 | 188M| 56 | 38 | 200 |1246 | 200 | 256 |4322k| 0 | 13k|-6.250000e+01 |-5.000000e+01 | 20.00%
323.70/323.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.70/323.72 c 324s|320000 |106670 | 8003k| 25.0 | 193M| 56 | 16 | 200 |1246 | 200 | 232 |4439k| 0 | 13k|-6.250000e+01 |-5.000000e+01 | 20.00%
331.60/331.66 c 332s|330000 |108840 | 8195k| 24.8 | 197M| 56 | 84 | 200 |1246 | 200 | 252 |4560k| 0 | 13k|-6.250000e+01 |-5.000000e+01 | 20.00%
339.49/339.59 c 340s|340000 |111006 | 8388k| 24.7 | 201M| 56 | 24 | 200 |1246 | 200 | 219 |4679k| 0 | 13k|-6.240000e+01 |-5.000000e+01 | 19.87%
347.20/347.26 c 347s|350000 |113084 | 8574k| 24.5 | 205M| 57 | - | 200 |1246 | 200 | 258 |4798k| 0 | 13k|-6.233333e+01 |-5.000000e+01 | 19.79%
354.90/354.94 c 355s|360000 |115204 | 8760k| 24.3 | 209M| 57 | - | 200 |1246 | 200 | 281 |4914k| 0 | 13k|-6.230000e+01 |-5.000000e+01 | 19.74%
362.70/362.70 c 363s|370000 |117262 | 8949k| 24.2 | 213M| 57 | 67 | 200 |1246 | 200 | 245 |5032k| 0 | 14k|-6.225000e+01 |-5.000000e+01 | 19.68%
370.30/370.37 c 370s|380000 |119270 | 9134k| 24.0 | 216M| 57 | - | 200 |1246 | 200 | 262 |5146k| 0 | 14k|-6.220000e+01 |-5.000000e+01 | 19.61%
377.90/377.96 c 378s|390000 |121378 | 9318k| 23.9 | 220M| 57 | - | 200 |1246 | 200 | 252 |5263k| 0 | 14k|-6.214286e+01 |-5.000000e+01 | 19.54%
385.50/385.51 c 386s|400000 |123226 | 9498k| 23.7 | 224M| 57 | 56 | 200 |1246 | 200 | 234 |5379k| 0 | 14k|-6.208333e+01 |-5.000000e+01 | 19.46%
393.10/393.13 c 393s|410000 |125194 | 9680k| 23.6 | 228M| 57 | 8 | 200 |1246 | 200 | 230 |5496k| 0 | 14k|-6.200000e+01 |-5.000000e+01 | 19.35%
400.50/400.56 c 401s|420000 |127130 | 9861k| 23.5 | 231M| 57 | 55 | 200 |1246 | 200 | 266 |5612k| 0 | 14k|-6.200000e+01 |-5.000000e+01 | 19.35%
408.00/408.07 c 408s|430000 |129046 | 10043k| 23.3 | 235M| 57 | 39 | 200 |1246 | 200 | 247 |5726k| 0 | 14k|-6.200000e+01 |-5.000000e+01 | 19.35%
415.71/415.77 c 416s|440000 |131256 | 10232k| 23.2 | 239M| 58 | 12 | 200 |1246 | 200 | 221 |5841k| 0 | 15k|-6.200000e+01 |-5.000000e+01 | 19.35%
423.41/423.43 c 423s|450000 |133256 | 10416k| 23.1 | 243M| 58 | - | 200 |1246 | 200 | 262 |5958k| 0 | 15k|-6.200000e+01 |-5.000000e+01 | 19.35%
431.00/431.00 c 431s|460000 |135132 | 10599k| 23.0 | 246M| 59 | - | 200 |1246 | 200 | 247 |6075k| 0 | 15k|-6.200000e+01 |-5.000000e+01 | 19.35%
438.70/438.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.70/438.73 c 439s|470000 |137236 | 10786k| 22.9 | 250M| 59 | - | 200 |1246 | 200 | 270 |6191k| 0 | 15k|-6.200000e+01 |-5.000000e+01 | 19.35%
446.10/446.19 c 446s|480000 |139160 | 10965k| 22.8 | 254M| 59 | 55 | 200 |1246 | 200 | 243 |6305k| 0 | 15k|-6.190000e+01 |-5.000000e+01 | 19.22%
453.50/453.54 c 454s|490000 |141018 | 11141k| 22.7 | 258M| 59 | 30 | 200 |1246 | 200 | 247 |6418k| 0 | 15k|-6.185714e+01 |-5.000000e+01 | 19.17%
461.00/461.08 c 461s|500000 |142974 | 11323k| 22.6 | 261M| 59 | 78 | 200 |1246 | 200 | 246 |6535k| 0 | 15k|-6.180000e+01 |-5.000000e+01 | 19.09%
468.40/468.47 c 468s|510000 |144856 | 11499k| 22.5 | 265M| 59 | 9 | 200 |1246 | 200 | 223 |6646k| 0 | 16k|-6.175000e+01 |-5.000000e+01 | 19.03%
475.80/475.81 c 476s|520000 |146622 | 11675k| 22.4 | 268M| 59 | 6 | 200 |1246 | 200 | 222 |6758k| 0 | 16k|-6.175000e+01 |-5.000000e+01 | 19.03%
483.30/483.34 c 483s|530000 |148564 | 11856k| 22.4 | 272M| 59 | - | 200 |1246 | 200 | 257 |6874k| 0 | 16k|-6.171429e+01 |-5.000000e+01 | 18.98%
490.81/490.80 c 491s|540000 |150610 | 12036k| 22.3 | 276M| 59 | - | 200 |1246 | 200 | 241 |6988k| 0 | 16k|-6.166667e+01 |-5.000000e+01 | 18.92%
498.21/498.23 c 498s|550000 |152418 | 12215k| 22.2 | 279M| 59 | - | 200 |1246 | 200 | 276 |7106k| 0 | 16k|-6.166667e+01 |-5.000000e+01 | 18.92%
505.51/505.59 c 506s|560000 |154224 | 12393k| 22.1 | 283M| 59 | - | 200 |1246 | 200 | 258 |7221k| 0 | 16k|-6.166667e+01 |-5.000000e+01 | 18.92%
512.91/512.94 c 513s|570000 |156074 | 12570k| 22.0 | 286M| 59 | 34 | 200 |1246 | 200 | 261 |7333k| 0 | 16k|-6.161111e+01 |-5.000000e+01 | 18.85%
520.31/520.33 c 520s|580000 |157946 | 12749k| 22.0 | 290M| 59 | - | 200 |1246 | 200 | 264 |7446k| 0 | 16k|-6.157143e+01 |-5.000000e+01 | 18.79%
527.80/527.81 c 528s|590000 |159836 | 12927k| 21.9 | 293M| 59 | 16 | 200 |1246 | 200 | 248 |7559k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
535.10/535.18 c 535s|600000 |161698 | 13107k| 21.8 | 297M| 59 | - | 200 |1246 | 200 | 252 |7673k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
542.50/542.59 c 543s|610000 |163534 | 13283k| 21.8 | 300M| 59 | 65 | 200 |1246 | 200 | 259 |7787k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
549.70/549.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.70/549.73 c 550s|620000 |165174 | 13454k| 21.7 | 304M| 59 | - | 200 |1246 | 200 | 266 |7898k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
556.91/556.95 c 557s|630000 |166910 | 13626k| 21.6 | 307M| 64 | 32 | 200 |1246 | 200 | 221 |8010k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
563.90/563.92 c 564s|640000 |168174 | 13791k| 21.5 | 310M| 64 | - | 200 |1246 | 200 | 275 |8120k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
570.81/570.83 c 571s|650000 |169648 | 13956k| 21.5 | 313M| 64 | 69 | 200 |1246 | 200 | 255 |8230k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
577.71/577.70 c 578s|660000 |171024 | 14120k| 21.4 | 315M| 64 | - | 200 |1246 | 200 | 261 |8342k| 0 | 17k|-6.150000e+01 |-5.000000e+01 | 18.70%
584.70/584.71 c 585s|670000 |172664 | 14287k| 21.3 | 318M| 64 | 57 | 200 |1246 | 200 | 241 |8450k| 0 | 17k|-6.145000e+01 |-5.000000e+01 | 18.63%
591.61/591.69 c 592s|680000 |174010 | 14453k| 21.2 | 321M| 64 | 6 | 200 |1246 | 200 | 245 |8560k| 0 | 18k|-6.140000e+01 |-5.000000e+01 | 18.57%
598.51/598.56 c 599s|690000 |175384 | 14614k| 21.2 | 324M| 64 | - | 200 |1246 | 200 | 248 |8665k| 0 | 18k|-6.138889e+01 |-5.000000e+01 | 18.55%
605.61/605.60 c 606s|700000 |176726 | 14781k| 21.1 | 327M| 64 | - | 200 |1246 | 200 | 269 |8774k| 0 | 18k|-6.133333e+01 |-5.000000e+01 | 18.48%
612.50/612.51 c 613s|710000 |178084 | 14943k| 21.0 | 330M| 64 | - | 200 |1246 | 200 | 282 |8882k| 0 | 18k|-6.133333e+01 |-5.000000e+01 | 18.48%
619.31/619.31 c 619s|720000 |179524 | 15104k| 21.0 | 332M| 64 | - | 200 |1246 | 200 | 257 |8990k| 0 | 18k|-6.133333e+01 |-5.000000e+01 | 18.48%
626.21/626.23 c 626s|730000 |180834 | 15268k| 20.9 | 335M| 64 | - | 200 |1246 | 200 | 291 |9100k| 0 | 18k|-6.133333e+01 |-5.000000e+01 | 18.48%
633.20/633.23 c 633s|740000 |182234 | 15433k| 20.8 | 338M| 64 | - | 200 |1246 | 200 | 261 |9208k| 0 | 18k|-6.127273e+01 |-5.000000e+01 | 18.40%
640.11/640.12 c 640s|750000 |183788 | 15596k| 20.8 | 341M| 64 | 25 | 200 |1246 | 200 | 268 |9313k| 0 | 18k|-6.125000e+01 |-5.000000e+01 | 18.37%
646.81/646.84 c 647s|760000 |184994 | 15753k| 20.7 | 343M| 64 | - | 200 |1246 | 200 | 243 |9419k| 0 | 18k|-6.125000e+01 |-5.000000e+01 | 18.37%
653.80/653.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.80/653.87 c 654s|770000 |186484 | 15921k| 20.7 | 346M| 64 | - | 200 |1246 | 200 | 262 |9529k| 0 | 18k|-6.122222e+01 |-5.000000e+01 | 18.33%
660.61/660.68 c 661s|780000 |187966 | 16083k| 20.6 | 349M| 64 | 42 | 200 |1246 | 200 | 229 |9634k| 0 | 19k|-6.120000e+01 |-5.000000e+01 | 18.30%
667.50/667.57 c 668s|790000 |189360 | 16247k| 20.6 | 352M| 64 | 19 | 200 |1246 | 200 | 226 |9742k| 0 | 19k|-6.116667e+01 |-5.000000e+01 | 18.26%
674.41/674.45 c 674s|800000 |190606 | 16408k| 20.5 | 355M| 64 | - | 200 |1246 | 200 | 274 |9851k| 0 | 19k|-6.113043e+01 |-5.000000e+01 | 18.21%
681.30/681.33 c 681s|810000 |191972 | 16572k| 20.5 | 357M| 64 | 50 | 200 |1246 | 200 | 246 |9960k| 0 | 19k|-6.109091e+01 |-5.000000e+01 | 18.15%
688.11/688.13 c 688s|820000 |193264 | 16733k| 20.4 | 360M| 64 | 9 | 200 |1246 | 200 | 238 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
695.01/695.03 c 695s|830000 |194670 | 16897k| 20.4 | 363M| 64 | 66 | 200 |1246 | 200 | 242 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
701.82/701.88 c 702s|840000 |195950 | 17059k| 20.3 | 366M| 64 | 12 | 200 |1246 | 200 | 248 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
708.61/708.66 c 709s|850000 |197358 | 17219k| 20.3 | 368M| 64 | - | 200 |1246 | 200 | 247 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
715.41/715.47 c 715s|860000 |198658 | 17382k| 20.2 | 371M| 64 | 37 | 200 |1246 | 200 | 226 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
722.31/722.31 c 722s|870000 |200072 | 17545k| 20.2 | 374M| 64 | 70 | 200 |1246 | 200 | 290 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
729.21/729.21 c 729s|880000 |201450 | 17709k| 20.1 | 377M| 64 | 98 | 200 |1246 | 200 | 259 | 10M| 0 | 19k|-6.100000e+01 |-5.000000e+01 | 18.03%
736.01/736.04 c 736s|890000 |202802 | 17869k| 20.1 | 379M| 64 | 28 | 200 |1246 | 200 | 200 | 10M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
742.81/742.88 c 743s|900000 |204256 | 18031k| 20.0 | 382M| 70 | 12 | 200 |1246 | 200 | 230 | 10M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
749.81/749.83 c 750s|910000 |205802 | 18196k| 20.0 | 385M| 70 | - | 200 |1246 | 200 | 253 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
756.61/756.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.61/756.70 c 757s|920000 |207210 | 18358k| 19.9 | 388M| 70 | 14 | 200 |1246 | 200 | 226 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
763.32/763.38 c 763s|930000 |208562 | 18515k| 19.9 | 391M| 70 | - | 200 |1246 | 200 | 271 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
770.11/770.10 c 770s|940000 |209790 | 18673k| 19.9 | 393M| 70 | 18 | 200 |1246 | 200 | 224 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
776.81/776.84 c 777s|950000 |211002 | 18832k| 19.8 | 396M| 70 | - | 200 |1246 | 200 | 246 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
783.60/783.67 c 784s|960000 |212274 | 18994k| 19.8 | 398M| 70 | 6 | 200 |1246 | 200 | 257 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
790.41/790.44 c 790s|970000 |213388 | 19153k| 19.7 | 401M| 70 | 78 | 200 |1246 | 200 | 271 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
797.31/797.31 c 797s|980000 |214786 | 19317k| 19.7 | 403M| 70 | - | 200 |1246 | 200 | 257 | 11M| 0 | 20k|-6.100000e+01 |-5.000000e+01 | 18.03%
804.11/804.11 c 804s|990000 |216082 | 19478k| 19.7 | 406M| 70 | - | 200 |1246 | 200 | 243 | 11M| 0 | 20k|-6.095000e+01 |-5.000000e+01 | 17.97%
810.81/810.86 c 811s| 1000k|217274 | 19635k| 19.6 | 408M| 70 | 33 | 200 |1246 | 200 | 223 | 11M| 0 | 21k|-6.090000e+01 |-5.000000e+01 | 17.90%
817.61/817.66 c 818s| 1010k|218542 | 19795k| 19.6 | 411M| 70 | 11 | 200 |1246 | 200 | 245 | 12M| 0 | 21k|-6.086486e+01 |-5.000000e+01 | 17.85%
824.41/824.42 c 824s| 1020k|219704 | 19954k| 19.6 | 413M| 70 | - | 200 |1246 | 200 | 263 | 12M| 0 | 21k|-6.083333e+01 |-5.000000e+01 | 17.81%
831.21/831.27 c 831s| 1030k|221040 | 20115k| 19.5 | 416M| 70 | - | 200 |1246 | 200 | 267 | 12M| 0 | 21k|-6.083333e+01 |-5.000000e+01 | 17.81%
838.01/838.06 c 838s| 1040k|222320 | 20275k| 19.5 | 419M| 70 | 11 | 200 |1246 | 200 | 225 | 12M| 0 | 21k|-6.080000e+01 |-5.000000e+01 | 17.76%
844.72/844.75 c 845s| 1050k|223650 | 20432k| 19.5 | 421M| 70 | 57 | 200 |1246 | 200 | 259 | 12M| 0 | 21k|-6.078571e+01 |-5.000000e+01 | 17.74%
851.42/851.42 c 851s| 1060k|224770 | 20588k| 19.4 | 424M| 70 | 75 | 200 |1246 | 200 | 249 | 12M| 0 | 21k|-6.075000e+01 |-5.000000e+01 | 17.70%
858.21/858.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.21/858.26 c 858s| 1070k|226318 | 20751k| 19.4 | 427M| 70 | 54 | 200 |1246 | 200 | 247 | 12M| 0 | 21k|-6.075000e+01 |-5.000000e+01 | 17.70%
864.81/864.84 c 865s| 1080k|227454 | 20904k| 19.4 | 429M| 70 | - | 200 |1246 | 200 | 260 | 12M| 0 | 21k|-6.075000e+01 |-5.000000e+01 | 17.70%
871.41/871.47 c 871s| 1090k|228764 | 21059k| 19.3 | 432M| 70 | 52 | 200 |1246 | 200 | 257 | 12M| 0 | 21k|-6.075000e+01 |-5.000000e+01 | 17.70%
878.11/878.13 c 878s| 1100k|229970 | 21213k| 19.3 | 434M| 70 | 77 | 200 |1246 | 200 | 246 | 13M| 0 | 21k|-6.071429e+01 |-5.000000e+01 | 17.65%
884.72/884.73 c 885s| 1110k|231214 | 21368k| 19.2 | 437M| 70 | 39 | 200 |1246 | 200 | 246 | 13M| 0 | 22k|-6.066667e+01 |-5.000000e+01 | 17.58%
891.51/891.51 c 892s| 1120k|232470 | 21529k| 19.2 | 439M| 70 | 28 | 200 |1246 | 200 | 226 | 13M| 0 | 22k|-6.066667e+01 |-5.000000e+01 | 17.58%
898.12/898.11 c 898s| 1130k|233810 | 21683k| 19.2 | 442M| 70 | 12 | 200 |1246 | 200 | 247 | 13M| 0 | 22k|-6.066667e+01 |-5.000000e+01 | 17.58%
904.91/904.90 c 905s| 1140k|235046 | 21843k| 19.2 | 444M| 70 | - | 200 |1246 | 200 | 246 | 13M| 0 | 22k|-6.066667e+01 |-5.000000e+01 | 17.58%
911.61/911.66 c 912s| 1150k|236242 | 22002k| 19.1 | 447M| 70 | - | 200 |1246 | 200 | 246 | 13M| 0 | 22k|-6.066667e+01 |-5.000000e+01 | 17.58%
918.31/918.30 c 918s| 1160k|237472 | 22158k| 19.1 | 449M| 70 | 15 | 200 |1246 | 200 | 242 | 13M| 0 | 22k|-6.066667e+01 |-5.000000e+01 | 17.58%
924.92/925.00 c 925s| 1170k|238626 | 22314k| 19.1 | 452M| 70 | - | 200 |1246 | 200 | 252 | 13M| 0 | 22k|-6.062500e+01 |-5.000000e+01 | 17.53%
931.61/931.61 c 932s| 1180k|239772 | 22469k| 19.0 | 454M| 70 | 106 | 200 |1246 | 200 | 280 | 13M| 0 | 22k|-6.060000e+01 |-5.000000e+01 | 17.49%
938.21/938.28 c 938s| 1190k|241104 | 22627k| 19.0 | 457M| 70 | 65 | 200 |1246 | 200 | 249 | 13M| 0 | 22k|-6.058333e+01 |-5.000000e+01 | 17.47%
944.82/944.82 c 945s| 1200k|242222 | 22779k| 19.0 | 459M| 70 | 72 | 200 |1246 | 200 | 254 | 14M| 0 | 22k|-6.055556e+01 |-5.000000e+01 | 17.43%
951.41/951.43 c 951s| 1210k|243406 | 22934k| 18.9 | 461M| 70 | 14 | 200 |1246 | 200 | 223 | 14M| 0 | 22k|-6.050000e+01 |-5.000000e+01 | 17.36%
958.12/958.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.12/958.15 c 958s| 1220k|244596 | 23092k| 18.9 | 464M| 70 | - | 200 |1246 | 200 | 282 | 14M| 0 | 22k|-6.050000e+01 |-5.000000e+01 | 17.36%
964.72/964.75 c 965s| 1230k|245836 | 23248k| 18.9 | 466M| 70 | 16 | 200 |1246 | 200 | 200 | 14M| 0 | 23k|-6.050000e+01 |-5.000000e+01 | 17.36%
966.32/966.35 o -51
966.32/966.35 c * 966s| 1232k|191748 | 23281k| 18.9 | 372M| 70 | - | 200 |1246 | 200 | 265 | 14M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
971.51/971.53 c 972s| 1240k|192511 | 23400k| 18.9 | 373M| 70 | 80 | 200 |1246 | 200 | 246 | 14M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
977.92/977.99 c 978s| 1250k|193371 | 23550k| 18.8 | 375M| 70 | 7 | 200 |1246 | 200 | 237 | 14M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
984.42/984.48 c 984s| 1260k|194267 | 23700k| 18.8 | 377M| 70 | 41 | 200 |1246 | 200 | 219 | 14M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
991.02/991.04 c 991s| 1270k|195163 | 23854k| 18.8 | 379M| 70 | 32 | 200 |1246 | 200 | 257 | 14M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
997.41/997.46 c 997s| 1280k|195941 | 24003k| 18.7 | 381M| 70 | 31 | 200 |1246 | 200 | 225 | 14M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1004.01/1004.07 c 1004s| 1290k|196895 | 24157k| 18.7 | 383M| 70 | 27 | 200 |1246 | 200 | 226 | 15M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1010.62/1010.63 c 1011s| 1300k|197749 | 24311k| 18.7 | 385M| 70 | 71 | 200 |1246 | 200 | 267 | 15M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1017.22/1017.25 c 1017s| 1310k|198667 | 24464k| 18.7 | 387M| 70 | 82 | 200 |1246 | 200 | 262 | 15M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1023.72/1023.79 c 1024s| 1320k|199409 | 24617k| 18.6 | 389M| 70 | - | 200 |1246 | 200 | 290 | 15M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1030.31/1030.31 c 1030s| 1330k|200129 | 24767k| 18.6 | 390M| 70 | 34 | 200 |1246 | 200 | 228 | 15M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1036.82/1036.82 c 1037s| 1340k|201011 | 24917k| 18.6 | 392M| 70 | 17 | 200 |1246 | 200 | 249 | 15M| 0 | 23k|-6.050000e+01 |-5.100000e+01 | 15.70%
1043.32/1043.31 c 1043s| 1350k|201813 | 25067k| 18.6 | 394M| 70 | 76 | 200 |1246 | 200 | 242 | 15M| 0 | 23k|-6.044444e+01 |-5.100000e+01 | 15.62%
1049.71/1049.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.71/1049.78 c 1050s| 1360k|202559 | 25215k| 18.5 | 396M| 70 | - | 200 |1246 | 200 | 244 | 15M| 0 | 24k|-6.041667e+01 |-5.100000e+01 | 15.59%
1056.31/1056.31 c 1056s| 1370k|203223 | 25366k| 18.5 | 397M| 70 | 78 | 200 |1246 | 200 | 245 | 15M| 0 | 24k|-6.040000e+01 |-5.100000e+01 | 15.56%
1062.82/1062.81 c 1063s| 1380k|204017 | 25515k| 18.5 | 399M| 70 | 65 | 200 |1246 | 200 | 246 | 15M| 0 | 24k|-6.037500e+01 |-5.100000e+01 | 15.53%
1069.22/1069.28 c 1069s| 1390k|204795 | 25665k| 18.5 | 401M| 70 | 64 | 200 |1246 | 200 | 246 | 16M| 0 | 24k|-6.035714e+01 |-5.100000e+01 | 15.50%
1075.72/1075.74 c 1076s| 1400k|205591 | 25815k| 18.4 | 403M| 70 | 44 | 200 |1246 | 200 | 240 | 16M| 0 | 24k|-6.033333e+01 |-5.100000e+01 | 15.47%
1082.12/1082.12 c 1082s| 1410k|206227 | 25961k| 18.4 | 404M| 70 | - | 200 |1246 | 200 | 274 | 16M| 0 | 24k|-6.033333e+01 |-5.100000e+01 | 15.47%
1088.41/1088.47 c 1088s| 1420k|206929 | 26107k| 18.4 | 406M| 70 | 25 | 200 |1246 | 200 | 231 | 16M| 0 | 24k|-6.033333e+01 |-5.100000e+01 | 15.47%
1094.81/1094.87 c 1095s| 1430k|207653 | 26254k| 18.4 | 407M| 70 | 40 | 200 |1246 | 200 | 240 | 16M| 0 | 24k|-6.033333e+01 |-5.100000e+01 | 15.47%
1101.21/1101.23 c 1101s| 1440k|208367 | 26402k| 18.3 | 409M| 71 | 25 | 200 |1246 | 200 | 244 | 16M| 0 | 24k|-6.033333e+01 |-5.100000e+01 | 15.47%
1107.62/1107.63 c 1108s| 1450k|209177 | 26551k| 18.3 | 411M| 71 | 52 | 200 |1246 | 200 | 244 | 16M| 0 | 24k|-6.033333e+01 |-5.100000e+01 | 15.47%
1114.01/1114.06 c 1114s| 1460k|209845 | 26698k| 18.3 | 413M| 71 | - | 200 |1246 | 200 | 250 | 16M| 0 | 24k|-6.028571e+01 |-5.100000e+01 | 15.40%
1120.51/1120.54 c 1121s| 1470k|210603 | 26847k| 18.3 | 414M| 71 | - | 200 |1246 | 200 | 231 | 16M| 0 | 24k|-6.025000e+01 |-5.100000e+01 | 15.35%
1127.02/1127.02 c 1127s| 1480k|211385 | 26997k| 18.2 | 416M| 71 | 28 | 200 |1246 | 200 | 222 | 17M| 0 | 24k|-6.025000e+01 |-5.100000e+01 | 15.35%
1133.42/1133.40 c 1133s| 1490k|212253 | 27146k| 18.2 | 418M| 71 | - | 200 |1246 | 200 | 262 | 17M| 0 | 24k|-6.025000e+01 |-5.100000e+01 | 15.35%
1139.72/1139.74 c 1140s| 1500k|213033 | 27292k| 18.2 | 420M| 71 | - | 200 |1246 | 200 | 273 | 17M| 0 | 25k|-6.025000e+01 |-5.100000e+01 | 15.35%
1146.12/1146.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.12/1146.17 c 1146s| 1510k|213837 | 27439k| 18.2 | 422M| 71 | 55 | 200 |1246 | 200 | 225 | 17M| 0 | 25k|-6.025000e+01 |-5.100000e+01 | 15.35%
1152.52/1152.56 c 1153s| 1520k|214619 | 27586k| 18.1 | 423M| 71 | 82 | 200 |1246 | 200 | 275 | 17M| 0 | 25k|-6.023077e+01 |-5.100000e+01 | 15.33%
1159.01/1159.01 c 1159s| 1530k|215413 | 27734k| 18.1 | 425M| 71 | 34 | 200 |1246 | 200 | 222 | 17M| 0 | 25k|-6.020000e+01 |-5.100000e+01 | 15.28%
1165.42/1165.43 c 1165s| 1540k|216205 | 27881k| 18.1 | 427M| 71 | 40 | 200 |1246 | 200 | 244 | 17M| 0 | 25k|-6.020000e+01 |-5.100000e+01 | 15.28%
1171.82/1171.86 c 1172s| 1550k|216915 | 28029k| 18.1 | 428M| 71 | 47 | 200 |1246 | 200 | 228 | 17M| 0 | 25k|-6.016667e+01 |-5.100000e+01 | 15.24%
1178.22/1178.26 c 1178s| 1560k|217663 | 28177k| 18.1 | 430M| 71 | 78 | 200 |1246 | 200 | 249 | 17M| 0 | 25k|-6.016667e+01 |-5.100000e+01 | 15.24%
1184.52/1184.56 c 1185s| 1570k|218347 | 28321k| 18.0 | 432M| 71 | - | 200 |1246 | 200 | 248 | 17M| 0 | 25k|-6.014286e+01 |-5.100000e+01 | 15.20%
1191.02/1191.02 c 1191s| 1580k|219095 | 28469k| 18.0 | 433M| 71 | 38 | 200 |1246 | 200 | 224 | 18M| 0 | 25k|-6.012500e+01 |-5.100000e+01 | 15.18%
1197.42/1197.44 c 1197s| 1590k|219843 | 28617k| 18.0 | 435M| 71 | - | 200 |1246 | 200 | 270 | 18M| 0 | 25k|-6.010000e+01 |-5.100000e+01 | 15.14%
1203.82/1203.85 c 1204s| 1600k|220597 | 28763k| 18.0 | 437M| 71 | 49 | 200 |1246 | 200 | 264 | 18M| 0 | 25k|-6.006667e+01 |-5.100000e+01 | 15.09%
1210.22/1210.27 c 1210s| 1610k|221305 | 28911k| 18.0 | 439M| 71 | - | 200 |1246 | 200 | 287 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1216.71/1216.79 c 1217s| 1620k|222059 | 29060k| 17.9 | 440M| 71 | 10 | 200 |1246 | 200 | 228 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1223.22/1223.20 c 1223s| 1630k|222781 | 29208k| 17.9 | 442M| 71 | 13 | 200 |1246 | 200 | 222 | 18M| 0 | 25k|-6.000000e+01 |-5.100000e+01 | 15.00%
1229.62/1229.60 c 1230s| 1640k|223505 | 29357k| 17.9 | 444M| 71 | - | 200 |1246 | 200 | 251 | 18M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1236.12/1236.10 c 1236s| 1650k|224305 | 29507k| 17.9 | 445M| 71 | 50 | 200 |1246 | 200 | 242 | 18M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1242.42/1242.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.42/1242.49 c 1242s| 1660k|225005 | 29653k| 17.9 | 447M| 71 | 37 | 200 |1246 | 200 | 225 | 18M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1248.72/1248.77 c 1249s| 1670k|225711 | 29797k| 17.8 | 449M| 71 | 78 | 200 |1246 | 200 | 238 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1255.22/1255.20 c 1255s| 1680k|226557 | 29946k| 17.8 | 451M| 71 | 94 | 200 |1246 | 200 | 274 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1261.62/1261.63 c 1262s| 1690k|227369 | 30096k| 17.8 | 452M| 71 | - | 200 |1246 | 200 | 277 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1268.02/1268.07 c 1268s| 1700k|228077 | 30244k| 17.8 | 454M| 71 | - | 200 |1246 | 200 | 223 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1274.42/1274.42 c 1274s| 1710k|228837 | 30390k| 17.8 | 456M| 71 | 62 | 200 |1246 | 200 | 241 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1280.72/1280.75 c 1281s| 1720k|229671 | 30535k| 17.7 | 458M| 71 | - | 200 |1246 | 200 | 280 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1287.03/1287.07 c 1287s| 1730k|230341 | 30680k| 17.7 | 459M| 71 | - | 200 |1246 | 200 | 243 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1293.41/1293.41 c 1293s| 1740k|231079 | 30826k| 17.7 | 461M| 71 | 14 | 200 |1246 | 200 | 223 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1299.82/1299.80 c 1300s| 1750k|231763 | 30971k| 17.7 | 462M| 71 | - | 200 |1246 | 200 | 271 | 19M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1306.02/1306.09 c 1306s| 1760k|232491 | 31115k| 17.7 | 464M| 71 | - | 200 |1246 | 200 | 250 | 20M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1312.33/1312.34 c 1312s| 1770k|233077 | 31258k| 17.7 | 465M| 71 | 26 | 200 |1246 | 200 | 251 | 20M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1318.62/1318.69 c 1319s| 1780k|233901 | 31404k| 17.6 | 467M| 71 | - | 200 |1246 | 200 | 266 | 20M| 0 | 26k|-6.000000e+01 |-5.100000e+01 | 15.00%
1325.01/1325.03 c 1325s| 1790k|234603 | 31550k| 17.6 | 469M| 71 | - | 200 |1246 | 200 | 243 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1331.32/1331.39 c 1331s| 1800k|235293 | 31696k| 17.6 | 470M| 71 | 46 | 200 |1246 | 200 | 255 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1337.72/1337.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.72/1337.72 c 1338s| 1810k|235943 | 31840k| 17.6 | 472M| 71 | - | 200 |1246 | 200 | 275 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1344.02/1344.01 c 1344s| 1820k|236611 | 31985k| 17.6 | 473M| 71 | 32 | 200 |1246 | 200 | 231 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1350.42/1350.40 c 1350s| 1830k|237361 | 32132k| 17.6 | 475M| 71 | 8 | 200 |1246 | 200 | 263 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1356.72/1356.71 c 1357s| 1840k|238113 | 32277k| 17.5 | 477M| 71 | 76 | 200 |1246 | 200 | 280 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1363.02/1363.09 c 1363s| 1850k|238851 | 32426k| 17.5 | 479M| 71 | 92 | 200 |1246 | 200 | 262 | 20M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1369.53/1369.58 c 1370s| 1860k|239597 | 32576k| 17.5 | 480M| 71 | 87 | 200 |1246 | 200 | 259 | 21M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1375.81/1375.85 c 1376s| 1870k|240247 | 32720k| 17.5 | 482M| 71 | 15 | 200 |1246 | 200 | 239 | 21M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1382.12/1382.19 c 1382s| 1880k|240959 | 32865k| 17.5 | 483M| 71 | - | 200 |1246 | 200 | 241 | 21M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1388.62/1388.62 c 1389s| 1890k|241779 | 33013k| 17.5 | 485M| 71 | 52 | 200 |1246 | 200 | 247 | 21M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1395.02/1395.04 c 1395s| 1900k|242605 | 33160k| 17.4 | 487M| 71 | - | 200 |1246 | 200 | 251 | 21M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1401.43/1401.47 c 1401s| 1910k|243399 | 33309k| 17.4 | 489M| 71 | - | 200 |1246 | 200 | 256 | 21M| 0 | 27k|-6.000000e+01 |-5.100000e+01 | 15.00%
1407.72/1407.78 c 1408s| 1920k|244145 | 33451k| 17.4 | 490M| 71 | - | 200 |1246 | 200 | 248 | 21M| 0 | 27k|-5.994444e+01 |-5.100000e+01 | 14.92%
1414.12/1414.13 c 1414s| 1930k|244783 | 33597k| 17.4 | 492M| 71 | 4 | 200 |1246 | 200 | 223 | 21M| 0 | 27k|-5.991667e+01 |-5.100000e+01 | 14.88%
1420.42/1420.48 c 1420s| 1940k|245427 | 33741k| 17.4 | 493M| 71 | 92 | 200 |1246 | 200 | 280 | 21M| 0 | 27k|-5.988889e+01 |-5.100000e+01 | 14.84%
1426.82/1426.80 c 1427s| 1950k|246099 | 33886k| 17.4 | 495M| 71 | 65 | 200 |1246 | 200 | 281 | 22M| 0 | 28k|-5.987500e+01 |-5.100000e+01 | 14.82%
1433.02/1433.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1433.02/1433.01 c 1433s| 1960k|246701 | 34026k| 17.4 | 496M| 71 | 75 | 200 |1246 | 200 | 267 | 22M| 0 | 28k|-5.985714e+01 |-5.100000e+01 | 14.80%
1439.32/1439.39 c 1439s| 1970k|247419 | 34173k| 17.3 | 498M| 71 | - | 200 |1246 | 200 | 237 | 22M| 0 | 28k|-5.984615e+01 |-5.100000e+01 | 14.78%
1445.62/1445.69 c 1446s| 1980k|248123 | 34318k| 17.3 | 500M| 71 | 55 | 200 |1246 | 200 | 247 | 22M| 0 | 28k|-5.983333e+01 |-5.100000e+01 | 14.76%
1451.92/1451.93 c 1452s| 1990k|248749 | 34461k| 17.3 | 501M| 71 | - | 200 |1246 | 200 | 267 | 22M| 0 | 28k|-5.983333e+01 |-5.100000e+01 | 14.76%
1458.32/1458.32 c 1458s| 2000k|249503 | 34607k| 17.3 | 503M| 71 | - | 200 |1246 | 200 | 256 | 22M| 0 | 28k|-5.980000e+01 |-5.100000e+01 | 14.72%
1464.62/1464.68 c 1465s| 2010k|250145 | 34753k| 17.3 | 504M| 71 | 32 | 200 |1246 | 200 | 250 | 22M| 0 | 28k|-5.980000e+01 |-5.100000e+01 | 14.72%
1471.02/1471.00 c 1471s| 2020k|250887 | 34899k| 17.3 | 506M| 71 | 34 | 200 |1246 | 200 | 250 | 22M| 0 | 28k|-5.980000e+01 |-5.100000e+01 | 14.72%
1477.23/1477.25 c 1477s| 2030k|251613 | 35041k| 17.3 | 508M| 71 | 63 | 200 |1246 | 200 | 251 | 22M| 0 | 28k|-5.976471e+01 |-5.100000e+01 | 14.67%
1483.53/1483.52 c 1484s| 2040k|252285 | 35184k| 17.2 | 509M| 71 | - | 200 |1246 | 200 | 270 | 22M| 0 | 28k|-5.975000e+01 |-5.100000e+01 | 14.64%
1489.72/1489.73 c 1490s| 2050k|252923 | 35327k| 17.2 | 511M| 71 | 91 | 200 |1246 | 200 | 266 | 23M| 0 | 28k|-5.975000e+01 |-5.100000e+01 | 14.64%
1496.03/1496.04 c 1496s| 2060k|253575 | 35470k| 17.2 | 512M| 71 | 79 | 200 |1246 | 200 | 263 | 23M| 0 | 28k|-5.975000e+01 |-5.100000e+01 | 14.64%
1502.32/1502.35 c 1502s| 2070k|254363 | 35615k| 17.2 | 514M| 71 | 34 | 200 |1246 | 200 | 225 | 23M| 0 | 28k|-5.975000e+01 |-5.100000e+01 | 14.64%
1508.62/1508.68 c 1509s| 2080k|255113 | 35760k| 17.2 | 516M| 71 | 74 | 200 |1246 | 200 | 230 | 23M| 0 | 28k|-5.975000e+01 |-5.100000e+01 | 14.64%
1514.93/1514.96 c 1515s| 2090k|255771 | 35905k| 17.2 | 517M| 71 | 53 | 200 |1246 | 200 | 227 | 23M| 0 | 28k|-5.975000e+01 |-5.100000e+01 | 14.64%
1521.23/1521.23 c 1521s| 2100k|256401 | 36049k| 17.2 | 518M| 71 | 48 | 200 |1246 | 200 | 248 | 23M| 0 | 28k|-5.972727e+01 |-5.100000e+01 | 14.61%
1527.42/1527.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.42/1527.49 c 1527s| 2110k|257073 | 36191k| 17.1 | 520M| 71 | 41 | 200 |1246 | 200 | 230 | 23M| 0 | 29k|-5.971429e+01 |-5.100000e+01 | 14.59%
1533.72/1533.76 c 1534s| 2120k|257767 | 36333k| 17.1 | 522M| 71 | 39 | 200 |1246 | 200 | 231 | 23M| 0 | 29k|-5.966942e+01 |-5.100000e+01 | 14.53%
1540.03/1540.04 c 1540s| 2130k|258435 | 36477k| 17.1 | 523M| 71 | 61 | 200 |1246 | 200 | 244 | 23M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1546.12/1546.19 c 1546s| 2140k|259057 | 36617k| 17.1 | 525M| 71 | 37 | 200 |1246 | 200 | 226 | 23M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1552.42/1552.44 c 1552s| 2150k|259761 | 36761k| 17.1 | 526M| 73 | 9 | 200 |1246 | 200 | 251 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1558.62/1558.64 c 1559s| 2160k|260397 | 36903k| 17.1 | 528M| 73 | - | 200 |1246 | 200 | 251 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1564.93/1564.92 c 1565s| 2170k|261045 | 37046k| 17.1 | 529M| 73 | - | 200 |1246 | 200 | 243 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1571.13/1571.15 c 1571s| 2180k|261765 | 37191k| 17.1 | 531M| 74 | 72 | 200 |1246 | 200 | 243 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1577.33/1577.35 c 1577s| 2190k|262409 | 37332k| 17.0 | 532M| 74 | - | 200 |1246 | 200 | 248 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1583.62/1583.67 c 1584s| 2200k|263181 | 37477k| 17.0 | 534M| 74 | - | 200 |1246 | 200 | 272 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1589.83/1589.85 c 1590s| 2210k|263865 | 37618k| 17.0 | 535M| 74 | - | 200 |1246 | 200 | 248 | 24M| 0 | 29k|-5.966667e+01 |-5.100000e+01 | 14.53%
1596.13/1596.13 c 1596s| 2220k|264613 | 37760k| 17.0 | 537M| 74 | 8 | 200 |1246 | 200 | 245 | 24M| 0 | 29k|-5.963889e+01 |-5.100000e+01 | 14.49%
1602.32/1602.39 c 1602s| 2230k|265337 | 37903k| 17.0 | 539M| 74 | 15 | 200 |1246 | 200 | 241 | 24M| 0 | 29k|-5.961538e+01 |-5.100000e+01 | 14.45%
1608.63/1608.62 c 1609s| 2240k|266063 | 38045k| 17.0 | 540M| 74 | 43 | 200 |1246 | 200 | 229 | 25M| 0 | 29k|-5.960000e+01 |-5.100000e+01 | 14.43%
1614.83/1614.82 c 1615s| 2250k|266657 | 38183k| 17.0 | 542M| 74 | 35 | 200 |1246 | 200 | 219 | 25M| 0 | 29k|-5.960000e+01 |-5.100000e+01 | 14.43%
1620.92/1620.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.92/1620.97 c 1621s| 2260k|267183 | 38321k| 17.0 | 543M| 74 | 32 | 200 |1246 | 200 | 226 | 25M| 0 | 29k|-5.958333e+01 |-5.100000e+01 | 14.41%
1627.32/1627.33 c 1627s| 2270k|267871 | 38468k| 16.9 | 545M| 74 | 32 | 200 |1246 | 200 | 225 | 25M| 0 | 29k|-5.955556e+01 |-5.100000e+01 | 14.37%
1633.63/1633.61 c 1634s| 2280k|268591 | 38610k| 16.9 | 546M| 74 | - | 200 |1246 | 200 | 265 | 25M| 0 | 30k|-5.951667e+01 |-5.100000e+01 | 14.31%
1639.83/1639.87 c 1640s| 2290k|269183 | 38752k| 16.9 | 548M| 74 | 54 | 200 |1246 | 200 | 245 | 25M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1646.13/1646.14 c 1646s| 2300k|269853 | 38897k| 16.9 | 549M| 74 | 50 | 200 |1246 | 200 | 225 | 25M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1652.42/1652.40 c 1652s| 2310k|270541 | 39040k| 16.9 | 551M| 74 | - | 200 |1246 | 200 | 249 | 25M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1658.62/1658.61 c 1659s| 2320k|271181 | 39180k| 16.9 | 552M| 74 | 44 | 200 |1246 | 200 | 229 | 25M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1664.73/1664.72 c 1665s| 2330k|271699 | 39318k| 16.9 | 553M| 74 | 27 | 200 |1246 | 200 | 223 | 25M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1670.93/1670.96 c 1671s| 2340k|272221 | 39459k| 16.9 | 555M| 74 | - | 200 |1246 | 200 | 252 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1677.13/1677.17 c 1677s| 2350k|272799 | 39600k| 16.8 | 556M| 74 | - | 200 |1246 | 200 | 271 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1683.33/1683.33 c 1683s| 2360k|273295 | 39742k| 16.8 | 557M| 74 | - | 200 |1246 | 200 | 262 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1689.53/1689.60 c 1690s| 2370k|273857 | 39883k| 16.8 | 559M| 74 | - | 200 |1246 | 200 | 242 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1695.72/1695.78 c 1696s| 2380k|274447 | 40025k| 16.8 | 560M| 74 | - | 200 |1246 | 200 | 266 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1702.03/1702.02 c 1702s| 2390k|275043 | 40168k| 16.8 | 561M| 74 | 58 | 200 |1246 | 200 | 252 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1708.13/1708.15 c 1708s| 2400k|275607 | 40308k| 16.8 | 563M| 74 | - | 200 |1246 | 200 | 271 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1714.23/1714.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.23/1714.29 c 1714s| 2410k|276163 | 40446k| 16.8 | 564M| 74 | - | 200 |1246 | 200 | 253 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1720.43/1720.41 c 1720s| 2420k|276725 | 40588k| 16.8 | 565M| 74 | 9 | 200 |1246 | 200 | 217 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1726.53/1726.53 c 1727s| 2430k|277411 | 40725k| 16.8 | 567M| 74 | 61 | 200 |1246 | 200 | 241 | 26M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1732.73/1732.79 c 1733s| 2440k|278065 | 40868k| 16.7 | 568M| 74 | - | 200 |1246 | 200 | 249 | 27M| 0 | 30k|-5.950000e+01 |-5.100000e+01 | 14.29%
1738.93/1738.97 c 1739s| 2450k|278661 | 41008k| 16.7 | 570M| 74 | - | 200 |1246 | 200 | 266 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1745.13/1745.13 c 1745s| 2460k|279235 | 41149k| 16.7 | 571M| 74 | 42 | 200 |1246 | 200 | 242 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1751.43/1751.44 c 1751s| 2470k|279975 | 41293k| 16.7 | 573M| 74 | 27 | 200 |1246 | 200 | 230 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1757.53/1757.56 c 1758s| 2480k|280595 | 41431k| 16.7 | 574M| 74 | - | 200 |1246 | 200 | 277 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1763.82/1763.80 c 1764s| 2490k|281303 | 41574k| 16.7 | 576M| 74 | - | 200 |1246 | 200 | 262 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1769.93/1769.92 c 1770s| 2500k|281859 | 41712k| 16.7 | 577M| 74 | - | 200 |1246 | 200 | 269 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1775.93/1775.97 c 1776s| 2510k|282421 | 41847k| 16.7 | 578M| 74 | - | 200 |1246 | 200 | 225 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1782.23/1782.21 c 1782s| 2520k|283043 | 41989k| 16.7 | 580M| 74 | - | 200 |1246 | 200 | 244 | 27M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1788.33/1788.34 c 1788s| 2530k|283753 | 42129k| 16.6 | 581M| 74 | - | 200 |1246 | 200 | 243 | 28M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1794.63/1794.61 c 1795s| 2540k|284419 | 42270k| 16.6 | 583M| 74 | - | 200 |1246 | 200 | 240 | 28M| 0 | 31k|-5.950000e+01 |-5.100000e+01 | 14.29%
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 2543885
1797.03/1797.00 c Primal Bound : -5.10000000000000e+01 (651 solutions)
1797.03/1797.00 c Dual Bound : -5.95000000000000e+01
1797.03/1797.00 c Gap : 14.29 %
1797.03/1797.00 s SATISFIABLE
1797.03/1797.00 v -x200 -x199 x198 -x197 -x196 x195 -x194 -x193 x192 -x191 -x190 -x189 x188 x187 -x186 -x185 -x184 x183 -x182 -x181 x180 -x179 -x178
1797.03/1797.00 v -x177 -x176 x175 -x174 -x173 x172 x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157
1797.03/1797.00 v -x156 -x155 -x154 x153 -x152 -x151 x150 -x149 -x148 x147 -x146 -x145 -x144 x143 x142 x141 -x140 x139 x138 -x137 -x136 x135 -x134
1797.03/1797.00 v x133 -x132 -x131 x130 x129 -x128 x127 x126 -x125 x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 x114 -x113 -x112
1797.03/1797.00 v -x111 -x110 -x109 x108 x107 -x106 -x105 x104 -x103 x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88
1797.03/1797.00 v x87 -x86 -x85 -x84 -x83 -x82 x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1797.03/1797.00 v -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 x50 x49 -x48 -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36
1797.03/1797.00 v -x35 -x34 -x33 x32 -x31 -x30 x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11
1797.03/1797.00 v x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.04 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488581-1307783036.opb
1797.03/1797.00 c Variables : 1446 (1446 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 1646 initial, 1646 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488581-1307783036.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 1246 initial, 1246 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.00 1246 0 0 1246 0 200 0 0 0
1797.03/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 2326487 0 778609 0 180 1136 0 0 2920870
1797.03/1797.00 c setppc : 1246 32 4370449 865402 1 778605 0 145 11810905 28154045 0 0
1797.03/1797.00 c countsols : 0 0 0 7 1 646 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 43.84 0.00 0.00 43.65 0.00 0.19 0.00
1797.03/1797.00 c setppc : 79.70 0.00 38.55 27.46 0.00 13.67 0.00
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 8 0 0 0
1797.03/1797.00 c pseudoobj : 4372411 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.86 0.86 0.00
1797.03/1797.00 c rootredcost : 0.89 0.89 0.00
1797.03/1797.00 c pseudoobj : 22.41 22.41 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 0.00 145 0 0 0.0 0 0.0 -
1797.03/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 0 0.0 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.02 31 - - 43 - (maximal pool size: 2054)
1797.03/1797.00 c redcost : 12.02 2526996 0 427238 0 0
1797.03/1797.00 c impliedbounds : 0.00 32 0 0 394 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.72 32 0 0 8420 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.35 20 0 0 7832 0
1797.03/1797.00 c cmir : 0.03 10 0 0 0 0
1797.03/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.03/1797.00 c clique : 0.04 32 0 0 218 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 42.59 1461085 180 1136 0 0 2920870
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.29 - 7
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c oneopt : 0.62 9 0
1797.03/1797.00 c crossover : 1.15 6 3
1797.03/1797.00 c objpscostdiving : 1.59 1492 43
1797.03/1797.00 c fracdiving : 3.44 2984 19
1797.03/1797.00 c veclendiving : 3.46 2984 39
1797.03/1797.00 c guideddiving : 3.47 2984 23
1797.03/1797.00 c linesearchdiving : 3.43 2984 26
1797.03/1797.00 c coefdiving : 3.15 2984 47
1797.03/1797.00 c pscostdiving : 3.21 2984 40
1797.03/1797.00 c trivial : 0.00 2 1
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 23.02 1475960 397
1797.03/1797.00 c zirounding : 0.51 1000 0
1797.03/1797.00 c rounding : 8.11 81135 2
1797.03/1797.00 c shifting : 1.93 18340 1
1797.03/1797.00 c intshifting : 0.03 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.06 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c rootsoldiving : 1.67 1493 2
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.01 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.01 1 0
1797.03/1797.00 c subnlp : 0.47 0 0
1797.03/1797.00 c trysol : 0.67 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 40.93 0 0 0.00 0.00
1797.03/1797.00 c dual LP : 1232.71 3434041 41956816 12.22 34036.12
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 15.52 60432 366756 6.07 23624.67
1797.03/1797.00 c strong branching : 20.92 31524 445380 14.13 21288.47
1797.03/1797.00 c (at root node) : - 17 7519 442.29 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 2543885
1797.03/1797.00 c nodes (total) : 2543885
1797.03/1797.00 c nodes left : 284686
1797.03/1797.00 c max depth : 74
1797.03/1797.00 c max depth (total): 74
1797.03/1797.00 c backtracks : 356902 (14.0%)
1797.03/1797.00 c delayed cutoffs : 0
1797.03/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.03/1797.00 c avg switch length: 4.99
1797.03/1797.00 c switching time : 112.71
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 651 (13 improvements)
1797.03/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.03/1797.00 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1232173 nodes, 966.14 seconds, depth 45, found by <relaxation>)
1797.03/1797.00 c Dual Bound : -5.95000000000000e+01
1797.03/1797.00 c Gap : 14.29 %
1797.03/1797.00 c Root Dual Bound : -7.01696355310439e+01
1797.03/1797.00 c Root Iterations : 6400
1798.23/1798.21 c Time complete: 1798.24.
OK -51
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3488581-1307783036/watcher-3488581-1307783036 -o /tmp/evaluation-result-3488581-1307783036/solver-3488581-1307783036 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488581-1307783036.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: 0.31 0.07 0.02 2/177 9209 /proc/meminfo: memFree=31695448/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=11972 CPUtime=0 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 1912 0 0 0 0 0 0 0 25 0 1 0 870719742 12259328 1867 33554432000 4194304 9016284 140735181605280 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9209/statm: 2993 1881 340 1178 0 1811 0 [startup+0.0899229 s] /proc/loadavg: 0.31 0.07 0.02 2/177 9209 /proc/meminfo: memFree=31695448/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=26720 CPUtime=0.08 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 8117 0 0 0 8 0 0 0 25 0 1 0 870719742 27361280 5615 33554432000 4194304 9016284 140735181605280 18446744073709551615 6578058 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 6680 5615 652 1178 0 5498 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 26720 [startup+0.100927 s] /proc/loadavg: 0.31 0.07 0.02 2/177 9209 /proc/meminfo: memFree=31695448/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=32960 CPUtime=0.09 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 9693 0 0 0 8 1 0 0 25 0 1 0 870719742 33751040 7191 33554432000 4194304 9016284 140735181605280 18446744073709551615 6816842 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 8240 7191 675 1178 0 7058 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32960 [startup+0.30089 s] /proc/loadavg: 0.31 0.07 0.02 2/177 9209 /proc/meminfo: memFree=31695448/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=27420 CPUtime=0.29 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 11250 0 0 0 28 1 0 0 25 0 1 0 870719742 28078080 5765 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 6855 5765 689 1178 0 5673 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27420 [startup+0.700835 s] /proc/loadavg: 0.31 0.07 0.02 2/177 9209 /proc/meminfo: memFree=31695448/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=39752 CPUtime=0.69 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 14318 0 0 0 67 2 0 0 25 0 1 0 870719742 40706048 8833 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 9938 8833 695 1178 0 8756 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39752 [startup+1.50071 s] /proc/loadavg: 0.31 0.07 0.02 3/178 9210 /proc/meminfo: memFree=31658784/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=49552 CPUtime=1.49 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 16805 0 0 0 146 3 0 0 25 0 1 0 870719742 50741248 11303 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 12388 11303 696 1178 0 11206 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49552 [startup+3.10044 s] /proc/loadavg: 0.31 0.07 0.02 3/178 9210 /proc/meminfo: memFree=31652212/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=49228 CPUtime=3.09 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 18470 0 0 0 302 7 0 0 25 0 1 0 870719742 50409472 11285 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 12307 11285 695 1178 0 11125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49228 [startup+6.30084 s] /proc/loadavg: 0.44 0.10 0.03 3/178 9210 /proc/meminfo: memFree=31653096/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=49540 CPUtime=6.29 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 21229 0 0 0 614 15 0 0 25 0 1 0 870719742 50728960 11268 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 12385 11268 703 1178 0 11203 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49540 [startup+12.7007 s] /proc/loadavg: 0.57 0.13 0.04 3/178 9210 /proc/meminfo: memFree=31650264/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=52488 CPUtime=12.69 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 24821 0 0 0 1236 33 0 0 25 0 1 0 870719742 53747712 12068 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 13122 12068 703 1178 0 11940 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52488 [startup+25.5005 s] /proc/loadavg: 0.88 0.22 0.07 3/178 9211 /proc/meminfo: memFree=31642556/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=62592 CPUtime=25.49 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 33692 0 0 0 2479 70 0 0 25 0 1 0 870719742 64094208 14611 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 15648 14611 703 1178 0 14466 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62592 [startup+51.101 s] /proc/loadavg: 1.26 0.36 0.12 3/178 9211 /proc/meminfo: memFree=31616116/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=84428 CPUtime=51.09 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 40954 0 0 0 4964 145 0 0 25 0 1 0 870719742 86454272 20113 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 21107 20113 703 1178 0 19925 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 84428 [startup+102.306 s] /proc/loadavg: 1.68 0.61 0.22 3/178 9213 /proc/meminfo: memFree=31566344/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=124432 CPUtime=102.3 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 63339 0 0 0 9929 301 0 0 25 0 1 0 870719742 127418368 30207 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 31108 30207 703 1178 0 29926 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 124432 [startup+162.3 s] /proc/loadavg: 1.88 0.86 0.33 3/178 9214 /proc/meminfo: memFree=31517316/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=165308 CPUtime=162.29 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 98300 0 0 0 15751 478 0 0 25 0 1 0 870719742 169275392 40067 33554432000 4194304 9016284 140735181605280 18446744073709551615 4777284 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 41327 40067 703 1178 0 40145 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 165308 [startup+222.301 s] /proc/loadavg: 1.95 1.07 0.43 3/178 9216 /proc/meminfo: memFree=31472384/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=198712 CPUtime=222.29 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 111965 0 0 0 21565 664 0 0 25 0 1 0 870719742 203481088 48416 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 49678 48416 703 1178 0 48496 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 198712 [startup+282.3 s] /proc/loadavg: 1.98 1.23 0.52 3/178 9218 /proc/meminfo: memFree=31418884/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=243744 CPUtime=282.29 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 125089 0 0 0 27387 842 0 0 25 0 1 0 870719742 249593856 59771 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 60936 59771 703 1178 0 59754 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 243744 [startup+342.301 s] /proc/loadavg: 2.04 1.39 0.62 3/178 9219 /proc/meminfo: memFree=31403840/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=247228 CPUtime=342.29 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 141257 0 0 0 33203 1026 0 0 25 0 1 0 870719742 253161472 60654 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 61807 60654 703 1178 0 60625 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 247228 [startup+402.3 s] /proc/loadavg: 2.01 1.49 0.70 3/178 9221 /proc/meminfo: memFree=31363608/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=275060 CPUtime=402.3 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 150033 0 0 0 39036 1194 0 0 25 0 1 0 870719742 281661440 67642 33554432000 4194304 9016284 140735181605280 18446744073709551615 6575741 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 68765 67642 703 1178 0 67583 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 275060 [startup+462.301 s] /proc/loadavg: 2.00 1.58 0.78 3/178 9222 /proc/meminfo: memFree=31318172/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=305484 CPUtime=462.3 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 159510 0 0 0 44855 1375 0 0 25 0 1 0 870719742 312815616 75332 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 76371 75332 703 1178 0 75189 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 305484 [startup+522.3 s] /proc/loadavg: 2.00 1.66 0.85 3/178 9224 /proc/meminfo: memFree=31277944/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=329188 CPUtime=522.3 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 165498 0 0 0 50676 1554 0 0 25 0 1 0 870719742 337088512 81320 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 82297 81320 703 1178 0 81115 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 329188 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.92 3/178 9226 /proc/meminfo: memFree=31235604/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=359116 CPUtime=582.3 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 173007 0 0 0 56508 1722 0 0 25 0 1 0 870719742 367734784 88828 33554432000 4194304 9016284 140735181605280 18446744073709551615 4347794 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 89779 88828 703 1178 0 88597 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 359116 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=30972672/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=507080 CPUtime=1122.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 230538 0 0 0 108948 3284 0 0 25 0 1 0 870719742 519249920 125155 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 126770 125155 703 1178 0 125588 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 507080 [startup+1182.3 s] /proc/loadavg: 2.00 1.95 1.42 3/178 9242 /proc/meminfo: memFree=30957984/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=508104 CPUtime=1182.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 230722 0 0 0 114779 3453 0 0 25 0 1 0 870719742 520298496 125339 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 127026 125339 703 1178 0 125844 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 508104 [startup+1242.3 s] /proc/loadavg: 2.00 1.96 1.45 3/178 9243 /proc/meminfo: memFree=30939088/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=514056 CPUtime=1242.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 233970 0 0 0 120604 3628 0 0 25 0 1 0 870719742 526393344 126819 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 128514 126819 703 1178 0 127332 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 514056 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/178 9248 /proc/meminfo: memFree=30921388/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=516932 CPUtime=1302.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 234690 0 0 0 126436 3796 0 0 25 0 1 0 870719742 529338368 127539 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 129233 127539 703 1178 0 128051 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 516932 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/178 9249 /proc/meminfo: memFree=30901184/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=527556 CPUtime=1362.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 237346 0 0 0 132256 3976 0 0 25 0 1 0 870719742 540217344 130195 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 131889 130195 703 1178 0 130707 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 527556 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/178 9251 /proc/meminfo: memFree=30872100/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=540164 CPUtime=1422.33 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 240532 0 0 0 138080 4153 0 0 25 0 1 0 870719742 553127936 133381 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 135041 133381 703 1178 0 133859 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 540164 [startup+1482.3 s] /proc/loadavg: 2.03 1.99 1.57 3/178 9253 /proc/meminfo: memFree=30849608/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=551428 CPUtime=1482.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 243338 0 0 0 143914 4318 0 0 25 0 1 0 870719742 564662272 136187 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 137857 136187 703 1178 0 136675 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 551428 [startup+1542.3 s] /proc/loadavg: 2.01 1.99 1.59 3/178 9254 /proc/meminfo: memFree=30822764/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=567044 CPUtime=1542.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 249033 0 0 0 149742 4490 0 0 25 0 1 0 870719742 580653056 140116 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 141761 140116 703 1178 0 140579 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 567044 [startup+1602.3 s] /proc/loadavg: 2.03 2.00 1.62 3/178 9256 /proc/meminfo: memFree=30794812/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=579908 CPUtime=1602.32 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 252310 0 0 0 155575 4657 0 0 25 0 1 0 870719742 593825792 143393 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 144977 143393 703 1178 0 143795 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 579908 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 1.64 3/178 9257 /proc/meminfo: memFree=30772064/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=592644 CPUtime=1662.33 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 255518 0 0 0 161406 4827 0 0 25 0 1 0 870719742 606867456 146601 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 148161 146601 703 1178 0 146979 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 592644 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.66 3/178 9259 /proc/meminfo: memFree=30745096/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=606388 CPUtime=1722.33 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 258940 0 0 0 167242 4991 0 0 25 0 1 0 870719742 620941312 150023 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 151597 150023 703 1178 0 150415 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 606388 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9261 /proc/meminfo: memFree=30717760/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=619700 CPUtime=1782.33 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262292 0 0 0 173071 5162 0 0 25 0 1 0 870719742 634572800 153375 33554432000 4194304 9016284 140735181605280 18446744073709551615 7213505 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 154925 153375 703 1178 0 153743 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 619700 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31108324/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=620852 CPUtime=1791.93 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262584 0 0 0 174004 5189 0 0 25 0 1 0 870719742 635752448 153667 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 155213 153667 703 1178 0 154031 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 620852 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31088348/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=621364 CPUtime=1795.14 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262747 0 0 0 174314 5200 0 0 25 0 1 0 870719742 636276736 153830 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 155341 153830 703 1178 0 154159 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 621364 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31083016/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=622324 CPUtime=1796.73 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262953 0 0 0 174468 5205 0 0 25 0 1 0 870719742 637259776 154036 33554432000 4194304 9016284 140735181605280 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/9209/statm: 155581 154036 703 1178 0 154399 0 Current children cumulated CPU time (s) 1796.73 Current children cumulated vsize (KiB) 622324 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31081216/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=622324 CPUtime=1797.53 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262958 0 0 0 174547 5206 0 0 18 0 1 0 870719742 637259776 154041 33554432000 4194304 9016284 140735181605280 18446744073709551615 6548938 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9209/statm: 155581 154041 705 1178 0 154399 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (KiB) 622324 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31081216/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=622324 CPUtime=1797.93 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262958 0 0 0 174587 5206 0 0 19 0 1 0 870719742 637259776 154041 33554432000 4194304 9016284 140735181605280 18446744073709551615 4897769 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9209/statm: 155581 154041 705 1178 0 154399 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 622324 [startup+1798.1 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31081216/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=622324 CPUtime=1798.13 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262958 0 0 0 174607 5206 0 0 19 0 1 0 870719742 637259776 154041 33554432000 4194304 9016284 140735181605280 18446744073709551615 6812620 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9209/statm: 155581 154041 705 1178 0 154399 0 Current children cumulated CPU time (s) 1798.13 Current children cumulated vsize (KiB) 622324 [startup+1798.2 s] /proc/loadavg: 2.00 2.00 1.68 3/178 9337 /proc/meminfo: memFree=31081216/32951124 swapFree=67088052/67111528 [pid=9209] ppid=9207 vsize=440852 CPUtime=1798.23 cores=0,2,4,6 /proc/9209/stat : 9209 (scip-2.0.1.4b_2) R 9207 9209 9011 0 -1 4202496 262958 0 0 0 174616 5207 0 0 19 0 1 0 870719742 451432448 82553 33554432000 4194304 9016284 140735181605280 18446744073709551615 8107690 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9209/statm: 110213 82553 705 1178 0 109031 0 Current children cumulated CPU time (s) 1798.23 Current children cumulated vsize (KiB) 440852 Child status: 0 Real time (s): 1798.21 CPU time (s): 1798.25 CPU user time (s): 1746.16 CPU system time (s): 52.0891 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 622324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1746.16 system time used= 52.0891 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262963 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= 5 involuntary context switches= 3401 runsolver used 2.68759 second user time and 5.50516 second system time The end
Begin job on node144 at 2011-06-11 11:03:56 IDJOB=3488581 IDBENCH=48185 IDSOLVER=1979 FILE ID=node144/3488581-1307783036 RUNJOBID= node144-1307783026-9029 PBS_JOBID= 13550885 Free space on /tmp= 74012 MiB SOLVER NAME= SCIP spx E_2 2011-06-10 (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb COMMAND LINE= HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3488581-1307783036/watcher-3488581-1307783036 -o /tmp/evaluation-result-3488581-1307783036/solver-3488581-1307783036 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488581-1307783036.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5255c8da63867fe6fe080ca048384827 RANDOM SEED=737508982 node144.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.850 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.70 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.850 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 : 5226.16 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.850 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.850 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.82 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31695752 kB Buffers: 171464 kB Cached: 783608 kB SwapCached: 1652 kB Active: 515924 kB Inactive: 563624 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31695752 kB SwapTotal: 67111528 kB SwapFree: 67088052 kB Dirty: 33924 kB Writeback: 0 kB AnonPages: 123040 kB Mapped: 17024 kB Slab: 109664 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 291144 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= 73996 MiB End job on node144 at 2011-06-11 11:33:54