Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -33 | 1800.33 | 1800.89 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
| MD5SUM | e1b2be59a127acc8d929395698929541 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 1789.87 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -45 |
| Optimality of the best value was proved | NO |
| Number of variables | 945 |
| Total number of constraints | 58549 |
| Number of constraints which are clauses | 58549 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| 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 | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2666906-1276500375.opb>
0.89/0.94 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58549 constraints
0.89/0.94 c problem read
0.89/0.94 c presolving settings loaded
1.00/1.10 o 0
1.00/1.10 c feasible solution found by trivial heuristic, objective value 0.000000e+00
1.00/1.10 c presolving:
1.79/1.85 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58549 upgd conss, 117098 impls, 0 clqs
3.29/3.35 c (2.2s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.29/3.35 c (2.2s) probing aborted: 100/100 successive totally useless probings
3.29/3.35 c presolving (2 rounds):
3.29/3.35 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.29/3.35 c 117098 implications, 0 cliques
3.29/3.35 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58549 constraints
3.29/3.35 c 58549 constraints of type <logicor>
3.29/3.35 c transformed objective value is always integral (scale: 1)
3.29/3.35 c Presolving Time: 2.09
3.29/3.35 c - non default parameters ----------------------------------------------------------------------
3.29/3.35 c # SCIP version 1.2.1.2
3.29/3.35 c
3.29/3.35 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.29/3.35 c # [type: int, range: [-1,2147483647], default: -1]
3.29/3.35 c conflict/interconss = 0
3.29/3.35 c
3.29/3.35 c # should binary conflicts be preferred?
3.29/3.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.29/3.35 c conflict/preferbinary = TRUE
3.29/3.35 c
3.29/3.35 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.29/3.35 c # [type: int, range: [-1,2147483647], default: 0]
3.29/3.35 c constraints/agelimit = 1
3.29/3.35 c
3.29/3.35 c # should enforcement of pseudo solution be disabled?
3.29/3.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.29/3.35 c constraints/disableenfops = TRUE
3.29/3.35 c
3.29/3.35 c # frequency for displaying node information lines
3.29/3.35 c # [type: int, range: [-1,2147483647], default: 100]
3.29/3.35 c display/freq = 10000
3.29/3.35 c
3.29/3.35 c # maximal time in seconds to run
3.29/3.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.29/3.35 c limits/time = 1799.07
3.29/3.35 c
3.29/3.35 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.29/3.35 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.29/3.35 c limits/memory = 1620
3.29/3.35 c
3.29/3.35 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.29/3.35 c # [type: int, range: [-1,2147483647], default: 1]
3.29/3.35 c lp/solvefreq = 0
3.29/3.35 c
3.29/3.35 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
3.29/3.35 c # [type: char, range: {lafpsqd}, default: l]
3.29/3.35 c lp/pricing = a
3.29/3.35 c
3.29/3.35 c # should presolving try to simplify inequalities
3.29/3.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.29/3.35 c constraints/linear/simplifyinequalities = TRUE
3.29/3.35 c
3.29/3.35 c # should presolving try to simplify knapsacks
3.29/3.35 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.29/3.35 c constraints/knapsack/simplifyinequalities = TRUE
3.29/3.35 c
3.29/3.35 c # priority of node selection rule <dfs> in standard mode
3.29/3.35 c # [type: int, range: [-536870912,536870911], default: 0]
3.29/3.35 c nodeselection/dfs/stdpriority = 1000000
3.29/3.35 c
3.29/3.35 c -----------------------------------------------------------------------------------------------
3.29/3.35 c start solving
3.29/3.36 c
6.38/6.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.38/6.41 c t 5.2s| 1 | 0 | 948 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
6.49/6.52 o -1
6.49/6.52 c R 5.3s| 1 | 0 | 948 | - | 65M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
10.09/10.13 c 8.4s| 1 | 0 | 1094 | - | 65M| 0 | 888 | 945 | 58k| 945 | 58k| 4 | 0 | 0 |-4.440000e+02 |-1.000000e+00 | 99.77%
10.09/10.18 o -31
10.09/10.18 c b 8.4s| 1 | 0 | 1094 | - | 65M| 0 | 888 | 945 | 58k| 945 | 58k| 4 | 0 | 0 |-4.440000e+02 |-3.100000e+01 | 93.02%
15.39/15.41 c 13.2s| 1 | 0 | 1379 | - | 65M| 0 | 843 | 945 | 58k| 945 | 58k| 14 | 0 | 0 |-4.215000e+02 |-3.100000e+01 | 92.65%
21.08/21.16 c 18.6s| 1 | 0 | 1631 | - | 65M| 0 | 798 | 945 | 58k| 945 | 58k| 28 | 0 | 0 |-3.990000e+02 |-3.100000e+01 | 92.23%
26.48/26.57 c 23.6s| 1 | 0 | 1798 | - | 65M| 0 | 752 | 945 | 58k| 945 | 58k| 38 | 0 | 0 |-3.760000e+02 |-3.100000e+01 | 91.76%
33.28/33.34 c 30.0s| 1 | 0 | 2055 | - | 65M| 0 | 710 | 945 | 58k| 945 | 58k| 47 | 0 | 0 |-3.550000e+02 |-3.100000e+01 | 91.27%
40.67/40.76 c 37.0s| 1 | 0 | 2313 | - | 65M| 0 | 671 | 945 | 58k| 945 | 58k| 52 | 0 | 0 |-3.355000e+02 |-3.100000e+01 | 90.76%
49.07/49.18 c 45.0s| 1 | 0 | 2720 | - | 65M| 0 | 614 | 945 | 58k| 945 | 58k| 58 | 0 | 0 |-3.070000e+02 |-3.100000e+01 | 89.90%
57.57/57.62 c 53.0s| 1 | 0 | 3087 | - | 65M| 0 | 575 | 945 | 58k| 945 | 58k| 65 | 0 | 0 |-2.875000e+02 |-3.100000e+01 | 89.22%
65.06/65.15 c 60.2s| 1 | 0 | 3321 | - | 65M| 0 | 539 | 945 | 58k| 945 | 58k| 69 | 0 | 0 |-2.695000e+02 |-3.100000e+01 | 88.50%
72.76/72.81 c 67.4s| 1 | 0 | 3713 | - | 65M| 0 | 467 | 945 | 58k| 945 | 58k| 83 | 0 | 0 |-2.335000e+02 |-3.100000e+01 | 86.72%
76.65/76.70 c 70.9s| 1 | 0 | 4039 | - | 65M| 0 | 429 | 945 | 58k| 945 | 58k| 92 | 0 | 0 |-2.145000e+02 |-3.100000e+01 | 85.55%
79.16/79.27 c 73.0s| 1 | 0 | 4154 | - | 65M| 0 | 410 | 945 | 58k| 945 | 58k| 94 | 0 | 0 |-2.050000e+02 |-3.100000e+01 | 84.88%
83.57/83.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.57/83.69 c 77.0s| 1 | 0 | 4499 | - | 65M| 0 | 383 | 945 | 58k| 945 | 58k| 105 | 0 | 0 |-1.907500e+02 |-3.100000e+01 | 83.75%
87.87/87.93 c 80.9s| 1 | 0 | 4897 | - | 65M| 0 | 345 | 945 | 58k| 945 | 58k| 112 | 0 | 0 |-1.717500e+02 |-3.100000e+01 | 81.95%
91.45/91.51 c 84.0s| 1 | 0 | 5161 | - | 65M| 0 | 326 | 945 | 58k| 945 | 58k| 117 | 0 | 0 |-1.620000e+02 |-3.100000e+01 | 80.86%
96.35/96.45 c 88.6s| 1 | 0 | 5631 | - | 66M| 0 | 289 | 945 | 58k| 945 | 58k| 125 | 0 | 0 |-1.435000e+02 |-3.100000e+01 | 78.40%
101.25/101.39 c 93.1s| 1 | 0 | 6106 | - | 66M| 0 | 251 | 945 | 58k| 945 | 58k| 131 | 0 | 0 |-1.255000e+02 |-3.100000e+01 | 75.30%
105.05/105.19 c 96.5s| 1 | 0 | 6450 | - | 66M| 0 | 235 | 945 | 58k| 945 | 58k| 135 | 0 | 0 |-1.175000e+02 |-3.100000e+01 | 73.62%
108.95/109.03 c 99.9s| 1 | 0 | 6803 | - | 66M| 0 | 199 | 945 | 58k| 945 | 58k| 144 | 0 | 0 |-9.950000e+01 |-3.100000e+01 | 68.84%
112.74/112.84 c 103s| 1 | 0 | 7125 | - | 66M| 0 | 181 | 945 | 58k| 945 | 58k| 148 | 0 | 0 |-9.050000e+01 |-3.100000e+01 | 65.75%
116.84/116.94 c 107s| 1 | 0 | 7652 | - | 66M| 0 | 164 | 945 | 58k| 945 | 58k| 156 | 0 | 0 |-7.480000e+01 |-3.100000e+01 | 58.56%
119.54/119.60 c 110s| 1 | 0 | 7938 | - | 66M| 0 | 132 | 945 | 58k| 945 | 58k| 165 | 0 | 0 |-6.600000e+01 |-3.100000e+01 | 53.03%
121.74/121.88 c 112s| 1 | 0 | 8220 | - | 66M| 0 | 116 | 945 | 58k| 945 | 58k| 172 | 0 | 0 |-5.300000e+01 |-3.100000e+01 | 41.51%
124.54/124.65 c 114s| 1 | 0 | 8560 | - | 66M| 0 | 111 | 945 | 58k| 945 | 58k| 179 | 0 | 0 |-5.000000e+01 |-3.100000e+01 | 38.00%
126.35/126.42 c 116s| 1 | 0 | 8710 | - | 66M| 0 | 122 | 945 | 58k| 945 | 58k| 185 | 0 | 0 |-4.575000e+01 |-3.100000e+01 | 32.24%
127.74/127.81 c 117s| 1 | 0 | 8794 | - | 66M| 0 | 120 | 945 | 58k| 945 | 58k| 196 | 0 | 0 |-4.566667e+01 |-3.100000e+01 | 32.12%
129.24/129.33 c 118s| 1 | 0 | 8897 | - | 66M| 0 | 137 | 945 | 58k| 945 | 58k| 209 | 0 | 0 |-4.566667e+01 |-3.100000e+01 | 32.12%
131.74/131.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.74/131.85 c 121s| 1 | 0 | 9114 | - | 66M| 0 | 136 | 945 | 58k| 945 | 58k| 224 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
134.15/134.27 c 123s| 1 | 0 | 9322 | - | 66M| 0 | 151 | 945 | 58k| 945 | 58k| 237 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
142.43/142.52 c 129s| 1 | 0 | 9464 | - | 66M| 0 | 161 | 945 | 58k| 945 | 58k| 247 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
178.72/178.82 c 158s| 1 | 0 | 9696 | - | 66M| 0 | 173 | 945 | 58k| 945 | 58k| 256 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
216.01/216.17 c 187s| 1 | 0 | 10063 | - | 66M| 0 | 162 | 945 | 58k| 945 | 58k| 265 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
219.42/219.54 c 191s| 1 | 0 | 10428 | - | 66M| 0 | 166 | 945 | 58k| 945 | 58k| 273 | 0 | 0 |-4.500000e+01 |-3.100000e+01 | 31.11%
309.68/309.87 c 280s| 1 | 2 | 10428 | - | 66M| 0 | 166 | 945 | 58k| 945 | 58k| 273 | 0 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
314.29/314.42 c 285s| 10000 | 25 | 10428 | 0.0 | 66M| 41 | - | 945 | 58k| 0 | 0 | 273 | 62 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
318.89/319.06 c 289s| 20000 | 23 | 10428 | 0.0 | 66M| 45 | - | 945 | 58k| 0 | 0 | 273 | 129 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
323.38/323.59 c 294s| 30000 | 23 | 10428 | 0.0 | 66M| 45 | - | 945 | 58k| 0 | 0 | 273 | 181 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
327.98/328.12 c 298s| 40000 | 23 | 10428 | 0.0 | 66M| 47 | - | 945 | 58k| 0 | 0 | 273 | 252 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
332.38/332.52 c 302s| 50000 | 22 | 10428 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 273 | 294 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
336.88/337.03 c 307s| 60000 | 22 | 10428 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 273 | 339 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
341.48/341.60 c 311s| 70000 | 21 | 10428 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 273 | 388 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
345.87/346.06 c 316s| 80000 | 21 | 10428 | 0.0 | 66M| 49 | - | 945 | 58k| 0 | 0 | 273 | 450 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
350.28/350.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.28/350.46 c 320s| 90000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 503 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
354.87/355.09 c 324s|100000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 544 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
359.58/359.77 c 329s|110000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 597 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
364.17/364.30 c 333s|120000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 651 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
368.57/368.78 c 338s|130000 | 21 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 689 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
373.27/373.41 c 342s|140000 | 21 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 743 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
377.97/378.10 c 347s|150000 | 21 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 786 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
382.57/382.73 c 351s|160000 | 21 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 860 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
387.26/387.44 c 356s|170000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 923 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
391.87/392.06 c 360s|180000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 | 969 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
396.36/396.56 c 365s|190000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1030 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
400.86/401.07 c 369s|200000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1088 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
405.55/405.71 c 373s|210000 | 21 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1164 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
410.17/410.31 c 378s|220000 | 20 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1233 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
414.76/414.92 c 382s|230000 | 23 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1294 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
419.35/419.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.35/419.51 c 387s|240000 | 23 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1342 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
423.85/424.03 c 391s|250000 | 23 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1386 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
428.35/428.56 c 396s|260000 | 20 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1440 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
433.06/433.26 c 400s|270000 | 22 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1500 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
437.66/437.85 c 405s|280000 | 20 | 10428 | 0.0 | 66M| 53 | - | 945 | 58k| 0 | 0 | 273 |1548 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
442.45/442.63 c 409s|290000 | 23 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1613 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
447.25/447.45 c 414s|300000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1648 | 33 |-4.500000e+01 |-3.100000e+01 | 31.11%
451.44/451.67 o -32
451.44/451.67 c * 418s|309190 | 23 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1725 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
451.85/452.03 c 418s|310000 | 23 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1727 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
456.35/456.52 c 423s|320000 | 23 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1764 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
460.65/460.88 c 427s|330000 | 20 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1832 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
465.24/465.45 c 431s|340000 | 23 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1851 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
469.84/470.09 c 436s|350000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1890 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
474.44/474.68 c 440s|360000 | 20 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1949 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
479.13/479.31 c 445s|370000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |1990 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
483.84/484.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.84/484.04 c 450s|380000 | 20 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2041 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
488.34/488.58 c 454s|390000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2095 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
492.94/493.17 c 458s|400000 | 22 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2152 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
497.64/497.84 c 463s|410000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2211 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
502.44/502.60 c 468s|420000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2247 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
507.03/507.27 c 472s|430000 | 22 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2281 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
511.52/511.75 c 476s|440000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2308 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
516.02/516.22 c 481s|450000 | 22 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2358 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
520.52/520.70 c 485s|460000 | 20 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2434 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
525.03/525.29 c 490s|470000 | 22 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2483 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
529.62/529.86 c 494s|480000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2535 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
534.22/534.49 c 499s|490000 | 22 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2594 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
536.02/536.23 o -33
536.02/536.23 c * 500s|493611 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2614 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
538.92/539.12 c 503s|500000 | 20 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2651 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
543.32/543.58 c 507s|510000 | 21 | 10428 | 0.0 | 66M| 56 | - | 945 | 58k| 0 | 0 | 273 |2688 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
548.02/548.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.02/548.22 c 512s|520000 | 23 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2721 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
552.61/552.85 c 516s|530000 | 23 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2741 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
557.32/557.50 c 521s|540000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2765 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
561.92/562.11 c 525s|550000 | 19 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2799 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
566.61/566.88 c 530s|560000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2834 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
571.31/571.57 c 535s|570000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2859 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
576.01/576.24 c 539s|580000 | 23 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2888 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
580.81/581.00 c 544s|590000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2931 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
585.41/585.65 c 548s|600000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2952 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
590.01/590.29 c 553s|610000 | 22 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |2982 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
594.81/595.01 c 557s|620000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3023 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
599.21/599.50 c 562s|630000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3069 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
603.79/604.00 c 566s|640000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3119 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
608.40/608.60 c 571s|650000 | 23 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3172 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
612.90/613.17 c 575s|660000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3221 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
617.50/617.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.50/617.75 c 579s|670000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3246 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
622.19/622.42 c 584s|680000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3289 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
626.80/627.02 c 588s|690000 | 19 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3308 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
631.29/631.50 c 593s|700000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3337 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
635.69/635.92 c 597s|710000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3359 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
640.29/640.53 c 601s|720000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3387 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
644.88/645.15 c 606s|730000 | 22 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3443 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
649.49/649.72 c 610s|740000 | 18 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3515 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
654.19/654.50 c 615s|750000 | 19 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3590 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
658.88/659.19 c 620s|760000 | 18 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3640 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
663.48/663.72 c 624s|770000 | 17 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3692 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
667.98/668.24 c 628s|780000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3725 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
672.78/673.03 c 633s|790000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3756 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
677.28/677.53 c 637s|800000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3788 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
681.97/682.23 c 642s|810000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3829 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
686.46/686.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.46/686.75 c 646s|820000 | 19 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3869 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
691.06/691.33 c 651s|830000 | 22 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3940 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
695.67/695.90 c 655s|840000 | 19 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |3993 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
700.17/700.48 c 660s|850000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4036 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
704.87/705.16 c 664s|860000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4118 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
709.36/709.67 c 669s|870000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4161 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
713.85/714.19 c 673s|880000 | 22 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4211 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
718.35/718.67 c 677s|890000 | 23 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4278 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
722.94/723.23 c 682s|900000 | 22 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4323 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
727.54/727.80 c 686s|910000 | 19 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4352 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
732.04/732.37 c 691s|920000 | 22 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4417 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
736.45/736.74 c 695s|930000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4448 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
740.94/741.23 c 699s|940000 | 23 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4497 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
745.45/745.75 c 704s|950000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4528 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
749.84/750.18 c 708s|960000 | 20 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4546 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
754.43/754.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.43/754.73 c 712s|970000 | 21 | 10428 | 0.0 | 66M| 57 | - | 945 | 58k| 0 | 0 | 273 |4576 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
758.94/759.24 c 717s|980000 | 20 | 10428 | 0.0 | 66M| 58 | - | 945 | 58k| 0 | 0 | 273 |4616 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
763.23/763.57 c 721s|990000 | 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4657 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
767.83/768.14 c 725s| 1000k| 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4692 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
772.33/772.66 c 730s| 1010k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4735 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
776.73/777.03 c 734s| 1020k| 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4758 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
781.23/781.55 c 738s| 1030k| 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4790 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
785.93/786.24 c 743s| 1040k| 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4849 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
790.33/790.69 c 747s| 1050k| 22 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4883 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
795.03/795.32 c 752s| 1060k| 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4907 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
799.53/799.87 c 756s| 1070k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4939 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
804.12/804.42 c 761s| 1080k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |4964 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
808.82/809.16 c 765s| 1090k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5017 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
813.52/813.87 c 770s| 1100k| 22 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5060 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
818.13/818.45 c 774s| 1110k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5080 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
822.72/823.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
822.72/823.01 c 779s| 1120k| 22 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5131 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
827.31/827.65 c 783s| 1130k| 22 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5176 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
831.91/832.22 c 788s| 1140k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5205 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
836.41/836.78 c 792s| 1150k| 22 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5231 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
841.02/841.30 c 796s| 1160k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5252 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
845.71/846.07 c 801s| 1170k| 23 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5318 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
850.31/850.69 c 805s| 1180k| 18 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5343 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
855.01/855.34 c 810s| 1190k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5374 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
859.51/859.86 c 814s| 1200k| 24 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5405 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
864.11/864.49 c 819s| 1210k| 22 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5451 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
868.81/869.16 c 823s| 1220k| 19 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5485 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
873.50/873.82 c 828s| 1230k| 23 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5520 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
878.10/878.47 c 832s| 1240k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5552 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
882.70/883.01 c 837s| 1250k| 18 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5571 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
887.20/887.56 c 841s| 1260k| 21 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5609 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
891.70/892.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.70/892.06 c 846s| 1270k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5651 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
896.20/896.60 c 850s| 1280k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5670 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
900.90/901.27 c 855s| 1290k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5730 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
905.40/905.71 c 859s| 1300k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5774 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
910.10/910.48 c 863s| 1310k| 20 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5789 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
914.69/915.07 c 868s| 1320k| 19 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5837 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
919.30/919.64 c 872s| 1330k| 17 | 10428 | 0.0 | 66M| 61 | - | 945 | 58k| 0 | 0 | 273 |5879 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
923.89/924.22 c 877s| 1340k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |5914 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
928.68/929.02 c 881s| 1350k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |5957 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
933.50/933.80 c 886s| 1360k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |5987 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
938.28/938.62 c 891s| 1370k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6032 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
942.98/943.39 c 895s| 1380k| 17 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6097 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
947.79/948.10 c 900s| 1390k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6126 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
952.48/952.86 c 905s| 1400k| 22 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6177 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
957.08/957.46 c 909s| 1410k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6226 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
961.68/962.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.68/962.09 c 914s| 1420k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6258 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
966.49/966.85 c 918s| 1430k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6302 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
971.08/971.50 c 923s| 1440k| 22 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6377 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
975.67/976.02 c 927s| 1450k| 22 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6423 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
980.37/980.75 c 932s| 1460k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6455 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
985.17/985.55 c 936s| 1470k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6485 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
989.87/990.21 c 941s| 1480k| 17 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6523 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
994.67/995.00 c 946s| 1490k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6560 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
999.26/999.67 c 950s| 1500k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6589 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1003.87/1004.29 c 955s| 1510k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6627 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1008.57/1008.98 c 959s| 1520k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6671 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1013.36/1013.70 c 964s| 1530k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6714 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1017.96/1018.37 c 968s| 1540k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6747 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1022.57/1022.91 c 973s| 1550k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6786 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1027.16/1027.52 c 977s| 1560k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6835 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1031.86/1032.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.86/1032.26 c 982s| 1570k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6866 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1036.55/1036.94 c 986s| 1580k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6915 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1041.15/1041.60 c 991s| 1590k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6951 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1045.95/1046.32 c 995s| 1600k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |6974 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1050.45/1050.87 c 1000s| 1610k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7012 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1055.05/1055.44 c 1004s| 1620k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7040 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1059.55/1059.96 c 1009s| 1630k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7065 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1064.15/1064.50 c 1013s| 1640k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7119 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1068.75/1069.12 c 1017s| 1650k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7168 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1073.25/1073.65 c 1022s| 1660k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7204 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1077.75/1078.12 c 1026s| 1670k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7249 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1082.34/1082.79 c 1031s| 1680k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7306 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1087.04/1087.46 c 1035s| 1690k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7346 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1091.54/1091.97 c 1040s| 1700k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7373 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1096.14/1096.50 c 1044s| 1710k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7479 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1100.74/1101.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.74/1101.13 c 1049s| 1720k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7522 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1105.34/1105.71 c 1053s| 1730k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7542 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1109.94/1110.39 c 1058s| 1740k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7585 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1114.53/1114.92 c 1062s| 1750k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7609 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1119.03/1119.42 c 1066s| 1760k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7665 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1123.63/1124.08 c 1071s| 1770k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7703 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1128.14/1128.59 c 1075s| 1780k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7737 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1132.64/1133.05 c 1080s| 1790k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7775 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1137.22/1137.61 c 1084s| 1800k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7801 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1141.73/1142.18 c 1088s| 1810k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7830 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1146.32/1146.71 c 1093s| 1820k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7851 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1150.82/1151.25 c 1097s| 1830k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7883 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1155.42/1155.81 c 1102s| 1840k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7927 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1160.03/1160.45 c 1106s| 1850k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7964 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1164.62/1165.08 c 1111s| 1860k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |7992 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1169.22/1169.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.22/1169.68 c 1115s| 1870k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8015 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1174.02/1174.43 c 1120s| 1880k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8035 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1178.82/1179.29 c 1124s| 1890k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8077 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1183.42/1183.86 c 1129s| 1900k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8101 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1188.12/1188.59 c 1133s| 1910k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8134 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1192.82/1193.29 c 1138s| 1920k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8173 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1197.42/1197.81 c 1142s| 1930k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8197 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1202.11/1202.52 c 1147s| 1940k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8274 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1206.80/1207.21 c 1152s| 1950k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8342 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1211.30/1211.75 c 1156s| 1960k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8386 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1216.00/1216.42 c 1160s| 1970k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8424 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1220.70/1221.10 c 1165s| 1980k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8455 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1225.30/1225.78 c 1170s| 1990k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8482 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1230.10/1230.51 c 1174s| 2000k| 17 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8533 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1234.60/1235.08 c 1179s| 2010k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8575 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1239.40/1239.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.40/1239.82 c 1183s| 2020k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8613 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1243.79/1244.28 c 1188s| 2030k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8642 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1248.39/1248.83 c 1192s| 2040k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8684 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1252.80/1253.29 c 1196s| 2050k| 22 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8720 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1257.60/1258.03 c 1201s| 2060k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8772 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1262.30/1262.77 c 1206s| 2070k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8796 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1266.99/1267.43 c 1210s| 2080k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8833 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1271.49/1271.94 c 1214s| 2090k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8878 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1275.99/1276.44 c 1219s| 2100k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8915 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1280.49/1280.99 c 1223s| 2110k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8948 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1284.98/1285.46 c 1228s| 2120k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |8988 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1289.49/1289.93 c 1232s| 2130k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9023 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1294.19/1294.61 c 1236s| 2140k| 21 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9046 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1298.79/1299.28 c 1241s| 2150k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9071 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1303.38/1303.83 c 1245s| 2160k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9119 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1307.88/1308.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.88/1308.32 c 1250s| 2170k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9147 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1312.38/1312.85 c 1254s| 2180k| 17 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9169 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1317.08/1317.51 c 1259s| 2190k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9192 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1321.57/1322.07 c 1263s| 2200k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9255 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1326.08/1326.54 c 1267s| 2210k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9292 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1330.58/1331.08 c 1272s| 2220k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9338 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1335.07/1335.56 c 1276s| 2230k| 20 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9393 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1339.67/1340.11 c 1281s| 2240k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9430 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1344.17/1344.60 c 1285s| 2250k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9481 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1348.47/1348.97 c 1289s| 2260k| 17 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9503 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1353.07/1353.51 c 1294s| 2270k| 22 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9529 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1357.46/1357.97 c 1298s| 2280k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9558 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1362.16/1362.66 c 1302s| 2290k| 19 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9589 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1366.87/1367.33 c 1307s| 2300k| 18 | 10428 | 0.0 | 66M| 64 | - | 945 | 58k| 0 | 0 | 273 |9605 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1371.65/1372.10 c 1312s| 2310k| 22 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9641 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1376.46/1376.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.46/1376.93 c 1316s| 2320k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9670 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1381.25/1381.72 c 1321s| 2330k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9726 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1385.96/1386.43 c 1326s| 2340k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9749 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1390.56/1391.04 c 1330s| 2350k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9783 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1395.15/1395.62 c 1334s| 2360k| 22 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9823 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1399.76/1400.30 c 1339s| 2370k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9854 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1404.45/1404.94 c 1343s| 2380k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9920 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1409.05/1409.57 c 1348s| 2390k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9956 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1413.64/1414.17 c 1352s| 2400k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 |9984 | 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1418.45/1418.96 c 1357s| 2410k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1423.14/1423.68 c 1362s| 2420k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1427.75/1428.26 c 1366s| 2430k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1432.34/1432.84 c 1371s| 2440k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1436.94/1437.43 c 1375s| 2450k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1441.54/1442.00 c 1379s| 2460k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1446.05/1446.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.05/1446.57 c 1384s| 2470k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1450.73/1451.28 c 1388s| 2480k| 23 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1455.53/1456.08 c 1393s| 2490k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1460.34/1460.83 c 1398s| 2500k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1464.93/1465.46 c 1402s| 2510k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1469.53/1470.01 c 1407s| 2520k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1474.03/1474.50 c 1411s| 2530k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1478.42/1478.96 c 1415s| 2540k| 21 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1483.02/1483.56 c 1420s| 2550k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1487.74/1488.28 c 1424s| 2560k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1492.32/1492.85 c 1429s| 2570k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1497.02/1497.52 c 1433s| 2580k| 23 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1501.32/1501.88 c 1438s| 2590k| 22 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1505.82/1506.39 c 1442s| 2600k| 21 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1510.42/1510.93 c 1446s| 2610k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1514.92/1515.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.92/1515.43 c 1451s| 2620k| 21 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1519.31/1519.85 c 1455s| 2630k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1523.92/1524.43 c 1459s| 2640k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1528.42/1528.91 c 1464s| 2650k| 21 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1532.92/1533.45 c 1468s| 2660k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1537.32/1537.88 c 1472s| 2670k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1541.81/1542.37 c 1477s| 2680k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1546.31/1546.89 c 1481s| 2690k| 23 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 10k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1550.91/1551.47 c 1486s| 2700k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1555.41/1555.96 c 1490s| 2710k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1560.00/1560.53 c 1494s| 2720k| 21 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1564.60/1565.12 c 1499s| 2730k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1569.00/1569.57 c 1503s| 2740k| 17 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1573.51/1574.10 c 1508s| 2750k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1578.10/1578.63 c 1512s| 2760k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1582.41/1582.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.41/1582.98 c 1516s| 2770k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1586.90/1587.47 c 1521s| 2780k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1591.50/1592.02 c 1525s| 2790k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1595.80/1596.40 c 1529s| 2800k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1600.39/1600.90 c 1534s| 2810k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1604.69/1605.26 c 1538s| 2820k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1609.29/1609.86 c 1542s| 2830k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1613.79/1614.30 c 1547s| 2840k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1618.19/1618.75 c 1551s| 2850k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1622.58/1623.18 c 1555s| 2860k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1626.98/1627.55 c 1560s| 2870k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1631.28/1631.87 c 1564s| 2880k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1635.68/1636.28 c 1568s| 2890k| 17 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1640.19/1640.73 c 1572s| 2900k| 17 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1644.68/1645.26 c 1577s| 2910k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1649.08/1649.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.08/1649.69 c 1581s| 2920k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1653.57/1654.17 c 1585s| 2930k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1657.97/1658.52 c 1590s| 2940k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1662.38/1662.96 c 1594s| 2950k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1666.88/1667.49 c 1598s| 2960k| 17 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1671.27/1671.80 c 1602s| 2970k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 11k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1675.58/1676.15 c 1607s| 2980k| 24 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1679.87/1680.48 c 1611s| 2990k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1684.27/1684.81 c 1615s| 3000k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1688.57/1689.10 c 1619s| 3010k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1692.97/1693.57 c 1624s| 3020k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1697.27/1697.85 c 1628s| 3030k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1701.67/1702.24 c 1632s| 3040k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1706.27/1706.86 c 1636s| 3050k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1710.97/1711.52 c 1641s| 3060k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1715.47/1716.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.47/1716.03 c 1645s| 3070k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1719.96/1720.59 c 1650s| 3080k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1724.56/1725.13 c 1654s| 3090k| 21 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1729.05/1729.61 c 1658s| 3100k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1733.55/1734.10 c 1663s| 3110k| 21 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1738.15/1738.77 c 1667s| 3120k| 18 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1742.74/1743.33 c 1672s| 3130k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1747.26/1747.89 c 1676s| 3140k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1751.75/1752.39 c 1681s| 3150k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1756.24/1756.88 c 1685s| 3160k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1760.74/1761.32 c 1689s| 3170k| 20 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1765.24/1765.84 c 1694s| 3180k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1769.85/1770.40 c 1698s| 3190k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1774.44/1775.06 c 1703s| 3200k| 19 | 10428 | 0.0 | 67M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1778.94/1779.59 c 1707s| 3210k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1783.24/1783.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1783.24/1783.85 c 1711s| 3220k| 20 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 12k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1787.64/1788.23 c 1715s| 3230k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 13k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1792.23/1792.88 c 1720s| 3240k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 13k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1796.85/1797.45 c 1724s| 3250k| 19 | 10428 | 0.0 | 66M| 65 | - | 945 | 58k| 0 | 0 | 273 | 13k| 33 |-4.500000e+01 |-3.300000e+01 | 26.67%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1727.34
1800.05/1800.61 c Solving Nodes : 3256821
1800.05/1800.61 c Primal Bound : -3.30000000000000e+01 (11 solutions)
1800.05/1800.61 c Dual Bound : -4.50000000000000e+01
1800.05/1800.61 c Gap : 26.67 %
1800.05/1800.64 s SATISFIABLE
1800.05/1800.64 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1800.05/1800.64 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53
1800.05/1800.64 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.05/1800.64 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
1800.05/1800.64 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124
1800.05/1800.64 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
1800.05/1800.64 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.05/1800.64 v x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187
1800.05/1800.64 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
1800.05/1800.64 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
1800.05/1800.64 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
1800.05/1800.64 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271
1800.05/1800.64 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292
1800.05/1800.64 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
1800.05/1800.64 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333
1800.05/1800.64 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1800.05/1800.64 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1800.05/1800.64 v x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
1800.05/1800.64 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1800.05/1800.64 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
1800.05/1800.64 v -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459
1800.05/1800.64 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
1800.05/1800.64 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.05/1800.64 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.05/1800.64 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543
1800.05/1800.64 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564
1800.05/1800.64 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585
1800.05/1800.64 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.05/1800.64 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627
1800.05/1800.64 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
1800.05/1800.64 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669
1800.05/1800.64 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
1800.05/1800.64 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
1800.05/1800.64 v -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
1800.05/1800.64 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752
1800.05/1800.64 v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773
1800.05/1800.64 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
1800.05/1800.64 v -x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
1800.05/1800.64 v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.05/1800.64 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857
1800.05/1800.64 v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.05/1800.64 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.05/1800.64 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
1800.05/1800.64 v x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
1800.05/1800.64 v -x942 -x943 -x944 -x945
1800.05/1800.64 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.64 c Solving Time : 1727.34
1800.05/1800.64 c Original Problem :
1800.05/1800.64 c Problem name : HOME/instance-2666906-1276500375.opb
1800.05/1800.64 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.64 c Constraints : 58549 initial, 58549 maximal
1800.05/1800.64 c Presolved Problem :
1800.05/1800.64 c Problem name : t_HOME/instance-2666906-1276500375.opb
1800.05/1800.64 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.64 c Constraints : 58549 initial, 58564 maximal
1800.05/1800.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.64 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.64 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.64 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.64 c probing : 1.38 0 0 0 0 0 0 0 0
1800.05/1800.64 c logicor : 0.17 0 0 0 0 0 0 0 0
1800.05/1800.64 c root node : - 0 - - 0 - - - -
1800.05/1800.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.64 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.64 c logicor : 58549+ 33 3265571 0 2 236734 5974925 0 0 0
1800.05/1800.64 c countsols : 0 0 0 0 2 0 0 0 0 0
1800.05/1800.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.64 c integral : 87.70 0.00 0.00 87.70 0.00
1800.05/1800.64 c logicor : 461.27 0.29 460.95 0.00 0.03
1800.05/1800.64 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.64 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.64 c vbounds : 2.54 2 0 0
1800.05/1800.64 c rootredcost : 2.71 2 0 0
1800.05/1800.64 c pseudoobj : 412.67 5066281 1193351 1524184
1800.05/1800.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.64 c propagation : 243.59 236734 13142 13142 39.9 0 0.0 -
1800.05/1800.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.64 c pseudo solution : 253.04 199463 0 0 0.0 0 0.0 -
1800.05/1800.64 c applied globally : - - - 13142 39.9 - - -
1800.05/1800.64 c applied locally : - - - 0 0.0 - - -
1800.05/1800.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.64 c cut pool : 0.01 32 - - 89 - (maximal pool size: 562)
1800.05/1800.64 c redcost : 0.00 33 0 0 0 0
1800.05/1800.64 c impliedbounds : 0.10 33 0 0 0 0
1800.05/1800.64 c intobj : 0.00 0 0 0 0 0
1800.05/1800.64 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.64 c gomory : 77.69 33 0 0 15500 0
1800.05/1800.64 c strongcg : 12.25 20 0 0 10000 0
1800.05/1800.64 c cmir : 13.43 10 0 0 0 0
1800.05/1800.64 c flowcover : 14.46 10 0 0 0 0
1800.05/1800.64 c clique : 1.58 33 0 0 298 0
1800.05/1800.64 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.64 c mcf : 0.09 1 0 0 0 0
1800.05/1800.64 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.64 c Pricers : Time Calls Vars
1800.05/1800.64 c problem variables: 0.00 0 0
1800.05/1800.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.64 c relpscost : 87.70 1 0 0 0 0 2
1800.05/1800.64 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.64 c inference : 16.24 1635728 0 0 0 0 3271456
1800.05/1800.64 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.64 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.64 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.64 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.64 c random : 0.00 0 0 0 0 0 0
1800.05/1800.64 c Primal Heuristics : Time Calls Found
1800.05/1800.64 c LP solutions : 0.00 - 0
1800.05/1800.64 c pseudo solutions : 0.00 - 2
1800.05/1800.64 c crossover : 0.00 0 0
1800.05/1800.64 c oneopt : 2.50 2 1
1800.05/1800.64 c trivial : 0.03 2 3
1800.05/1800.64 c simplerounding : 0.02 34 1
1800.05/1800.64 c zirounding : 0.02 1 1
1800.05/1800.64 c rounding : 1.07 34 1
1800.05/1800.64 c shifting : 1.41 34 1
1800.05/1800.64 c intshifting : 0.00 0 0
1800.05/1800.64 c twoopt : 0.00 0 0
1800.05/1800.64 c fixandinfer : 0.00 0 0
1800.05/1800.64 c feaspump : 0.00 0 0
1800.05/1800.64 c coefdiving : 0.00 0 0
1800.05/1800.64 c pscostdiving : 0.00 0 0
1800.05/1800.64 c fracdiving : 0.00 0 0
1800.05/1800.64 c veclendiving : 0.00 0 0
1800.05/1800.64 c intdiving : 0.00 0 0
1800.05/1800.64 c actconsdiving : 0.00 0 0
1800.05/1800.64 c objpscostdiving : 0.00 0 0
1800.05/1800.64 c rootsoldiving : 0.00 0 0
1800.05/1800.64 c linesearchdiving : 0.00 0 0
1800.05/1800.64 c guideddiving : 0.00 0 0
1800.05/1800.64 c octane : 0.00 0 0
1800.05/1800.64 c rens : 2.04 1 1
1800.05/1800.64 c rins : 0.00 0 0
1800.05/1800.64 c localbranching : 0.00 0 0
1800.05/1800.64 c mutation : 0.00 0 0
1800.05/1800.64 c dins : 0.00 0 0
1800.05/1800.64 c undercover : 0.00 0 0
1800.05/1800.64 c nlp : 1.45 0 0
1800.05/1800.64 c trysol : 1.71 0 0
1800.05/1800.64 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.64 c primal LP : 0.14 0 0 0.00 0.00
1800.05/1800.64 c dual LP : 64.90 34 10428 306.71 160.68
1800.05/1800.64 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.64 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.64 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.64 c strong branching : 87.69 33 13409 406.33 152.91
1800.05/1800.64 c (at root node) : - 33 13409 406.33 -
1800.05/1800.64 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.64 c B&B Tree :
1800.05/1800.64 c number of runs : 1
1800.05/1800.64 c nodes : 3256821
1800.05/1800.64 c nodes (total) : 3256821
1800.05/1800.64 c nodes left : 19
1800.05/1800.64 c max depth : 65
1800.05/1800.64 c max depth (total): 65
1800.05/1800.64 c backtracks : 555161 (17.0%)
1800.05/1800.64 c delayed cutoffs : 9181
1800.05/1800.64 c repropagations : 10683 (36629 domain reductions, 8458 cutoffs)
1800.05/1800.64 c avg switch length: 2.00
1800.05/1800.64 c switching time : 151.10
1800.05/1800.64 c Solution :
1800.05/1800.64 c Solutions found : 11 (5 improvements)
1800.05/1800.64 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.10 seconds, depth 0, found by <trivial>)
1800.05/1800.64 c Primal Bound : -3.30000000000000e+01 (in run 1, after 493611 nodes, 500.24 seconds, depth 53, found by <relaxation>)
1800.05/1800.64 c Dual Bound : -4.50000000000000e+01
1800.05/1800.64 c Gap : 26.67 %
1800.05/1800.64 c Root Dual Bound : -4.50000000000000e+01
1800.05/1800.64 c Root Iterations : 10428
1800.23/1800.89 c Time complete: 1800.32.
OK -33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666906-1276500375/watcher-2666906-1276500375 -o /tmp/evaluation-result-2666906-1276500375/solver-2666906-1276500375 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666906-1276500375.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 1.99 1.65 3/106 29137 /proc/meminfo: memFree=1723296/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=6696 CPUtime=0 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 984 0 0 0 0 0 0 0 18 0 1 0 23693857 6856704 904 1992294400 4194304 8223781 140733301402032 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29137/statm: 1673 904 343 984 0 686 0 [startup+0.022799 s] /proc/loadavg: 2.10 1.99 1.65 3/106 29137 /proc/meminfo: memFree=1723296/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=10060 CPUtime=0.01 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 1832 0 0 0 1 0 0 0 18 0 1 0 23693857 10301440 1752 1992294400 4194304 8223781 140733301402032 18446744073709551615 7189493 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29137/statm: 2515 1752 365 984 0 1528 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10060 [startup+0.101807 s] /proc/loadavg: 2.10 1.99 1.65 3/106 29137 /proc/meminfo: memFree=1723296/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=13224 CPUtime=0.09 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 2598 0 0 0 9 0 0 0 20 0 1 0 23693857 13541376 2518 1992294400 4194304 8223781 140733301402032 18446744073709551615 7164678 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29137/statm: 3306 2518 365 984 0 2319 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13224 [startup+0.301825 s] /proc/loadavg: 2.10 1.99 1.65 3/106 29137 /proc/meminfo: memFree=1723296/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=17576 CPUtime=0.29 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 3699 0 0 0 28 1 0 0 20 0 1 0 23693857 17997824 3619 1992294400 4194304 8223781 140733301402032 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29137/statm: 4394 3619 365 984 0 3407 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17576 [startup+0.701863 s] /proc/loadavg: 2.10 1.99 1.65 3/106 29137 /proc/meminfo: memFree=1723296/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=26356 CPUtime=0.69 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 5907 0 0 0 67 2 0 0 21 0 1 0 23693857 26988544 5827 1992294400 4194304 8223781 140733301402032 18446744073709551615 6639909 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29137/statm: 6589 5827 365 984 0 5602 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26356 [startup+1.50194 s] /proc/loadavg: 2.10 1.99 1.65 2/107 29138 /proc/meminfo: memFree=1681028/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=75592 CPUtime=1.49 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 19841 0 0 0 136 13 0 0 23 0 1 0 23693857 77406208 17762 1992294400 4194304 8223781 140733301402032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 18898 17762 448 984 0 17911 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75592 [startup+3.10109 s] /proc/loadavg: 2.02 1.98 1.64 2/107 29138 /proc/meminfo: memFree=1649260/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=79548 CPUtime=3.08 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 27154 0 0 0 284 24 0 0 25 0 1 0 23693857 81457152 18671 1992294400 4194304 8223781 140733301402032 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 19887 18671 462 984 0 18900 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 79548 [startup+6.3014 s] /proc/loadavg: 2.02 1.98 1.64 2/107 29138 /proc/meminfo: memFree=1593584/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=150908 CPUtime=6.28 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 45018 0 0 0 597 31 0 0 25 0 1 0 23693857 154529792 32871 1992294400 4194304 8223781 140733301402032 18446744073709551615 6250747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 37727 32873 528 984 0 36740 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 150908 [startup+12.701 s] /proc/loadavg: 1.86 1.94 1.64 2/107 29138 /proc/meminfo: memFree=1590236/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=158560 CPUtime=12.68 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 279376 0 0 0 1145 123 0 0 25 0 1 0 23693857 162365440 33432 1992294400 4194304 8223781 140733301402032 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39640 33432 559 984 0 38653 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 158560 [startup+25.5012 s] /proc/loadavg: 1.80 1.93 1.63 2/107 29138 /proc/meminfo: memFree=1589492/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=158132 CPUtime=25.47 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 514642 0 0 0 2346 201 0 0 25 0 1 0 23693857 161927168 33630 1992294400 4194304 8223781 140733301402032 18446744073709551615 5884289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39533 33630 563 984 0 38546 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 158132 [startup+51.1017 s] /proc/loadavg: 1.53 1.85 1.62 2/107 29140 /proc/meminfo: memFree=1589120/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=156512 CPUtime=51.07 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 984319 0 0 0 4744 363 0 0 25 0 1 0 23693857 160268288 33666 1992294400 4194304 8223781 140733301402032 18446744073709551615 5721526 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39128 33666 563 984 0 38141 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 156512 [startup+102.309 s] /proc/loadavg: 1.26 1.72 1.58 2/107 29140 /proc/meminfo: memFree=1588500/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=151880 CPUtime=102.26 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 2104625 0 0 0 9471 755 0 0 25 0 1 0 23693857 155525120 33806 1992294400 4194304 8223781 140733301402032 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 37970 33806 563 984 0 36983 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 151880 [startup+162.301 s] /proc/loadavg: 1.14 1.60 1.55 2/107 29142 /proc/meminfo: memFree=1587012/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=153392 CPUtime=162.23 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 4624840 0 0 0 14578 1645 0 0 25 0 1 0 23693857 157073408 34383 1992294400 4194304 8223781 140733301402032 18446744073709551615 6299961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 38348 34383 602 984 0 37361 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 153392 [startup+222.301 s] /proc/loadavg: 1.09 1.50 1.52 2/107 29144 /proc/meminfo: memFree=1576596/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=163096 CPUtime=222.21 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7915536 0 0 0 19400 2821 0 0 25 0 1 0 23693857 167010304 36821 1992294400 4194304 8223781 140733301402032 18446744073709551615 6450702 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 40774 36821 587 984 0 39787 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 163096 [startup+282.301 s] /proc/loadavg: 1.07 1.42 1.49 2/107 29146 /proc/meminfo: memFree=1578580/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157980 CPUtime=282.19 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7923154 0 0 0 25379 2840 0 0 25 0 1 0 23693857 161771520 36320 1992294400 4194304 8223781 140733301402032 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39495 36320 587 984 0 38508 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 157980 [startup+342.302 s] /proc/loadavg: 1.12 1.37 1.46 2/107 29148 /proc/meminfo: memFree=1578580/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=342.18 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 31283 2935 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5907474 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 157972 [startup+402.301 s] /proc/loadavg: 1.04 1.30 1.43 2/107 29148 /proc/meminfo: memFree=1578456/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=402.16 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 37104 3112 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5909095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 157972 [startup+462.301 s] /proc/loadavg: 1.01 1.25 1.40 2/107 29150 /proc/meminfo: memFree=1578332/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=462.14 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 42932 3282 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4648638 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 157972 [startup+522.302 s] /proc/loadavg: 1.00 1.20 1.38 2/107 29152 /proc/meminfo: memFree=1578208/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=522.12 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 48761 3451 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5918834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 157972 [startup+582.302 s] /proc/loadavg: 1.00 1.16 1.35 2/107 29154 /proc/meminfo: memFree=1578084/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=582.11 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 54593 3618 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 157972 [startup+642.301 s] /proc/loadavg: 1.00 1.13 1.33 2/107 29156 /proc/meminfo: memFree=1578084/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=642.09 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 60411 3798 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5918641 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 157972 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.06 1.25 2/107 29165 /proc/meminfo: memFree=1577216/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=882 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 83704 4496 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5506120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 157972 [startup+942.301 s] /proc/loadavg: 1.00 1.05 1.23 2/107 29167 /proc/meminfo: memFree=1577340/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=941.98 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 89529 4669 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 157972 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.21 2/107 29167 /proc/meminfo: memFree=1577340/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1001.97 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 95353 4844 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 157972 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.19 2/107 29169 /proc/meminfo: memFree=1577340/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1061.95 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 101176 5019 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 157972 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 29171 /proc/meminfo: memFree=1577216/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1121.93 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 107003 5190 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 157972 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 29173 /proc/meminfo: memFree=1577216/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1181.92 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 112823 5369 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 157972 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 29175 /proc/meminfo: memFree=1577092/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1241.9 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 118655 5535 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 157972 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 29175 /proc/meminfo: memFree=1576844/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1301.89 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 124478 5711 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 157972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 29177 /proc/meminfo: memFree=1576844/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1361.86 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 130299 5887 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4221131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 157972 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.12 2/107 29179 /proc/meminfo: memFree=1576968/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1421.85 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 136126 6059 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 157972 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 29181 /proc/meminfo: memFree=1576844/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1481.82 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 141950 6232 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 157972 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 29183 /proc/meminfo: memFree=1576844/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1541.81 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 147767 6414 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4704769 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 157972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 29183 /proc/meminfo: memFree=1576596/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1601.79 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 153595 6584 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 157972 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 29185 /proc/meminfo: memFree=1576596/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1661.78 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 159411 6767 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 157972 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 29187 /proc/meminfo: memFree=1576472/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1721.75 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 165230 6945 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5909078 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 157972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 29189 /proc/meminfo: memFree=1576224/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1781.74 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 171048 7126 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 5506759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 157972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.07 2/107 29189 /proc/meminfo: memFree=1576224/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=157972 CPUtime=1800.05 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926526 0 0 0 172825 7180 0 0 25 0 1 0 23693857 161763328 36322 1992294400 4194304 8223781 140733301402032 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29137/statm: 39493 36322 591 984 0 38506 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 157972 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.07 2/107 29189 /proc/meminfo: memFree=1576224/2059040 swapFree=4140228/4192956 [pid=29137] ppid=29135 vsize=140120 CPUtime=1800.23 /proc/29137/stat : 29137 (pbscip.linux.x8) R 29135 29137 28605 0 -1 4202496 7926528 0 0 0 172843 7180 0 0 25 0 1 0 23693857 143482880 31882 1992294400 4194304 8223781 140733301402032 18446744073709551615 4222551 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29137/statm: 35030 31882 593 984 0 34043 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 140120 Child status: 0 Real time (s): 1800.89 CPU time (s): 1800.33 CPU user time (s): 1728.51 CPU system time (s): 71.8241 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 216740 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1728.51 system time used= 71.8241 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7926532 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= 4 involuntary context switches= 10907 runsolver used 2.79157 second user time and 8.71268 second system time The end
Begin job on node018 at 2010-06-14 09:26:15 IDJOB=2666906 IDBENCH=2253 IDSOLVER=1169 FILE ID=node018/2666906-1276500375 PBS_JOBID= 11173399 Free space on /tmp= 62368 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666906-1276500375/watcher-2666906-1276500375 -o /tmp/evaluation-result-2666906-1276500375/solver-2666906-1276500375 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666906-1276500375.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED=1943542451 node018.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1723824 kB Buffers: 116828 kB Cached: 126672 kB SwapCached: 5768 kB Active: 102392 kB Inactive: 153620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1723824 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 5876 kB Writeback: 0 kB AnonPages: 11048 kB Mapped: 12820 kB Slab: 57540 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62364 MiB End job on node018 at 2010-06-14 09:56:18