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 | -53 | 1797.51 | 1797.49 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb |
| MD5SUM | 69a7dda5c80f9dda65f29fb6eb76eed7 |
| 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 | -53 |
| Best CPU time to get the best result obtained on this benchmark | 1797.51 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -53 |
| 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 | 21 |
| 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) | 2524 |
| Sum of products size (including duplicates) | 5048 |
| Number of different products | 1262 |
| Sum of products size | 2524 |
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-3488609-1307784708.opb>
0.00/0.01 c original problem has 1462 variables (1462 bin, 0 int, 0 impl, 0 cont) and 1662 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) 1262 del vars, 400 del conss, 0 add conss, 1262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 0 clqs
0.00/0.04 c (round 2) 1262 del vars, 400 del conss, 0 add conss, 1262 chg bounds, 0 chg sides, 0 chg coeffs, 1262 upgd conss, 5048 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1262 deleted vars, 400 deleted constraints, 0 added constraints, 1262 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7570 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1262 constraints
0.00/0.05 c 1262 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 | 219 | - |4633k| 0 | 200 | 200 |1262 | 200 |1262 | 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 | 219 | - |4636k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.00/0.06 o -2
0.00/0.06 c s 0.1s| 1 | 0 | 219 | - |4638k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 o -32
0.09/0.10 c y 0.1s| 1 | 0 | 219 | - |4857k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-3.200000e+01 | 68.00%
0.09/0.11 c 0.1s| 1 | 0 | 305 | - |4646k| 0 | 192 | 200 |1262 | 200 |1270 | 8 | 0 | 0 |-9.600000e+01 |-3.200000e+01 | 66.67%
0.09/0.13 c 0.1s| 1 | 0 | 356 | - |4653k| 0 | 187 | 200 |1262 | 200 |1278 | 16 | 0 | 0 |-9.350000e+01 |-3.200000e+01 | 65.78%
0.09/0.15 c 0.2s| 1 | 0 | 454 | - |4659k| 0 | 184 | 200 |1262 | 200 |1287 | 25 | 0 | 0 |-9.125000e+01 |-3.200000e+01 | 64.93%
0.09/0.19 c 0.2s| 1 | 0 | 614 | - |4682k| 0 | 178 | 200 |1262 | 200 |1297 | 35 | 0 | 0 |-8.900000e+01 |-3.200000e+01 | 64.04%
0.19/0.23 c 0.2s| 1 | 0 | 791 | - |4699k| 0 | 175 | 200 |1262 | 200 |1305 | 43 | 0 | 0 |-8.750000e+01 |-3.200000e+01 | 63.43%
0.29/0.30 c 0.3s| 1 | 0 | 926 | - |4783k| 0 | 174 | 200 |1262 | 200 |1313 | 51 | 0 | 0 |-8.600000e+01 |-3.200000e+01 | 62.79%
0.29/0.35 c 0.4s| 1 | 0 | 1086 | - |4874k| 0 | 178 | 200 |1262 | 200 |1320 | 58 | 0 | 0 |-8.493750e+01 |-3.200000e+01 | 62.33%
0.39/0.42 c 0.4s| 1 | 0 | 1258 | - |4968k| 0 | 168 | 200 |1262 | 200 |1331 | 69 | 0 | 0 |-8.400000e+01 |-3.200000e+01 | 61.90%
0.49/0.51 c 0.5s| 1 | 0 | 1509 | - |5286k| 0 | 167 | 200 |1262 | 200 |1339 | 77 | 0 | 0 |-8.250000e+01 |-3.200000e+01 | 61.21%
0.49/0.56 c 0.6s| 1 | 0 | 1712 | - |5424k| 0 | 163 | 200 |1262 | 200 |1351 | 89 | 0 | 0 |-8.100000e+01 |-3.200000e+01 | 60.49%
0.59/0.60 c 0.6s| 1 | 0 | 1895 | - |5444k| 0 | 163 | 200 |1262 | 200 | 480 | 96 | 0 | 0 |-8.000000e+01 |-3.200000e+01 | 60.00%
0.59/0.63 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.63 c 0.6s| 1 | 0 | 2165 | - |5552k| 0 | 185 | 200 |1262 | 200 | 490 | 106 | 0 | 0 |-7.883333e+01 |-3.200000e+01 | 59.41%
0.59/0.68 c 0.7s| 1 | 0 | 2275 | - |5895k| 0 | 154 | 200 |1262 | 200 | 594 | 210 | 0 | 0 |-7.800000e+01 |-3.200000e+01 | 58.97%
0.69/0.72 c 0.7s| 1 | 0 | 2662 | - |6097k| 0 | 150 | 200 |1262 | 200 | 606 | 222 | 0 | 0 |-7.700000e+01 |-3.200000e+01 | 58.44%
0.69/0.77 c 0.8s| 1 | 0 | 2752 | - |6234k| 0 | 170 | 200 |1262 | 200 | 621 | 237 | 0 | 0 |-7.667073e+01 |-3.200000e+01 | 58.26%
0.79/0.82 c 0.8s| 1 | 0 | 3030 | - |6378k| 0 | 191 | 200 |1262 | 200 | 647 | 263 | 0 | 0 |-7.607442e+01 |-3.200000e+01 | 57.94%
0.89/0.92 c 0.9s| 1 | 0 | 3407 | - |7308k| 0 | 176 | 200 |1262 | 200 | 544 | 343 | 0 | 0 |-7.538235e+01 |-3.200000e+01 | 57.55%
0.89/0.97 c 1.0s| 1 | 0 | 3611 | - |7464k| 0 | 193 | 200 |1262 | 200 | 563 | 362 | 0 | 0 |-7.469438e+01 |-3.200000e+01 | 57.16%
0.99/1.07 c 1.1s| 1 | 0 | 3937 | - |8935k| 0 | 196 | 200 |1262 | 200 | 622 | 421 | 0 | 0 |-7.378287e+01 |-3.200000e+01 | 56.63%
1.10/1.14 c 1.1s| 1 | 0 | 4304 | - |9165k| 0 | 198 | 200 |1262 | 200 | 637 | 436 | 0 | 0 |-7.331987e+01 |-3.200000e+01 | 56.36%
1.10/1.19 c 1.2s| 1 | 0 | 4564 | - |9184k| 0 | 195 | 200 |1262 | 200 | 669 | 468 | 0 | 0 |-7.282955e+01 |-3.200000e+01 | 56.06%
1.19/1.25 c 1.3s| 1 | 0 | 4769 | - |9783k| 0 | 197 | 200 |1262 | 200 | 707 | 506 | 0 | 0 |-7.236199e+01 |-3.200000e+01 | 55.78%
1.29/1.32 c 1.3s| 1 | 0 | 5050 | - | 10M| 0 | 200 | 200 |1262 | 200 | 570 | 521 | 0 | 0 |-7.195169e+01 |-3.200000e+01 | 55.53%
1.29/1.37 c 1.4s| 1 | 0 | 5236 | - | 10M| 0 | 197 | 200 |1262 | 200 | 583 | 534 | 0 | 0 |-7.167270e+01 |-3.200000e+01 | 55.35%
1.39/1.41 c 1.4s| 1 | 0 | 5412 | - | 10M| 0 | 199 | 200 |1262 | 200 | 602 | 553 | 0 | 0 |-7.143503e+01 |-3.200000e+01 | 55.20%
1.39/1.45 c 1.5s| 1 | 0 | 5505 | - | 10M| 0 | 200 | 200 |1262 | 200 | 617 | 568 | 0 | 0 |-7.129769e+01 |-3.200000e+01 | 55.12%
1.49/1.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.50 c 1.5s| 1 | 0 | 5647 | - | 10M| 0 | 200 | 200 |1262 | 200 | 627 | 578 | 0 | 0 |-7.115088e+01 |-3.200000e+01 | 55.03%
1.49/1.54 c 1.5s| 1 | 0 | 5754 | - | 10M| 0 | 200 | 200 |1262 | 200 | 637 | 588 | 0 | 0 |-7.096142e+01 |-3.200000e+01 | 54.91%
1.49/1.58 c 1.6s| 1 | 0 | 5816 | - | 10M| 0 | 200 | 200 |1262 | 200 | 469 | 599 | 0 | 0 |-7.088938e+01 |-3.200000e+01 | 54.86%
1.59/1.61 c 1.6s| 1 | 0 | 5845 | - | 10M| 0 | 200 | 200 |1262 | 200 | 473 | 603 | 0 | 0 |-7.087209e+01 |-3.200000e+01 | 54.85%
1.59/1.64 c 1.6s| 1 | 0 | 5869 | - | 10M| 0 | 200 | 200 |1262 | 200 | 477 | 607 | 0 | 0 |-7.086578e+01 |-3.200000e+01 | 54.84%
1.99/2.02 c 2.0s| 1 | 2 | 5869 | - | 10M| 0 | 200 | 200 |1262 | 200 | 477 | 607 | 0 | 15 |-7.086578e+01 |-3.200000e+01 | 54.84%
2.49/2.52 o -33
2.49/2.52 c R 2.5s| 28 | 27 | 7189 | 48.9 | 10M| 13 | 37 | 200 |1262 | 200 | 280 |1029 | 0 | 525 |-7.036118e+01 |-3.300000e+01 | 53.10%
2.99/3.02 o -34
2.99/3.02 c R 3.0s| 78 | 77 | 8788 | 37.9 | 10M| 16 | 39 | 200 |1262 | 200 | 291 |1652 | 0 |1182 |-7.022340e+01 |-3.400000e+01 | 51.58%
3.30/3.37 o -39
3.30/3.37 c l 3.4s| 150 | 151 | 11005 | 34.5 | 11M| 18 | - | 200 |1262 | 200 | 263 |2515 | 0 |1509 |-7.013043e+01 |-3.900000e+01 | 44.39%
3.30/3.37 o -40
3.30/3.37 c l 3.4s| 150 | 151 | 11010 | 34.5 | 11M| 18 | - | 200 |1262 | 200 | 263 |2515 | 0 |1509 |-7.013043e+01 |-4.000000e+01 | 42.96%
3.40/3.42 o -41
3.40/3.42 c * 3.4s| 189 | 188 | 12118 | 33.2 | 11M| 24 | - | 200 |1262 | 200 | 282 |2959 | 0 |1515 |-7.012324e+01 |-4.100000e+01 | 41.53%
3.40/3.44 o -42
3.40/3.44 c R 3.4s| 200 | 195 | 12485 | 33.2 | 11M| 24 | 11 | 200 |1262 | 200 | 271 |3106 | 0 |1515 |-7.012324e+01 |-4.200000e+01 | 40.11%
3.40/3.44 o -43
3.40/3.44 c R 3.4s| 201 | 192 | 12486 | 33.1 | 11M| 24 | 5 | 200 |1262 | 200 | 271 |3106 | 0 |1515 |-7.012324e+01 |-4.300000e+01 | 38.68%
3.40/3.44 o -44
3.40/3.44 c * 3.4s| 202 | 184 | 12487 | 32.9 | 11M| 24 | - | 200 |1262 | 200 | 271 |3106 | 0 |1515 |-7.012324e+01 |-4.400000e+01 | 37.25%
3.50/3.56 o -45
3.50/3.56 c * 3.6s| 305 | 232 | 15109 | 30.4 | 11M| 24 | - | 200 |1262 | 200 | 276 |4438 | 0 |1522 |-7.012324e+01 |-4.500000e+01 | 35.83%
17.39/17.47 o -47
17.39/17.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.47 c *17.5s| 8874 | 8003 |372153 | 41.3 | 23M| 41 | - | 200 |1262 | 200 | 269 | 169k| 0 |2539 |-6.700000e+01 |-4.700000e+01 | 29.85%
18.89/18.92 c 18.9s| 10000 | 8837 |409063 | 40.3 | 24M| 41 | 63 | 200 |1262 | 200 | 254 | 189k| 0 |2720 |-6.696189e+01 |-4.700000e+01 | 29.81%
30.99/31.04 c 31.0s| 20000 | 16367 |731971 | 36.3 | 36M| 41 | 81 | 200 |1262 | 200 | 221 | 353k| 0 |3891 |-6.590000e+01 |-4.700000e+01 | 28.68%
41.09/41.12 o -48
41.09/41.12 c *41.1s| 29392 | 20379 | 1005k| 34.0 | 43M| 41 | - | 200 |1262 | 200 | 240 | 500k| 0 |4710 |-6.520833e+01 |-4.800000e+01 | 26.39%
41.69/41.70 c 41.7s| 30000 | 20699 | 1021k| 33.9 | 44M| 41 | 91 | 200 |1262 | 200 | 272 | 509k| 0 |4710 |-6.519841e+01 |-4.800000e+01 | 26.38%
51.39/51.49 c 51.5s| 40000 | 26029 | 1283k| 31.9 | 53M| 42 | - | 200 |1262 | 200 | 262 | 655k| 0 |5459 |-6.482927e+01 |-4.800000e+01 | 25.96%
60.79/60.88 c 60.9s| 50000 | 31299 | 1540k| 30.7 | 61M| 42 | 20 | 200 |1262 | 200 | 222 | 795k| 0 |6085 |-6.450000e+01 |-4.800000e+01 | 25.58%
70.09/70.14 c 70.1s| 60000 | 36557 | 1792k| 29.8 | 70M| 42 | - | 200 |1262 | 200 | 274 | 933k| 0 |6590 |-6.420000e+01 |-4.800000e+01 | 25.23%
78.69/78.71 o -49
78.69/78.71 c *78.7s| 69554 | 35260 | 2024k| 29.0 | 70M| 43 | - | 200 |1262 | 200 | 294 |1062k| 0 |7079 |-6.400000e+01 |-4.900000e+01 | 23.44%
78.99/79.08 c 79.1s| 70000 | 35446 | 2034k| 29.0 | 70M| 43 | - | 200 |1262 | 200 | 242 |1068k| 0 |7080 |-6.400000e+01 |-4.900000e+01 | 23.44%
87.49/87.54 c 87.5s| 80000 | 39442 | 2262k| 28.2 | 77M| 43 | 60 | 200 |1262 | 200 | 247 |1201k| 0 |7574 |-6.380000e+01 |-4.900000e+01 | 23.20%
95.99/96.08 c 96.1s| 90000 | 43724 | 2495k| 27.7 | 85M| 43 | 27 | 200 |1262 | 200 | 226 |1331k| 0 |7990 |-6.350000e+01 |-4.900000e+01 | 22.83%
104.40/104.45 c 104s|100000 | 47874 | 2723k| 27.2 | 92M| 49 | - | 200 |1262 | 200 | 283 |1462k| 0 |8396 |-6.345455e+01 |-4.900000e+01 | 22.78%
112.49/112.53 c 113s|110000 | 51670 | 2942k| 26.7 | 98M| 49 | 21 | 200 |1262 | 200 | 274 |1590k| 0 |8725 |-6.330000e+01 |-4.900000e+01 | 22.59%
120.49/120.52 c 121s|120000 | 55266 | 3159k| 26.3 | 104M| 49 | 41 | 200 |1262 | 200 | 222 |1716k| 0 |9058 |-6.315385e+01 |-4.900000e+01 | 22.41%
123.59/123.62 o -50
123.59/123.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.59/123.62 c * 124s|123788 | 46296 | 3241k| 26.1 | 93M| 49 | - | 200 |1262 | 200 | 271 |1764k| 0 |9202 |-6.300000e+01 |-5.000000e+01 | 20.63%
128.39/128.45 c 128s|130000 | 48128 | 3371k| 25.9 | 96M| 49 | - | 200 |1262 | 200 | 281 |1844k| 0 |9311 |-6.300000e+01 |-5.000000e+01 | 20.63%
136.10/136.16 c 136s|140000 | 51370 | 3578k| 25.5 | 102M| 49 | 63 | 200 |1262 | 200 | 242 |1969k| 0 |9630 |-6.300000e+01 |-5.000000e+01 | 20.63%
143.89/143.95 c 144s|150000 | 54446 | 3789k| 25.2 | 107M| 49 | 80 | 200 |1262 | 200 | 281 |2099k| 0 |9941 |-6.290000e+01 |-5.000000e+01 | 20.51%
151.39/151.46 c 151s|160000 | 57348 | 3995k| 24.9 | 113M| 49 | - | 200 |1262 | 200 | 280 |2226k| 0 | 10k|-6.275000e+01 |-5.000000e+01 | 20.32%
158.90/158.97 c 159s|170000 | 60124 | 4196k| 24.7 | 118M| 49 | - | 200 |1262 | 200 | 258 |2353k| 0 | 10k|-6.266667e+01 |-5.000000e+01 | 20.21%
166.40/166.41 c 166s|180000 | 62888 | 4393k| 24.4 | 123M| 49 | - | 200 |1262 | 200 | 260 |2476k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
173.49/173.50 c 174s|190000 | 65360 | 4583k| 24.1 | 128M| 50 | 88 | 200 |1262 | 200 | 280 |2598k| 0 | 10k|-6.250000e+01 |-5.000000e+01 | 20.00%
180.09/180.17 c 180s|200000 | 67442 | 4760k| 23.8 | 132M| 50 | 54 | 200 |1262 | 200 | 268 |2715k| 0 | 11k|-6.250000e+01 |-5.000000e+01 | 20.00%
186.89/186.95 c 187s|210000 | 69486 | 4939k| 23.5 | 136M| 52 | 64 | 200 |1262 | 200 | 256 |2831k| 0 | 11k|-6.237500e+01 |-5.000000e+01 | 19.84%
193.60/193.68 c 194s|220000 | 71474 | 5117k| 23.2 | 140M| 54 | 50 | 200 |1262 | 200 | 243 |2948k| 0 | 11k|-6.233333e+01 |-5.000000e+01 | 19.79%
200.40/200.41 c 200s|230000 | 73636 | 5295k| 23.0 | 144M| 54 | 24 | 200 |1262 | 200 | 221 |3063k| 0 | 11k|-6.225000e+01 |-5.000000e+01 | 19.68%
206.99/207.03 c 207s|240000 | 75612 | 5470k| 22.8 | 148M| 54 | 57 | 200 |1262 | 200 | 239 |3179k| 0 | 11k|-6.216667e+01 |-5.000000e+01 | 19.57%
213.59/213.69 c 214s|250000 | 77446 | 5645k| 22.6 | 151M| 54 | 30 | 200 |1262 | 200 | 226 |3296k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
220.50/220.55 c 221s|260000 | 79540 | 5827k| 22.4 | 156M| 54 | 42 | 200 |1262 | 200 | 245 |3416k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
227.39/227.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.39/227.41 c 227s|270000 | 81676 | 6009k| 22.2 | 160M| 54 | 46 | 200 |1262 | 200 | 243 |3535k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
233.99/234.06 c 234s|280000 | 83452 | 6184k| 22.1 | 163M| 54 | 14 | 200 |1262 | 200 | 247 |3654k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
240.70/240.72 c 241s|290000 | 85500 | 6358k| 21.9 | 167M| 54 | 7 | 200 |1262 | 200 | 242 |3768k| 0 | 12k|-6.200000e+01 |-5.000000e+01 | 19.35%
247.39/247.46 c 247s|300000 | 87560 | 6536k| 21.8 | 171M| 54 | 25 | 200 |1262 | 200 | 259 |3887k| 0 | 13k|-6.200000e+01 |-5.000000e+01 | 19.35%
253.99/254.04 c 254s|310000 | 89450 | 6708k| 21.6 | 175M| 54 | - | 200 |1262 | 200 | 245 |4001k| 0 | 13k|-6.186667e+01 |-5.000000e+01 | 19.18%
260.70/260.77 c 261s|320000 | 91434 | 6887k| 21.5 | 179M| 54 | 82 | 200 |1262 | 200 | 286 |4118k| 0 | 13k|-6.180000e+01 |-5.000000e+01 | 19.09%
267.49/267.53 c 268s|330000 | 93506 | 7065k| 21.4 | 183M| 54 | - | 200 |1262 | 200 | 282 |4233k| 0 | 13k|-6.175000e+01 |-5.000000e+01 | 19.03%
274.00/274.09 c 274s|340000 | 95484 | 7238k| 21.3 | 187M| 58 | - | 200 |1262 | 200 | 283 |4348k| 0 | 13k|-6.168182e+01 |-5.000000e+01 | 18.94%
280.50/280.56 c 281s|350000 | 97300 | 7407k| 21.1 | 190M| 58 | 15 | 200 |1262 | 200 | 225 |4464k| 0 | 13k|-6.166667e+01 |-5.000000e+01 | 18.92%
287.10/287.16 c 287s|360000 | 99272 | 7580k| 21.0 | 194M| 58 | - | 200 |1262 | 200 | 257 |4578k| 0 | 14k|-6.162500e+01 |-5.000000e+01 | 18.86%
293.59/293.66 c 294s|370000 |101128 | 7749k| 20.9 | 198M| 58 | 9 | 200 |1262 | 200 | 241 |4693k| 0 | 14k|-6.153333e+01 |-5.000000e+01 | 18.74%
300.09/300.11 c 300s|380000 |102894 | 7917k| 20.8 | 201M| 58 | 47 | 200 |1262 | 200 | 226 |4805k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
306.59/306.64 c 307s|390000 |104722 | 8087k| 20.7 | 205M| 58 | 13 | 200 |1262 | 200 | 241 |4918k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
313.00/313.01 c 313s|400000 |106516 | 8253k| 20.6 | 208M| 58 | 81 | 200 |1262 | 200 | 275 |5028k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
319.40/319.47 c 319s|410000 |108352 | 8421k| 20.5 | 212M| 58 | - | 200 |1262 | 200 | 268 |5143k| 0 | 14k|-6.150000e+01 |-5.000000e+01 | 18.70%
325.80/325.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
325.80/325.88 c 326s|420000 |110206 | 8590k| 20.4 | 216M| 58 | - | 200 |1262 | 200 | 247 |5253k| 0 | 15k|-6.144444e+01 |-5.000000e+01 | 18.63%
332.20/332.24 c 332s|430000 |112016 | 8754k| 20.3 | 219M| 58 | 82 | 200 |1262 | 200 | 252 |5363k| 0 | 15k|-6.135000e+01 |-5.000000e+01 | 18.50%
338.60/338.68 c 339s|440000 |113868 | 8920k| 20.3 | 223M| 58 | 93 | 200 |1262 | 200 | 245 |5474k| 0 | 15k|-6.133333e+01 |-5.000000e+01 | 18.48%
345.00/345.03 c 345s|450000 |115606 | 9084k| 20.2 | 226M| 58 | 27 | 200 |1262 | 200 | 241 |5582k| 0 | 15k|-6.125000e+01 |-5.000000e+01 | 18.37%
351.30/351.39 c 351s|460000 |117286 | 9248k| 20.1 | 230M| 58 | 27 | 200 |1262 | 200 | 254 |5694k| 0 | 15k|-6.125000e+01 |-5.000000e+01 | 18.37%
357.70/357.75 c 358s|470000 |118996 | 9411k| 20.0 | 233M| 58 | 74 | 200 |1262 | 200 | 273 |5803k| 0 | 15k|-6.118182e+01 |-5.000000e+01 | 18.28%
364.10/364.16 c 364s|480000 |120706 | 9579k| 19.9 | 236M| 58 | - | 200 |1262 | 200 | 246 |5916k| 0 | 15k|-6.112500e+01 |-5.000000e+01 | 18.20%
370.29/370.36 c 370s|490000 |122274 | 9737k| 19.9 | 239M| 58 | 78 | 200 |1262 | 200 | 270 |6024k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
376.80/376.84 c 377s|500000 |124190 | 9908k| 19.8 | 243M| 58 | 70 | 200 |1262 | 200 | 246 |6138k| 0 | 16k|-6.100000e+01 |-5.000000e+01 | 18.03%
382.09/382.17 o -51
382.09/382.17 c * 382s|508142 | 95304 | 10045k| 19.8 | 195M| 58 | - | 200 |1262 | 200 | 290 |6230k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
383.30/383.36 c 383s|510000 | 95476 | 10075k| 19.7 | 196M| 58 | 24 | 200 |1262 | 200 | 265 |6252k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
389.51/389.54 c 390s|520000 | 96718 | 10233k| 19.7 | 198M| 58 | 62 | 200 |1262 | 200 | 268 |6368k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
395.70/395.75 c 396s|530000 | 97986 | 10392k| 19.6 | 201M| 58 | 11 | 200 |1262 | 200 | 258 |6480k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
401.89/401.95 c 402s|540000 | 99218 | 10552k| 19.5 | 204M| 58 | - | 200 |1262 | 200 | 259 |6595k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
408.00/408.02 c 408s|550000 |100410 | 10706k| 19.5 | 206M| 58 | - | 200 |1262 | 200 | 259 |6708k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
414.10/414.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.10/414.17 c 414s|560000 |101618 | 10861k| 19.4 | 209M| 58 | - | 200 |1262 | 200 | 257 |6818k| 0 | 16k|-6.100000e+01 |-5.100000e+01 | 16.39%
420.30/420.32 c 420s|570000 |102758 | 11020k| 19.3 | 211M| 58 | 14 | 200 |1262 | 200 | 224 |6933k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
426.49/426.59 c 427s|580000 |104010 | 11181k| 19.3 | 214M| 58 | 22 | 200 |1262 | 200 | 244 |7048k| 0 | 17k|-6.100000e+01 |-5.100000e+01 | 16.39%
432.69/432.75 c 433s|590000 |105168 | 11339k| 19.2 | 216M| 58 | - | 200 |1262 | 200 | 247 |7162k| 0 | 17k|-6.091667e+01 |-5.100000e+01 | 16.28%
438.70/438.79 c 439s|600000 |106346 | 11493k| 19.1 | 219M| 58 | 44 | 200 |1262 | 200 | 244 |7274k| 0 | 17k|-6.083333e+01 |-5.100000e+01 | 16.16%
445.00/445.01 c 445s|610000 |107572 | 11653k| 19.1 | 222M| 58 | - | 200 |1262 | 200 | 276 |7386k| 0 | 17k|-6.080000e+01 |-5.100000e+01 | 16.12%
451.00/451.01 c 451s|620000 |108654 | 11805k| 19.0 | 224M| 58 | - | 200 |1262 | 200 | 268 |7495k| 0 | 17k|-6.077778e+01 |-5.100000e+01 | 16.09%
457.10/457.12 c 457s|630000 |109880 | 11961k| 19.0 | 227M| 58 | 66 | 200 |1262 | 200 | 250 |7605k| 0 | 17k|-6.075000e+01 |-5.100000e+01 | 16.05%
463.00/463.05 c 463s|640000 |111024 | 12111k| 18.9 | 229M| 58 | - | 200 |1262 | 200 | 271 |7718k| 0 | 17k|-6.075000e+01 |-5.100000e+01 | 16.05%
468.99/469.09 c 469s|650000 |112168 | 12264k| 18.9 | 232M| 58 | 40 | 200 |1262 | 200 | 275 |7829k| 0 | 18k|-6.066667e+01 |-5.100000e+01 | 15.93%
475.10/475.13 c 475s|660000 |113416 | 12420k| 18.8 | 234M| 58 | - | 200 |1262 | 200 | 242 |7940k| 0 | 18k|-6.066667e+01 |-5.100000e+01 | 15.93%
481.09/481.11 c 481s|670000 |114572 | 12571k| 18.8 | 237M| 58 | 54 | 200 |1262 | 200 | 245 |8049k| 0 | 18k|-6.066667e+01 |-5.100000e+01 | 15.93%
487.19/487.21 c 487s|680000 |115828 | 12727k| 18.7 | 239M| 58 | - | 200 |1262 | 200 | 254 |8161k| 0 | 18k|-6.062500e+01 |-5.100000e+01 | 15.88%
493.09/493.13 c 493s|690000 |116754 | 12875k| 18.7 | 241M| 58 | 66 | 200 |1262 | 200 | 253 |8271k| 0 | 18k|-6.057143e+01 |-5.100000e+01 | 15.80%
499.20/499.21 c 499s|700000 |117888 | 13030k| 18.6 | 244M| 58 | - | 200 |1262 | 200 | 294 |8384k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
505.20/505.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.20/505.22 c 505s|710000 |119116 | 13184k| 18.6 | 246M| 58 | - | 200 |1262 | 200 | 258 |8495k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
511.10/511.17 c 511s|720000 |120268 | 13334k| 18.5 | 249M| 58 | - | 200 |1262 | 200 | 256 |8602k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
517.11/517.14 c 517s|730000 |121444 | 13485k| 18.5 | 251M| 58 | 7 | 200 |1262 | 200 | 259 |8710k| 0 | 18k|-6.050000e+01 |-5.100000e+01 | 15.70%
523.10/523.17 c 523s|740000 |122676 | 13638k| 18.4 | 254M| 58 | 10 | 200 |1262 | 200 | 248 |8819k| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
528.99/529.05 c 529s|750000 |123716 | 13786k| 18.4 | 256M| 58 | 17 | 200 |1262 | 200 | 240 |8924k| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
535.10/535.11 c 535s|760000 |124800 | 13941k| 18.3 | 258M| 58 | 79 | 200 |1262 | 200 | 265 |9035k| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
540.99/541.05 c 541s|770000 |125924 | 14090k| 18.3 | 261M| 58 | - | 200 |1262 | 200 | 275 |9145k| 0 | 19k|-6.050000e+01 |-5.100000e+01 | 15.70%
547.20/547.20 c 547s|780000 |127120 | 14247k| 18.3 | 263M| 58 | - | 200 |1262 | 200 | 254 |9255k| 0 | 19k|-6.042857e+01 |-5.100000e+01 | 15.60%
553.19/553.21 c 553s|790000 |128220 | 14399k| 18.2 | 266M| 58 | 30 | 200 |1262 | 200 | 225 |9364k| 0 | 19k|-6.037500e+01 |-5.100000e+01 | 15.53%
559.10/559.15 c 559s|800000 |129328 | 14550k| 18.2 | 268M| 58 | 83 | 200 |1262 | 200 | 245 |9476k| 0 | 19k|-6.033333e+01 |-5.100000e+01 | 15.47%
565.10/565.11 c 565s|810000 |130526 | 14699k| 18.1 | 271M| 58 | 24 | 200 |1262 | 200 | 264 |9583k| 0 | 19k|-6.033333e+01 |-5.100000e+01 | 15.47%
570.90/570.98 c 571s|820000 |131522 | 14848k| 18.1 | 273M| 62 | 7 | 200 |1262 | 200 | 249 |9687k| 0 | 19k|-6.033333e+01 |-5.100000e+01 | 15.47%
576.70/576.78 c 577s|830000 |132386 | 14992k| 18.1 | 275M| 62 | 87 | 200 |1262 | 200 | 252 |9792k| 0 | 19k|-6.025000e+01 |-5.100000e+01 | 15.35%
582.50/582.55 c 583s|840000 |133280 | 15137k| 18.0 | 277M| 62 | - | 200 |1262 | 200 | 267 |9896k| 0 | 20k|-6.025000e+01 |-5.100000e+01 | 15.35%
588.40/588.40 c 588s|850000 |134260 | 15283k| 18.0 | 279M| 62 | - | 200 |1262 | 200 | 246 | 10M| 0 | 20k|-6.025000e+01 |-5.100000e+01 | 15.35%
594.11/594.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.11/594.13 c 594s|860000 |135020 | 15427k| 17.9 | 281M| 62 | - | 200 |1262 | 200 | 304 | 10M| 0 | 20k|-6.020000e+01 |-5.100000e+01 | 15.28%
599.90/599.93 c 600s|870000 |135818 | 15571k| 17.9 | 282M| 62 | 23 | 200 |1262 | 200 | 220 | 10M| 0 | 20k|-6.016667e+01 |-5.100000e+01 | 15.24%
605.60/605.65 c 606s|880000 |136666 | 15715k| 17.9 | 284M| 62 | - | 200 |1262 | 200 | 246 | 10M| 0 | 20k|-6.010526e+01 |-5.100000e+01 | 15.15%
611.30/611.34 c 611s|890000 |137378 | 15855k| 17.8 | 286M| 62 | - | 200 |1262 | 200 | 273 | 10M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
617.00/617.00 c 617s|900000 |138158 | 15995k| 17.8 | 288M| 62 | - | 200 |1262 | 200 | 250 | 10M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
622.70/622.76 c 623s|910000 |139062 | 16138k| 17.7 | 290M| 62 | - | 200 |1262 | 200 | 256 | 10M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
628.30/628.37 c 628s|920000 |139884 | 16275k| 17.7 | 292M| 62 | 61 | 200 |1262 | 200 | 280 | 10M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
634.00/634.08 c 634s|930000 |140760 | 16416k| 17.6 | 293M| 62 | - | 200 |1262 | 200 | 291 | 10M| 0 | 20k|-6.000000e+01 |-5.100000e+01 | 15.00%
637.20/637.26 o -52
637.20/637.26 c * 637s|935452 |105825 | 16491k| 17.6 | 229M| 62 | - | 200 |1262 | 200 | 276 | 10M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
639.70/639.79 c 640s|940000 |106013 | 16553k| 17.6 | 229M| 62 | - | 200 |1262 | 200 | 262 | 10M| 0 | 20k|-6.000000e+01 |-5.200000e+01 | 13.33%
645.40/645.42 c 645s|950000 |106499 | 16692k| 17.6 | 231M| 62 | 22 | 200 |1262 | 200 | 245 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
650.99/651.01 c 651s|960000 |106973 | 16830k| 17.5 | 232M| 62 | 44 | 200 |1262 | 200 | 238 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
656.60/656.65 c 657s|970000 |107453 | 16968k| 17.5 | 233M| 62 | - | 200 |1262 | 200 | 253 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
662.10/662.16 c 662s|980000 |107883 | 17104k| 17.4 | 234M| 62 | - | 200 |1262 | 200 | 245 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
667.60/667.67 c 668s|990000 |108431 | 17237k| 17.4 | 236M| 62 | 37 | 200 |1262 | 200 | 222 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
673.21/673.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.21/673.28 c 673s| 1000k|109027 | 17376k| 17.4 | 237M| 62 | 23 | 200 |1262 | 200 | 220 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
679.00/679.04 c 679s| 1010k|109675 | 17520k| 17.3 | 239M| 62 | 24 | 200 |1262 | 200 | 255 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
684.70/684.71 c 685s| 1020k|110323 | 17661k| 17.3 | 240M| 62 | 24 | 200 |1262 | 200 | 262 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
690.29/690.31 c 690s| 1030k|110865 | 17798k| 17.3 | 242M| 62 | - | 200 |1262 | 200 | 293 | 11M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
695.90/695.90 c 696s| 1040k|111431 | 17935k| 17.2 | 243M| 62 | 17 | 200 |1262 | 200 | 243 | 12M| 0 | 21k|-6.000000e+01 |-5.200000e+01 | 13.33%
701.50/701.58 c 702s| 1050k|111975 | 18076k| 17.2 | 244M| 62 | 66 | 200 |1262 | 200 | 267 | 12M| 0 | 21k|-5.991667e+01 |-5.200000e+01 | 13.21%
707.10/707.17 c 707s| 1060k|112561 | 18213k| 17.2 | 246M| 62 | - | 200 |1262 | 200 | 276 | 12M| 0 | 22k|-5.986047e+01 |-5.200000e+01 | 13.13%
712.60/712.60 c 713s| 1070k|112969 | 18344k| 17.1 | 247M| 62 | - | 200 |1262 | 200 | 248 | 12M| 0 | 22k|-5.983333e+01 |-5.200000e+01 | 13.09%
718.10/718.12 c 718s| 1080k|113503 | 18480k| 17.1 | 248M| 62 | 22 | 200 |1262 | 200 | 261 | 12M| 0 | 22k|-5.981818e+01 |-5.200000e+01 | 13.07%
723.60/723.66 c 724s| 1090k|114065 | 18615k| 17.1 | 250M| 62 | 96 | 200 |1262 | 200 | 279 | 12M| 0 | 22k|-5.980000e+01 |-5.200000e+01 | 13.04%
729.10/729.12 c 729s| 1100k|114497 | 18748k| 17.0 | 251M| 62 | - | 200 |1262 | 200 | 287 | 12M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
734.50/734.55 c 735s| 1110k|114981 | 18880k| 17.0 | 252M| 62 | 13 | 200 |1262 | 200 | 222 | 12M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
740.00/740.00 c 740s| 1120k|115463 | 19013k| 17.0 | 253M| 62 | - | 200 |1262 | 200 | 240 | 12M| 0 | 22k|-5.975000e+01 |-5.200000e+01 | 12.97%
745.40/745.49 c 745s| 1130k|115981 | 19146k| 16.9 | 255M| 62 | - | 200 |1262 | 200 | 272 | 12M| 0 | 22k|-5.972222e+01 |-5.200000e+01 | 12.93%
751.09/751.13 c 751s| 1140k|116555 | 19286k| 16.9 | 256M| 62 | - | 200 |1262 | 200 | 260 | 13M| 0 | 22k|-5.966667e+01 |-5.200000e+01 | 12.85%
756.70/756.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.70/756.74 c 757s| 1150k|117153 | 19425k| 16.9 | 257M| 62 | 21 | 200 |1262 | 200 | 243 | 13M| 0 | 22k|-5.966667e+01 |-5.200000e+01 | 12.85%
762.20/762.24 c 762s| 1160k|117669 | 19558k| 16.9 | 259M| 62 | - | 200 |1262 | 200 | 254 | 13M| 0 | 22k|-5.966667e+01 |-5.200000e+01 | 12.85%
767.70/767.74 c 768s| 1170k|118199 | 19693k| 16.8 | 260M| 62 | - | 200 |1262 | 200 | 277 | 13M| 0 | 22k|-5.966667e+01 |-5.200000e+01 | 12.85%
773.31/773.30 c 773s| 1180k|118645 | 19827k| 16.8 | 261M| 62 | - | 200 |1262 | 200 | 242 | 13M| 0 | 22k|-5.962500e+01 |-5.200000e+01 | 12.79%
778.81/778.85 c 779s| 1190k|119185 | 19963k| 16.8 | 262M| 62 | - | 200 |1262 | 200 | 234 | 13M| 0 | 23k|-5.960000e+01 |-5.200000e+01 | 12.75%
784.30/784.30 c 784s| 1200k|119597 | 20095k| 16.7 | 264M| 62 | 26 | 200 |1262 | 200 | 247 | 13M| 0 | 23k|-5.957143e+01 |-5.200000e+01 | 12.71%
789.70/789.75 c 790s| 1210k|119989 | 20227k| 16.7 | 265M| 62 | - | 200 |1262 | 200 | 267 | 13M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
795.00/795.07 c 795s| 1220k|120365 | 20356k| 16.7 | 266M| 62 | - | 200 |1262 | 200 | 246 | 13M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
800.40/800.47 c 800s| 1230k|120833 | 20487k| 16.7 | 267M| 62 | 23 | 200 |1262 | 200 | 251 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
805.80/805.85 c 806s| 1240k|121333 | 20617k| 16.6 | 268M| 63 | 14 | 200 |1262 | 200 | 242 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
811.30/811.34 c 811s| 1250k|121857 | 20751k| 16.6 | 269M| 63 | 32 | 200 |1262 | 200 | 273 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
816.70/816.73 c 817s| 1260k|122361 | 20882k| 16.6 | 271M| 63 | 36 | 200 |1262 | 200 | 241 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
822.20/822.29 c 822s| 1270k|122867 | 21017k| 16.5 | 272M| 63 | 93 | 200 |1262 | 200 | 279 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
827.70/827.73 c 828s| 1280k|123337 | 21147k| 16.5 | 273M| 63 | 66 | 200 |1262 | 200 | 257 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
833.20/833.21 c 833s| 1290k|123785 | 21282k| 16.5 | 274M| 63 | 25 | 200 |1262 | 200 | 260 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
838.40/838.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.40/838.48 c 838s| 1300k|124249 | 21407k| 16.5 | 275M| 63 | - | 200 |1262 | 200 | 263 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
843.81/843.84 c 844s| 1310k|124669 | 21535k| 16.4 | 276M| 63 | 37 | 200 |1262 | 200 | 252 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
849.20/849.24 c 849s| 1320k|125137 | 21666k| 16.4 | 278M| 63 | 12 | 200 |1262 | 200 | 242 | 14M| 0 | 23k|-5.950000e+01 |-5.200000e+01 | 12.61%
854.60/854.68 c 855s| 1330k|125589 | 21797k| 16.4 | 279M| 63 | - | 200 |1262 | 200 | 271 | 15M| 0 | 24k|-5.950000e+01 |-5.200000e+01 | 12.61%
860.10/860.13 c 860s| 1340k|125975 | 21927k| 16.4 | 280M| 63 | 73 | 200 |1262 | 200 | 265 | 15M| 0 | 24k|-5.942857e+01 |-5.200000e+01 | 12.50%
865.60/865.62 c 866s| 1350k|126505 | 22059k| 16.3 | 281M| 63 | 12 | 200 |1262 | 200 | 226 | 15M| 0 | 24k|-5.940000e+01 |-5.200000e+01 | 12.46%
870.90/870.98 c 871s| 1360k|126825 | 22188k| 16.3 | 282M| 63 | - | 200 |1262 | 200 | 256 | 15M| 0 | 24k|-5.935714e+01 |-5.200000e+01 | 12.39%
876.40/876.42 c 876s| 1370k|127239 | 22320k| 16.3 | 283M| 63 | 82 | 200 |1262 | 200 | 266 | 15M| 0 | 24k|-5.933333e+01 |-5.200000e+01 | 12.36%
881.80/881.80 c 882s| 1380k|127713 | 22449k| 16.3 | 284M| 63 | 24 | 200 |1262 | 200 | 240 | 15M| 0 | 24k|-5.933333e+01 |-5.200000e+01 | 12.36%
887.10/887.13 c 887s| 1390k|128087 | 22575k| 16.2 | 285M| 63 | - | 200 |1262 | 200 | 245 | 15M| 0 | 24k|-5.933333e+01 |-5.200000e+01 | 12.36%
892.50/892.54 c 893s| 1400k|128445 | 22705k| 16.2 | 286M| 63 | 53 | 200 |1262 | 200 | 242 | 15M| 0 | 24k|-5.933333e+01 |-5.200000e+01 | 12.36%
897.80/897.89 c 898s| 1410k|128825 | 22834k| 16.2 | 287M| 63 | - | 200 |1262 | 200 | 246 | 15M| 0 | 24k|-5.928571e+01 |-5.200000e+01 | 12.29%
903.30/903.32 c 903s| 1420k|129253 | 22965k| 16.2 | 288M| 63 | 88 | 200 |1262 | 200 | 282 | 15M| 0 | 24k|-5.925000e+01 |-5.200000e+01 | 12.24%
908.61/908.60 c 909s| 1430k|129749 | 23091k| 16.1 | 290M| 63 | - | 200 |1262 | 200 | 263 | 16M| 0 | 24k|-5.925000e+01 |-5.200000e+01 | 12.24%
913.90/913.91 c 914s| 1440k|130099 | 23217k| 16.1 | 291M| 63 | 61 | 200 |1262 | 200 | 251 | 16M| 0 | 24k|-5.925000e+01 |-5.200000e+01 | 12.24%
919.30/919.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.30/919.34 c 919s| 1450k|130533 | 23349k| 16.1 | 292M| 63 | - | 200 |1262 | 200 | 272 | 16M| 0 | 24k|-5.922222e+01 |-5.200000e+01 | 12.20%
924.60/924.60 c 925s| 1460k|130917 | 23475k| 16.1 | 293M| 67 | - | 200 |1262 | 200 | 258 | 16M| 0 | 24k|-5.920000e+01 |-5.200000e+01 | 12.16%
929.90/929.98 c 930s| 1470k|131235 | 23603k| 16.1 | 293M| 67 | - | 200 |1262 | 200 | 242 | 16M| 0 | 25k|-5.916667e+01 |-5.200000e+01 | 12.11%
935.30/935.32 c 935s| 1480k|131555 | 23730k| 16.0 | 294M| 67 | 9 | 200 |1262 | 200 | 223 | 16M| 0 | 25k|-5.914286e+01 |-5.200000e+01 | 12.08%
940.60/940.64 c 941s| 1490k|131867 | 23856k| 16.0 | 295M| 67 | 9 | 200 |1262 | 200 | 247 | 16M| 0 | 25k|-5.910000e+01 |-5.200000e+01 | 12.01%
945.90/945.99 c 946s| 1500k|132271 | 23984k| 16.0 | 296M| 67 | - | 200 |1262 | 200 | 241 | 16M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
951.30/951.34 c 951s| 1510k|132693 | 24113k| 16.0 | 297M| 67 | 7 | 200 |1262 | 200 | 243 | 16M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
956.60/956.66 c 957s| 1520k|133039 | 24239k| 15.9 | 298M| 67 | - | 200 |1262 | 200 | 277 | 16M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
962.11/962.14 c 962s| 1530k|133509 | 24373k| 15.9 | 299M| 67 | 37 | 200 |1262 | 200 | 243 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
967.40/967.49 c 967s| 1540k|133853 | 24500k| 15.9 | 300M| 67 | - | 200 |1262 | 200 | 252 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
972.70/972.79 c 973s| 1550k|134211 | 24627k| 15.9 | 301M| 67 | 85 | 200 |1262 | 200 | 255 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
977.90/977.99 c 978s| 1560k|134535 | 24751k| 15.9 | 302M| 67 | - | 200 |1262 | 200 | 262 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
983.30/983.36 c 983s| 1570k|134909 | 24879k| 15.8 | 303M| 67 | - | 200 |1262 | 200 | 254 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
988.50/988.58 c 989s| 1580k|135205 | 25002k| 15.8 | 304M| 67 | 27 | 200 |1262 | 200 | 229 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
993.80/993.87 c 994s| 1590k|135611 | 25128k| 15.8 | 305M| 67 | - | 200 |1262 | 200 | 272 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
999.10/999.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.10/999.11 c 999s| 1600k|135871 | 25252k| 15.8 | 306M| 67 | 9 | 200 |1262 | 200 | 227 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
1004.20/1004.30 c 1004s| 1610k|136189 | 25375k| 15.8 | 307M| 67 | - | 200 |1262 | 200 | 261 | 17M| 0 | 25k|-5.900000e+01 |-5.200000e+01 | 11.86%
1009.60/1009.63 c 1010s| 1620k|136603 | 25503k| 15.7 | 308M| 67 | 12 | 200 |1262 | 200 | 242 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1014.81/1014.81 c 1015s| 1630k|136939 | 25625k| 15.7 | 309M| 67 | 34 | 200 |1262 | 200 | 266 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1020.10/1020.11 c 1020s| 1640k|137297 | 25751k| 15.7 | 310M| 67 | 30 | 200 |1262 | 200 | 226 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1025.30/1025.38 c 1025s| 1650k|137663 | 25876k| 15.7 | 311M| 67 | 40 | 200 |1262 | 200 | 239 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1030.50/1030.56 c 1031s| 1660k|137995 | 25998k| 15.7 | 311M| 70 | - | 200 |1262 | 200 | 265 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1035.80/1035.86 c 1036s| 1670k|138321 | 26124k| 15.6 | 312M| 72 | - | 200 |1262 | 200 | 289 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1041.00/1041.08 c 1041s| 1680k|138637 | 26245k| 15.6 | 313M| 72 | 80 | 200 |1262 | 200 | 252 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1046.20/1046.29 c 1046s| 1690k|138863 | 26368k| 15.6 | 314M| 72 | 42 | 200 |1262 | 200 | 243 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1051.51/1051.54 c 1052s| 1700k|139225 | 26492k| 15.6 | 315M| 72 | 16 | 200 |1262 | 200 | 223 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1056.80/1056.85 c 1057s| 1710k|139631 | 26618k| 15.6 | 316M| 72 | 31 | 200 |1262 | 200 | 249 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1062.01/1062.04 c 1062s| 1720k|139915 | 26739k| 15.5 | 317M| 72 | - | 200 |1262 | 200 | 281 | 18M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1067.21/1067.29 c 1067s| 1730k|140211 | 26863k| 15.5 | 317M| 72 | 20 | 200 |1262 | 200 | 242 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1072.40/1072.44 c 1072s| 1740k|140377 | 26983k| 15.5 | 318M| 72 | - | 200 |1262 | 200 | 260 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1077.60/1077.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1077.60/1077.68 c 1078s| 1750k|140703 | 27107k| 15.5 | 319M| 72 | - | 200 |1262 | 200 | 248 | 19M| 0 | 26k|-5.900000e+01 |-5.200000e+01 | 11.86%
1082.91/1082.95 c 1083s| 1760k|140977 | 27229k| 15.5 | 320M| 72 | 76 | 200 |1262 | 200 | 247 | 19M| 0 | 26k|-5.890323e+01 |-5.200000e+01 | 11.72%
1088.00/1088.08 c 1088s| 1770k|141187 | 27350k| 15.4 | 320M| 72 | 23 | 200 |1262 | 200 | 257 | 19M| 0 | 26k|-5.887500e+01 |-5.200000e+01 | 11.68%
1093.10/1093.16 c 1093s| 1780k|141379 | 27468k| 15.4 | 321M| 72 | 34 | 200 |1262 | 200 | 234 | 19M| 0 | 26k|-5.885000e+01 |-5.200000e+01 | 11.64%
1098.30/1098.38 c 1098s| 1790k|141677 | 27591k| 15.4 | 322M| 72 | 36 | 200 |1262 | 200 | 222 | 19M| 0 | 27k|-5.883333e+01 |-5.200000e+01 | 11.61%
1103.40/1103.47 c 1103s| 1800k|141869 | 27708k| 15.4 | 322M| 72 | 48 | 200 |1262 | 200 | 263 | 19M| 0 | 27k|-5.883333e+01 |-5.200000e+01 | 11.61%
1108.60/1108.62 c 1109s| 1810k|142109 | 27829k| 15.4 | 323M| 72 | 24 | 200 |1262 | 200 | 247 | 19M| 0 | 27k|-5.880000e+01 |-5.200000e+01 | 11.56%
1110.70/1110.75 o -53
1110.70/1110.75 c *1111s| 1813k|102692 | 27876k| 15.4 | 241M| 72 | - | 200 |1262 | 200 | 280 | 19M| 0 | 27k|-5.880000e+01 |-5.300000e+01 | 9.86%
1113.90/1113.90 c 1114s| 1820k|102702 | 27946k| 15.4 | 241M| 72 | 26 | 200 |1262 | 200 | 263 | 19M| 0 | 27k|-5.877778e+01 |-5.300000e+01 | 9.83%
1118.81/1118.85 c 1119s| 1830k|102638 | 28056k| 15.3 | 241M| 72 | - | 200 |1262 | 200 | 251 | 20M| 0 | 27k|-5.875000e+01 |-5.300000e+01 | 9.79%
1123.80/1123.85 c 1124s| 1840k|102658 | 28170k| 15.3 | 241M| 72 | - | 200 |1262 | 200 | 269 | 20M| 0 | 27k|-5.875000e+01 |-5.300000e+01 | 9.79%
1128.81/1128.85 c 1129s| 1850k|102660 | 28283k| 15.3 | 242M| 72 | 9 | 200 |1262 | 200 | 240 | 20M| 0 | 27k|-5.875000e+01 |-5.300000e+01 | 9.79%
1133.80/1133.84 c 1134s| 1860k|102618 | 28395k| 15.3 | 242M| 72 | - | 200 |1262 | 200 | 239 | 20M| 0 | 27k|-5.875000e+01 |-5.300000e+01 | 9.79%
1138.81/1138.83 c 1139s| 1870k|102578 | 28510k| 15.2 | 242M| 72 | 48 | 200 |1262 | 200 | 237 | 20M| 0 | 27k|-5.875000e+01 |-5.300000e+01 | 9.79%
1143.71/1143.76 c 1144s| 1880k|102574 | 28620k| 15.2 | 242M| 72 | - | 200 |1262 | 200 | 244 | 20M| 0 | 27k|-5.871429e+01 |-5.300000e+01 | 9.73%
1148.51/1148.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.51/1148.56 c 1149s| 1890k|102478 | 28725k| 15.2 | 242M| 72 | - | 200 |1262 | 200 | 276 | 20M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1153.50/1153.50 c 1154s| 1900k|102458 | 28835k| 15.2 | 242M| 72 | - | 200 |1262 | 200 | 280 | 20M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1158.50/1158.53 c 1159s| 1910k|102420 | 28948k| 15.2 | 243M| 72 | - | 200 |1262 | 200 | 263 | 20M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1163.41/1163.41 c 1163s| 1920k|102490 | 29057k| 15.1 | 243M| 72 | - | 200 |1262 | 200 | 259 | 20M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1168.30/1168.39 c 1168s| 1930k|102494 | 29170k| 15.1 | 243M| 72 | - | 200 |1262 | 200 | 266 | 21M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1173.30/1173.33 c 1173s| 1940k|102522 | 29281k| 15.1 | 244M| 72 | 41 | 200 |1262 | 200 | 237 | 21M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1178.31/1178.33 c 1178s| 1950k|102536 | 29395k| 15.1 | 244M| 72 | - | 200 |1262 | 200 | 254 | 21M| 0 | 27k|-5.866667e+01 |-5.300000e+01 | 9.66%
1183.21/1183.23 c 1183s| 1960k|102488 | 29505k| 15.1 | 244M| 72 | 47 | 200 |1262 | 200 | 246 | 21M| 0 | 27k|-5.862500e+01 |-5.300000e+01 | 9.59%
1188.01/1188.07 c 1188s| 1970k|102402 | 29611k| 15.0 | 244M| 72 | - | 200 |1262 | 200 | 247 | 21M| 0 | 28k|-5.860000e+01 |-5.300000e+01 | 9.56%
1192.90/1192.96 c 1193s| 1980k|102324 | 29719k| 15.0 | 244M| 72 | - | 200 |1262 | 200 | 238 | 21M| 0 | 28k|-5.858333e+01 |-5.300000e+01 | 9.53%
1197.80/1197.85 c 1198s| 1990k|102234 | 29828k| 15.0 | 244M| 72 | 30 | 200 |1262 | 200 | 260 | 21M| 0 | 28k|-5.855556e+01 |-5.300000e+01 | 9.49%
1202.70/1202.70 c 1203s| 2000k|102142 | 29935k| 15.0 | 244M| 72 | 49 | 200 |1262 | 200 | 238 | 21M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1207.61/1207.69 c 1208s| 2010k|102116 | 30049k| 14.9 | 245M| 72 | - | 200 |1262 | 200 | 272 | 21M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1212.60/1212.65 c 1213s| 2020k|102054 | 30160k| 14.9 | 245M| 72 | - | 200 |1262 | 200 | 265 | 21M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1217.50/1217.50 c 1217s| 2030k|101962 | 30266k| 14.9 | 245M| 72 | 18 | 200 |1262 | 200 | 236 | 21M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1222.30/1222.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.30/1222.30 c 1222s| 2040k|101842 | 30371k| 14.9 | 245M| 72 | - | 200 |1262 | 200 | 238 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1227.10/1227.16 c 1227s| 2050k|101814 | 30479k| 14.9 | 245M| 72 | 21 | 200 |1262 | 200 | 223 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1231.90/1231.98 c 1232s| 2060k|101716 | 30586k| 14.8 | 245M| 72 | - | 200 |1262 | 200 | 267 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1236.70/1236.76 c 1237s| 2070k|101612 | 30691k| 14.8 | 245M| 72 | - | 200 |1262 | 200 | 269 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1241.61/1241.69 c 1242s| 2080k|101536 | 30800k| 14.8 | 245M| 72 | 32 | 200 |1262 | 200 | 231 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1246.51/1246.50 c 1247s| 2090k|101404 | 30906k| 14.8 | 245M| 72 | - | 200 |1262 | 200 | 238 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1251.31/1251.36 c 1251s| 2100k|101306 | 31013k| 14.8 | 245M| 72 | 34 | 200 |1262 | 200 | 244 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1256.11/1256.18 c 1256s| 2110k|101194 | 31118k| 14.7 | 245M| 72 | 35 | 200 |1262 | 200 | 254 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1260.91/1260.95 c 1261s| 2120k|101102 | 31223k| 14.7 | 245M| 72 | - | 200 |1262 | 200 | 264 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1265.81/1265.80 c 1266s| 2130k|101036 | 31330k| 14.7 | 245M| 72 | - | 200 |1262 | 200 | 262 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1270.61/1270.61 c 1271s| 2140k|100926 | 31437k| 14.7 | 245M| 72 | 11 | 200 |1262 | 200 | 226 | 22M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1275.41/1275.44 c 1275s| 2150k|100816 | 31543k| 14.7 | 245M| 72 | 19 | 200 |1262 | 200 | 248 | 23M| 0 | 28k|-5.850000e+01 |-5.300000e+01 | 9.40%
1280.11/1280.16 c 1280s| 2160k|100696 | 31644k| 14.6 | 245M| 72 | - | 200 |1262 | 200 | 226 | 23M| 0 | 29k|-5.850000e+01 |-5.300000e+01 | 9.40%
1284.90/1284.94 c 1285s| 2170k|100592 | 31750k| 14.6 | 245M| 72 | - | 200 |1262 | 200 | 269 | 23M| 0 | 29k|-5.850000e+01 |-5.300000e+01 | 9.40%
1289.70/1289.75 c 1290s| 2180k|100492 | 31855k| 14.6 | 245M| 72 | 82 | 200 |1262 | 200 | 240 | 23M| 0 | 29k|-5.850000e+01 |-5.300000e+01 | 9.40%
1294.60/1294.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.60/1294.62 c 1295s| 2190k|100436 | 31963k| 14.6 | 245M| 72 | 34 | 200 |1262 | 200 | 253 | 23M| 0 | 29k|-5.850000e+01 |-5.300000e+01 | 9.40%
1299.51/1299.55 c 1300s| 2200k|100434 | 32073k| 14.6 | 245M| 72 | 12 | 200 |1262 | 200 | 244 | 23M| 0 | 29k|-5.845833e+01 |-5.300000e+01 | 9.34%
1304.31/1304.36 c 1304s| 2210k|100386 | 32178k| 14.6 | 245M| 72 | - | 200 |1262 | 200 | 243 | 23M| 0 | 29k|-5.842857e+01 |-5.300000e+01 | 9.29%
1309.11/1309.18 c 1309s| 2220k|100284 | 32284k| 14.5 | 245M| 72 | 42 | 200 |1262 | 200 | 245 | 23M| 0 | 29k|-5.840000e+01 |-5.300000e+01 | 9.25%
1313.91/1313.97 c 1314s| 2230k|100252 | 32388k| 14.5 | 246M| 72 | 22 | 200 |1262 | 200 | 250 | 23M| 0 | 29k|-5.837500e+01 |-5.300000e+01 | 9.21%
1318.80/1318.83 c 1319s| 2240k|100166 | 32493k| 14.5 | 246M| 72 | - | 200 |1262 | 200 | 272 | 23M| 0 | 29k|-5.833333e+01 |-5.300000e+01 | 9.14%
1323.50/1323.57 c 1324s| 2250k|100054 | 32595k| 14.5 | 246M| 72 | - | 200 |1262 | 200 | 241 | 23M| 0 | 29k|-5.833333e+01 |-5.300000e+01 | 9.14%
1328.40/1328.44 c 1328s| 2260k| 99956 | 32701k| 14.5 | 246M| 72 | 74 | 200 |1262 | 200 | 229 | 24M| 0 | 29k|-5.833333e+01 |-5.300000e+01 | 9.14%
1333.21/1333.27 c 1333s| 2270k| 99782 | 32806k| 14.4 | 245M| 72 | - | 200 |1262 | 200 | 243 | 24M| 0 | 29k|-5.833333e+01 |-5.300000e+01 | 9.14%
1338.01/1338.08 c 1338s| 2280k| 99674 | 32910k| 14.4 | 245M| 72 | 70 | 200 |1262 | 200 | 258 | 24M| 0 | 29k|-5.833333e+01 |-5.300000e+01 | 9.14%
1342.90/1342.91 c 1343s| 2290k| 99628 | 33015k| 14.4 | 246M| 72 | 93 | 200 |1262 | 200 | 263 | 24M| 0 | 29k|-5.833333e+01 |-5.300000e+01 | 9.14%
1347.61/1347.66 c 1348s| 2300k| 99550 | 33117k| 14.4 | 246M| 72 | 40 | 200 |1262 | 200 | 225 | 24M| 0 | 29k|-5.828571e+01 |-5.300000e+01 | 9.07%
1352.41/1352.46 c 1352s| 2310k| 99404 | 33220k| 14.4 | 246M| 72 | 34 | 200 |1262 | 200 | 227 | 24M| 0 | 29k|-5.825000e+01 |-5.300000e+01 | 9.01%
1357.20/1357.28 c 1357s| 2320k| 99316 | 33325k| 14.4 | 246M| 72 | 91 | 200 |1262 | 200 | 258 | 24M| 0 | 29k|-5.825000e+01 |-5.300000e+01 | 9.01%
1362.01/1362.01 c 1362s| 2330k| 99200 | 33427k| 14.3 | 246M| 72 | 69 | 200 |1262 | 200 | 251 | 24M| 0 | 29k|-5.825000e+01 |-5.300000e+01 | 9.01%
1366.70/1366.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.70/1366.76 c 1367s| 2340k| 99058 | 33529k| 14.3 | 245M| 72 | 87 | 200 |1262 | 200 | 256 | 24M| 0 | 29k|-5.825000e+01 |-5.300000e+01 | 9.01%
1371.51/1371.50 c 1371s| 2350k| 98896 | 33631k| 14.3 | 245M| 72 | 46 | 200 |1262 | 200 | 237 | 24M| 0 | 29k|-5.825000e+01 |-5.300000e+01 | 9.01%
1376.21/1376.27 c 1376s| 2360k| 98816 | 33734k| 14.3 | 245M| 72 | - | 200 |1262 | 200 | 285 | 24M| 0 | 30k|-5.822222e+01 |-5.300000e+01 | 8.97%
1381.00/1381.03 c 1381s| 2370k| 98742 | 33837k| 14.3 | 245M| 72 | 9 | 200 |1262 | 200 | 222 | 25M| 0 | 30k|-5.820000e+01 |-5.300000e+01 | 8.93%
1385.71/1385.71 c 1386s| 2380k| 98642 | 33935k| 14.3 | 245M| 72 | 19 | 200 |1262 | 200 | 248 | 25M| 0 | 30k|-5.816667e+01 |-5.300000e+01 | 8.88%
1390.31/1390.39 c 1390s| 2390k| 98506 | 34035k| 14.2 | 245M| 72 | 32 | 200 |1262 | 200 | 243 | 25M| 0 | 30k|-5.816667e+01 |-5.300000e+01 | 8.88%
1395.10/1395.13 c 1395s| 2400k| 98402 | 34137k| 14.2 | 245M| 72 | - | 200 |1262 | 200 | 238 | 25M| 0 | 30k|-5.814286e+01 |-5.300000e+01 | 8.85%
1399.80/1399.86 c 1400s| 2410k| 98288 | 34238k| 14.2 | 245M| 72 | 13 | 200 |1262 | 200 | 252 | 25M| 0 | 30k|-5.811111e+01 |-5.300000e+01 | 8.80%
1404.50/1404.53 c 1405s| 2420k| 98150 | 34337k| 14.2 | 245M| 72 | - | 200 |1262 | 200 | 275 | 25M| 0 | 30k|-5.807143e+01 |-5.300000e+01 | 8.73%
1409.21/1409.28 c 1409s| 2430k| 98010 | 34439k| 14.2 | 245M| 72 | - | 200 |1262 | 200 | 271 | 25M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1413.90/1413.98 c 1414s| 2440k| 97900 | 34540k| 14.2 | 245M| 72 | - | 200 |1262 | 200 | 266 | 25M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1418.70/1418.76 c 1419s| 2450k| 97800 | 34643k| 14.1 | 245M| 72 | 58 | 200 |1262 | 200 | 237 | 25M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1423.41/1423.50 c 1424s| 2460k| 97654 | 34745k| 14.1 | 245M| 72 | 64 | 200 |1262 | 200 | 253 | 25M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1428.20/1428.20 c 1428s| 2470k| 97518 | 34845k| 14.1 | 245M| 72 | 21 | 200 |1262 | 200 | 253 | 25M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1432.81/1432.87 c 1433s| 2480k| 97392 | 34944k| 14.1 | 245M| 72 | - | 200 |1262 | 200 | 273 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1437.50/1437.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.50/1437.55 c 1438s| 2490k| 97342 | 35046k| 14.1 | 245M| 72 | - | 200 |1262 | 200 | 246 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1442.21/1442.28 c 1442s| 2500k| 97258 | 35147k| 14.1 | 245M| 72 | - | 200 |1262 | 200 | 267 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1446.90/1446.93 c 1447s| 2510k| 97156 | 35245k| 14.0 | 245M| 72 | 81 | 200 |1262 | 200 | 272 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1451.60/1451.63 c 1452s| 2520k| 97078 | 35347k| 14.0 | 245M| 72 | - | 200 |1262 | 200 | 244 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1456.30/1456.33 c 1456s| 2530k| 96972 | 35447k| 14.0 | 245M| 72 | - | 200 |1262 | 200 | 256 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1460.91/1460.92 c 1461s| 2540k| 96838 | 35544k| 14.0 | 245M| 72 | 18 | 200 |1262 | 200 | 247 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1465.60/1465.66 c 1466s| 2550k| 96684 | 35645k| 14.0 | 245M| 72 | 58 | 200 |1262 | 200 | 245 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1470.30/1470.32 c 1470s| 2560k| 96556 | 35744k| 14.0 | 245M| 72 | 10 | 200 |1262 | 200 | 232 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1474.90/1474.94 c 1475s| 2570k| 96380 | 35841k| 13.9 | 245M| 72 | - | 200 |1262 | 200 | 275 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1479.51/1479.57 c 1480s| 2580k| 96264 | 35939k| 13.9 | 245M| 72 | 78 | 200 |1262 | 200 | 263 | 26M| 0 | 30k|-5.800000e+01 |-5.300000e+01 | 8.62%
1484.21/1484.22 c 1484s| 2590k| 96154 | 36037k| 13.9 | 245M| 72 | 37 | 200 |1262 | 200 | 246 | 26M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1488.91/1488.92 c 1489s| 2600k| 96004 | 36138k| 13.9 | 244M| 72 | 100 | 200 |1262 | 200 | 275 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1493.41/1493.49 c 1493s| 2610k| 95820 | 36234k| 13.9 | 244M| 72 | - | 200 |1262 | 200 | 289 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1498.11/1498.12 c 1498s| 2620k| 95628 | 36331k| 13.9 | 244M| 72 | - | 200 |1262 | 200 | 227 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1502.62/1502.70 c 1503s| 2630k| 95526 | 36428k| 13.8 | 244M| 72 | 81 | 200 |1262 | 200 | 257 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1507.40/1507.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.40/1507.42 c 1507s| 2640k| 95392 | 36529k| 13.8 | 244M| 72 | 5 | 200 |1262 | 200 | 255 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1512.01/1512.08 c 1512s| 2650k| 95258 | 36628k| 13.8 | 244M| 72 | 9 | 200 |1262 | 200 | 221 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1516.81/1516.80 c 1517s| 2660k| 95090 | 36730k| 13.8 | 244M| 72 | 76 | 200 |1262 | 200 | 277 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1521.31/1521.38 c 1521s| 2670k| 94962 | 36827k| 13.8 | 244M| 72 | - | 200 |1262 | 200 | 263 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1526.00/1526.08 c 1526s| 2680k| 94848 | 36927k| 13.8 | 244M| 72 | - | 200 |1262 | 200 | 262 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1530.60/1530.64 c 1531s| 2690k| 94740 | 37022k| 13.8 | 243M| 72 | - | 200 |1262 | 200 | 245 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1535.31/1535.38 c 1535s| 2700k| 94614 | 37124k| 13.7 | 243M| 72 | 17 | 200 |1262 | 200 | 249 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1540.01/1540.06 c 1540s| 2710k| 94492 | 37224k| 13.7 | 243M| 72 | - | 200 |1262 | 200 | 248 | 27M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1544.71/1544.72 c 1545s| 2720k| 94420 | 37324k| 13.7 | 243M| 72 | 88 | 200 |1262 | 200 | 271 | 28M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1549.40/1549.48 c 1549s| 2730k| 94332 | 37428k| 13.7 | 243M| 72 | 73 | 200 |1262 | 200 | 251 | 28M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1554.11/1554.15 c 1554s| 2740k| 94238 | 37528k| 13.7 | 243M| 72 | - | 200 |1262 | 200 | 249 | 28M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1558.91/1558.96 c 1559s| 2750k| 94190 | 37632k| 13.7 | 243M| 72 | 32 | 200 |1262 | 200 | 256 | 28M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1563.61/1563.64 c 1564s| 2760k| 94040 | 37730k| 13.7 | 243M| 72 | - | 200 |1262 | 200 | 246 | 28M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1568.31/1568.30 c 1568s| 2770k| 93930 | 37829k| 13.7 | 243M| 72 | - | 200 |1262 | 200 | 282 | 28M| 0 | 31k|-5.800000e+01 |-5.300000e+01 | 8.62%
1573.01/1573.01 c 1573s| 2780k| 93840 | 37929k| 13.6 | 243M| 72 | - | 200 |1262 | 200 | 237 | 28M| 0 | 31k|-5.790909e+01 |-5.300000e+01 | 8.48%
1577.61/1577.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1577.61/1577.65 c 1578s| 2790k| 93780 | 38026k| 13.6 | 243M| 72 | 12 | 200 |1262 | 200 | 235 | 28M| 0 | 31k|-5.787500e+01 |-5.300000e+01 | 8.42%
1582.41/1582.40 c 1582s| 2800k| 93702 | 38127k| 13.6 | 243M| 72 | - | 200 |1262 | 200 | 252 | 28M| 0 | 31k|-5.784615e+01 |-5.300000e+01 | 8.38%
1587.01/1587.04 c 1587s| 2810k| 93610 | 38225k| 13.6 | 243M| 72 | - | 200 |1262 | 200 | 246 | 28M| 0 | 32k|-5.783333e+01 |-5.300000e+01 | 8.36%
1591.50/1591.57 c 1592s| 2820k| 93452 | 38320k| 13.6 | 243M| 72 | - | 200 |1262 | 200 | 269 | 28M| 0 | 32k|-5.781818e+01 |-5.300000e+01 | 8.33%
1596.22/1596.22 c 1596s| 2830k| 93346 | 38417k| 13.6 | 243M| 72 | 42 | 200 |1262 | 200 | 254 | 28M| 0 | 32k|-5.780000e+01 |-5.300000e+01 | 8.30%
1600.81/1600.80 c 1601s| 2840k| 93216 | 38512k| 13.6 | 243M| 72 | 20 | 200 |1262 | 200 | 254 | 29M| 0 | 32k|-5.778947e+01 |-5.300000e+01 | 8.29%
1605.41/1605.40 c 1605s| 2850k| 93048 | 38608k| 13.5 | 243M| 72 | - | 200 |1262 | 200 | 236 | 29M| 0 | 32k|-5.775000e+01 |-5.300000e+01 | 8.23%
1610.01/1610.00 c 1610s| 2860k| 92904 | 38706k| 13.5 | 243M| 72 | 16 | 200 |1262 | 200 | 245 | 29M| 0 | 32k|-5.775000e+01 |-5.300000e+01 | 8.23%
1614.51/1614.58 c 1615s| 2870k| 92718 | 38801k| 13.5 | 243M| 72 | 40 | 200 |1262 | 200 | 244 | 29M| 0 | 32k|-5.775000e+01 |-5.300000e+01 | 8.23%
1619.11/1619.16 c 1619s| 2880k| 92560 | 38896k| 13.5 | 242M| 72 | 10 | 200 |1262 | 200 | 252 | 29M| 0 | 32k|-5.775000e+01 |-5.300000e+01 | 8.23%
1623.71/1623.70 c 1624s| 2890k| 92478 | 38991k| 13.5 | 242M| 72 | 10 | 200 |1262 | 200 | 257 | 29M| 0 | 32k|-5.775000e+01 |-5.300000e+01 | 8.23%
1628.31/1628.34 c 1628s| 2900k| 92318 | 39089k| 13.5 | 242M| 72 | - | 200 |1262 | 200 | 237 | 29M| 0 | 32k|-5.775000e+01 |-5.300000e+01 | 8.23%
1632.80/1632.82 c 1633s| 2910k| 92216 | 39181k| 13.5 | 242M| 72 | 77 | 200 |1262 | 200 | 239 | 29M| 0 | 32k|-5.771429e+01 |-5.300000e+01 | 8.17%
1637.31/1637.39 c 1637s| 2920k| 92114 | 39277k| 13.4 | 242M| 72 | - | 200 |1262 | 200 | 295 | 29M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1642.00/1642.02 c 1642s| 2930k| 92038 | 39374k| 13.4 | 242M| 72 | - | 200 |1262 | 200 | 265 | 29M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1646.61/1646.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.61/1646.69 c 1647s| 2940k| 91926 | 39472k| 13.4 | 242M| 72 | 6 | 200 |1262 | 200 | 243 | 29M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1651.31/1651.34 c 1651s| 2950k| 91802 | 39570k| 13.4 | 242M| 72 | - | 200 |1262 | 200 | 265 | 29M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1655.91/1655.91 c 1656s| 2960k| 91692 | 39665k| 13.4 | 242M| 72 | - | 200 |1262 | 200 | 262 | 29M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1660.41/1660.48 c 1660s| 2970k| 91558 | 39760k| 13.4 | 242M| 72 | - | 200 |1262 | 200 | 225 | 30M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1665.01/1665.05 c 1665s| 2980k| 91380 | 39854k| 13.4 | 242M| 72 | - | 200 |1262 | 200 | 268 | 30M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1669.61/1669.63 c 1670s| 2990k| 91218 | 39950k| 13.4 | 242M| 72 | 105 | 200 |1262 | 200 | 279 | 30M| 0 | 32k|-5.766667e+01 |-5.300000e+01 | 8.09%
1674.22/1674.28 c 1674s| 3000k| 91072 | 40047k| 13.3 | 241M| 72 | - | 200 |1262 | 200 | 242 | 30M| 0 | 32k|-5.763636e+01 |-5.300000e+01 | 8.04%
1678.71/1678.75 c 1679s| 3010k| 90924 | 40136k| 13.3 | 241M| 72 | 91 | 200 |1262 | 200 | 311 | 30M| 0 | 32k|-5.760000e+01 |-5.300000e+01 | 7.99%
1683.20/1683.28 c 1683s| 3020k| 90776 | 40229k| 13.3 | 241M| 72 | - | 200 |1262 | 200 | 281 | 30M| 0 | 32k|-5.760000e+01 |-5.300000e+01 | 7.99%
1687.81/1687.81 c 1688s| 3030k| 90662 | 40322k| 13.3 | 241M| 72 | - | 200 |1262 | 200 | 271 | 30M| 0 | 32k|-5.757143e+01 |-5.300000e+01 | 7.94%
1692.31/1692.33 c 1692s| 3040k| 90496 | 40414k| 13.3 | 241M| 72 | - | 200 |1262 | 200 | 254 | 30M| 0 | 32k|-5.753333e+01 |-5.300000e+01 | 7.88%
1696.71/1696.79 c 1697s| 3050k| 90314 | 40505k| 13.3 | 241M| 72 | 40 | 200 |1262 | 200 | 236 | 30M| 0 | 32k|-5.750000e+01 |-5.300000e+01 | 7.83%
1701.31/1701.32 c 1701s| 3060k| 90152 | 40598k| 13.3 | 241M| 72 | - | 200 |1262 | 200 | 293 | 30M| 0 | 32k|-5.750000e+01 |-5.300000e+01 | 7.83%
1705.71/1705.78 c 1706s| 3070k| 89914 | 40688k| 13.3 | 240M| 72 | - | 200 |1262 | 200 | 273 | 30M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1710.31/1710.31 c 1710s| 3080k| 89706 | 40781k| 13.2 | 240M| 72 | 46 | 200 |1262 | 200 | 240 | 30M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1714.71/1714.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.71/1714.76 c 1715s| 3090k| 89566 | 40872k| 13.2 | 240M| 72 | 42 | 200 |1262 | 200 | 252 | 30M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1719.21/1719.24 c 1719s| 3100k| 89358 | 40964k| 13.2 | 240M| 72 | 80 | 200 |1262 | 200 | 257 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1723.61/1723.65 c 1724s| 3110k| 89110 | 41054k| 13.2 | 239M| 72 | - | 200 |1262 | 200 | 257 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1728.11/1728.12 c 1728s| 3120k| 88940 | 41146k| 13.2 | 239M| 72 | 40 | 200 |1262 | 200 | 248 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1732.41/1732.49 c 1732s| 3130k| 88728 | 41234k| 13.2 | 239M| 72 | 64 | 200 |1262 | 200 | 254 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1736.92/1736.92 c 1737s| 3140k| 88482 | 41321k| 13.2 | 238M| 72 | 20 | 200 |1262 | 200 | 229 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1741.32/1741.36 c 1741s| 3150k| 88280 | 41412k| 13.1 | 238M| 72 | - | 200 |1262 | 200 | 254 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1745.71/1745.77 c 1746s| 3160k| 88006 | 41501k| 13.1 | 238M| 72 | - | 200 |1262 | 200 | 259 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1750.22/1750.24 c 1750s| 3170k| 87844 | 41593k| 13.1 | 237M| 72 | 48 | 200 |1262 | 200 | 249 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1754.61/1754.67 c 1755s| 3180k| 87620 | 41683k| 13.1 | 237M| 72 | - | 200 |1262 | 200 | 261 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1759.11/1759.16 c 1759s| 3190k| 87400 | 41774k| 13.1 | 237M| 72 | 99 | 200 |1262 | 200 | 249 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1763.51/1763.59 c 1764s| 3200k| 87206 | 41863k| 13.1 | 236M| 72 | - | 200 |1262 | 200 | 259 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1768.01/1768.09 c 1768s| 3210k| 86998 | 41956k| 13.1 | 236M| 72 | 45 | 200 |1262 | 200 | 240 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1772.51/1772.54 c 1773s| 3220k| 86776 | 42046k| 13.1 | 236M| 72 | - | 200 |1262 | 200 | 266 | 31M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1776.91/1776.94 c 1777s| 3230k| 86600 | 42135k| 13.0 | 236M| 72 | 25 | 200 |1262 | 200 | 246 | 32M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1781.31/1781.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1781.31/1781.34 c 1781s| 3240k| 86390 | 42225k| 13.0 | 235M| 72 | - | 200 |1262 | 200 | 271 | 32M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1785.71/1785.75 c 1786s| 3250k| 86180 | 42313k| 13.0 | 235M| 72 | 49 | 200 |1262 | 200 | 241 | 32M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1790.11/1790.10 c 1790s| 3260k| 85944 | 42402k| 13.0 | 235M| 72 | - | 200 |1262 | 200 | 247 | 32M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1794.51/1794.56 c 1795s| 3270k| 85738 | 42492k| 13.0 | 235M| 72 | 91 | 200 |1262 | 200 | 284 | 32M| 0 | 33k|-5.750000e+01 |-5.300000e+01 | 7.83%
1797.01/1797.00 c
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Solving Time (sec) : 1797.00
1797.01/1797.00 c Solving Nodes : 3275489
1797.01/1797.00 c Primal Bound : -5.30000000000000e+01 (557 solutions)
1797.01/1797.00 c Dual Bound : -5.75000000000000e+01
1797.01/1797.00 c Gap : 7.83 %
1797.01/1797.00 s SATISFIABLE
1797.01/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.01/1797.00 v -x177 -x176 x175 -x174 -x173 x172 -x171 -x170 x169 x168 x167 -x166 x165 -x164 x163 -x162 x161 x160 -x159 x158 x157 -x156
1797.01/1797.00 v -x155 -x154 x153 -x152 -x151 x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 x139 -x138 -x137 -x136 -x135 -x134
1797.01/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 x111
1797.01/1797.00 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 x91 x90 -x89 -x88 x87
1797.01/1797.00 v 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
1797.01/1797.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
1797.01/1797.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
1797.01/1797.00 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Total Time : 1797.00
1797.01/1797.00 c solving : 1797.00
1797.01/1797.00 c presolving : 0.04 (included in solving)
1797.01/1797.00 c reading : 0.01 (included in solving)
1797.01/1797.00 c Original Problem :
1797.01/1797.00 c Problem name : HOME/instance-3488609-1307784708.opb
1797.01/1797.00 c Variables : 1462 (1462 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 1662 initial, 1662 maximal
1797.01/1797.00 c Presolved Problem :
1797.01/1797.00 c Problem name : t_HOME/instance-3488609-1307784708.opb
1797.01/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 1262 initial, 1262 maximal
1797.01/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c linear : 0.00 1262 0 0 1262 0 200 0 0 0
1797.01/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.01/1797.00 c root node : - 0 - - 0 - - - - -
1797.01/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c integral : 0 0 0 2780363 0 814888 0 235 1846 0 0 3485566
1797.01/1797.00 c setppc : 1262 32 5407557 1036627 1 814884 0 14 14395610 32331288 0 0
1797.01/1797.00 c countsols : 0 0 0 10 1 549 0 0 0 0 0 0
1797.01/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.00 c integral : 43.98 0.00 0.00 43.80 0.00 0.18 0.00
1797.01/1797.00 c setppc : 86.38 0.00 44.22 30.62 0.00 11.53 0.00
1797.01/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.00 c vbounds : 0 0 0 0
1797.01/1797.00 c rootredcost : 16 0 0 0
1797.01/1797.00 c pseudoobj : 5409418 0 0 0
1797.01/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.00 c vbounds : 0.97 0.97 0.00
1797.01/1797.00 c rootredcost : 0.98 0.98 0.00
1797.01/1797.00 c pseudoobj : 25.13 25.13 0.00
1797.01/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.00 c propagation : 0.00 14 0 0 0.0 0 0.0 -
1797.01/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.00 c applied globally : - - - 0 0.0 - - -
1797.01/1797.00 c applied locally : - - - 0 0.0 - - -
1797.01/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.00 c cut pool : 0.01 31 - - 32 - (maximal pool size: 1900)
1797.01/1797.00 c redcost : 12.60 3043137 0 484871 0 0
1797.01/1797.00 c impliedbounds : 0.00 32 0 0 682 0
1797.01/1797.00 c intobj : 0.00 0 0 0 0 0
1797.01/1797.00 c gomory : 0.66 32 0 0 8315 0
1797.01/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.00 c strongcg : 0.30 20 0 0 7961 0
1797.01/1797.00 c cmir : 0.03 10 0 0 0 0
1797.01/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.01/1797.00 c clique : 0.03 32 0 0 223 0
1797.01/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.00 c mcf : 0.00 1 0 0 0 0
1797.01/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.01/1797.00 c Pricers : Time Calls Vars
1797.01/1797.00 c problem variables: 0.00 0 0
1797.01/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c relpscost : 42.65 1743736 235 1846 0 0 3485566
1797.01/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.01/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c random : 0.00 0 0 0 0 0 0
1797.01/1797.00 c Primal Heuristics : Time Calls Found
1797.01/1797.00 c LP solutions : 0.41 - 10
1797.01/1797.00 c pseudo solutions : 0.00 - 0
1797.01/1797.00 c feaspump : 0.08 0 0
1797.01/1797.00 c intshifting : 0.04 0 0
1797.01/1797.00 c oneopt : 0.76 16 0
1797.01/1797.00 c crossover : 1.37 9 4
1797.01/1797.00 c fracdiving : 2.08 2104 7
1797.01/1797.00 c guideddiving : 2.12 2104 14
1797.01/1797.00 c linesearchdiving : 2.07 2105 22
1797.01/1797.00 c coefdiving : 1.97 2105 22
1797.01/1797.00 c veclendiving : 1.93 2105 36
1797.01/1797.00 c pscostdiving : 2.00 2105 23
1797.01/1797.00 c objpscostdiving : 0.97 1053 9
1797.01/1797.00 c rootsoldiving : 1.05 1053 1
1797.01/1797.00 c trivial : 0.00 2 1
1797.01/1797.00 c shiftandpropagate: 0.00 0 0
1797.01/1797.00 c simplerounding : 22.56 1749535 399
1797.01/1797.00 c zirounding : 0.58 1000 2
1797.01/1797.00 c rounding : 11.89 137122 5
1797.01/1797.00 c shifting : 1.89 19885 1
1797.01/1797.00 c twoopt : 0.00 0 0
1797.01/1797.00 c fixandinfer : 0.00 0 0
1797.01/1797.00 c clique : 0.00 0 0
1797.01/1797.00 c intdiving : 0.00 0 0
1797.01/1797.00 c actconsdiving : 0.00 0 0
1797.01/1797.00 c octane : 0.00 0 0
1797.01/1797.00 c rens : 0.01 0 0
1797.01/1797.00 c rins : 0.00 0 0
1797.01/1797.00 c localbranching : 0.00 0 0
1797.01/1797.00 c mutation : 0.00 0 0
1797.01/1797.00 c dins : 0.00 0 0
1797.01/1797.00 c vbounds : 0.00 0 0
1797.01/1797.00 c undercover : 0.01 1 0
1797.01/1797.00 c subnlp : 0.52 0 0
1797.01/1797.00 c trysol : 0.75 0 0
1797.01/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.00 c primal LP : 32.44 0 0 0.00 0.00
1797.01/1797.00 c dual LP : 1192.39 4322975 42312064 9.79 35485.13
1797.01/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.00 c diving/probing LP: 9.24 40716 231779 5.69 25078.83
1797.01/1797.00 c strong branching : 18.53 33751 420198 12.45 22682.20
1797.01/1797.00 c (at root node) : - 15 6083 405.53 -
1797.01/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.00 c B&B Tree :
1797.01/1797.00 c number of runs : 1
1797.01/1797.00 c nodes : 3275489
1797.01/1797.00 c nodes (total) : 3275489
1797.01/1797.00 c nodes left : 85603
1797.01/1797.00 c max depth : 72
1797.01/1797.00 c max depth (total): 72
1797.01/1797.00 c backtracks : 492398 (15.0%)
1797.01/1797.00 c delayed cutoffs : 0
1797.01/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.01/1797.00 c avg switch length: 5.20
1797.01/1797.00 c switching time : 112.67
1797.01/1797.00 c Solution :
1797.01/1797.00 c Solutions found : 557 (20 improvements)
1797.01/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.01/1797.00 c Primal Bound : -5.30000000000000e+01 (in run 1, after 1813744 nodes, 1110.59 seconds, depth 51, found by <relaxation>)
1797.01/1797.00 c Dual Bound : -5.75000000000000e+01
1797.01/1797.00 c Gap : 7.83 %
1797.01/1797.00 c Root Dual Bound : -7.08657757286445e+01
1797.01/1797.00 c Root Iterations : 5869
1797.42/1797.48 c Time complete: 1797.5.
OK -53
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-3488609-1307784708/watcher-3488609-1307784708 -o /tmp/evaluation-result-3488609-1307784708/solver-3488609-1307784708 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488609-1307784708.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.36 1.65 2/175 25009 /proc/meminfo: memFree=30937956/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=13016 CPUtime=0 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 2249 0 0 0 0 0 0 0 24 0 1 0 968701472 13328384 2203 33554432000 4194304 9016284 140735346037440 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25009/statm: 3254 2203 379 1178 0 2072 0 [startup+0.104679 s] /proc/loadavg: 1.00 1.36 1.65 2/175 25009 /proc/meminfo: memFree=30937956/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=39352 CPUtime=0.09 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 10953 0 0 0 8 1 0 0 18 0 1 0 968701472 40296448 8462 33554432000 4194304 9016284 140735346037440 18446744073709551615 4319583 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 9838 8462 694 1178 0 8656 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39352 [startup+0.200656 s] /proc/loadavg: 1.00 1.36 1.65 2/175 25009 /proc/meminfo: memFree=30937956/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=27188 CPUtime=0.19 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 11153 0 0 0 18 1 0 0 18 0 1 0 968701472 27840512 5672 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 6797 5672 687 1178 0 5615 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27188 [startup+0.300639 s] /proc/loadavg: 1.00 1.36 1.65 2/175 25009 /proc/meminfo: memFree=30937956/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=31228 CPUtime=0.29 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 12209 0 0 0 28 1 0 0 18 0 1 0 968701472 31977472 6728 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 7807 6728 688 1178 0 6625 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31228 [startup+0.700574 s] /proc/loadavg: 1.00 1.36 1.65 2/175 25009 /proc/meminfo: memFree=30937956/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=37324 CPUtime=0.69 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 13740 0 0 0 66 3 0 0 18 0 1 0 968701472 38219776 8259 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 9331 8259 691 1178 0 8149 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37324 [startup+1.50044 s] /proc/loadavg: 1.08 1.37 1.65 3/178 25015 /proc/meminfo: memFree=30866292/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=44532 CPUtime=1.49 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 15477 0 0 0 143 6 0 0 20 0 1 0 968701472 45600768 9978 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 11133 9978 704 1178 0 9951 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 44532 [startup+3.10017 s] /proc/loadavg: 1.08 1.37 1.65 3/178 25015 /proc/meminfo: memFree=30851664/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=44136 CPUtime=3.09 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 17155 0 0 0 291 18 0 0 25 0 1 0 968701472 45195264 9962 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 11034 9962 701 1178 0 9852 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44136 [startup+6.30063 s] /proc/loadavg: 1.16 1.38 1.65 3/178 25015 /proc/meminfo: memFree=30851076/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=45904 CPUtime=6.29 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 19302 0 0 0 582 47 0 0 25 0 1 0 968701472 47005696 10420 33554432000 4194304 9016284 140735346037440 18446744073709551615 6816922 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 11476 10420 700 1178 0 10294 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 45904 [startup+12.7006 s] /proc/loadavg: 1.22 1.39 1.65 3/178 25017 /proc/meminfo: memFree=30845008/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=50964 CPUtime=12.69 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 26848 0 0 0 1162 107 0 0 25 0 1 0 968701472 52187136 11642 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 12741 11642 703 1178 0 11559 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50964 [startup+25.5004 s] /proc/loadavg: 1.34 1.41 1.66 3/178 25017 /proc/meminfo: memFree=30815928/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=63708 CPUtime=25.49 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 43888 0 0 0 2308 241 0 0 25 0 1 0 968701472 65236992 14905 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 15927 14905 703 1178 0 14745 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 63708 [startup+51.1002 s] /proc/loadavg: 1.60 1.47 1.67 3/178 25017 /proc/meminfo: memFree=30766608/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=88728 CPUtime=51.09 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 62917 0 0 0 4585 524 0 0 25 0 1 0 968701472 90857472 21161 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 22182 21161 703 1178 0 21000 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 88728 [startup+102.301 s] /proc/loadavg: 1.83 1.55 1.68 3/178 25019 /proc/meminfo: memFree=30692156/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=127364 CPUtime=102.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 88631 0 0 0 9072 1158 0 0 25 0 1 0 968701472 130420736 30892 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 31841 30892 703 1178 0 30659 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 127364 [startup+162.301 s] /proc/loadavg: 1.93 1.63 1.70 3/178 25021 /proc/meminfo: memFree=30612888/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=158756 CPUtime=162.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 112369 0 0 0 14297 1933 0 0 25 0 1 0 968701472 162566144 38809 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 39689 38809 703 1178 0 38507 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 158756 [startup+222.307 s] /proc/loadavg: 1.97 1.69 1.72 3/178 25021 /proc/meminfo: memFree=30535060/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=196564 CPUtime=222.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 125940 0 0 0 19545 2685 0 0 25 0 1 0 968701472 201281536 47814 33554432000 4194304 9016284 140735346037440 18446744073709551615 6592432 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 49141 47814 703 1178 0 47959 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 196564 [startup+282.301 s] /proc/loadavg: 1.99 1.75 1.73 3/178 25023 /proc/meminfo: memFree=30462956/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=230288 CPUtime=282.29 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 136208 0 0 0 24785 3444 0 0 25 0 1 0 968701472 235814912 56311 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 57572 56311 703 1178 0 56390 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 230288 [startup+342.301 s] /proc/loadavg: 1.99 1.79 1.74 3/178 25025 /proc/meminfo: memFree=30388360/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=263148 CPUtime=342.29 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 144490 0 0 0 30036 4193 0 0 25 0 1 0 968701472 269463552 64593 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 65787 64593 703 1178 0 64605 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 263148 [startup+402.301 s] /proc/loadavg: 1.99 1.83 1.75 3/178 25027 /proc/meminfo: memFree=30332484/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=282680 CPUtime=402.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 162930 0 0 0 35297 4933 0 0 25 0 1 0 968701472 289464320 69619 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25009/statm: 70670 69619 703 1178 0 69488 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 282680 [startup+462.3 s] /proc/loadavg: 1.99 1.85 1.77 3/178 25032 /proc/meminfo: memFree=30294176/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=283680 CPUtime=462.29 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 166690 0 0 0 40540 5689 0 0 25 0 1 0 968701472 290488320 69869 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 70920 69869 703 1178 0 69738 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 283680 [startup+522.3 s] /proc/loadavg: 1.99 1.88 1.78 3/178 25032 /proc/meminfo: memFree=30252900/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=294368 CPUtime=522.29 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 170990 0 0 0 45802 6427 0 0 25 0 1 0 968701472 301432832 72447 33554432000 4194304 9016284 140735346037440 18446744073709551615 6523413 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 73592 72447 703 1178 0 72410 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 294368 [startup+582.3 s] /proc/loadavg: 1.99 1.90 1.79 3/178 25034 /proc/meminfo: memFree=30198640/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=315852 CPUtime=582.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 176413 0 0 0 51076 7154 0 0 25 0 1 0 968701472 323432448 77869 33554432000 4194304 9016284 140735346037440 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 78963 77869 703 1178 0 77781 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 315852 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29944112/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=357016 CPUtime=1062.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 208672 0 0 0 93350 12881 0 0 25 0 1 0 968701472 365584384 88155 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 89254 88155 703 1178 0 88072 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 357016 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.86 3/178 25048 /proc/meminfo: memFree=29922088/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1122.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 222088 0 0 0 98661 13569 0 0 25 0 1 0 968701472 370368512 89397 33554432000 4194304 9016284 140735346037440 18446744073709551615 7102943 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89397 703 1178 0 89240 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 361688 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.87 3/178 25050 /proc/meminfo: memFree=29894148/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1182.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 227326 0 0 0 103971 14259 0 0 25 0 1 0 968701472 370368512 89404 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89404 703 1178 0 89240 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 361688 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.88 3/178 25052 /proc/meminfo: memFree=29878344/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1242.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 229072 0 0 0 109306 14924 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 6607943 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 361688 [startup+1302.3 s] /proc/loadavg: 2.08 1.99 1.89 3/178 25054 /proc/meminfo: memFree=29858412/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1302.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 229073 0 0 0 114640 15591 0 0 25 0 1 0 968701472 370368512 89367 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89367 703 1178 0 89240 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 361688 [startup+1362.3 s] /proc/loadavg: 2.06 2.00 1.90 3/178 25056 /proc/meminfo: memFree=29841844/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1362.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 230856 0 0 0 119986 16244 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 361688 [startup+1422.3 s] /proc/loadavg: 2.02 2.00 1.90 3/178 25056 /proc/meminfo: memFree=29826148/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1422.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 230856 0 0 0 125335 16896 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 361688 [startup+1482.3 s] /proc/loadavg: 2.01 2.00 1.91 3/178 25058 /proc/meminfo: memFree=29811332/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1482.3 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 230856 0 0 0 130667 17563 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 361688 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25060 /proc/meminfo: memFree=29796888/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1542.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 136010 18221 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 361688 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25062 /proc/meminfo: memFree=29783076/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1602.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 141344 18887 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 361688 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25064 /proc/meminfo: memFree=29772352/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1662.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 146696 19535 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 361688 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25064 /proc/meminfo: memFree=29757672/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1722.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 152066 20165 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 361688 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29739988/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1782.31 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 157428 20803 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 361688 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29739988/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1785.61 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 157724 20837 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (KiB) 361688 [startup+1792.01 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29738736/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1792.01 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 158299 20902 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 6776119 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1792.01 Current children cumulated vsize (KiB) 361688 [startup+1795.2 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1795.22 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 158583 20939 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1795.22 Current children cumulated vsize (KiB) 361688 [startup+1796.8 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1796.81 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232641 0 0 0 158728 20953 0 0 25 0 1 0 968701472 370368512 89366 33554432000 4194304 9016284 140735346037440 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89366 703 1178 0 89240 0 Current children cumulated CPU time (s) 1796.81 Current children cumulated vsize (KiB) 361688 [startup+1797.2 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1797.21 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232643 0 0 0 158765 20956 0 0 25 0 1 0 968701472 370368512 89368 33554432000 4194304 9016284 140735346037440 18446744073709551615 4330208 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89368 705 1178 0 89240 0 Current children cumulated CPU time (s) 1797.21 Current children cumulated vsize (KiB) 361688 [startup+1797.4 s] /proc/loadavg: 2.00 2.00 1.91 3/178 25075 /proc/meminfo: memFree=29738356/32951124 swapFree=67049456/67111528 [pid=25009] ppid=25007 vsize=361688 CPUtime=1797.42 cores=1,3,5,7 /proc/25009/stat : 25009 (scip-2.0.1.4b_2) R 25007 25009 24968 0 -1 4202496 232643 0 0 0 158786 20956 0 0 25 0 1 0 968701472 370368512 89368 33554432000 4194304 9016284 140735346037440 18446744073709551615 6812686 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/25009/statm: 90422 89368 705 1178 0 89240 0 Current children cumulated CPU time (s) 1797.42 Current children cumulated vsize (KiB) 361688 Child status: 0 Real time (s): 1797.49 CPU time (s): 1797.51 CPU user time (s): 1587.93 CPU system time (s): 209.574 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 365308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1587.93 system time used= 209.574 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 232648 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 2818 runsolver used 2.30165 second user time and 5.88511 second system time The end
Begin job on node118 at 2011-06-11 11:31:48 IDJOB=3488609 IDBENCH=48213 IDSOLVER=1979 FILE ID=node118/3488609-1307784708 RUNJOBID= node118-1307784708-24987 PBS_JOBID= 13550905 Free space on /tmp= 74160 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_4.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-3488609-1307784708/watcher-3488609-1307784708 -o /tmp/evaluation-result-3488609-1307784708/solver-3488609-1307784708 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488609-1307784708.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7 RANDOM SEED=1965587216 node118.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.842 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.68 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.842 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.842 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.74 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.68 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.842 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.842 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.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30939044 kB Buffers: 249240 kB Cached: 1545700 kB SwapCached: 15436 kB Active: 477120 kB Inactive: 1337460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30939044 kB SwapTotal: 67111528 kB SwapFree: 67049456 kB Dirty: 33404 kB Writeback: 20 kB AnonPages: 16988 kB Mapped: 8380 kB Slab: 130712 kB PageTables: 4524 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 189276 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= 74124 MiB End job on node118 at 2011-06-11 12:01:46