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 | -54 | 1797.23 | 1797.19 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_3.opb |
| MD5SUM | 60cf9918356073587dd2c65f46896dfb |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -54 |
| Best CPU time to get the best result obtained on this benchmark | 1628.18 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -49 |
| 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 | 20 |
| 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) | 2488 |
| Sum of products size (including duplicates) | 4976 |
| Number of different products | 1244 |
| Sum of products size | 2488 |
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-3488569-1307783022.opb>
0.00/0.01 c original problem has 1444 variables (1444 bin, 0 int, 0 impl, 0 cont) and 1644 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) 1244 del vars, 400 del conss, 0 add conss, 1244 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4976 impls, 0 clqs
0.00/0.04 c (round 2) 1244 del vars, 400 del conss, 0 add conss, 1244 chg bounds, 0 chg sides, 0 chg coeffs, 1244 upgd conss, 4976 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 1244 deleted vars, 400 deleted constraints, 0 added constraints, 1244 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 7462 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1244 constraints
0.00/0.05 c 1244 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 | 218 | - |4576k| 0 | 200 | 200 |1244 | 200 |1244 | 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 | 218 | - |4579k| 0 | 200 | 200 |1244 | 200 |1244 | 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 | 218 | - |4581k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 o -31
0.09/0.10 c y 0.1s| 1 | 0 | 218 | - |4806k| 0 | 200 | 200 |1244 | 200 |1244 | 0 | 0 | 0 |-1.000000e+02 |-3.100000e+01 | 69.00%
0.09/0.11 c 0.1s| 1 | 0 | 326 | - |4589k| 0 | 190 | 200 |1244 | 200 |1254 | 10 | 0 | 0 |-9.500000e+01 |-3.100000e+01 | 67.37%
0.09/0.14 c 0.1s| 1 | 0 | 465 | - |4597k| 0 | 185 | 200 |1244 | 200 |1262 | 18 | 0 | 0 |-9.250000e+01 |-3.100000e+01 | 66.49%
0.09/0.17 c 0.2s| 1 | 0 | 542 | - |4634k| 0 | 182 | 200 |1244 | 200 |1273 | 29 | 0 | 0 |-9.100000e+01 |-3.100000e+01 | 65.93%
0.19/0.22 c 0.2s| 1 | 0 | 783 | - |4748k| 0 | 178 | 200 |1244 | 200 |1283 | 39 | 0 | 0 |-8.900000e+01 |-3.100000e+01 | 65.17%
0.19/0.27 c 0.3s| 1 | 0 | 938 | - |4756k| 0 | 175 | 200 |1244 | 200 |1292 | 48 | 0 | 0 |-8.750000e+01 |-3.100000e+01 | 64.57%
0.29/0.30 c 0.3s| 1 | 0 | 980 | - |4761k| 0 | 173 | 200 |1244 | 200 |1300 | 56 | 0 | 0 |-8.650000e+01 |-3.100000e+01 | 64.16%
0.29/0.35 c 0.4s| 1 | 0 | 1217 | - |4768k| 0 | 169 | 200 |1244 | 200 |1309 | 65 | 0 | 0 |-8.450000e+01 |-3.100000e+01 | 63.31%
0.29/0.39 c 0.4s| 1 | 0 | 1298 | - |4774k| 0 | 177 | 200 |1244 | 200 |1317 | 73 | 0 | 0 |-8.350000e+01 |-3.100000e+01 | 62.87%
0.39/0.48 c 0.5s| 1 | 0 | 1688 | - |5516k| 0 | 164 | 200 |1244 | 200 |1326 | 82 | 0 | 0 |-8.200000e+01 |-3.100000e+01 | 62.20%
0.49/0.53 c 0.5s| 1 | 0 | 1791 | - |5675k| 0 | 171 | 200 |1244 | 200 |1334 | 90 | 0 | 0 |-8.100000e+01 |-3.100000e+01 | 61.73%
0.59/0.60 c 0.6s| 1 | 0 | 2119 | - |6074k| 0 | 159 | 200 |1244 | 200 | 456 | 104 | 0 | 0 |-7.950000e+01 |-3.100000e+01 | 61.01%
0.59/0.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.64 c 0.6s| 1 | 0 | 2280 | - |6151k| 0 | 192 | 200 |1244 | 200 | 463 | 111 | 0 | 0 |-7.910256e+01 |-3.100000e+01 | 60.81%
0.69/0.70 c 0.7s| 1 | 0 | 2569 | - |6448k| 0 | 178 | 200 |1244 | 200 | 541 | 189 | 0 | 0 |-7.784000e+01 |-3.100000e+01 | 60.17%
0.69/0.75 c 0.7s| 1 | 0 | 2882 | - |6703k| 0 | 190 | 200 |1244 | 200 | 559 | 207 | 0 | 0 |-7.600000e+01 |-3.100000e+01 | 59.21%
0.79/0.82 c 0.8s| 1 | 0 | 3074 | - |7728k| 0 | 169 | 200 |1244 | 200 | 639 | 287 | 0 | 0 |-7.500000e+01 |-3.100000e+01 | 58.67%
0.79/0.86 c 0.9s| 1 | 0 | 3209 | - |7902k| 0 | 168 | 200 |1244 | 200 | 648 | 296 | 0 | 0 |-7.450000e+01 |-3.100000e+01 | 58.39%
0.89/0.90 c 0.9s| 1 | 0 | 3330 | - |7942k| 0 | 168 | 200 |1244 | 200 | 521 | 305 | 0 | 0 |-7.400000e+01 |-3.100000e+01 | 58.11%
0.89/0.95 c 0.9s| 1 | 0 | 3642 | - |8131k| 0 | 176 | 200 |1244 | 200 | 539 | 323 | 0 | 0 |-7.375000e+01 |-3.100000e+01 | 57.97%
0.89/0.97 c 1.0s| 1 | 0 | 3708 | - |8174k| 0 | 146 | 200 |1244 | 200 | 574 | 358 | 0 | 0 |-7.300000e+01 |-3.100000e+01 | 57.53%
0.99/1.02 c 1.0s| 1 | 0 | 3815 | - |8948k| 0 | 185 | 200 |1244 | 200 | 581 | 365 | 0 | 0 |-7.300000e+01 |-3.100000e+01 | 57.53%
0.99/1.09 c 1.1s| 1 | 0 | 4240 | - |9198k| 0 | 194 | 200 |1244 | 200 | 649 | 433 | 0 | 0 |-7.241036e+01 |-3.100000e+01 | 57.19%
1.10/1.16 c 1.2s| 1 | 0 | 4511 | - |9954k| 0 | 197 | 200 |1244 | 200 | 680 | 464 | 0 | 0 |-7.181283e+01 |-3.100000e+01 | 56.83%
1.19/1.23 c 1.2s| 1 | 0 | 4766 | - | 10M| 0 | 194 | 200 |1244 | 200 | 533 | 480 | 0 | 0 |-7.110108e+01 |-3.100000e+01 | 56.40%
1.19/1.26 c 1.3s| 1 | 0 | 4871 | - | 10M| 0 | 197 | 200 |1244 | 200 | 569 | 516 | 0 | 0 |-7.097907e+01 |-3.100000e+01 | 56.33%
1.29/1.32 c 1.3s| 1 | 0 | 5000 | - | 11M| 0 | 196 | 200 |1244 | 200 | 591 | 538 | 0 | 0 |-7.082046e+01 |-3.100000e+01 | 56.23%
1.29/1.37 c 1.4s| 1 | 0 | 5161 | - | 11M| 0 | 195 | 200 |1244 | 200 | 615 | 562 | 0 | 0 |-7.069237e+01 |-3.100000e+01 | 56.15%
1.39/1.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.41 c 1.4s| 1 | 0 | 5315 | - | 11M| 0 | 196 | 200 |1244 | 200 | 626 | 573 | 0 | 0 |-7.029384e+01 |-3.100000e+01 | 55.90%
1.39/1.45 c 1.5s| 1 | 0 | 5399 | - | 12M| 0 | 197 | 200 |1244 | 200 | 642 | 589 | 0 | 0 |-7.013819e+01 |-3.100000e+01 | 55.80%
1.49/1.50 c 1.5s| 1 | 0 | 5486 | - | 12M| 0 | 197 | 200 |1244 | 200 | 515 | 599 | 0 | 0 |-7.004422e+01 |-3.100000e+01 | 55.74%
1.49/1.54 c 1.5s| 1 | 0 | 5620 | - | 12M| 0 | 196 | 200 |1244 | 200 | 531 | 615 | 0 | 0 |-6.994308e+01 |-3.100000e+01 | 55.68%
1.49/1.58 c 1.6s| 1 | 0 | 5785 | - | 12M| 0 | 195 | 200 |1244 | 200 | 545 | 629 | 0 | 0 |-6.980206e+01 |-3.100000e+01 | 55.59%
1.59/1.61 c 1.6s| 1 | 0 | 5882 | - | 12M| 0 | 197 | 200 |1244 | 200 | 553 | 637 | 0 | 0 |-6.974932e+01 |-3.100000e+01 | 55.56%
1.59/1.65 c 1.6s| 1 | 0 | 5977 | - | 12M| 0 | 197 | 200 |1244 | 200 | 561 | 645 | 0 | 0 |-6.970417e+01 |-3.100000e+01 | 55.53%
1.59/1.68 c 1.7s| 1 | 0 | 6003 | - | 12M| 0 | 197 | 200 |1244 | 200 | 564 | 648 | 0 | 0 |-6.969195e+01 |-3.100000e+01 | 55.52%
1.69/1.72 c 1.7s| 1 | 0 | 6012 | - | 12M| 0 | 196 | 200 |1244 | 200 | 378 | 650 | 0 | 0 |-6.969106e+01 |-3.100000e+01 | 55.52%
1.99/2.07 c 2.1s| 1 | 2 | 6012 | - | 12M| 0 | 196 | 200 |1244 | 200 | 378 | 650 | 0 | 16 |-6.969106e+01 |-3.100000e+01 | 55.52%
3.20/3.27 o -32
3.20/3.27 c R 3.3s| 93 | 92 | 9619 | 39.2 | 12M| 15 | 36 | 200 |1244 | 200 | 276 |1627 | 0 |1300 |-6.904545e+01 |-3.200000e+01 | 53.65%
3.20/3.28 o -33
3.20/3.28 c R 3.3s| 94 | 93 | 9621 | 38.8 | 12M| 15 | 32 | 200 |1244 | 200 | 273 |1627 | 0 |1303 |-6.904545e+01 |-3.300000e+01 | 52.21%
3.49/3.54 o -34
3.49/3.54 c R 3.5s| 165 | 164 | 11923 | 36.0 | 12M| 18 | 46 | 200 |1244 | 200 | 286 |2459 | 0 |1503 |-6.895854e+01 |-3.400000e+01 | 50.70%
3.49/3.54 o -35
3.49/3.54 c R 3.5s| 166 | 165 | 11929 | 35.9 | 12M| 19 | 33 | 200 |1244 | 200 | 281 |2459 | 0 |1503 |-6.895854e+01 |-3.500000e+01 | 49.24%
3.49/3.57 o -36
3.49/3.57 c R 3.6s| 191 | 190 | 12533 | 34.3 | 12M| 21 | 33 | 200 |1244 | 200 | 268 |2775 | 0 |1505 |-6.895854e+01 |-3.600000e+01 | 47.79%
3.49/3.57 o -43
3.49/3.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.49/3.57 c c 3.6s| 192 | 184 | 12545 | 34.2 | 12M| 22 | - | 200 |1244 | 200 | 268 |2775 | 0 |1505 |-6.895854e+01 |-4.300000e+01 | 37.64%
3.79/3.80 o -46
3.79/3.80 c C 3.8s| 392 | 314 | 17432 | 29.2 | 12M| 24 | 30 | 200 |1244 | 200 | 263 |4889 | 0 |1519 |-6.880508e+01 |-4.600000e+01 | 33.14%
19.59/19.67 c 19.7s| 10000 | 9622 |434084 | 42.8 | 26M| 34 | 47 | 200 |1244 | 200 | 216 | 195k| 0 |2635 |-6.600000e+01 |-4.600000e+01 | 30.30%
23.49/23.50 o -47
23.49/23.50 c c23.5s| 12802 | 11775 |535809 | 41.4 | 29M| 44 | - | 200 |1244 | 200 | 288 | 246k| 0 |3009 |-6.566667e+01 |-4.700000e+01 | 28.43%
32.20/32.21 c 32.2s| 20000 | 17443 |772326 | 38.3 | 38M| 45 | 73 | 200 |1244 | 200 | 256 | 370k| 0 |3762 |-6.500000e+01 |-4.700000e+01 | 27.69%
43.90/43.97 c 44.0s| 30000 | 25173 | 1100k| 36.5 | 49M| 45 | 54 | 200 |1244 | 200 | 242 | 540k| 0 |4658 |-6.440000e+01 |-4.700000e+01 | 27.02%
52.80/52.83 o -48
52.80/52.83 c *52.8s| 37870 | 28114 | 1347k| 35.4 | 55M| 45 | - | 200 |1244 | 200 | 254 | 670k| 0 |5244 |-6.400000e+01 |-4.800000e+01 | 25.00%
55.00/55.09 c 55.1s| 40000 | 29388 | 1408k| 35.1 | 57M| 45 | 50 | 200 |1244 | 200 | 239 | 704k| 0 |5418 |-6.400000e+01 |-4.800000e+01 | 25.00%
65.39/65.48 c 65.5s| 50000 | 36012 | 1700k| 33.9 | 67M| 45 | 68 | 200 |1244 | 200 | 244 | 859k| 0 |6055 |-6.350000e+01 |-4.800000e+01 | 24.41%
75.20/75.20 c 75.2s| 60000 | 41686 | 1970k| 32.7 | 76M| 45 | 83 | 200 |1244 | 200 | 264 |1002k| 0 |6575 |-6.314286e+01 |-4.800000e+01 | 23.98%
84.60/84.70 c 84.7s| 70000 | 47234 | 2233k| 31.8 | 84M| 47 | 34 | 200 |1244 | 200 | 225 |1143k| 0 |6963 |-6.300000e+01 |-4.800000e+01 | 23.81%
93.89/93.96 c 94.0s| 80000 | 52644 | 2490k| 31.1 | 93M| 47 | 65 | 200 |1244 | 200 | 238 |1283k| 0 |7448 |-6.266667e+01 |-4.800000e+01 | 23.40%
102.69/102.77 c 103s| 90000 | 57756 | 2735k| 30.3 | 101M| 49 | - | 200 |1244 | 200 | 273 |1417k| 0 |7776 |-6.250000e+01 |-4.800000e+01 | 23.20%
109.19/109.27 o -49
109.19/109.27 c * 109s| 97051 | 52153 | 2915k| 30.0 | 95M| 49 | - | 200 |1244 | 200 | 272 |1514k| 0 |8061 |-6.239130e+01 |-4.900000e+01 | 21.46%
111.59/111.69 c 112s|100000 | 53306 | 2980k| 29.7 | 97M| 49 | 77 | 200 |1244 | 200 | 270 |1552k| 0 |8161 |-6.233333e+01 |-4.900000e+01 | 21.39%
112.20/112.22 o -50
112.20/112.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.20/112.22 c * 112s|100615 | 45193 | 2995k| 29.7 | 87M| 49 | - | 200 |1244 | 200 | 278 |1561k| 0 |8163 |-6.233333e+01 |-5.000000e+01 | 19.79%
119.69/119.79 c 120s|110000 | 48180 | 3199k| 29.0 | 93M| 49 | 88 | 200 |1244 | 200 | 251 |1684k| 0 |8486 |-6.223077e+01 |-5.000000e+01 | 19.65%
127.60/127.62 c 128s|120000 | 51348 | 3412k| 28.4 | 98M| 49 | 76 | 200 |1244 | 200 | 253 |1812k| 0 |8802 |-6.200000e+01 |-5.000000e+01 | 19.35%
135.39/135.47 c 135s|130000 | 54464 | 3627k| 27.9 | 104M| 49 | 73 | 200 |1244 | 200 | 267 |1940k| 0 |9082 |-6.200000e+01 |-5.000000e+01 | 19.35%
142.79/142.81 c 143s|140000 | 57132 | 3827k| 27.3 | 109M| 51 | 62 | 200 |1244 | 200 | 254 |2066k| 0 |9305 |-6.200000e+01 |-5.000000e+01 | 19.35%
145.89/145.98 o -51
145.89/145.98 c * 146s|144342 | 46750 | 3910k| 27.1 | 94M| 51 | - | 200 |1244 | 200 | 283 |2117k| 0 |9412 |-6.200000e+01 |-5.100000e+01 | 17.74%
149.79/149.87 c 150s|150000 | 47620 | 4013k| 26.7 | 96M| 51 | - | 200 |1244 | 200 | 255 |2186k| 0 |9522 |-6.188235e+01 |-5.100000e+01 | 17.59%
156.90/156.93 c 157s|160000 | 49550 | 4201k| 26.2 | 100M| 51 | - | 200 |1244 | 200 | 277 |2310k| 0 |9809 |-6.176471e+01 |-5.100000e+01 | 17.43%
163.69/163.74 c 164s|170000 | 51330 | 4382k| 25.7 | 104M| 51 | - | 200 |1244 | 200 | 248 |2432k| 0 | 10k|-6.170000e+01 |-5.100000e+01 | 17.34%
170.59/170.64 c 171s|180000 | 53264 | 4567k| 25.3 | 108M| 51 | 45 | 200 |1244 | 200 | 222 |2553k| 0 | 10k|-6.166667e+01 |-5.100000e+01 | 17.30%
177.19/177.29 c 177s|190000 | 54874 | 4744k| 24.9 | 111M| 51 | - | 200 |1244 | 200 | 286 |2673k| 0 | 10k|-6.157143e+01 |-5.100000e+01 | 17.17%
184.20/184.20 c 184s|200000 | 56646 | 4929k| 24.6 | 115M| 53 | 18 | 200 |1244 | 200 | 225 |2794k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
190.90/190.90 c 191s|210000 | 58356 | 5106k| 24.3 | 118M| 53 | 95 | 200 |1244 | 200 | 251 |2911k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
197.59/197.67 c 198s|220000 | 60038 | 5285k| 24.0 | 122M| 53 | - | 200 |1244 | 200 | 253 |3030k| 0 | 11k|-6.150000e+01 |-5.100000e+01 | 17.07%
204.09/204.18 c 204s|230000 | 61524 | 5456k| 23.7 | 125M| 58 | 64 | 200 |1244 | 200 | 248 |3146k| 0 | 11k|-6.135000e+01 |-5.100000e+01 | 16.87%
210.80/210.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.80/210.80 c 211s|240000 | 63012 | 5630k| 23.4 | 128M| 58 | - | 200 |1244 | 200 | 292 |3265k| 0 | 11k|-6.133333e+01 |-5.100000e+01 | 16.85%
217.39/217.45 c 217s|250000 | 64566 | 5805k| 23.2 | 131M| 58 | 82 | 200 |1244 | 200 | 293 |3383k| 0 | 11k|-6.125000e+01 |-5.100000e+01 | 16.73%
224.09/224.14 c 224s|260000 | 66212 | 5984k| 23.0 | 135M| 58 | - | 200 |1244 | 200 | 267 |3502k| 0 | 11k|-6.120833e+01 |-5.100000e+01 | 16.68%
230.69/230.78 c 231s|270000 | 67750 | 6158k| 22.8 | 138M| 58 | 22 | 200 |1244 | 200 | 244 |3619k| 0 | 11k|-6.114286e+01 |-5.100000e+01 | 16.59%
237.20/237.24 c 237s|280000 | 69302 | 6326k| 22.6 | 141M| 58 | - | 200 |1244 | 200 | 258 |3733k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
243.79/243.85 c 244s|290000 | 70996 | 6501k| 22.4 | 145M| 58 | 34 | 200 |1244 | 200 | 248 |3849k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
250.20/250.29 c 250s|300000 | 72298 | 6670k| 22.2 | 147M| 58 | - | 200 |1244 | 200 | 239 |3967k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
256.59/256.69 c 257s|310000 | 73680 | 6838k| 22.0 | 150M| 58 | 22 | 200 |1244 | 200 | 248 |4083k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
263.09/263.19 c 263s|320000 | 75236 | 7008k| 21.9 | 154M| 58 | - | 200 |1244 | 200 | 260 |4201k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
269.90/269.93 c 270s|330000 | 76892 | 7190k| 21.8 | 157M| 58 | 92 | 200 |1244 | 200 | 256 |4319k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
276.50/276.57 c 277s|340000 | 78596 | 7366k| 21.6 | 160M| 58 | 97 | 200 |1244 | 200 | 301 |4436k| 0 | 13k|-6.100000e+01 |-5.100000e+01 | 16.39%
283.09/283.19 c 283s|350000 | 80086 | 7538k| 21.5 | 164M| 58 | 27 | 200 |1244 | 200 | 216 |4549k| 0 | 13k|-6.091667e+01 |-5.100000e+01 | 16.28%
289.60/289.60 c 290s|360000 | 81576 | 7707k| 21.4 | 167M| 58 | - | 200 |1244 | 200 | 271 |4664k| 0 | 13k|-6.083333e+01 |-5.100000e+01 | 16.16%
296.00/296.00 c 296s|370000 | 83096 | 7875k| 21.3 | 170M| 58 | - | 200 |1244 | 200 | 248 |4775k| 0 | 13k|-6.080000e+01 |-5.100000e+01 | 16.12%
302.30/302.30 c 302s|380000 | 84592 | 8040k| 21.1 | 173M| 58 | 68 | 200 |1244 | 200 | 227 |4886k| 0 | 13k|-6.075000e+01 |-5.100000e+01 | 16.05%
308.70/308.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.70/308.77 c 309s|390000 | 86080 | 8210k| 21.0 | 176M| 58 | - | 200 |1244 | 200 | 256 |5001k| 0 | 13k|-6.073333e+01 |-5.100000e+01 | 16.03%
315.20/315.21 c 315s|400000 | 87550 | 8376k| 20.9 | 179M| 58 | - | 200 |1244 | 200 | 279 |5114k| 0 | 14k|-6.066667e+01 |-5.100000e+01 | 15.93%
321.60/321.67 c 322s|410000 | 89186 | 8548k| 20.8 | 182M| 58 | - | 200 |1244 | 200 | 269 |5227k| 0 | 14k|-6.066667e+01 |-5.100000e+01 | 15.93%
328.20/328.29 c 328s|420000 | 90866 | 8722k| 20.8 | 186M| 58 | 38 | 200 |1244 | 200 | 241 |5343k| 0 | 14k|-6.061017e+01 |-5.100000e+01 | 15.86%
328.40/328.45 o -52
328.40/328.45 c * 328s|420140 | 67748 | 8724k| 20.8 | 145M| 58 | - | 200 |1244 | 200 | 280 |5344k| 0 | 14k|-6.060870e+01 |-5.200000e+01 | 14.20%
334.50/334.58 c 335s|430000 | 68662 | 8880k| 20.6 | 147M| 58 | - | 200 |1244 | 200 | 241 |5457k| 0 | 14k|-6.055556e+01 |-5.200000e+01 | 14.13%
340.70/340.70 c 341s|440000 | 69642 | 9037k| 20.5 | 150M| 58 | 58 | 200 |1244 | 200 | 220 |5572k| 0 | 14k|-6.050000e+01 |-5.200000e+01 | 14.05%
346.80/346.81 c 347s|450000 | 70756 | 9197k| 20.4 | 152M| 58 | - | 200 |1244 | 200 | 237 |5688k| 0 | 14k|-6.050000e+01 |-5.200000e+01 | 14.05%
352.80/352.88 c 353s|460000 | 71726 | 9352k| 20.3 | 154M| 58 | - | 200 |1244 | 200 | 258 |5801k| 0 | 14k|-6.050000e+01 |-5.200000e+01 | 14.05%
358.90/358.91 c 359s|470000 | 72584 | 9508k| 20.2 | 156M| 58 | 49 | 200 |1244 | 200 | 239 |5914k| 0 | 15k|-6.050000e+01 |-5.200000e+01 | 14.05%
365.00/365.03 c 365s|480000 | 73450 | 9665k| 20.1 | 158M| 58 | - | 200 |1244 | 200 | 269 |6032k| 0 | 15k|-6.050000e+01 |-5.200000e+01 | 14.05%
371.10/371.10 c 371s|490000 | 74310 | 9821k| 20.0 | 161M| 58 | - | 200 |1244 | 200 | 245 |6148k| 0 | 15k|-6.042857e+01 |-5.200000e+01 | 13.95%
377.20/377.21 c 377s|500000 | 75088 | 9978k| 19.9 | 162M| 58 | 71 | 200 |1244 | 200 | 222 |6265k| 0 | 15k|-6.037500e+01 |-5.200000e+01 | 13.87%
383.20/383.23 c 383s|510000 | 75988 | 10131k| 19.9 | 165M| 58 | - | 200 |1244 | 200 | 273 |6379k| 0 | 15k|-6.033333e+01 |-5.200000e+01 | 13.81%
389.30/389.37 c 389s|520000 | 76920 | 10290k| 19.8 | 167M| 58 | - | 200 |1244 | 200 | 243 |6495k| 0 | 15k|-6.033333e+01 |-5.200000e+01 | 13.81%
395.50/395.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
395.50/395.52 c 396s|530000 | 77808 | 10448k| 19.7 | 169M| 59 | - | 200 |1244 | 200 | 234 |6610k| 0 | 15k|-6.027273e+01 |-5.200000e+01 | 13.73%
401.41/401.47 c 401s|540000 | 78584 | 10600k| 19.6 | 171M| 59 | - | 200 |1244 | 200 | 221 |6724k| 0 | 15k|-6.025000e+01 |-5.200000e+01 | 13.69%
407.40/407.41 c 407s|550000 | 79332 | 10750k| 19.5 | 173M| 59 | - | 200 |1244 | 200 | 243 |6837k| 0 | 16k|-6.021429e+01 |-5.200000e+01 | 13.64%
413.40/413.41 c 413s|560000 | 80080 | 10905k| 19.5 | 174M| 59 | 28 | 200 |1244 | 200 | 222 |6955k| 0 | 16k|-6.016667e+01 |-5.200000e+01 | 13.57%
419.40/419.43 c 419s|570000 | 80876 | 11059k| 19.4 | 176M| 59 | - | 200 |1244 | 200 | 221 |7069k| 0 | 16k|-6.013636e+01 |-5.200000e+01 | 13.53%
425.30/425.34 c 425s|580000 | 81706 | 11209k| 19.3 | 178M| 59 | 16 | 200 |1244 | 200 | 223 |7180k| 0 | 16k|-6.007143e+01 |-5.200000e+01 | 13.44%
431.40/431.49 c 431s|590000 | 82656 | 11367k| 19.3 | 181M| 59 | - | 200 |1244 | 200 | 236 |7293k| 0 | 16k|-6.000000e+01 |-5.200000e+01 | 13.33%
437.51/437.57 c 438s|600000 | 83558 | 11522k| 19.2 | 183M| 66 | 30 | 200 |1244 | 200 | 217 |7406k| 0 | 16k|-6.000000e+01 |-5.200000e+01 | 13.33%
441.50/441.59 o -53
441.50/441.59 c * 442s|606785 | 60991 | 11622k| 19.1 | 140M| 66 | - | 200 |1244 | 200 | 254 |7481k| 0 | 16k|-6.000000e+01 |-5.300000e+01 | 11.67%
443.41/443.45 c 443s|610000 | 61126 | 11666k| 19.1 | 140M| 66 | - | 200 |1244 | 200 | 275 |7517k| 0 | 16k|-6.000000e+01 |-5.300000e+01 | 11.67%
449.10/449.19 c 449s|620000 | 61594 | 11809k| 19.0 | 141M| 66 | 57 | 200 |1244 | 200 | 250 |7628k| 0 | 16k|-6.000000e+01 |-5.300000e+01 | 11.67%
454.91/454.95 c 455s|630000 | 62146 | 11953k| 19.0 | 143M| 66 | 94 | 200 |1244 | 200 | 265 |7742k| 0 | 16k|-6.000000e+01 |-5.300000e+01 | 11.67%
460.70/460.77 c 461s|640000 | 62578 | 12099k| 18.9 | 144M| 66 | - | 200 |1244 | 200 | 278 |7856k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
466.51/466.50 c 466s|650000 | 62992 | 12241k| 18.8 | 145M| 66 | - | 200 |1244 | 200 | 258 |7966k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
472.10/472.19 c 472s|660000 | 63342 | 12382k| 18.8 | 146M| 66 | - | 200 |1244 | 200 | 262 |8079k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
477.90/477.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.90/477.91 c 478s|670000 | 63754 | 12525k| 18.7 | 148M| 66 | - | 200 |1244 | 200 | 285 |8192k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
483.60/483.65 c 484s|680000 | 64194 | 12668k| 18.6 | 149M| 66 | - | 200 |1244 | 200 | 241 |8303k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
489.41/489.41 c 489s|690000 | 64616 | 12812k| 18.6 | 150M| 66 | 33 | 200 |1244 | 200 | 218 |8415k| 0 | 17k|-6.000000e+01 |-5.300000e+01 | 11.67%
494.91/494.97 c 495s|700000 | 64938 | 12949k| 18.5 | 151M| 66 | - | 200 |1244 | 200 | 244 |8524k| 0 | 17k|-5.990000e+01 |-5.300000e+01 | 11.52%
500.60/500.60 c 501s|710000 | 65352 | 13088k| 18.4 | 152M| 66 | - | 200 |1244 | 200 | 272 |8635k| 0 | 17k|-5.985714e+01 |-5.300000e+01 | 11.46%
506.21/506.24 c 506s|720000 | 65688 | 13228k| 18.4 | 153M| 66 | - | 200 |1244 | 200 | 270 |8744k| 0 | 17k|-5.982353e+01 |-5.300000e+01 | 11.41%
511.80/511.85 c 512s|730000 | 66008 | 13366k| 18.3 | 154M| 66 | 40 | 200 |1244 | 200 | 222 |8857k| 0 | 18k|-5.976923e+01 |-5.300000e+01 | 11.33%
517.40/517.41 c 517s|740000 | 66414 | 13503k| 18.2 | 155M| 66 | 36 | 200 |1244 | 200 | 229 |8972k| 0 | 18k|-5.975000e+01 |-5.300000e+01 | 11.30%
523.00/523.01 c 523s|750000 | 66802 | 13643k| 18.2 | 156M| 66 | - | 200 |1244 | 200 | 242 |9086k| 0 | 18k|-5.975000e+01 |-5.300000e+01 | 11.30%
528.51/528.50 c 529s|760000 | 67130 | 13776k| 18.1 | 157M| 66 | - | 200 |1244 | 200 | 237 |9198k| 0 | 18k|-5.970000e+01 |-5.300000e+01 | 11.22%
534.01/534.02 c 534s|770000 | 67440 | 13914k| 18.1 | 158M| 66 | 34 | 200 |1244 | 200 | 228 |9309k| 0 | 18k|-5.966667e+01 |-5.300000e+01 | 11.17%
539.60/539.65 c 540s|780000 | 67830 | 14055k| 18.0 | 160M| 66 | 82 | 200 |1244 | 200 | 246 |9422k| 0 | 18k|-5.966667e+01 |-5.300000e+01 | 11.17%
545.31/545.34 c 545s|790000 | 68296 | 14197k| 18.0 | 161M| 66 | - | 200 |1244 | 200 | 264 |9535k| 0 | 18k|-5.966667e+01 |-5.300000e+01 | 11.17%
550.70/550.73 c 551s|800000 | 68580 | 14329k| 17.9 | 162M| 66 | - | 200 |1244 | 200 | 286 |9640k| 0 | 18k|-5.960000e+01 |-5.300000e+01 | 11.07%
556.21/556.29 c 556s|810000 | 68936 | 14466k| 17.9 | 163M| 66 | 48 | 200 |1244 | 200 | 229 |9750k| 0 | 18k|-5.957143e+01 |-5.300000e+01 | 11.03%
561.81/561.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.81/561.84 c 562s|820000 | 69274 | 14601k| 17.8 | 164M| 66 | 97 | 200 |1244 | 200 | 232 |9860k| 0 | 18k|-5.950000e+01 |-5.300000e+01 | 10.92%
567.31/567.34 c 567s|830000 | 69578 | 14736k| 17.7 | 165M| 66 | - | 200 |1244 | 200 | 250 |9972k| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
572.81/572.86 c 573s|840000 | 69914 | 14871k| 17.7 | 166M| 66 | - | 200 |1244 | 200 | 256 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
578.31/578.33 c 578s|850000 | 70242 | 15004k| 17.6 | 167M| 66 | - | 200 |1244 | 200 | 258 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
583.81/583.81 c 584s|860000 | 70488 | 15139k| 17.6 | 167M| 66 | 20 | 200 |1244 | 200 | 240 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
589.20/589.22 c 589s|870000 | 70760 | 15270k| 17.5 | 168M| 66 | 36 | 200 |1244 | 200 | 242 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
594.51/594.59 c 595s|880000 | 70984 | 15400k| 17.5 | 169M| 66 | - | 200 |1244 | 200 | 241 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
600.00/600.04 c 600s|890000 | 71308 | 15533k| 17.4 | 170M| 66 | 4 | 200 |1244 | 200 | 236 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
605.50/605.54 c 606s|900000 | 71716 | 15668k| 17.4 | 171M| 66 | - | 200 |1244 | 200 | 262 | 10M| 0 | 19k|-5.950000e+01 |-5.300000e+01 | 10.92%
610.91/610.98 c 611s|910000 | 71990 | 15799k| 17.4 | 172M| 66 | 75 | 200 |1244 | 200 | 263 | 10M| 0 | 19k|-5.942857e+01 |-5.300000e+01 | 10.82%
616.31/616.37 c 616s|920000 | 72246 | 15929k| 17.3 | 173M| 66 | - | 200 |1244 | 200 | 250 | 10M| 0 | 19k|-5.940000e+01 |-5.300000e+01 | 10.77%
621.71/621.76 c 622s|930000 | 72506 | 16059k| 17.3 | 174M| 66 | - | 200 |1244 | 200 | 265 | 11M| 0 | 19k|-5.933333e+01 |-5.300000e+01 | 10.67%
627.21/627.21 c 627s|940000 | 72882 | 16191k| 17.2 | 175M| 66 | 64 | 200 |1244 | 200 | 256 | 11M| 0 | 19k|-5.933333e+01 |-5.300000e+01 | 10.67%
632.61/632.63 c 633s|950000 | 73136 | 16323k| 17.2 | 176M| 66 | 16 | 200 |1244 | 200 | 242 | 11M| 0 | 20k|-5.933333e+01 |-5.300000e+01 | 10.67%
638.01/638.01 c 638s|960000 | 73450 | 16454k| 17.1 | 177M| 66 | 50 | 200 |1244 | 200 | 223 | 11M| 0 | 20k|-5.930769e+01 |-5.300000e+01 | 10.64%
643.31/643.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
643.31/643.37 c 643s|970000 | 73670 | 16584k| 17.1 | 177M| 66 | 69 | 200 |1244 | 200 | 260 | 11M| 0 | 20k|-5.925000e+01 |-5.300000e+01 | 10.55%
648.71/648.77 c 649s|980000 | 73988 | 16715k| 17.1 | 178M| 66 | - | 200 |1244 | 200 | 248 | 11M| 0 | 20k|-5.925000e+01 |-5.300000e+01 | 10.55%
654.01/654.05 c 654s|990000 | 74282 | 16841k| 17.0 | 179M| 66 | 84 | 200 |1244 | 200 | 255 | 11M| 0 | 20k|-5.925000e+01 |-5.300000e+01 | 10.55%
659.41/659.42 c 659s| 1000k| 74488 | 16971k| 17.0 | 180M| 66 | - | 200 |1244 | 200 | 238 | 11M| 0 | 20k|-5.920000e+01 |-5.300000e+01 | 10.47%
664.81/664.80 c 665s| 1010k| 74726 | 17101k| 16.9 | 181M| 66 | - | 200 |1244 | 200 | 257 | 11M| 0 | 20k|-5.916667e+01 |-5.300000e+01 | 10.42%
670.11/670.18 c 670s| 1020k| 74966 | 17231k| 16.9 | 181M| 66 | 24 | 200 |1244 | 200 | 244 | 11M| 0 | 20k|-5.916667e+01 |-5.300000e+01 | 10.42%
675.32/675.39 c 675s| 1030k| 75214 | 17355k| 16.8 | 182M| 66 | 21 | 200 |1244 | 200 | 222 | 12M| 0 | 20k|-5.912500e+01 |-5.300000e+01 | 10.36%
680.60/680.65 c 681s| 1040k| 75440 | 17481k| 16.8 | 183M| 66 | - | 200 |1244 | 200 | 271 | 12M| 0 | 20k|-5.907143e+01 |-5.300000e+01 | 10.28%
685.91/685.97 c 686s| 1050k| 75704 | 17608k| 16.8 | 184M| 66 | - | 200 |1244 | 200 | 237 | 12M| 0 | 20k|-5.900000e+01 |-5.300000e+01 | 10.17%
691.41/691.40 c 691s| 1060k| 75870 | 17737k| 16.7 | 184M| 66 | 26 | 200 |1244 | 200 | 243 | 12M| 0 | 20k|-5.900000e+01 |-5.300000e+01 | 10.17%
696.71/696.76 c 697s| 1070k| 76144 | 17865k| 16.7 | 185M| 66 | - | 200 |1244 | 200 | 240 | 12M| 0 | 20k|-5.900000e+01 |-5.300000e+01 | 10.17%
702.11/702.17 c 702s| 1080k| 76420 | 17995k| 16.7 | 186M| 66 | - | 200 |1244 | 200 | 254 | 12M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
707.61/707.67 c 708s| 1090k| 76724 | 18129k| 16.6 | 187M| 66 | 78 | 200 |1244 | 200 | 254 | 12M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
712.91/712.90 c 713s| 1100k| 77026 | 18253k| 16.6 | 188M| 68 | - | 200 |1244 | 200 | 243 | 12M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
718.11/718.20 c 718s| 1110k| 77416 | 18379k| 16.6 | 189M| 68 | 53 | 200 |1244 | 200 | 229 | 12M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
723.41/723.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.41/723.47 c 723s| 1120k| 77626 | 18504k| 16.5 | 190M| 68 | 77 | 200 |1244 | 200 | 237 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
728.71/728.70 c 729s| 1130k| 77812 | 18627k| 16.5 | 190M| 68 | 76 | 200 |1244 | 200 | 254 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
733.92/733.98 c 734s| 1140k| 78044 | 18753k| 16.4 | 191M| 68 | 24 | 200 |1244 | 200 | 216 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
739.31/739.35 c 739s| 1150k| 78218 | 18883k| 16.4 | 192M| 68 | - | 200 |1244 | 200 | 288 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
744.62/744.67 c 745s| 1160k| 78382 | 19011k| 16.4 | 192M| 68 | - | 200 |1244 | 200 | 273 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
749.91/749.96 c 750s| 1170k| 78614 | 19138k| 16.4 | 193M| 68 | 17 | 200 |1244 | 200 | 222 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
755.11/755.17 c 755s| 1180k| 78804 | 19261k| 16.3 | 194M| 68 | 14 | 200 |1244 | 200 | 225 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
760.51/760.56 c 761s| 1190k| 79094 | 19391k| 16.3 | 195M| 68 | - | 200 |1244 | 200 | 261 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
765.91/765.92 c 766s| 1200k| 79366 | 19520k| 16.3 | 195M| 68 | 73 | 200 |1244 | 200 | 220 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
771.31/771.30 c 771s| 1210k| 79592 | 19648k| 16.2 | 196M| 68 | 14 | 200 |1244 | 200 | 243 | 13M| 0 | 21k|-5.900000e+01 |-5.300000e+01 | 10.17%
776.51/776.56 c 777s| 1220k| 79854 | 19774k| 16.2 | 197M| 68 | - | 200 |1244 | 200 | 262 | 14M| 0 | 22k|-5.900000e+01 |-5.300000e+01 | 10.17%
781.72/781.70 c 782s| 1230k| 80036 | 19894k| 16.2 | 198M| 68 | - | 200 |1244 | 200 | 253 | 14M| 0 | 22k|-5.890000e+01 |-5.300000e+01 | 10.02%
786.81/786.88 c 787s| 1240k| 80210 | 20015k| 16.1 | 198M| 68 | 50 | 200 |1244 | 200 | 242 | 14M| 0 | 22k|-5.887500e+01 |-5.300000e+01 | 9.98%
792.02/792.06 c 792s| 1250k| 80328 | 20136k| 16.1 | 199M| 68 | 98 | 200 |1244 | 200 | 280 | 14M| 0 | 22k|-5.883333e+01 |-5.300000e+01 | 9.92%
797.01/797.07 c 797s| 1260k| 80484 | 20253k| 16.1 | 199M| 68 | - | 200 |1244 | 200 | 250 | 14M| 0 | 22k|-5.883065e+01 |-5.300000e+01 | 9.91%
802.21/802.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.21/802.22 c 802s| 1270k| 80654 | 20373k| 16.0 | 200M| 68 | - | 200 |1244 | 200 | 258 | 14M| 0 | 22k|-5.880000e+01 |-5.300000e+01 | 9.86%
807.42/807.44 c 807s| 1280k| 80842 | 20497k| 16.0 | 201M| 68 | - | 200 |1244 | 200 | 271 | 14M| 0 | 22k|-5.876923e+01 |-5.300000e+01 | 9.82%
812.62/812.65 c 813s| 1290k| 80982 | 20619k| 16.0 | 201M| 68 | - | 200 |1244 | 200 | 244 | 14M| 0 | 22k|-5.875000e+01 |-5.300000e+01 | 9.79%
817.81/817.88 c 818s| 1300k| 81162 | 20743k| 16.0 | 202M| 68 | - | 200 |1244 | 200 | 257 | 14M| 0 | 22k|-5.875000e+01 |-5.300000e+01 | 9.79%
822.91/822.93 c 823s| 1310k| 81336 | 20861k| 15.9 | 202M| 68 | 9 | 200 |1244 | 200 | 223 | 14M| 0 | 22k|-5.875000e+01 |-5.300000e+01 | 9.79%
828.01/828.09 c 828s| 1320k| 81498 | 20984k| 15.9 | 203M| 68 | 92 | 200 |1244 | 200 | 253 | 15M| 0 | 22k|-5.872727e+01 |-5.300000e+01 | 9.75%
833.22/833.21 c 833s| 1330k| 81690 | 21103k| 15.9 | 204M| 68 | 53 | 200 |1244 | 200 | 242 | 15M| 0 | 22k|-5.868182e+01 |-5.300000e+01 | 9.68%
838.31/838.35 c 838s| 1340k| 81842 | 21222k| 15.8 | 204M| 68 | 54 | 200 |1244 | 200 | 238 | 15M| 0 | 22k|-5.866667e+01 |-5.300000e+01 | 9.66%
843.52/843.52 c 844s| 1350k| 81934 | 21343k| 15.8 | 205M| 68 | - | 200 |1244 | 200 | 243 | 15M| 0 | 22k|-5.866667e+01 |-5.300000e+01 | 9.66%
848.71/848.78 c 849s| 1360k| 82132 | 21468k| 15.8 | 205M| 68 | 54 | 200 |1244 | 200 | 237 | 15M| 0 | 23k|-5.866667e+01 |-5.300000e+01 | 9.66%
853.81/853.88 c 854s| 1370k| 82246 | 21586k| 15.8 | 206M| 68 | 72 | 200 |1244 | 200 | 254 | 15M| 0 | 23k|-5.866667e+01 |-5.300000e+01 | 9.66%
859.02/859.01 c 859s| 1380k| 82460 | 21706k| 15.7 | 206M| 68 | - | 200 |1244 | 200 | 262 | 15M| 0 | 23k|-5.866667e+01 |-5.300000e+01 | 9.66%
864.11/864.14 c 864s| 1390k| 82560 | 21824k| 15.7 | 207M| 68 | 118 | 200 |1244 | 200 | 312 | 15M| 0 | 23k|-5.862500e+01 |-5.300000e+01 | 9.59%
869.22/869.20 c 869s| 1400k| 82686 | 21941k| 15.7 | 207M| 68 | 22 | 200 |1244 | 200 | 242 | 15M| 0 | 23k|-5.860000e+01 |-5.300000e+01 | 9.56%
874.31/874.30 c 874s| 1410k| 82788 | 22059k| 15.6 | 208M| 68 | - | 200 |1244 | 200 | 231 | 15M| 0 | 23k|-5.857143e+01 |-5.300000e+01 | 9.51%
879.32/879.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.32/879.34 c 879s| 1420k| 82868 | 22175k| 15.6 | 208M| 68 | 28 | 200 |1244 | 200 | 226 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
884.51/884.51 c 885s| 1430k| 82988 | 22294k| 15.6 | 209M| 68 | 26 | 200 |1244 | 200 | 225 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
889.51/889.52 c 890s| 1440k| 82992 | 22409k| 15.6 | 209M| 68 | 43 | 200 |1244 | 200 | 239 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
894.61/894.64 c 895s| 1450k| 83092 | 22529k| 15.5 | 209M| 68 | 13 | 200 |1244 | 200 | 233 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
899.72/899.72 c 900s| 1460k| 83260 | 22647k| 15.5 | 210M| 68 | - | 200 |1244 | 200 | 272 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
904.81/904.80 c 905s| 1470k| 83416 | 22766k| 15.5 | 211M| 68 | 55 | 200 |1244 | 200 | 248 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
909.92/909.98 c 910s| 1480k| 83546 | 22887k| 15.5 | 211M| 68 | - | 200 |1244 | 200 | 270 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
914.91/914.94 c 915s| 1490k| 83604 | 23000k| 15.4 | 211M| 68 | - | 200 |1244 | 200 | 262 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
919.91/919.99 c 920s| 1500k| 83724 | 23117k| 15.4 | 212M| 68 | - | 200 |1244 | 200 | 243 | 16M| 0 | 23k|-5.850000e+01 |-5.300000e+01 | 9.40%
924.91/924.95 c 925s| 1510k| 83794 | 23230k| 15.4 | 212M| 68 | - | 200 |1244 | 200 | 269 | 16M| 0 | 24k|-5.850000e+01 |-5.300000e+01 | 9.40%
929.82/929.86 c 930s| 1520k| 83810 | 23342k| 15.4 | 212M| 68 | - | 200 |1244 | 200 | 222 | 17M| 0 | 24k|-5.850000e+01 |-5.300000e+01 | 9.40%
934.82/934.81 c 935s| 1530k| 83844 | 23456k| 15.3 | 213M| 68 | - | 200 |1244 | 200 | 278 | 17M| 0 | 24k|-5.850000e+01 |-5.300000e+01 | 9.40%
939.71/939.72 c 940s| 1540k| 83908 | 23568k| 15.3 | 213M| 68 | - | 200 |1244 | 200 | 249 | 17M| 0 | 24k|-5.850000e+01 |-5.300000e+01 | 9.40%
944.71/944.79 c 945s| 1550k| 84162 | 23685k| 15.3 | 214M| 68 | 50 | 200 |1244 | 200 | 239 | 17M| 0 | 24k|-5.850000e+01 |-5.300000e+01 | 9.40%
949.82/949.87 c 950s| 1560k| 84316 | 23802k| 15.3 | 214M| 68 | 42 | 200 |1244 | 200 | 239 | 17M| 0 | 24k|-5.846875e+01 |-5.300000e+01 | 9.35%
954.82/954.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.82/954.81 c 955s| 1570k| 84388 | 23914k| 15.2 | 215M| 68 | 63 | 200 |1244 | 200 | 239 | 17M| 0 | 24k|-5.842857e+01 |-5.300000e+01 | 9.29%
959.81/959.85 c 960s| 1580k| 84468 | 24028k| 15.2 | 215M| 68 | 21 | 200 |1244 | 200 | 271 | 17M| 0 | 24k|-5.840000e+01 |-5.300000e+01 | 9.25%
964.72/964.77 c 965s| 1590k| 84592 | 24140k| 15.2 | 216M| 68 | - | 200 |1244 | 200 | 233 | 17M| 0 | 24k|-5.837500e+01 |-5.300000e+01 | 9.21%
969.72/969.75 c 970s| 1600k| 84644 | 24253k| 15.2 | 216M| 68 | 10 | 200 |1244 | 200 | 241 | 17M| 0 | 24k|-5.833333e+01 |-5.300000e+01 | 9.14%
974.71/974.72 c 975s| 1610k| 84694 | 24365k| 15.1 | 216M| 68 | 57 | 200 |1244 | 200 | 240 | 17M| 0 | 24k|-5.833333e+01 |-5.300000e+01 | 9.14%
979.71/979.73 c 980s| 1620k| 84740 | 24481k| 15.1 | 217M| 68 | - | 200 |1244 | 200 | 241 | 17M| 0 | 24k|-5.833333e+01 |-5.300000e+01 | 9.14%
984.62/984.62 c 985s| 1630k| 84794 | 24590k| 15.1 | 217M| 68 | - | 200 |1244 | 200 | 251 | 18M| 0 | 24k|-5.833333e+01 |-5.300000e+01 | 9.14%
989.61/989.64 c 990s| 1640k| 84850 | 24705k| 15.1 | 217M| 68 | 15 | 200 |1244 | 200 | 219 | 18M| 0 | 24k|-5.833333e+01 |-5.300000e+01 | 9.14%
994.52/994.58 c 995s| 1650k| 84960 | 24816k| 15.0 | 218M| 68 | - | 200 |1244 | 200 | 242 | 18M| 0 | 24k|-5.833333e+01 |-5.300000e+01 | 9.14%
999.32/999.38 c 999s| 1660k| 84900 | 24922k| 15.0 | 218M| 68 | 10 | 200 |1244 | 200 | 229 | 18M| 0 | 24k|-5.828571e+01 |-5.300000e+01 | 9.07%
1004.32/1004.32 c 1004s| 1670k| 84936 | 25032k| 15.0 | 218M| 68 | 7 | 200 |1244 | 200 | 217 | 18M| 0 | 24k|-5.825000e+01 |-5.300000e+01 | 9.01%
1009.22/1009.23 c 1009s| 1680k| 84980 | 25144k| 15.0 | 219M| 68 | - | 200 |1244 | 200 | 269 | 18M| 0 | 24k|-5.825000e+01 |-5.300000e+01 | 9.01%
1014.12/1014.11 c 1014s| 1690k| 85066 | 25253k| 14.9 | 219M| 68 | 50 | 200 |1244 | 200 | 251 | 18M| 0 | 25k|-5.825000e+01 |-5.300000e+01 | 9.01%
1019.02/1019.02 c 1019s| 1700k| 85086 | 25363k| 14.9 | 219M| 68 | - | 200 |1244 | 200 | 290 | 18M| 0 | 25k|-5.825000e+01 |-5.300000e+01 | 9.01%
1023.92/1023.94 c 1024s| 1710k| 85116 | 25473k| 14.9 | 219M| 68 | - | 200 |1244 | 200 | 236 | 18M| 0 | 25k|-5.822222e+01 |-5.300000e+01 | 8.97%
1028.91/1028.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1028.91/1028.93 c 1029s| 1720k| 85194 | 25585k| 14.9 | 220M| 68 | - | 200 |1244 | 200 | 227 | 18M| 0 | 25k|-5.820000e+01 |-5.300000e+01 | 8.93%
1033.82/1033.80 c 1034s| 1730k| 85198 | 25694k| 14.8 | 220M| 68 | - | 200 |1244 | 200 | 244 | 18M| 0 | 25k|-5.816667e+01 |-5.300000e+01 | 8.88%
1038.62/1038.67 c 1039s| 1740k| 85246 | 25803k| 14.8 | 220M| 68 | - | 200 |1244 | 200 | 261 | 19M| 0 | 25k|-5.816667e+01 |-5.300000e+01 | 8.88%
1043.62/1043.66 c 1044s| 1750k| 85256 | 25916k| 14.8 | 221M| 68 | - | 200 |1244 | 200 | 235 | 19M| 0 | 25k|-5.814286e+01 |-5.300000e+01 | 8.85%
1048.42/1048.43 c 1048s| 1760k| 85180 | 26020k| 14.8 | 221M| 68 | 57 | 200 |1244 | 200 | 244 | 19M| 0 | 25k|-5.812500e+01 |-5.300000e+01 | 8.82%
1053.32/1053.32 c 1053s| 1770k| 85158 | 26126k| 14.8 | 221M| 68 | - | 200 |1244 | 200 | 248 | 19M| 0 | 25k|-5.808333e+01 |-5.300000e+01 | 8.75%
1058.12/1058.12 c 1058s| 1780k| 85162 | 26231k| 14.7 | 221M| 68 | 15 | 200 |1244 | 200 | 245 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1063.12/1063.13 c 1063s| 1790k| 85150 | 26343k| 14.7 | 221M| 68 | - | 200 |1244 | 200 | 258 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1068.03/1068.09 c 1068s| 1800k| 85212 | 26454k| 14.7 | 222M| 68 | - | 200 |1244 | 200 | 280 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1072.92/1072.95 c 1073s| 1810k| 85228 | 26562k| 14.7 | 222M| 68 | - | 200 |1244 | 200 | 240 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1077.92/1077.91 c 1078s| 1820k| 85246 | 26673k| 14.7 | 222M| 68 | 25 | 200 |1244 | 200 | 234 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1082.72/1082.79 c 1083s| 1830k| 85276 | 26783k| 14.6 | 222M| 68 | - | 200 |1244 | 200 | 265 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1087.62/1087.69 c 1088s| 1840k| 85232 | 26892k| 14.6 | 223M| 68 | - | 200 |1244 | 200 | 281 | 19M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1092.61/1092.62 c 1093s| 1850k| 85262 | 27005k| 14.6 | 223M| 68 | 91 | 200 |1244 | 200 | 274 | 20M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1097.42/1097.46 c 1097s| 1860k| 85332 | 27112k| 14.6 | 223M| 68 | - | 200 |1244 | 200 | 277 | 20M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1102.32/1102.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.32/1102.38 c 1102s| 1870k| 85392 | 27222k| 14.6 | 224M| 68 | - | 200 |1244 | 200 | 259 | 20M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1107.22/1107.26 c 1107s| 1880k| 85462 | 27333k| 14.5 | 224M| 68 | - | 200 |1244 | 200 | 258 | 20M| 0 | 25k|-5.800000e+01 |-5.300000e+01 | 8.62%
1112.12/1112.11 c 1112s| 1890k| 85524 | 27441k| 14.5 | 224M| 68 | 28 | 200 |1244 | 200 | 242 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1117.02/1117.00 c 1117s| 1900k| 85606 | 27550k| 14.5 | 225M| 68 | - | 200 |1244 | 200 | 257 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1121.92/1121.91 c 1122s| 1910k| 85646 | 27661k| 14.5 | 225M| 68 | 87 | 200 |1244 | 200 | 251 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1126.72/1126.77 c 1127s| 1920k| 85764 | 27769k| 14.5 | 225M| 68 | - | 200 |1244 | 200 | 295 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1131.52/1131.51 c 1132s| 1930k| 85756 | 27873k| 14.4 | 226M| 68 | 12 | 200 |1244 | 200 | 260 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1136.32/1136.35 c 1136s| 1940k| 85760 | 27981k| 14.4 | 226M| 68 | - | 200 |1244 | 200 | 255 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1141.12/1141.19 c 1141s| 1950k| 85772 | 28090k| 14.4 | 226M| 68 | 99 | 200 |1244 | 200 | 277 | 20M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1145.92/1145.92 c 1146s| 1960k| 85762 | 28193k| 14.4 | 226M| 68 | 26 | 200 |1244 | 200 | 246 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1150.72/1150.71 c 1151s| 1970k| 85790 | 28299k| 14.4 | 227M| 68 | - | 200 |1244 | 200 | 266 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1155.42/1155.49 c 1155s| 1980k| 85810 | 28404k| 14.3 | 227M| 68 | 91 | 200 |1244 | 200 | 252 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1160.32/1160.35 c 1160s| 1990k| 85792 | 28512k| 14.3 | 227M| 68 | - | 200 |1244 | 200 | 243 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1165.32/1165.33 c 1165s| 2000k| 85864 | 28625k| 14.3 | 227M| 68 | 8 | 200 |1244 | 200 | 248 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1170.23/1170.30 c 1170s| 2010k| 85916 | 28737k| 14.3 | 228M| 68 | 111 | 200 |1244 | 200 | 268 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1175.12/1175.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.12/1175.16 c 1175s| 2020k| 85934 | 28846k| 14.3 | 228M| 68 | - | 200 |1244 | 200 | 243 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1179.92/1179.96 c 1180s| 2030k| 85948 | 28952k| 14.3 | 228M| 68 | 38 | 200 |1244 | 200 | 247 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1184.92/1184.91 c 1185s| 2040k| 85996 | 29063k| 14.2 | 229M| 68 | 94 | 200 |1244 | 200 | 275 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1189.72/1189.72 c 1190s| 2050k| 86066 | 29169k| 14.2 | 229M| 68 | - | 200 |1244 | 200 | 268 | 21M| 0 | 26k|-5.800000e+01 |-5.300000e+01 | 8.62%
1194.53/1194.54 c 1195s| 2060k| 86060 | 29277k| 14.2 | 229M| 68 | - | 200 |1244 | 200 | 248 | 21M| 0 | 26k|-5.794118e+01 |-5.300000e+01 | 8.53%
1199.22/1199.27 c 1199s| 2070k| 86112 | 29379k| 14.2 | 229M| 68 | 48 | 200 |1244 | 200 | 215 | 22M| 0 | 26k|-5.790000e+01 |-5.300000e+01 | 8.46%
1204.12/1204.12 c 1204s| 2080k| 86166 | 29487k| 14.2 | 230M| 68 | - | 200 |1244 | 200 | 263 | 22M| 0 | 26k|-5.787500e+01 |-5.300000e+01 | 8.42%
1208.93/1208.94 c 1209s| 2090k| 86086 | 29592k| 14.2 | 230M| 71 | 58 | 200 |1244 | 200 | 245 | 22M| 0 | 27k|-5.785714e+01 |-5.300000e+01 | 8.40%
1213.63/1213.64 c 1214s| 2100k| 85970 | 29693k| 14.1 | 230M| 71 | - | 200 |1244 | 200 | 264 | 22M| 0 | 27k|-5.783333e+01 |-5.300000e+01 | 8.36%
1218.32/1218.30 c 1218s| 2110k| 85912 | 29793k| 14.1 | 230M| 71 | - | 200 |1244 | 200 | 244 | 22M| 0 | 27k|-5.783333e+01 |-5.300000e+01 | 8.36%
1223.02/1223.05 c 1223s| 2120k| 85844 | 29896k| 14.1 | 230M| 71 | 36 | 200 |1244 | 200 | 233 | 22M| 0 | 27k|-5.781818e+01 |-5.300000e+01 | 8.33%
1227.83/1227.89 c 1228s| 2130k| 85902 | 30003k| 14.1 | 230M| 71 | 20 | 200 |1244 | 200 | 256 | 22M| 0 | 27k|-5.780000e+01 |-5.300000e+01 | 8.30%
1232.52/1232.59 c 1233s| 2140k| 85856 | 30105k| 14.1 | 230M| 71 | 46 | 200 |1244 | 200 | 261 | 22M| 0 | 27k|-5.780000e+01 |-5.300000e+01 | 8.30%
1237.33/1237.32 c 1237s| 2150k| 85746 | 30206k| 14.0 | 230M| 71 | 35 | 200 |1244 | 200 | 225 | 22M| 0 | 27k|-5.775000e+01 |-5.300000e+01 | 8.23%
1242.13/1242.10 c 1242s| 2160k| 85652 | 30311k| 14.0 | 230M| 71 | 24 | 200 |1244 | 200 | 225 | 22M| 0 | 27k|-5.775000e+01 |-5.300000e+01 | 8.23%
1246.72/1246.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.72/1246.79 c 1247s| 2170k| 85602 | 30412k| 14.0 | 230M| 71 | - | 200 |1244 | 200 | 273 | 22M| 0 | 27k|-5.775000e+01 |-5.300000e+01 | 8.23%
1251.42/1251.48 c 1251s| 2180k| 85548 | 30512k| 14.0 | 230M| 71 | 74 | 200 |1244 | 200 | 244 | 22M| 0 | 27k|-5.775000e+01 |-5.300000e+01 | 8.23%
1256.13/1256.19 c 1256s| 2190k| 85562 | 30615k| 14.0 | 230M| 71 | - | 200 |1244 | 200 | 243 | 23M| 0 | 27k|-5.775000e+01 |-5.300000e+01 | 8.23%
1260.93/1260.96 c 1261s| 2200k| 85520 | 30718k| 14.0 | 230M| 71 | 26 | 200 |1244 | 200 | 246 | 23M| 0 | 27k|-5.775000e+01 |-5.300000e+01 | 8.23%
1265.63/1265.65 c 1266s| 2210k| 85518 | 30819k| 13.9 | 231M| 71 | - | 200 |1244 | 200 | 293 | 23M| 0 | 27k|-5.771429e+01 |-5.300000e+01 | 8.17%
1270.23/1270.21 c 1270s| 2220k| 85488 | 30916k| 13.9 | 231M| 71 | 48 | 200 |1244 | 200 | 235 | 23M| 0 | 27k|-5.768085e+01 |-5.300000e+01 | 8.12%
1274.93/1274.94 c 1275s| 2230k| 85448 | 31020k| 13.9 | 231M| 71 | - | 200 |1244 | 200 | 266 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1279.52/1279.59 c 1280s| 2240k| 85352 | 31119k| 13.9 | 231M| 71 | - | 200 |1244 | 200 | 260 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1284.23/1284.24 c 1284s| 2250k| 85288 | 31218k| 13.9 | 231M| 71 | - | 200 |1244 | 200 | 270 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1288.82/1288.87 c 1289s| 2260k| 85178 | 31317k| 13.9 | 231M| 71 | - | 200 |1244 | 200 | 252 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1293.53/1293.59 c 1294s| 2270k| 85138 | 31420k| 13.8 | 231M| 71 | 31 | 200 |1244 | 200 | 234 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1298.22/1298.22 c 1298s| 2280k| 85066 | 31518k| 13.8 | 231M| 71 | - | 200 |1244 | 200 | 272 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1303.03/1303.04 c 1303s| 2290k| 84982 | 31623k| 13.8 | 231M| 71 | 18 | 200 |1244 | 200 | 223 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1307.62/1307.68 c 1308s| 2300k| 84920 | 31724k| 13.8 | 231M| 71 | - | 200 |1244 | 200 | 227 | 23M| 0 | 27k|-5.766667e+01 |-5.300000e+01 | 8.09%
1312.33/1312.33 c 1312s| 2310k| 84850 | 31823k| 13.8 | 231M| 71 | 85 | 200 |1244 | 200 | 275 | 24M| 0 | 28k|-5.762500e+01 |-5.300000e+01 | 8.03%
1316.82/1316.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.82/1316.82 c 1317s| 2320k| 84722 | 31916k| 13.8 | 231M| 71 | 8 | 200 |1244 | 200 | 257 | 24M| 0 | 28k|-5.761538e+01 |-5.300000e+01 | 8.01%
1321.42/1321.48 c 1321s| 2330k| 84612 | 32015k| 13.7 | 231M| 71 | 10 | 200 |1244 | 200 | 257 | 24M| 0 | 28k|-5.760000e+01 |-5.300000e+01 | 7.99%
1326.12/1326.13 c 1326s| 2340k| 84518 | 32115k| 13.7 | 231M| 71 | 38 | 200 |1244 | 200 | 242 | 24M| 0 | 28k|-5.757143e+01 |-5.300000e+01 | 7.94%
1330.73/1330.79 c 1331s| 2350k| 84456 | 32214k| 13.7 | 231M| 71 | 60 | 200 |1244 | 200 | 217 | 24M| 0 | 28k|-5.755556e+01 |-5.300000e+01 | 7.92%
1335.44/1335.45 c 1335s| 2360k| 84312 | 32312k| 13.7 | 231M| 71 | 84 | 200 |1244 | 200 | 275 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1340.02/1340.06 c 1340s| 2370k| 84246 | 32410k| 13.7 | 231M| 71 | - | 200 |1244 | 200 | 290 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1344.62/1344.64 c 1345s| 2380k| 84204 | 32508k| 13.7 | 231M| 71 | - | 200 |1244 | 200 | 268 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1349.23/1349.26 c 1349s| 2390k| 84126 | 32607k| 13.6 | 231M| 71 | - | 200 |1244 | 200 | 221 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1353.83/1353.88 c 1354s| 2400k| 84008 | 32705k| 13.6 | 231M| 71 | - | 200 |1244 | 200 | 262 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1358.43/1358.45 c 1358s| 2410k| 83874 | 32802k| 13.6 | 231M| 71 | 43 | 200 |1244 | 200 | 236 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1363.02/1363.01 c 1363s| 2420k| 83776 | 32898k| 13.6 | 231M| 71 | 30 | 200 |1244 | 200 | 244 | 24M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1367.63/1367.64 c 1368s| 2430k| 83600 | 32996k| 13.6 | 230M| 71 | - | 200 |1244 | 200 | 236 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1372.23/1372.24 c 1372s| 2440k| 83424 | 33093k| 13.6 | 230M| 71 | 76 | 200 |1244 | 200 | 275 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1376.83/1376.81 c 1377s| 2450k| 83232 | 33189k| 13.5 | 230M| 71 | - | 200 |1244 | 200 | 240 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1381.33/1381.38 c 1381s| 2460k| 83114 | 33284k| 13.5 | 230M| 71 | 109 | 200 |1244 | 200 | 259 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1385.93/1385.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.93/1385.91 c 1386s| 2470k| 82994 | 33380k| 13.5 | 230M| 71 | 46 | 200 |1244 | 200 | 225 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1390.52/1390.53 c 1391s| 2480k| 82864 | 33476k| 13.5 | 230M| 71 | - | 200 |1244 | 200 | 265 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1395.02/1395.09 c 1395s| 2490k| 82774 | 33573k| 13.5 | 230M| 71 | - | 200 |1244 | 200 | 251 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1399.63/1399.67 c 1400s| 2500k| 82686 | 33669k| 13.5 | 230M| 71 | 36 | 200 |1244 | 200 | 241 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1404.23/1404.24 c 1404s| 2510k| 82574 | 33766k| 13.5 | 230M| 72 | 27 | 200 |1244 | 200 | 228 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1408.83/1408.81 c 1409s| 2520k| 82446 | 33864k| 13.4 | 229M| 72 | 76 | 200 |1244 | 200 | 242 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1413.43/1413.44 c 1413s| 2530k| 82278 | 33962k| 13.4 | 229M| 72 | - | 200 |1244 | 200 | 276 | 25M| 0 | 28k|-5.750000e+01 |-5.300000e+01 | 7.83%
1418.03/1418.02 c 1418s| 2540k| 82106 | 34060k| 13.4 | 229M| 72 | 19 | 200 |1244 | 200 | 240 | 25M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1422.53/1422.53 c 1423s| 2550k| 82028 | 34155k| 13.4 | 229M| 72 | 63 | 200 |1244 | 200 | 221 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1427.13/1427.14 c 1427s| 2560k| 81928 | 34253k| 13.4 | 229M| 72 | 78 | 200 |1244 | 200 | 259 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1431.63/1431.67 c 1432s| 2570k| 81806 | 34349k| 13.4 | 229M| 72 | - | 200 |1244 | 200 | 267 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1436.33/1436.31 c 1436s| 2580k| 81660 | 34447k| 13.3 | 229M| 72 | - | 200 |1244 | 200 | 258 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1440.83/1440.88 c 1441s| 2590k| 81630 | 34544k| 13.3 | 229M| 72 | - | 200 |1244 | 200 | 271 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1445.44/1445.49 c 1445s| 2600k| 81568 | 34642k| 13.3 | 229M| 72 | - | 200 |1244 | 200 | 278 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1450.13/1450.10 c 1450s| 2610k| 81464 | 34739k| 13.3 | 229M| 72 | 28 | 200 |1244 | 200 | 240 | 26M| 0 | 29k|-5.750000e+01 |-5.300000e+01 | 7.83%
1454.53/1454.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.53/1454.51 c 1455s| 2620k| 81334 | 34829k| 13.3 | 229M| 72 | - | 200 |1244 | 200 | 267 | 26M| 0 | 29k|-5.742857e+01 |-5.300000e+01 | 7.71%
1459.03/1459.05 c 1459s| 2630k| 81224 | 34923k| 13.3 | 229M| 72 | 65 | 200 |1244 | 200 | 258 | 26M| 0 | 29k|-5.740000e+01 |-5.300000e+01 | 7.67%
1463.52/1463.58 c 1464s| 2640k| 81138 | 35019k| 13.3 | 229M| 72 | 43 | 200 |1244 | 200 | 245 | 26M| 0 | 29k|-5.740000e+01 |-5.300000e+01 | 7.67%
1468.13/1468.12 c 1468s| 2650k| 81010 | 35113k| 13.2 | 229M| 72 | 25 | 200 |1244 | 200 | 232 | 26M| 0 | 29k|-5.737500e+01 |-5.300000e+01 | 7.63%
1472.63/1472.69 c 1473s| 2660k| 80834 | 35209k| 13.2 | 228M| 72 | - | 200 |1244 | 200 | 272 | 26M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1477.24/1477.30 c 1477s| 2670k| 80730 | 35305k| 13.2 | 228M| 72 | - | 200 |1244 | 200 | 260 | 26M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1481.83/1481.88 c 1482s| 2680k| 80616 | 35401k| 13.2 | 228M| 72 | - | 200 |1244 | 200 | 250 | 27M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1486.33/1486.37 c 1486s| 2690k| 80538 | 35493k| 13.2 | 228M| 72 | 23 | 200 |1244 | 200 | 271 | 27M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1490.93/1490.96 c 1491s| 2700k| 80408 | 35589k| 13.2 | 228M| 72 | 46 | 200 |1244 | 200 | 224 | 27M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1495.53/1495.50 c 1496s| 2710k| 80302 | 35684k| 13.2 | 228M| 72 | 62 | 200 |1244 | 200 | 254 | 27M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1500.03/1500.09 c 1500s| 2720k| 80204 | 35781k| 13.2 | 228M| 72 | 83 | 200 |1244 | 200 | 263 | 27M| 0 | 29k|-5.733333e+01 |-5.300000e+01 | 7.56%
1504.63/1504.62 c 1505s| 2730k| 80116 | 35876k| 13.1 | 228M| 72 | 38 | 200 |1244 | 200 | 238 | 27M| 0 | 29k|-5.728889e+01 |-5.300000e+01 | 7.49%
1509.14/1509.17 c 1509s| 2740k| 79926 | 35969k| 13.1 | 228M| 72 | 33 | 200 |1244 | 200 | 238 | 27M| 0 | 29k|-5.726667e+01 |-5.300000e+01 | 7.45%
1513.54/1513.59 c 1514s| 2750k| 79766 | 36060k| 13.1 | 227M| 72 | 58 | 200 |1244 | 200 | 257 | 27M| 0 | 29k|-5.725000e+01 |-5.300000e+01 | 7.42%
1518.03/1518.00 c 1518s| 2760k| 79628 | 36150k| 13.1 | 227M| 72 | - | 200 |1244 | 200 | 255 | 27M| 0 | 29k|-5.725000e+01 |-5.300000e+01 | 7.42%
1522.44/1522.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.44/1522.44 c 1522s| 2770k| 79542 | 36242k| 13.1 | 227M| 72 | 48 | 200 |1244 | 200 | 266 | 27M| 0 | 29k|-5.725000e+01 |-5.300000e+01 | 7.42%
1526.84/1526.89 c 1527s| 2780k| 79386 | 36332k| 13.1 | 227M| 72 | - | 200 |1244 | 200 | 292 | 27M| 0 | 29k|-5.725000e+01 |-5.300000e+01 | 7.42%
1531.33/1531.40 c 1531s| 2790k| 79200 | 36426k| 13.1 | 227M| 72 | - | 200 |1244 | 200 | 258 | 27M| 0 | 29k|-5.725000e+01 |-5.300000e+01 | 7.42%
1535.83/1535.80 c 1536s| 2800k| 79032 | 36517k| 13.0 | 227M| 72 | 51 | 200 |1244 | 200 | 241 | 27M| 0 | 30k|-5.725000e+01 |-5.300000e+01 | 7.42%
1540.33/1540.36 c 1540s| 2810k| 78902 | 36612k| 13.0 | 227M| 72 | - | 200 |1244 | 200 | 238 | 28M| 0 | 30k|-5.720833e+01 |-5.300000e+01 | 7.36%
1544.83/1544.89 c 1545s| 2820k| 78742 | 36706k| 13.0 | 226M| 72 | - | 200 |1244 | 200 | 253 | 28M| 0 | 30k|-5.720000e+01 |-5.300000e+01 | 7.34%
1549.34/1549.32 c 1549s| 2830k| 78566 | 36796k| 13.0 | 226M| 72 | 27 | 200 |1244 | 200 | 239 | 28M| 0 | 30k|-5.716667e+01 |-5.300000e+01 | 7.29%
1553.63/1553.69 c 1554s| 2840k| 78404 | 36885k| 13.0 | 226M| 72 | - | 200 |1244 | 200 | 286 | 28M| 0 | 30k|-5.716667e+01 |-5.300000e+01 | 7.29%
1558.03/1558.07 c 1558s| 2850k| 78240 | 36973k| 13.0 | 226M| 72 | - | 200 |1244 | 200 | 238 | 28M| 0 | 30k|-5.716667e+01 |-5.300000e+01 | 7.29%
1562.43/1562.48 c 1562s| 2860k| 78068 | 37063k| 13.0 | 226M| 72 | - | 200 |1244 | 200 | 262 | 28M| 0 | 30k|-5.714286e+01 |-5.300000e+01 | 7.25%
1566.93/1566.94 c 1567s| 2870k| 77908 | 37153k| 12.9 | 225M| 72 | 31 | 200 |1244 | 200 | 239 | 28M| 0 | 30k|-5.712500e+01 |-5.300000e+01 | 7.22%
1571.43/1571.44 c 1571s| 2880k| 77744 | 37247k| 12.9 | 225M| 72 | - | 200 |1244 | 200 | 282 | 28M| 0 | 30k|-5.710000e+01 |-5.300000e+01 | 7.18%
1575.83/1575.85 c 1576s| 2890k| 77576 | 37335k| 12.9 | 225M| 72 | - | 200 |1244 | 200 | 259 | 28M| 0 | 30k|-5.706250e+01 |-5.300000e+01 | 7.12%
1580.33/1580.32 c 1580s| 2900k| 77446 | 37426k| 12.9 | 225M| 72 | 84 | 200 |1244 | 200 | 252 | 28M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1584.94/1584.96 c 1585s| 2910k| 77282 | 37523k| 12.9 | 225M| 72 | - | 200 |1244 | 200 | 273 | 28M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1589.44/1589.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.44/1589.47 c 1589s| 2920k| 77114 | 37617k| 12.9 | 224M| 72 | 26 | 200 |1244 | 200 | 254 | 28M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1594.03/1594.04 c 1594s| 2930k| 76918 | 37713k| 12.9 | 224M| 72 | 48 | 200 |1244 | 200 | 242 | 28M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1598.63/1598.62 c 1599s| 2940k| 76748 | 37809k| 12.9 | 224M| 72 | 28 | 200 |1244 | 200 | 242 | 29M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1603.04/1603.07 c 1603s| 2950k| 76520 | 37901k| 12.8 | 223M| 72 | - | 200 |1244 | 200 | 246 | 29M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1607.54/1607.58 c 1608s| 2960k| 76370 | 37995k| 12.8 | 223M| 72 | 54 | 200 |1244 | 200 | 254 | 29M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1612.04/1612.05 c 1612s| 2970k| 76186 | 38089k| 12.8 | 223M| 72 | 19 | 200 |1244 | 200 | 235 | 29M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1616.54/1616.53 c 1617s| 2980k| 75968 | 38181k| 12.8 | 223M| 72 | 24 | 200 |1244 | 200 | 243 | 29M| 0 | 30k|-5.700000e+01 |-5.300000e+01 | 7.02%
1617.33/1617.34 o -54
1617.33/1617.34 c *1617s| 2981k| 47644 | 38195k| 12.8 | 149M| 72 | - | 200 |1244 | 200 | 261 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1621.03/1621.08 c 1621s| 2990k| 47126 | 38265k| 12.8 | 147M| 72 | - | 200 |1244 | 200 | 237 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1625.33/1625.35 c 1625s| 3000k| 46614 | 38346k| 12.8 | 147M| 72 | - | 200 |1244 | 200 | 237 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1629.53/1629.54 c 1630s| 3010k| 46092 | 38426k| 12.8 | 146M| 72 | 70 | 200 |1244 | 200 | 250 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1633.83/1633.81 c 1634s| 3020k| 45570 | 38508k| 12.7 | 144M| 72 | 50 | 200 |1244 | 200 | 233 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1637.94/1637.94 c 1638s| 3030k| 44988 | 38585k| 12.7 | 143M| 72 | - | 200 |1244 | 200 | 240 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1642.13/1642.14 c 1642s| 3040k| 44406 | 38663k| 12.7 | 142M| 72 | - | 200 |1244 | 200 | 233 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1646.24/1646.29 c 1646s| 3050k| 43884 | 38742k| 12.7 | 141M| 72 | - | 200 |1244 | 200 | 257 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1650.54/1650.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.54/1650.50 c 1651s| 3060k| 43308 | 38822k| 12.7 | 140M| 72 | 85 | 200 |1244 | 200 | 256 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1654.74/1654.73 c 1655s| 3070k| 42784 | 38902k| 12.7 | 139M| 72 | - | 200 |1244 | 200 | 255 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1658.84/1658.84 c 1659s| 3080k| 42244 | 38979k| 12.7 | 138M| 72 | 93 | 200 |1244 | 200 | 240 | 29M| 0 | 30k|-5.700000e+01 |-5.400000e+01 | 5.26%
1663.03/1663.06 c 1663s| 3090k| 41714 | 39059k| 12.6 | 137M| 72 | 57 | 200 |1244 | 200 | 240 | 29M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1667.24/1667.23 c 1667s| 3100k| 41196 | 39139k| 12.6 | 136M| 72 | 53 | 200 |1244 | 200 | 250 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1671.34/1671.38 c 1671s| 3110k| 40694 | 39217k| 12.6 | 135M| 72 | - | 200 |1244 | 200 | 300 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1675.54/1675.59 c 1676s| 3120k| 40158 | 39299k| 12.6 | 133M| 72 | 28 | 200 |1244 | 200 | 247 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1679.74/1679.74 c 1680s| 3130k| 39590 | 39378k| 12.6 | 132M| 72 | - | 200 |1244 | 200 | 270 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1683.94/1683.92 c 1684s| 3140k| 39044 | 39458k| 12.6 | 131M| 72 | 96 | 200 |1244 | 200 | 230 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1688.03/1688.08 c 1688s| 3150k| 38480 | 39537k| 12.5 | 130M| 72 | 87 | 200 |1244 | 200 | 242 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1692.23/1692.24 c 1692s| 3160k| 37944 | 39615k| 12.5 | 129M| 72 | - | 200 |1244 | 200 | 242 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1696.44/1696.40 c 1696s| 3170k| 37388 | 39694k| 12.5 | 128M| 72 | 50 | 200 |1244 | 200 | 259 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1700.64/1700.62 c 1701s| 3180k| 36806 | 39774k| 12.5 | 126M| 72 | 86 | 200 |1244 | 200 | 237 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1704.83/1704.84 c 1705s| 3190k| 36328 | 39854k| 12.5 | 125M| 72 | - | 200 |1244 | 200 | 257 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1709.04/1709.06 c 1709s| 3200k| 35848 | 39935k| 12.5 | 124M| 72 | - | 200 |1244 | 200 | 292 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1713.23/1713.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.23/1713.29 c 1713s| 3210k| 35328 | 40016k| 12.5 | 123M| 72 | 8 | 200 |1244 | 200 | 223 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1717.33/1717.39 c 1717s| 3220k| 34760 | 40092k| 12.4 | 122M| 72 | 56 | 200 |1244 | 200 | 235 | 30M| 0 | 31k|-5.700000e+01 |-5.400000e+01 | 5.26%
1721.54/1721.57 c 1722s| 3230k| 34194 | 40171k| 12.4 | 121M| 72 | 33 | 200 |1244 | 200 | 240 | 30M| 0 | 31k|-5.692308e+01 |-5.400000e+01 | 5.14%
1725.64/1725.69 c 1726s| 3240k| 33620 | 40247k| 12.4 | 119M| 72 | - | 200 |1244 | 200 | 253 | 30M| 0 | 31k|-5.687500e+01 |-5.400000e+01 | 5.05%
1729.74/1729.76 c 1730s| 3250k| 33028 | 40322k| 12.4 | 118M| 72 | - | 200 |1244 | 200 | 238 | 30M| 0 | 31k|-5.685714e+01 |-5.400000e+01 | 5.03%
1733.84/1733.86 c 1734s| 3260k| 32396 | 40397k| 12.4 | 117M| 72 | - | 200 |1244 | 200 | 248 | 30M| 0 | 31k|-5.683333e+01 |-5.400000e+01 | 4.99%
1737.95/1737.98 c 1738s| 3270k| 31784 | 40473k| 12.4 | 115M| 72 | - | 200 |1244 | 200 | 272 | 30M| 0 | 31k|-5.680000e+01 |-5.400000e+01 | 4.93%
1742.14/1742.17 c 1742s| 3280k| 31214 | 40551k| 12.4 | 114M| 72 | 92 | 200 |1244 | 200 | 248 | 31M| 0 | 31k|-5.680000e+01 |-5.400000e+01 | 4.93%
1746.24/1746.27 c 1746s| 3290k| 30608 | 40627k| 12.3 | 112M| 72 | - | 200 |1244 | 200 | 254 | 31M| 0 | 31k|-5.675000e+01 |-5.400000e+01 | 4.85%
1750.23/1750.28 c 1750s| 3300k| 29986 | 40700k| 12.3 | 111M| 72 | - | 200 |1244 | 200 | 248 | 31M| 0 | 31k|-5.675000e+01 |-5.400000e+01 | 4.85%
1754.33/1754.30 c 1754s| 3310k| 29330 | 40774k| 12.3 | 109M| 72 | 13 | 200 |1244 | 200 | 245 | 31M| 0 | 31k|-5.675000e+01 |-5.400000e+01 | 4.85%
1758.33/1758.35 c 1758s| 3320k| 28684 | 40849k| 12.3 | 108M| 72 | 8 | 200 |1244 | 200 | 254 | 31M| 0 | 31k|-5.675000e+01 |-5.400000e+01 | 4.85%
1762.44/1762.48 c 1762s| 3330k| 28034 | 40926k| 12.3 | 106M| 72 | - | 200 |1244 | 200 | 259 | 31M| 0 | 31k|-5.668750e+01 |-5.400000e+01 | 4.74%
1766.55/1766.59 c 1767s| 3340k| 27350 | 41003k| 12.3 | 105M| 72 | - | 200 |1244 | 200 | 236 | 31M| 0 | 31k|-5.666667e+01 |-5.400000e+01 | 4.71%
1770.63/1770.66 c 1771s| 3350k| 26704 | 41078k| 12.3 | 103M| 72 | - | 200 |1244 | 200 | 258 | 31M| 0 | 31k|-5.666667e+01 |-5.400000e+01 | 4.71%
1774.73/1774.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.73/1774.76 c 1775s| 3360k| 26028 | 41154k| 12.2 | 101M| 72 | 75 | 200 |1244 | 200 | 222 | 31M| 0 | 31k|-5.666667e+01 |-5.400000e+01 | 4.71%
1778.84/1778.83 c 1779s| 3370k| 25346 | 41230k| 12.2 | 99M| 72 | 59 | 200 |1244 | 200 | 237 | 31M| 0 | 31k|-5.666667e+01 |-5.400000e+01 | 4.71%
1782.94/1782.90 c 1783s| 3380k| 24678 | 41304k| 12.2 | 98M| 72 | 78 | 200 |1244 | 200 | 256 | 31M| 0 | 31k|-5.662500e+01 |-5.400000e+01 | 4.64%
1786.93/1786.95 c 1787s| 3390k| 23976 | 41379k| 12.2 | 96M| 72 | - | 200 |1244 | 200 | 232 | 31M| 0 | 31k|-5.660000e+01 |-5.400000e+01 | 4.59%
1791.04/1791.00 c 1791s| 3400k| 23240 | 41453k| 12.2 | 94M| 72 | - | 200 |1244 | 200 | 235 | 31M| 0 | 31k|-5.653846e+01 |-5.400000e+01 | 4.49%
1795.03/1795.03 c 1795s| 3410k| 22472 | 41527k| 12.2 | 92M| 72 | - | 200 |1244 | 200 | 243 | 31M| 0 | 31k|-5.650000e+01 |-5.400000e+01 | 4.42%
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 3414960
1797.04/1797.00 c Primal Bound : -5.40000000000000e+01 (607 solutions)
1797.04/1797.00 c Dual Bound : -5.65000000000000e+01
1797.04/1797.00 c Gap : 4.42 %
1797.04/1797.00 s SATISFIABLE
1797.04/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.04/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.04/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.04/1797.00 v -x133 -x132 -x131 x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 x114 x113 -x112
1797.04/1797.00 v -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 x102 x101 x100 x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88
1797.04/1797.00 v -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 x63 -x62
1797.04/1797.00 v -x61 -x60 x59 -x58 -x57 x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 x46 -x45 x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36
1797.04/1797.00 v -x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1797.04/1797.00 v -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.04 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3488569-1307783022.opb
1797.04/1797.00 c Variables : 1444 (1444 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1644 initial, 1644 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3488569-1307783022.opb
1797.04/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 1244 initial, 1244 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c linear : 0.00 1244 0 0 1244 0 200 0 0 0
1797.04/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 2729412 0 916877 0 226 1569 0 0 3544070
1797.04/1797.00 c setppc : 1244 36 5655450 956517 0 916873 0 32 14846559 31643704 0 0
1797.04/1797.00 c countsols : 0 0 0 7 0 602 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 43.54 0.00 0.00 43.33 0.00 0.20 0.00
1797.04/1797.00 c setppc : 86.22 0.00 47.67 30.37 0.00 8.18 0.00
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 15 0 0 0
1797.04/1797.00 c pseudoobj : 5657520 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 1.05 1.05 0.00
1797.04/1797.00 c rootredcost : 1.03 1.03 0.00
1797.04/1797.00 c pseudoobj : 26.46 26.46 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 0.00 32 0 0 0.0 0 0.0 -
1797.04/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 0 0.0 - - -
1797.04/1797.00 c applied locally : - - - 0 0.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.02 35 - - 45 - (maximal pool size: 2350)
1797.04/1797.00 c redcost : 13.14 3062469 0 632195 0 0
1797.04/1797.00 c impliedbounds : 0.00 36 0 0 760 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.72 36 0 0 9403 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.26 20 0 0 8113 0
1797.04/1797.00 c cmir : 0.03 10 0 0 0 0
1797.04/1797.00 c flowcover : 0.02 10 0 0 0 0
1797.04/1797.00 c clique : 0.04 36 0 0 238 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.02 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 42.16 1772895 226 1569 0 0 3544070
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.36 - 7
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c feaspump : 0.09 0 0
1797.04/1797.00 c oneopt : 0.72 16 0
1797.04/1797.00 c linesearchdiving : 2.09 2004 31
1797.04/1797.00 c guideddiving : 2.23 2004 10
1797.04/1797.00 c coefdiving : 1.91 2004 31
1797.04/1797.00 c veclendiving : 2.15 2004 26
1797.04/1797.00 c pscostdiving : 1.97 2005 27
1797.04/1797.00 c fracdiving : 2.14 2005 10
1797.04/1797.00 c objpscostdiving : 1.00 1003 24
1797.04/1797.00 c rootsoldiving : 1.08 1003 0
1797.04/1797.00 c trivial : 0.00 2 1
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 19.25 1786015 424
1797.04/1797.00 c zirounding : 0.60 1000 0
1797.04/1797.00 c rounding : 12.82 151420 6
1797.04/1797.00 c shifting : 1.91 20314 1
1797.04/1797.00 c intshifting : 0.04 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.01 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c crossover : 1.48 21 8
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.01 1 0
1797.04/1797.00 c subnlp : 0.54 0 0
1797.04/1797.00 c trysol : 0.77 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 24.53 0 0 0.00 0.00
1797.04/1797.00 c dual LP : 1192.40 4393613 41312836 9.40 34646.79
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 9.57 41745 250395 6.00 26159.39
1797.04/1797.00 c strong branching : 17.73 31946 405146 12.68 22851.10
1797.04/1797.00 c (at root node) : - 16 6301 393.81 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 3414960
1797.04/1797.00 c nodes (total) : 3414960
1797.04/1797.00 c nodes left : 22086
1797.04/1797.00 c max depth : 72
1797.04/1797.00 c max depth (total): 72
1797.04/1797.00 c backtracks : 515175 (15.1%)
1797.04/1797.00 c delayed cutoffs : 0
1797.04/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.04/1797.00 c avg switch length: 5.29
1797.04/1797.00 c switching time : 105.20
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 607 (19 improvements)
1797.04/1797.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.04/1797.00 c Primal Bound : -5.40000000000000e+01 (in run 1, after 2981374 nodes, 1617.18 seconds, depth 42, found by <relaxation>)
1797.04/1797.00 c Dual Bound : -5.65000000000000e+01
1797.04/1797.00 c Gap : 4.42 %
1797.04/1797.00 c Root Dual Bound : -6.96910628963554e+01
1797.04/1797.00 c Root Iterations : 6012
1797.14/1797.18 c Time complete: 1797.23.
OK -54
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-3488569-1307783022/watcher-3488569-1307783022 -o /tmp/evaluation-result-3488569-1307783022/solver-3488569-1307783022 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488569-1307783022.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: 0.00 0.00 0.00 2/174 25514 /proc/meminfo: memFree=31581876/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=13028 CPUtime=0 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 2257 0 0 0 0 0 0 0 21 0 1 0 889901976 13340672 2211 33554432000 4194304 9016284 140735647886448 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25514/statm: 3257 2212 379 1178 0 2075 0 [startup+0.0748131 s] /proc/loadavg: 0.00 0.00 0.00 2/174 25514 /proc/meminfo: memFree=31581876/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=36852 CPUtime=0.06 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 8096 0 0 0 6 0 0 0 21 0 1 0 889901976 37736448 7774 33554432000 4194304 9016284 140735647886448 18446744073709551615 7933303 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 8860 7421 648 1178 0 7678 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 36852 [startup+0.100829 s] /proc/loadavg: 0.00 0.00 0.00 2/174 25514 /proc/meminfo: memFree=31581876/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=38740 CPUtime=0.09 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 10783 0 0 0 8 1 0 0 21 0 1 0 889901976 39669760 8289 33554432000 4194304 9016284 140735647886448 18446744073709551615 6817785 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 9685 8289 689 1178 0 8503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 38740 [startup+0.30083 s] /proc/loadavg: 0.00 0.00 0.00 2/174 25514 /proc/meminfo: memFree=31581876/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=29568 CPUtime=0.29 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 11797 0 0 0 27 2 0 0 21 0 1 0 889901976 30277632 6293 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 7392 6293 688 1178 0 6210 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29568 [startup+0.700761 s] /proc/loadavg: 0.00 0.00 0.00 2/174 25514 /proc/meminfo: memFree=31581876/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=36380 CPUtime=0.69 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 13508 0 0 0 65 4 0 0 22 0 1 0 889901976 37253120 8001 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 9095 8001 692 1178 0 7913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36380 [startup+1.50062 s] /proc/loadavg: 0.00 0.00 0.00 4/178 25518 /proc/meminfo: memFree=31399852/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=46428 CPUtime=1.49 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 16023 0 0 0 142 7 0 0 25 0 1 0 889901976 47542272 10510 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 11607 10510 697 1178 0 10425 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46428 [startup+3.10036 s] /proc/loadavg: 0.00 0.00 0.00 4/178 25518 /proc/meminfo: memFree=31342912/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=46292 CPUtime=3.09 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 17620 0 0 0 290 19 0 0 25 0 1 0 889901976 47403008 10577 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 11573 10577 697 1178 0 10391 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 46292 [startup+6.30076 s] /proc/loadavg: 0.16 0.03 0.01 3/178 25518 /proc/meminfo: memFree=31337484/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=47116 CPUtime=6.29 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 20360 0 0 0 576 53 0 0 25 0 1 0 889901976 48246784 10698 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 11779 10698 703 1178 0 10597 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47116 [startup+12.7006 s] /proc/loadavg: 0.31 0.07 0.02 3/178 25518 /proc/meminfo: memFree=31308428/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=52732 CPUtime=12.69 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 30150 0 0 0 1134 135 0 0 25 0 1 0 889901976 53997568 12113 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 13183 12113 703 1178 0 12001 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52732 [startup+25.5003 s] /proc/loadavg: 0.68 0.16 0.05 3/178 25521 /proc/meminfo: memFree=31294636/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=63048 CPUtime=25.5 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 41680 0 0 0 2290 260 0 0 25 0 1 0 889901976 64561152 14795 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 15762 14795 703 1178 0 14580 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 63048 [startup+51.1008 s] /proc/loadavg: 1.13 0.31 0.10 3/178 25522 /proc/meminfo: memFree=31261484/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=90916 CPUtime=51.09 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 55972 0 0 0 4612 497 0 0 25 0 1 0 889901976 93097984 21777 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 22729 21777 703 1178 0 21547 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 90916 [startup+102.307 s] /proc/loadavg: 1.62 0.56 0.20 3/178 25524 /proc/meminfo: memFree=31178892/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=135852 CPUtime=102.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 83591 0 0 0 9265 965 0 0 25 0 1 0 889901976 139112448 33140 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 33963 33140 703 1178 0 32781 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 135852 [startup+162.301 s] /proc/loadavg: 1.86 0.82 0.31 3/178 25525 /proc/meminfo: memFree=31166840/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=147860 CPUtime=162.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 118471 0 0 0 14719 1511 0 0 25 0 1 0 889901976 151408640 36122 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 36965 36122 703 1178 0 35783 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 147860 [startup+222.3 s] /proc/loadavg: 1.95 1.04 0.41 3/178 25527 /proc/meminfo: memFree=31145832/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=170496 CPUtime=222.29 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 130004 0 0 0 20183 2046 0 0 25 0 1 0 889901976 174587904 41292 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 42624 41292 703 1178 0 41442 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 170496 [startup+282.301 s] /proc/loadavg: 1.98 1.21 0.51 3/178 25529 /proc/meminfo: memFree=31116012/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=200684 CPUtime=282.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 137584 0 0 0 25657 2573 0 0 25 0 1 0 889901976 205500416 48872 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 50171 48872 703 1178 0 48989 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 200684 [startup+342.301 s] /proc/loadavg: 1.99 1.35 0.60 3/178 25530 /proc/meminfo: memFree=31091392/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=223052 CPUtime=342.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 156737 0 0 0 31117 3113 0 0 25 0 1 0 889901976 228405248 54584 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 55763 54584 703 1178 0 54581 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 223052 [startup+402.3 s] /proc/loadavg: 2.15 1.50 0.69 3/178 25532 /proc/meminfo: memFree=31090596/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=224076 CPUtime=402.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 162260 0 0 0 36597 3633 0 0 25 0 1 0 889901976 229453824 54763 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 56019 54763 703 1178 0 54837 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 224076 [startup+462.301 s] /proc/loadavg: 2.06 1.59 0.77 4/178 25533 /proc/meminfo: memFree=31086932/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=227108 CPUtime=462.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 176465 0 0 0 42077 4153 0 0 25 0 1 0 889901976 232558592 55592 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 56777 55592 703 1178 0 55595 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 227108 [startup+522.301 s] /proc/loadavg: 2.02 1.66 0.85 4/178 25535 /proc/meminfo: memFree=31086496/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=227108 CPUtime=522.3 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 182031 0 0 0 47574 4656 0 0 25 0 1 0 889901976 232558592 55630 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 56777 55630 703 1178 0 55595 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 227108 [startup+582.301 s] /proc/loadavg: 2.00 1.72 0.92 3/178 25537 /proc/meminfo: memFree=31085576/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=227944 CPUtime=582.31 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 183974 0 0 0 53055 5176 0 0 25 0 1 0 889901976 233414656 55806 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 56986 55806 703 1178 0 55804 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 227944 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=31049660/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=263012 CPUtime=1062.32 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 197297 0 0 0 97169 9063 0 0 25 0 1 0 889901976 269324288 64498 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 65753 64498 703 1178 0 64571 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 263012 [startup+1122.3 s] /proc/loadavg: 2.01 1.96 1.38 3/178 25551 /proc/meminfo: memFree=31046256/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=266276 CPUtime=1122.32 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 198113 0 0 0 102697 9535 0 0 25 0 1 0 889901976 272666624 65314 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 66569 65314 703 1178 0 65387 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 266276 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.42 3/178 25553 /proc/meminfo: memFree=31044704/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=267880 CPUtime=1182.32 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 198519 0 0 0 108224 10008 0 0 25 0 1 0 889901976 274309120 65720 33554432000 4194304 9016284 140735647886448 18446744073709551615 6834208 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 66970 65720 703 1178 0 65788 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 267880 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.45 4/178 25554 /proc/meminfo: memFree=31042036/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=269992 CPUtime=1242.32 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 199042 0 0 0 113754 10478 0 0 25 0 1 0 889901976 276471808 66243 33554432000 4194304 9016284 140735647886448 18446744073709551615 6828869 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 67498 66243 703 1178 0 66316 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 269992 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.48 3/178 25556 /proc/meminfo: memFree=31039992/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=271080 CPUtime=1302.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 201158 0 0 0 119306 10927 0 0 25 0 1 0 889901976 277585920 66590 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 67770 66590 703 1178 0 66588 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 271080 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.51 3/178 25557 /proc/meminfo: memFree=31038212/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=271528 CPUtime=1362.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 201198 0 0 0 124856 11377 0 0 25 0 1 0 889901976 278044672 66630 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 67882 66630 703 1178 0 66700 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 271528 [startup+1422.31 s] /proc/loadavg: 2.00 1.97 1.54 3/178 25559 /proc/meminfo: memFree=31037648/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=272864 CPUtime=1422.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 201529 0 0 0 130412 11821 0 0 25 0 1 0 889901976 279412736 66961 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68216 66961 703 1178 0 67034 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 272864 [startup+1482.3 s] /proc/loadavg: 2.00 1.97 1.57 3/178 25561 /proc/meminfo: memFree=31036852/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=273624 CPUtime=1482.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 201727 0 0 0 135953 12280 0 0 25 0 1 0 889901976 280190976 67159 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68406 67159 703 1178 0 67224 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 273624 [startup+1542.3 s] /proc/loadavg: 2.11 2.00 1.60 3/178 25562 /proc/meminfo: memFree=31036396/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=273624 CPUtime=1542.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 201727 0 0 0 141502 12731 0 0 25 0 1 0 889901976 280190976 67159 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68406 67159 703 1178 0 67224 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 273624 [startup+1602.3 s] /proc/loadavg: 2.04 2.00 1.62 3/178 25564 /proc/meminfo: memFree=31035948/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1602.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 201863 0 0 0 147070 13163 0 0 25 0 1 0 889901976 280780800 67295 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67295 703 1178 0 67368 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 274200 [startup+1662.3 s] /proc/loadavg: 2.01 2.00 1.64 4/178 25565 /proc/meminfo: memFree=31035020/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1662.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 221955 0 0 0 152629 13604 0 0 25 0 1 0 889901976 280780800 67403 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67403 703 1178 0 67368 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 274200 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.66 4/178 25567 /proc/meminfo: memFree=31035204/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1722.33 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224728 0 0 0 158199 14034 0 0 25 0 1 0 889901976 280780800 67365 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67365 703 1178 0 67368 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 274200 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034524/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1782.34 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224734 0 0 0 163784 14450 0 0 25 0 1 0 889901976 280780800 67371 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67371 703 1178 0 67368 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 274200 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034644/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1785.53 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224734 0 0 0 164084 14469 0 0 25 0 1 0 889901976 280780800 67371 33554432000 4194304 9016284 140735647886448 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67371 703 1178 0 67368 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (KiB) 274200 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034640/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1791.95 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224734 0 0 0 164681 14514 0 0 25 0 1 0 889901976 280780800 67371 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67371 703 1178 0 67368 0 Current children cumulated CPU time (s) 1791.95 Current children cumulated vsize (KiB) 274200 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034764/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1795.14 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224734 0 0 0 164979 14535 0 0 25 0 1 0 889901976 280780800 67371 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67371 703 1178 0 67368 0 Current children cumulated CPU time (s) 1795.14 Current children cumulated vsize (KiB) 274200 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034764/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1795.94 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224734 0 0 0 165054 14540 0 0 25 0 1 0 889901976 280780800 67371 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67371 703 1178 0 67368 0 Current children cumulated CPU time (s) 1795.94 Current children cumulated vsize (KiB) 274200 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034516/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1796.74 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224734 0 0 0 165128 14546 0 0 25 0 1 0 889901976 280780800 67371 33554432000 4194304 9016284 140735647886448 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67371 703 1178 0 67368 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 274200 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 1.68 3/178 25569 /proc/meminfo: memFree=31034516/32950904 swapFree=67055440/67111528 [pid=25514] ppid=25511 vsize=274200 CPUtime=1797.14 cores=1,3,5,7 /proc/25514/stat : 25514 (scip-2.0.1.4b_2) R 25511 25514 25471 0 -1 4202496 224736 0 0 0 165166 14548 0 0 25 0 1 0 889901976 280780800 67373 33554432000 4194304 9016284 140735647886448 18446744073709551615 4330208 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/25514/statm: 68550 67373 705 1178 0 67368 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (KiB) 274200 Child status: 0 Real time (s): 1797.19 CPU time (s): 1797.23 CPU user time (s): 1651.74 CPU system time (s): 145.492 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 284016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1651.74 system time used= 145.492 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 224741 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2355 runsolver used 2.97555 second user time and 6.74198 second system time The end
Begin job on node121 at 2011-06-11 11:03:42 IDJOB=3488569 IDBENCH=48173 IDSOLVER=1979 FILE ID=node121/3488569-1307783022 RUNJOBID= node121-1307783022-25490 PBS_JOBID= 13550881 Free space on /tmp= 74080 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_3.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-3488569-1307783022/watcher-3488569-1307783022 -o /tmp/evaluation-result-3488569-1307783022/solver-3488569-1307783022 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488569-1307783022.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 60cf9918356073587dd2c65f46896dfb RANDOM SEED=1483481505 node121.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.817 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.63 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.07 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.817 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.84 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.74 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.817 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 31583104 kB Buffers: 275024 kB Cached: 871044 kB SwapCached: 9944 kB Active: 562608 kB Inactive: 602872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 31583104 kB SwapTotal: 67111528 kB SwapFree: 67055440 kB Dirty: 34560 kB Writeback: 0 kB AnonPages: 17220 kB Mapped: 12616 kB Slab: 136308 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 186916 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= 74048 MiB End job on node121 at 2011-06-11 11:33:39