Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 4250 | 1802.15 | 1802.65 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb |
| MD5SUM | 8d2c17131f0dd6c2b5d472cf1eef4c89 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2967 |
| Best CPU time to get the best result obtained on this benchmark | 0.557914 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2967 |
| Optimality of the best value was proved | YES |
| Number of variables | 1086 |
| Total number of constraints | 85 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 1086 |
| Number of terms in the objective function | 1086 |
| Biggest coefficient in the objective function | 283 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 197191 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 283 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 197191 |
| Number of bits of the biggest sum of numbers | 18 |
| 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: NONE] [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-2664593-1276354692.opb>
0.00/0.02 c original problem has 1086 variables (1086 bin, 0 int, 0 impl, 0 cont) and 85 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 84 upgd conss, 0 impls, 83 clqs
0.00/0.05 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 84 upgd conss, 0 impls, 85 clqs
0.10/0.16 c (0.1s) probing: 152/1086 (14.0%) - 0 fixings, 0 aggregations, 1260 implications, 0 bound changes
0.10/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.16 c presolving (3 rounds):
0.10/0.16 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1 changed coefficients
0.10/0.16 c 2526 implications, 85 cliques
0.10/0.16 c presolved problem has 1086 variables (1086 bin, 0 int, 0 impl, 0 cont) and 85 constraints
0.10/0.16 c 1 constraints of type <knapsack>
0.10/0.16 c 83 constraints of type <setppc>
0.10/0.16 c 1 constraints of type <linear>
0.10/0.16 c transformed objective value is always integral (scale: 1)
0.10/0.16 c Presolving Time: 0.12
0.10/0.16 c - non default parameters ----------------------------------------------------------------------
0.10/0.16 c # SCIP version 1.2.1.2
0.10/0.16 c
0.10/0.16 c # frequency for displaying node information lines
0.10/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.16 c display/freq = 10000
0.10/0.16 c
0.10/0.16 c # maximal time in seconds to run
0.10/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.16 c limits/time = 1799.99
0.10/0.16 c
0.10/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.16 c limits/memory = 1620
0.10/0.16 c
0.10/0.16 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.16 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.16 c lp/solvefreq = -1
0.10/0.16 c
0.10/0.16 c # should presolving try to simplify inequalities
0.10/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16 c constraints/linear/simplifyinequalities = TRUE
0.10/0.16 c
0.10/0.16 c # should presolving try to simplify knapsacks
0.10/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.16 c
0.10/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.16 c separating/rapidlearning/freq = 0
0.10/0.16 c
0.10/0.16 c -----------------------------------------------------------------------------------------------
0.10/0.16 c start solving
0.10/0.16 c
0.10/0.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.16 c 0.1s| 1 | 2 | 0 | - |2797k| 0 | - |1086 | 85 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.29/5.38 c 5.1s| 10000 | 9744 | 0 | 0.0 |7561k| 662 | - |1086 | 689 | 0 | 0 | 0 | 621 | 0 | 4.600000e+01 | -- | Inf
10.49/10.56 c 10.1s| 20000 | 19422 | 0 | 0.0 | 12M| 662 | - |1086 |1296 | 0 | 0 | 0 |1338 | 0 | 5.600000e+01 | -- | Inf
14.30/14.37 o 4902
14.30/14.37 c *13.8s| 26916 | 26088 | 0 | 0.0 | 16M| 662 | - |1086 |1761 | 0 | 0 | 0 |1980 | 0 | 5.900000e+01 | 4.902000e+03 |8208.47%
16.09/16.12 c 15.5s| 30000 | 29165 | 0 | 0.0 | 17M| 662 | - |1086 |1662 | 0 | 0 | 0 |1993 | 0 | 6.200000e+01 | 4.902000e+03 |7806.45%
21.58/21.67 c 20.9s| 40000 | 39136 | 0 | 0.0 | 22M| 668 | - |1086 |1176 | 0 | 0 | 0 |2038 | 0 | 7.200000e+01 | 4.902000e+03 |6708.33%
27.08/27.11 c 26.1s| 50000 | 49101 | 0 | 0.0 | 27M| 668 | - |1086 | 855 | 0 | 0 | 0 |2093 | 0 | 8.700000e+01 | 4.902000e+03 |5534.48%
32.28/32.38 c 31.2s| 60000 | 59068 | 0 | 0.0 | 31M| 668 | - |1086 | 713 | 0 | 0 | 0 |2135 | 0 | 9.400000e+01 | 4.902000e+03 |5114.89%
37.58/37.62 c 36.2s| 70000 | 69048 | 0 | 0.0 | 36M| 668 | - |1086 | 622 | 0 | 0 | 0 |2169 | 0 | 9.800000e+01 | 4.902000e+03 |4902.04%
42.79/42.90 c 41.4s| 80000 | 78990 | 0 | 0.0 | 40M| 668 | - |1086 | 574 | 0 | 0 | 0 |2263 | 0 | 1.030000e+02 | 4.902000e+03 |4659.22%
48.08/48.14 c 46.4s| 90000 | 88969 | 0 | 0.0 | 45M| 668 | - |1086 | 525 | 0 | 0 | 0 |2302 | 0 | 1.090000e+02 | 4.902000e+03 |4397.25%
53.38/53.40 c 51.5s|100000 | 98925 | 0 | 0.0 | 50M| 668 | - |1086 | 538 | 0 | 0 | 0 |2380 | 0 | 1.130000e+02 | 4.902000e+03 |4238.05%
58.47/58.57 c 56.5s|110000 |108905 | 0 | 0.0 | 55M| 668 | - |1086 | 510 | 0 | 0 | 0 |2428 | 0 | 1.180000e+02 | 4.902000e+03 |4054.24%
63.57/63.62 c 61.3s|120000 |118892 | 0 | 0.0 | 59M| 668 | - |1086 | 481 | 0 | 0 | 0 |2448 | 0 | 1.210000e+02 | 4.902000e+03 |3951.24%
68.68/68.72 c 66.2s|130000 |128849 | 0 | 0.0 | 64M| 668 | - |1086 | 497 | 0 | 0 | 0 |2509 | 0 | 1.280000e+02 | 4.902000e+03 |3729.69%
73.77/73.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.77/73.80 c 71.1s|140000 |138815 | 0 | 0.0 | 69M| 668 | - |1086 | 502 | 0 | 0 | 0 |2557 | 0 | 1.330000e+02 | 4.902000e+03 |3585.71%
78.77/78.85 c 76.0s|150000 |148802 | 0 | 0.0 | 73M| 668 | - |1086 | 469 | 0 | 0 | 0 |2578 | 0 | 1.350000e+02 | 4.902000e+03 |3531.11%
83.87/83.95 c 80.9s|160000 |158771 | 0 | 0.0 | 78M| 668 | - |1086 | 460 | 0 | 0 | 0 |2612 | 0 | 1.380000e+02 | 4.902000e+03 |3452.17%
88.87/88.99 c 85.8s|170000 |168761 | 0 | 0.0 | 82M| 668 | - |1086 | 433 | 0 | 0 | 0 |2624 | 0 | 1.400000e+02 | 4.902000e+03 |3401.43%
93.97/94.07 c 90.7s|180000 |178753 | 0 | 0.0 | 86M| 668 | - |1086 | 423 | 0 | 0 | 0 |2640 | 0 | 1.410000e+02 | 4.902000e+03 |3376.60%
99.07/99.11 c 95.6s|190000 |188733 | 0 | 0.0 | 90M| 668 | - |1086 | 428 | 0 | 0 | 0 |2675 | 0 | 1.430000e+02 | 4.902000e+03 |3327.97%
104.07/104.18 c 100s|200000 |198709 | 0 | 0.0 | 94M| 668 | - |1086 | 427 | 0 | 0 | 0 |2704 | 0 | 1.450000e+02 | 4.902000e+03 |3280.69%
109.06/109.17 c 105s|210000 |208695 | 0 | 0.0 | 99M| 668 | - |1086 | 443 | 0 | 0 | 0 |2747 | 0 | 1.460000e+02 | 4.902000e+03 |3257.53%
114.07/114.19 c 110s|220000 |218681 | 0 | 0.0 | 103M| 668 | - |1086 | 428 | 0 | 0 | 0 |2776 | 0 | 1.480000e+02 | 4.902000e+03 |3212.16%
119.06/119.19 c 115s|230000 |228671 | 0 | 0.0 | 107M| 668 | - |1086 | 411 | 0 | 0 | 0 |2786 | 0 | 1.490000e+02 | 4.902000e+03 |3189.93%
124.16/124.21 c 120s|240000 |238653 | 0 | 0.0 | 111M| 668 | - |1086 | 427 | 0 | 0 | 0 |2833 | 0 | 1.500000e+02 | 4.902000e+03 |3168.00%
129.16/129.29 c 125s|250000 |248627 | 0 | 0.0 | 116M| 668 | - |1086 | 420 | 0 | 0 | 0 |2871 | 0 | 1.520000e+02 | 4.902000e+03 |3125.00%
134.16/134.22 c 129s|260000 |258625 | 0 | 0.0 | 120M| 668 | - |1086 | 385 | 0 | 0 | 0 |2875 | 0 | 1.520000e+02 | 4.902000e+03 |3125.00%
139.16/139.20 c 134s|270000 |268613 | 0 | 0.0 | 124M| 668 | - |1086 | 370 | 0 | 0 | 0 |2884 | 0 | 1.530000e+02 | 4.902000e+03 |3103.92%
144.06/144.17 c 139s|280000 |278607 | 0 | 0.0 | 128M| 668 | - |1086 | 361 | 0 | 0 | 0 |2890 | 0 | 1.540000e+02 | 4.902000e+03 |3083.12%
149.05/149.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.05/149.17 c 144s|290000 |288601 | 0 | 0.0 | 133M| 668 | - |1086 | 356 | 0 | 0 | 0 |2897 | 0 | 1.550000e+02 | 4.902000e+03 |3062.58%
154.05/154.16 c 149s|300000 |298590 | 0 | 0.0 | 137M| 668 | - |1086 | 355 | 0 | 0 | 0 |2919 | 0 | 1.560000e+02 | 4.902000e+03 |3042.31%
159.05/159.17 c 153s|310000 |308565 | 0 | 0.0 | 141M| 668 | - |1086 | 346 | 0 | 0 | 0 |2957 | 0 | 1.570000e+02 | 4.902000e+03 |3022.29%
164.14/164.20 c 158s|320000 |318521 | 0 | 0.0 | 145M| 668 | - |1086 | 392 | 0 | 0 | 0 |3032 | 0 | 1.580000e+02 | 4.902000e+03 |3002.53%
169.13/169.27 o 4300
169.13/169.27 c * 163s|329922 |328415 | 0 | 0.0 | 150M| 668 | - |1086 | 383 | 0 | 0 | 0 |3071 | 0 | 1.590000e+02 | 4.300000e+03 |2604.40%
169.24/169.33 c 163s|330000 |328491 | 0 | 0.0 | 150M| 668 | - |1086 | 383 | 0 | 0 | 0 |3072 | 0 | 1.590000e+02 | 4.300000e+03 |2604.40%
174.33/174.44 c 168s|340000 |338468 | 0 | 0.0 | 154M| 668 | - |1086 | 380 | 0 | 0 | 0 |3115 | 0 | 1.590000e+02 | 4.300000e+03 |2604.40%
179.43/179.57 c 173s|350000 |348431 | 0 | 0.0 | 158M| 668 | - |1086 | 401 | 0 | 0 | 0 |3179 | 0 | 1.600000e+02 | 4.300000e+03 |2587.50%
184.52/184.69 c 178s|360000 |358386 | 0 | 0.0 | 163M| 668 | - |1086 | 469 | 0 | 0 | 0 |3277 | 0 | 1.610000e+02 | 4.300000e+03 |2570.81%
189.62/189.78 c 183s|370000 |368337 | 0 | 0.0 | 167M| 668 | - |1086 | 476 | 0 | 0 | 0 |3371 | 0 | 1.620000e+02 | 4.300000e+03 |2554.32%
194.73/194.86 c 188s|380000 |378285 | 0 | 0.0 | 172M| 668 | - |1086 | 495 | 0 | 0 | 0 |3501 | 0 | 1.630000e+02 | 4.300000e+03 |2538.04%
199.82/199.99 c 193s|390000 |388252 | 0 | 0.0 | 177M| 668 | - |1086 | 493 | 0 | 0 | 0 |3579 | 0 | 1.640000e+02 | 4.300000e+03 |2521.95%
204.92/205.05 c 198s|400000 |398210 | 0 | 0.0 | 181M| 668 | - |1086 | 472 | 0 | 0 | 0 |3631 | 0 | 1.650000e+02 | 4.300000e+03 |2506.06%
210.03/210.14 c 203s|410000 |408175 | 0 | 0.0 | 186M| 668 | - |1086 | 474 | 0 | 0 | 0 |3696 | 0 | 1.660000e+02 | 4.300000e+03 |2490.36%
215.22/215.31 c 208s|420000 |418103 | 0 | 0.0 | 191M| 668 | - |1086 | 518 | 0 | 0 | 0 |3812 | 0 | 1.680000e+02 | 4.300000e+03 |2459.52%
220.32/220.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.32/220.45 c 213s|430000 |428038 | 0 | 0.0 | 196M| 668 | - |1086 | 504 | 0 | 0 | 0 |3925 | 0 | 1.690000e+02 | 4.300000e+03 |2444.38%
225.42/225.54 c 217s|440000 |438009 | 0 | 0.0 | 200M| 668 | - |1086 | 483 | 0 | 0 | 0 |3983 | 0 | 1.700000e+02 | 4.300000e+03 |2429.41%
230.41/230.55 c 222s|450000 |447987 | 0 | 0.0 | 205M| 668 | - |1086 | 506 | 0 | 0 | 0 |4051 | 0 | 1.710000e+02 | 4.300000e+03 |2414.62%
235.51/235.61 c 227s|460000 |457957 | 0 | 0.0 | 209M| 668 | - |1086 | 487 | 0 | 0 | 0 |4099 | 0 | 1.730000e+02 | 4.300000e+03 |2385.55%
240.61/240.72 c 232s|470000 |467926 | 0 | 0.0 | 214M| 668 | - |1086 | 453 | 0 | 0 | 0 |4144 | 0 | 1.740000e+02 | 4.300000e+03 |2371.26%
245.71/245.81 c 237s|480000 |477908 | 0 | 0.0 | 218M| 668 | - |1086 | 457 | 0 | 0 | 0 |4179 | 0 | 1.750000e+02 | 4.300000e+03 |2357.14%
250.81/250.95 c 242s|490000 |487884 | 0 | 0.0 | 223M| 668 | - |1086 | 450 | 0 | 0 | 0 |4207 | 0 | 1.770000e+02 | 4.300000e+03 |2329.38%
255.91/256.04 c 247s|500000 |497859 | 0 | 0.0 | 227M| 668 | - |1086 | 440 | 0 | 0 | 0 |4248 | 0 | 1.780000e+02 | 4.300000e+03 |2315.73%
260.90/261.08 c 252s|510000 |507800 | 0 | 0.0 | 231M| 668 | - |1086 | 496 | 0 | 0 | 0 |4364 | 0 | 1.790000e+02 | 4.300000e+03 |2302.23%
265.90/266.09 c 257s|520000 |517773 | 0 | 0.0 | 236M| 668 | - |1086 | 494 | 0 | 0 | 0 |4421 | 0 | 1.800000e+02 | 4.300000e+03 |2288.89%
271.01/271.13 c 261s|530000 |527747 | 0 | 0.0 | 240M| 668 | - |1086 | 472 | 0 | 0 | 0 |4475 | 0 | 1.810000e+02 | 4.300000e+03 |2275.69%
276.01/276.17 c 266s|540000 |537709 | 0 | 0.0 | 244M| 668 | - |1086 | 492 | 0 | 0 | 0 |4539 | 0 | 1.820000e+02 | 4.300000e+03 |2262.64%
281.20/281.30 c 271s|550000 |547654 | 0 | 0.0 | 249M| 668 | - |1086 | 542 | 0 | 0 | 0 |4715 | 0 | 1.830000e+02 | 4.300000e+03 |2249.73%
286.30/286.50 c 276s|560000 |557597 | 0 | 0.0 | 253M| 668 | - |1086 | 545 | 0 | 0 | 0 |4827 | 0 | 1.840000e+02 | 4.300000e+03 |2236.96%
291.49/291.61 c 281s|570000 |567559 | 0 | 0.0 | 258M| 668 | - |1086 | 508 | 0 | 0 | 0 |4905 | 0 | 1.860000e+02 | 4.300000e+03 |2211.83%
296.59/296.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.59/296.74 c 286s|580000 |577485 | 0 | 0.0 | 262M| 668 | - |1086 | 543 | 0 | 0 | 0 |5059 | 0 | 1.870000e+02 | 4.300000e+03 |2199.47%
301.80/301.99 c 291s|590000 |587434 | 0 | 0.0 | 266M| 668 | - |1086 | 519 | 0 | 0 | 0 |5154 | 0 | 1.870000e+02 | 4.300000e+03 |2199.47%
307.19/307.30 c 296s|600000 |597366 | 0 | 0.0 | 271M| 668 | - |1086 | 527 | 0 | 0 | 0 |5281 | 0 | 1.880000e+02 | 4.300000e+03 |2187.23%
312.30/312.40 c 301s|610000 |607309 | 0 | 0.0 | 275M| 668 | - |1086 | 539 | 0 | 0 | 0 |5365 | 0 | 1.890000e+02 | 4.300000e+03 |2175.13%
317.29/317.49 c 306s|620000 |617253 | 0 | 0.0 | 280M| 668 | - |1086 | 578 | 0 | 0 | 0 |5467 | 0 | 1.900000e+02 | 4.300000e+03 |2163.16%
322.59/322.70 c 311s|630000 |627189 | 0 | 0.0 | 284M| 668 | - |1086 | 583 | 0 | 0 | 0 |5573 | 0 | 1.900000e+02 | 4.300000e+03 |2163.16%
327.79/327.93 c 316s|640000 |637113 | 0 | 0.0 | 289M| 668 | - |1086 | 589 | 0 | 0 | 0 |5710 | 0 | 1.910000e+02 | 4.300000e+03 |2151.31%
332.89/333.07 c 321s|650000 |647044 | 0 | 0.0 | 293M| 668 | - |1086 | 618 | 0 | 0 | 0 |5838 | 0 | 1.920000e+02 | 4.300000e+03 |2139.58%
337.99/338.18 c 326s|660000 |656972 | 0 | 0.0 | 297M| 668 | - |1086 | 624 | 0 | 0 | 0 |5959 | 0 | 1.930000e+02 | 4.300000e+03 |2127.98%
343.18/343.30 c 331s|670000 |666903 | 0 | 0.0 | 302M| 668 | - |1086 | 664 | 0 | 0 | 0 |6085 | 0 | 1.930000e+02 | 4.300000e+03 |2127.98%
348.28/348.44 c 336s|680000 |676850 | 0 | 0.0 | 306M| 668 | - |1086 | 691 | 0 | 0 | 0 |6208 | 0 | 1.940000e+02 | 4.300000e+03 |2116.49%
353.38/353.58 c 341s|690000 |686748 | 0 | 0.0 | 311M| 668 | - |1086 | 746 | 0 | 0 | 0 |6403 | 0 | 1.940000e+02 | 4.300000e+03 |2116.49%
358.58/358.73 c 346s|700000 |696656 | 0 | 0.0 | 316M| 668 | - |1086 | 803 | 0 | 0 | 0 |6574 | 0 | 1.950000e+02 | 4.300000e+03 |2105.13%
363.77/363.93 c 351s|710000 |706566 | 0 | 0.0 | 320M| 668 | - |1086 | 782 | 0 | 0 | 0 |6748 | 0 | 1.960000e+02 | 4.300000e+03 |2093.88%
368.87/369.06 c 356s|720000 |716436 | 0 | 0.0 | 325M| 668 | - |1086 | 829 | 0 | 0 | 0 |7012 | 0 | 1.970000e+02 | 4.300000e+03 |2082.74%
374.07/374.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
374.07/374.20 c 361s|730000 |726387 | 0 | 0.0 | 330M| 668 | - |1086 | 756 | 0 | 0 | 0 |7104 | 0 | 1.980000e+02 | 4.300000e+03 |2071.72%
379.17/379.35 c 366s|740000 |736337 | 0 | 0.0 | 335M| 668 | - |1086 | 743 | 0 | 0 | 0 |7216 | 0 | 1.980000e+02 | 4.300000e+03 |2071.72%
385.47/385.60 c 372s|750000 |746281 | 0 | 0.0 | 339M| 668 | - |1086 | 397 | 0 | 0 | 0 |7309 | 0 | 1.990000e+02 | 4.300000e+03 |2060.80%
391.67/391.80 c 378s|760000 |756124 | 0 | 0.0 | 344M| 668 | - |1086 | 413 | 0 | 0 | 0 |7539 | 0 | 2.000000e+02 | 4.300000e+03 |2050.00%
397.37/397.54 c 383s|770000 |766089 | 0 | 0.0 | 348M| 668 | - |1086 | 349 | 0 | 0 | 0 |7606 | 0 | 2.000000e+02 | 4.300000e+03 |2050.00%
402.97/403.12 c 389s|780000 |776048 | 0 | 0.0 | 353M| 668 | - |1086 | 364 | 0 | 0 | 0 |7682 | 0 | 2.000000e+02 | 4.300000e+03 |2050.00%
408.77/408.91 c 394s|790000 |785916 | 0 | 0.0 | 358M| 668 | - |1086 | 413 | 0 | 0 | 0 |7896 | 0 | 2.010000e+02 | 4.300000e+03 |2039.30%
414.16/414.36 c 400s|800000 |795865 | 0 | 0.0 | 362M| 668 | - |1086 | 403 | 0 | 0 | 0 |8014 | 0 | 2.010000e+02 | 4.300000e+03 |2039.30%
419.77/419.98 c 405s|810000 |805816 | 0 | 0.0 | 367M| 668 | - |1086 | 396 | 0 | 0 | 0 |8115 | 0 | 2.020000e+02 | 4.300000e+03 |2028.71%
425.26/425.49 c 410s|820000 |815755 | 0 | 0.0 | 371M| 668 | - |1086 | 391 | 0 | 0 | 0 |8223 | 0 | 2.020000e+02 | 4.300000e+03 |2028.71%
431.07/431.23 c 416s|830000 |825589 | 0 | 0.0 | 376M| 668 | - |1086 | 517 | 0 | 0 | 0 |8569 | 0 | 2.030000e+02 | 4.300000e+03 |2018.23%
436.57/436.79 c 421s|840000 |835543 | 0 | 0.0 | 380M| 668 | - |1086 | 444 | 0 | 0 | 0 |8676 | 0 | 2.030000e+02 | 4.300000e+03 |2018.23%
441.96/442.14 c 426s|850000 |845503 | 0 | 0.0 | 385M| 668 | - |1086 | 478 | 0 | 0 | 0 |8772 | 0 | 2.030000e+02 | 4.300000e+03 |2018.23%
447.46/447.70 c 432s|860000 |855432 | 0 | 0.0 | 389M| 668 | - |1086 | 429 | 0 | 0 | 0 |8888 | 0 | 2.040000e+02 | 4.300000e+03 |2007.84%
452.86/453.03 c 437s|870000 |865391 | 0 | 0.0 | 394M| 668 | - |1086 | 451 | 0 | 0 | 0 |8971 | 0 | 2.040000e+02 | 4.300000e+03 |2007.84%
458.25/458.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
458.25/458.46 c 442s|880000 |875304 | 0 | 0.0 | 398M| 668 | - |1086 | 469 | 0 | 0 | 0 |9134 | 0 | 2.050000e+02 | 4.300000e+03 |1997.56%
463.75/463.99 c 448s|890000 |885200 | 0 | 0.0 | 403M| 668 | - |1086 | 459 | 0 | 0 | 0 |9304 | 0 | 2.060000e+02 | 4.300000e+03 |1987.38%
469.25/469.42 c 453s|900000 |895077 | 0 | 0.0 | 408M| 668 | - |1086 | 578 | 0 | 0 | 0 |9546 | 0 | 2.070000e+02 | 4.300000e+03 |1977.29%
474.55/474.72 c 458s|910000 |905051 | 0 | 0.0 | 412M| 668 | - |1086 | 478 | 0 | 0 | 0 |9601 | 0 | 2.070000e+02 | 4.300000e+03 |1977.29%
479.84/480.03 c 463s|920000 |914941 | 0 | 0.0 | 417M| 668 | - |1086 | 515 | 0 | 0 | 0 |9797 | 0 | 2.080000e+02 | 4.300000e+03 |1967.31%
485.35/485.57 c 468s|930000 |924829 | 0 | 0.0 | 422M| 668 | - |1086 | 492 | 0 | 0 | 0 |9987 | 0 | 2.090000e+02 | 4.300000e+03 |1957.42%
490.74/490.96 c 474s|940000 |934694 | 0 | 0.0 | 427M| 668 | - |1086 | 594 | 0 | 0 | 0 | 10k| 0 | 2.100000e+02 | 4.300000e+03 |1947.62%
496.04/496.24 c 479s|950000 |944655 | 0 | 0.0 | 431M| 668 | - |1086 | 490 | 0 | 0 | 0 | 10k| 0 | 2.100000e+02 | 4.300000e+03 |1947.62%
501.44/501.63 c 484s|960000 |954525 | 0 | 0.0 | 436M| 668 | - |1086 | 561 | 0 | 0 | 0 | 10k| 0 | 2.100000e+02 | 4.300000e+03 |1947.62%
506.74/506.94 c 489s|970000 |964445 | 0 | 0.0 | 440M| 668 | - |1086 | 523 | 0 | 0 | 0 | 10k| 0 | 2.110000e+02 | 4.300000e+03 |1937.91%
511.94/512.15 c 494s|980000 |974330 | 0 | 0.0 | 445M| 668 | - |1086 | 628 | 0 | 0 | 0 | 11k| 0 | 2.110000e+02 | 4.300000e+03 |1937.91%
517.34/517.58 c 499s|990000 |984244 | 0 | 0.0 | 450M| 668 | - |1086 | 565 | 0 | 0 | 0 | 11k| 0 | 2.120000e+02 | 4.300000e+03 |1928.30%
522.54/522.71 c 504s| 1000k|994178 | 0 | 0.0 | 454M| 668 | - |1086 | 584 | 0 | 0 | 0 | 11k| 0 | 2.120000e+02 | 4.300000e+03 |1928.30%
527.84/528.02 c 509s| 1010k| 1004k| 0 | 0.0 | 459M| 668 | - |1086 | 515 | 0 | 0 | 0 | 11k| 0 | 2.130000e+02 | 4.300000e+03 |1918.78%
533.03/533.25 c 514s| 1020k| 1014k| 0 | 0.0 | 464M| 668 | - |1086 | 613 | 0 | 0 | 0 | 11k| 0 | 2.130000e+02 | 4.300000e+03 |1918.78%
538.43/538.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.43/538.68 c 520s| 1030k| 1023k| 0 | 0.0 | 468M| 668 | - |1086 | 545 | 0 | 0 | 0 | 11k| 0 | 2.140000e+02 | 4.300000e+03 |1909.35%
543.63/543.87 c 525s| 1040k| 1033k| 0 | 0.0 | 473M| 668 | - |1086 | 520 | 0 | 0 | 0 | 12k| 0 | 2.140000e+02 | 4.300000e+03 |1909.35%
548.93/549.20 c 530s| 1050k| 1043k| 0 | 0.0 | 477M| 668 | - |1086 | 544 | 0 | 0 | 0 | 12k| 0 | 2.150000e+02 | 4.300000e+03 |1900.00%
554.24/554.43 c 535s| 1060k| 1053k| 0 | 0.0 | 482M| 668 | - |1086 | 659 | 0 | 0 | 0 | 12k| 0 | 2.150000e+02 | 4.300000e+03 |1900.00%
559.52/559.75 c 540s| 1070k| 1063k| 0 | 0.0 | 486M| 668 | - |1086 | 684 | 0 | 0 | 0 | 12k| 0 | 2.160000e+02 | 4.300000e+03 |1890.74%
564.82/565.07 c 545s| 1080k| 1073k| 0 | 0.0 | 491M| 668 | - |1086 | 639 | 0 | 0 | 0 | 12k| 0 | 2.160000e+02 | 4.300000e+03 |1890.74%
570.13/570.31 c 550s| 1090k| 1083k| 0 | 0.0 | 496M| 668 | - |1086 | 844 | 0 | 0 | 0 | 13k| 0 | 2.170000e+02 | 4.300000e+03 |1881.57%
575.42/575.62 c 555s| 1100k| 1093k| 0 | 0.0 | 500M| 668 | - |1086 | 594 | 0 | 0 | 0 | 13k| 0 | 2.170000e+02 | 4.300000e+03 |1881.57%
580.63/580.83 c 560s| 1110k| 1103k| 0 | 0.0 | 504M| 668 | - |1086 | 611 | 0 | 0 | 0 | 13k| 0 | 2.170000e+02 | 4.300000e+03 |1881.57%
585.72/585.94 c 565s| 1120k| 1113k| 0 | 0.0 | 509M| 668 | - |1086 | 787 | 0 | 0 | 0 | 13k| 0 | 2.170000e+02 | 4.300000e+03 |1881.57%
591.01/591.22 c 570s| 1130k| 1123k| 0 | 0.0 | 513M| 668 | - |1086 | 631 | 0 | 0 | 0 | 13k| 0 | 2.180000e+02 | 4.300000e+03 |1872.48%
596.11/596.34 c 575s| 1140k| 1132k| 0 | 0.0 | 518M| 668 | - |1086 | 715 | 0 | 0 | 0 | 14k| 0 | 2.180000e+02 | 4.300000e+03 |1872.48%
601.52/601.71 c 580s| 1150k| 1142k| 0 | 0.0 | 522M| 668 | - |1086 | 682 | 0 | 0 | 0 | 14k| 0 | 2.190000e+02 | 4.300000e+03 |1863.47%
606.72/606.98 c 585s| 1160k| 1152k| 0 | 0.0 | 527M| 668 | - |1086 | 605 | 0 | 0 | 0 | 14k| 0 | 2.190000e+02 | 4.300000e+03 |1863.47%
611.81/612.10 c 590s| 1170k| 1162k| 0 | 0.0 | 531M| 668 | - |1086 | 729 | 0 | 0 | 0 | 14k| 0 | 2.190000e+02 | 4.300000e+03 |1863.47%
617.31/617.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.31/617.50 c 596s| 1180k| 1172k| 0 | 0.0 | 536M| 668 | - |1086 | 722 | 0 | 0 | 0 | 14k| 0 | 2.200000e+02 | 4.300000e+03 |1854.55%
622.51/622.76 c 601s| 1190k| 1182k| 0 | 0.0 | 540M| 668 | - |1086 | 718 | 0 | 0 | 0 | 15k| 0 | 2.200000e+02 | 4.300000e+03 |1854.55%
627.82/628.00 c 606s| 1200k| 1192k| 0 | 0.0 | 545M| 668 | - |1086 | 773 | 0 | 0 | 0 | 15k| 0 | 2.200000e+02 | 4.300000e+03 |1854.55%
633.21/633.43 c 611s| 1210k| 1202k| 0 | 0.0 | 549M| 668 | - |1086 | 629 | 0 | 0 | 0 | 15k| 0 | 2.210000e+02 | 4.300000e+03 |1845.70%
638.41/638.66 c 616s| 1220k| 1212k| 0 | 0.0 | 554M| 668 | - |1086 | 659 | 0 | 0 | 0 | 15k| 0 | 2.210000e+02 | 4.300000e+03 |1845.70%
643.80/644.01 c 621s| 1230k| 1222k| 0 | 0.0 | 559M| 668 | - |1086 | 692 | 0 | 0 | 0 | 15k| 0 | 2.210000e+02 | 4.300000e+03 |1845.70%
649.20/649.44 c 626s| 1240k| 1231k| 0 | 0.0 | 563M| 668 | - |1086 | 608 | 0 | 0 | 0 | 15k| 0 | 2.220000e+02 | 4.300000e+03 |1836.94%
654.31/654.57 c 631s| 1250k| 1241k| 0 | 0.0 | 568M| 668 | - |1086 | 602 | 0 | 0 | 0 | 15k| 0 | 2.220000e+02 | 4.300000e+03 |1836.94%
659.60/659.80 c 636s| 1260k| 1251k| 0 | 0.0 | 572M| 668 | - |1086 | 716 | 0 | 0 | 0 | 16k| 0 | 2.220000e+02 | 4.300000e+03 |1836.94%
665.00/665.24 c 642s| 1270k| 1261k| 0 | 0.0 | 577M| 668 | - |1086 | 649 | 0 | 0 | 0 | 16k| 0 | 2.230000e+02 | 4.300000e+03 |1828.25%
670.29/670.54 c 647s| 1280k| 1271k| 0 | 0.0 | 582M| 668 | - |1086 | 618 | 0 | 0 | 0 | 16k| 0 | 2.230000e+02 | 4.300000e+03 |1828.25%
675.50/675.75 c 652s| 1290k| 1281k| 0 | 0.0 | 586M| 668 | - |1086 | 719 | 0 | 0 | 0 | 16k| 0 | 2.230000e+02 | 4.300000e+03 |1828.25%
680.99/681.25 c 657s| 1300k| 1291k| 0 | 0.0 | 591M| 668 | - |1086 | 714 | 0 | 0 | 0 | 17k| 0 | 2.240000e+02 | 4.300000e+03 |1819.64%
686.20/686.47 c 662s| 1310k| 1301k| 0 | 0.0 | 596M| 668 | - |1086 | 688 | 0 | 0 | 0 | 17k| 0 | 2.240000e+02 | 4.300000e+03 |1819.64%
691.49/691.76 c 667s| 1320k| 1311k| 0 | 0.0 | 601M| 668 | - |1086 | 828 | 0 | 0 | 0 | 17k| 0 | 2.240000e+02 | 4.300000e+03 |1819.64%
696.88/697.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.88/697.14 c 672s| 1330k| 1321k| 0 | 0.0 | 605M| 668 | - |1086 | 693 | 0 | 0 | 0 | 17k| 0 | 2.250000e+02 | 4.300000e+03 |1811.11%
702.09/702.34 c 678s| 1340k| 1331k| 0 | 0.0 | 610M| 668 | - |1086 | 658 | 0 | 0 | 0 | 17k| 0 | 2.250000e+02 | 4.300000e+03 |1811.11%
707.29/707.51 c 682s| 1350k| 1340k| 0 | 0.0 | 614M| 668 | - |1086 | 731 | 0 | 0 | 0 | 17k| 0 | 2.260000e+02 | 4.300000e+03 |1802.65%
712.59/712.87 c 688s| 1360k| 1350k| 0 | 0.0 | 619M| 668 | - |1086 | 650 | 0 | 0 | 0 | 18k| 0 | 2.260000e+02 | 4.300000e+03 |1802.65%
717.79/718.05 c 693s| 1370k| 1360k| 0 | 0.0 | 623M| 668 | - |1086 | 668 | 0 | 0 | 0 | 18k| 0 | 2.260000e+02 | 4.300000e+03 |1802.65%
723.18/723.43 c 698s| 1380k| 1370k| 0 | 0.0 | 628M| 668 | - |1086 | 728 | 0 | 0 | 0 | 18k| 0 | 2.270000e+02 | 4.300000e+03 |1794.27%
728.48/728.80 c 703s| 1390k| 1380k| 0 | 0.0 | 633M| 668 | - |1086 | 655 | 0 | 0 | 0 | 18k| 0 | 2.270000e+02 | 4.300000e+03 |1794.27%
733.77/734.01 c 708s| 1400k| 1390k| 0 | 0.0 | 637M| 668 | - |1086 | 750 | 0 | 0 | 0 | 18k| 0 | 2.270000e+02 | 4.300000e+03 |1794.27%
739.28/739.53 c 713s| 1410k| 1400k| 0 | 0.0 | 642M| 668 | - |1086 | 638 | 0 | 0 | 0 | 19k| 0 | 2.280000e+02 | 4.300000e+03 |1785.96%
744.58/744.85 c 718s| 1420k| 1410k| 0 | 0.0 | 646M| 668 | - |1086 | 655 | 0 | 0 | 0 | 19k| 0 | 2.280000e+02 | 4.300000e+03 |1785.96%
749.88/750.11 c 724s| 1430k| 1420k| 0 | 0.0 | 651M| 668 | - |1086 | 822 | 0 | 0 | 0 | 19k| 0 | 2.280000e+02 | 4.300000e+03 |1785.96%
755.38/755.66 c 729s| 1440k| 1430k| 0 | 0.0 | 656M| 668 | - |1086 | 736 | 0 | 0 | 0 | 19k| 0 | 2.290000e+02 | 4.300000e+03 |1777.73%
760.68/760.96 c 734s| 1450k| 1440k| 0 | 0.0 | 660M| 668 | - |1086 | 687 | 0 | 0 | 0 | 20k| 0 | 2.290000e+02 | 4.300000e+03 |1777.73%
765.87/766.18 c 739s| 1460k| 1449k| 0 | 0.0 | 665M| 668 | - |1086 | 816 | 0 | 0 | 0 | 20k| 0 | 2.290000e+02 | 4.300000e+03 |1777.73%
771.36/771.64 c 744s| 1470k| 1459k| 0 | 0.0 | 670M| 668 | - |1086 | 907 | 0 | 0 | 0 | 20k| 0 | 2.300000e+02 | 4.300000e+03 |1769.57%
776.77/777.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
776.77/777.05 c 750s| 1480k| 1469k| 0 | 0.0 | 674M| 668 | - |1086 | 692 | 0 | 0 | 0 | 20k| 0 | 2.300000e+02 | 4.300000e+03 |1769.57%
782.06/782.38 c 755s| 1490k| 1479k| 0 | 0.0 | 679M| 668 | - |1086 | 646 | 0 | 0 | 0 | 21k| 0 | 2.300000e+02 | 4.300000e+03 |1769.57%
787.27/787.56 c 760s| 1500k| 1489k| 0 | 0.0 | 684M| 668 | - |1086 | 786 | 0 | 0 | 0 | 21k| 0 | 2.300000e+02 | 4.300000e+03 |1769.57%
792.77/793.02 c 765s| 1510k| 1499k| 0 | 0.0 | 688M| 668 | - |1086 | 721 | 0 | 0 | 0 | 21k| 0 | 2.310000e+02 | 4.300000e+03 |1761.47%
797.96/798.28 c 770s| 1520k| 1509k| 0 | 0.0 | 693M| 668 | - |1086 | 769 | 0 | 0 | 0 | 21k| 0 | 2.310000e+02 | 4.300000e+03 |1761.47%
803.36/803.68 c 775s| 1530k| 1519k| 0 | 0.0 | 697M| 668 | - |1086 | 765 | 0 | 0 | 0 | 22k| 0 | 2.320000e+02 | 4.300000e+03 |1753.45%
808.75/809.07 c 781s| 1540k| 1528k| 0 | 0.0 | 702M| 668 | - |1086 | 678 | 0 | 0 | 0 | 22k| 0 | 2.320000e+02 | 4.300000e+03 |1753.45%
814.06/814.39 c 786s| 1550k| 1538k| 0 | 0.0 | 706M| 668 | - |1086 | 662 | 0 | 0 | 0 | 22k| 0 | 2.320000e+02 | 4.300000e+03 |1753.45%
819.35/819.68 c 791s| 1560k| 1548k| 0 | 0.0 | 711M| 668 | - |1086 | 813 | 0 | 0 | 0 | 22k| 0 | 2.320000e+02 | 4.300000e+03 |1753.45%
824.76/825.05 c 796s| 1570k| 1558k| 0 | 0.0 | 716M| 668 | - |1086 | 860 | 0 | 0 | 0 | 22k| 0 | 2.330000e+02 | 4.300000e+03 |1745.49%
830.16/830.42 c 801s| 1580k| 1568k| 0 | 0.0 | 720M| 668 | - |1086 | 642 | 0 | 0 | 0 | 23k| 0 | 2.330000e+02 | 4.300000e+03 |1745.49%
835.45/835.70 c 806s| 1590k| 1578k| 0 | 0.0 | 724M| 668 | - |1086 | 620 | 0 | 0 | 0 | 23k| 0 | 2.330000e+02 | 4.300000e+03 |1745.49%
840.55/840.81 c 811s| 1600k| 1588k| 0 | 0.0 | 728M| 668 | - |1086 | 627 | 0 | 0 | 0 | 23k| 0 | 2.330000e+02 | 4.300000e+03 |1745.49%
845.66/845.95 c 816s| 1610k| 1598k| 0 | 0.0 | 732M| 668 | - |1086 | 766 | 0 | 0 | 0 | 23k| 0 | 2.330000e+02 | 4.300000e+03 |1745.49%
851.06/851.35 c 821s| 1620k| 1608k| 0 | 0.0 | 737M| 668 | - |1086 | 761 | 0 | 0 | 0 | 23k| 0 | 2.340000e+02 | 4.300000e+03 |1737.61%
856.35/856.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.35/856.63 c 826s| 1630k| 1618k| 0 | 0.0 | 741M| 668 | - |1086 | 662 | 0 | 0 | 0 | 23k| 0 | 2.340000e+02 | 4.300000e+03 |1737.61%
861.64/861.95 c 832s| 1640k| 1628k| 0 | 0.0 | 746M| 668 | - |1086 | 669 | 0 | 0 | 0 | 23k| 0 | 2.340000e+02 | 4.300000e+03 |1737.61%
866.74/867.09 c 837s| 1650k| 1638k| 0 | 0.0 | 750M| 668 | - |1086 | 684 | 0 | 0 | 0 | 24k| 0 | 2.340000e+02 | 4.300000e+03 |1737.61%
871.95/872.20 c 841s| 1660k| 1648k| 0 | 0.0 | 755M| 668 | - |1086 | 724 | 0 | 0 | 0 | 24k| 0 | 2.340000e+02 | 4.300000e+03 |1737.61%
877.34/877.67 c 847s| 1670k| 1657k| 0 | 0.0 | 760M| 668 | - |1086 | 737 | 0 | 0 | 0 | 24k| 0 | 2.350000e+02 | 4.300000e+03 |1729.79%
882.64/882.91 c 852s| 1680k| 1667k| 0 | 0.0 | 764M| 668 | - |1086 | 694 | 0 | 0 | 0 | 24k| 0 | 2.350000e+02 | 4.300000e+03 |1729.79%
887.84/888.14 c 857s| 1690k| 1677k| 0 | 0.0 | 769M| 668 | - |1086 | 729 | 0 | 0 | 0 | 24k| 0 | 2.350000e+02 | 4.300000e+03 |1729.79%
893.04/893.37 c 862s| 1700k| 1687k| 0 | 0.0 | 774M| 668 | - |1086 | 786 | 0 | 0 | 0 | 24k| 0 | 2.350000e+02 | 4.300000e+03 |1729.79%
898.44/898.72 c 867s| 1710k| 1697k| 0 | 0.0 | 778M| 668 | - |1086 | 845 | 0 | 0 | 0 | 25k| 0 | 2.360000e+02 | 4.300000e+03 |1722.03%
903.73/904.05 c 872s| 1720k| 1707k| 0 | 0.0 | 783M| 668 | - |1086 | 743 | 0 | 0 | 0 | 25k| 0 | 2.360000e+02 | 4.300000e+03 |1722.03%
909.03/909.35 c 877s| 1730k| 1717k| 0 | 0.0 | 788M| 668 | - |1086 | 757 | 0 | 0 | 0 | 25k| 0 | 2.360000e+02 | 4.300000e+03 |1722.03%
914.33/914.60 c 882s| 1740k| 1727k| 0 | 0.0 | 792M| 668 | - |1086 | 820 | 0 | 0 | 0 | 25k| 0 | 2.360000e+02 | 4.300000e+03 |1722.03%
919.53/919.88 c 888s| 1750k| 1737k| 0 | 0.0 | 797M| 668 | - |1086 | 927 | 0 | 0 | 0 | 25k| 0 | 2.360000e+02 | 4.300000e+03 |1722.03%
925.03/925.36 c 893s| 1760k| 1747k| 0 | 0.0 | 802M| 670 | - |1086 | 730 | 0 | 0 | 0 | 26k| 0 | 2.370000e+02 | 4.300000e+03 |1714.35%
930.33/930.65 c 898s| 1770k| 1757k| 0 | 0.0 | 806M| 670 | - |1086 | 718 | 0 | 0 | 0 | 26k| 0 | 2.370000e+02 | 4.300000e+03 |1714.35%
935.52/935.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.52/935.82 c 903s| 1780k| 1766k| 0 | 0.0 | 810M| 670 | - |1086 | 748 | 0 | 0 | 0 | 26k| 0 | 2.370000e+02 | 4.300000e+03 |1714.35%
940.72/941.00 c 908s| 1790k| 1776k| 0 | 0.0 | 815M| 670 | - |1086 | 819 | 0 | 0 | 0 | 26k| 0 | 2.370000e+02 | 4.300000e+03 |1714.35%
945.92/946.27 c 913s| 1800k| 1786k| 0 | 0.0 | 819M| 670 | - |1086 | 705 | 0 | 0 | 0 | 26k| 0 | 2.380000e+02 | 4.300000e+03 |1706.72%
951.23/951.51 c 918s| 1810k| 1796k| 0 | 0.0 | 823M| 670 | - |1086 | 662 | 0 | 0 | 0 | 26k| 0 | 2.380000e+02 | 4.300000e+03 |1706.72%
956.32/956.65 c 923s| 1820k| 1806k| 0 | 0.0 | 828M| 670 | - |1086 | 657 | 0 | 0 | 0 | 26k| 0 | 2.380000e+02 | 4.300000e+03 |1706.72%
961.42/961.77 c 928s| 1830k| 1816k| 0 | 0.0 | 832M| 670 | - |1086 | 740 | 0 | 0 | 0 | 26k| 0 | 2.380000e+02 | 4.300000e+03 |1706.72%
966.82/967.15 c 933s| 1840k| 1826k| 0 | 0.0 | 836M| 670 | - |1086 | 720 | 0 | 0 | 0 | 26k| 0 | 2.390000e+02 | 4.300000e+03 |1699.16%
972.21/972.52 c 938s| 1850k| 1836k| 0 | 0.0 | 841M| 670 | - |1086 | 668 | 0 | 0 | 0 | 27k| 0 | 2.390000e+02 | 4.300000e+03 |1699.16%
977.41/977.78 c 943s| 1860k| 1846k| 0 | 0.0 | 845M| 670 | - |1086 | 614 | 0 | 0 | 0 | 27k| 0 | 2.390000e+02 | 4.300000e+03 |1699.16%
982.51/982.85 c 948s| 1870k| 1856k| 0 | 0.0 | 849M| 670 | - |1086 | 643 | 0 | 0 | 0 | 27k| 0 | 2.390000e+02 | 4.300000e+03 |1699.16%
987.71/988.02 c 953s| 1880k| 1866k| 0 | 0.0 | 854M| 670 | - |1086 | 801 | 0 | 0 | 0 | 27k| 0 | 2.390000e+02 | 4.300000e+03 |1699.16%
993.11/993.44 c 958s| 1890k| 1876k| 0 | 0.0 | 859M| 670 | - |1086 | 644 | 0 | 0 | 0 | 27k| 0 | 2.400000e+02 | 4.300000e+03 |1691.67%
998.41/998.70 c 964s| 1900k| 1886k| 0 | 0.0 | 863M| 670 | - |1086 | 612 | 0 | 0 | 0 | 27k| 0 | 2.400000e+02 | 4.300000e+03 |1691.67%
1003.71/1004.07 c 969s| 1910k| 1896k| 0 | 0.0 | 867M| 670 | - |1086 | 616 | 0 | 0 | 0 | 27k| 0 | 2.400000e+02 | 4.300000e+03 |1691.67%
1008.80/1009.11 c 974s| 1920k| 1906k| 0 | 0.0 | 872M| 670 | - |1086 | 638 | 0 | 0 | 0 | 27k| 0 | 2.400000e+02 | 4.300000e+03 |1691.67%
1013.81/1014.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.81/1014.17 c 978s| 1930k| 1916k| 0 | 0.0 | 876M| 670 | - |1086 | 663 | 0 | 0 | 0 | 27k| 0 | 2.400000e+02 | 4.300000e+03 |1691.67%
1019.10/1019.44 c 983s| 1940k| 1926k| 0 | 0.0 | 881M| 670 | - |1086 | 669 | 0 | 0 | 0 | 28k| 0 | 2.410000e+02 | 4.300000e+03 |1684.23%
1024.50/1024.84 c 989s| 1950k| 1935k| 0 | 0.0 | 885M| 670 | - |1086 | 613 | 0 | 0 | 0 | 28k| 0 | 2.410000e+02 | 4.300000e+03 |1684.23%
1029.80/1030.12 c 994s| 1960k| 1945k| 0 | 0.0 | 890M| 670 | - |1086 | 610 | 0 | 0 | 0 | 28k| 0 | 2.410000e+02 | 4.300000e+03 |1684.23%
1034.90/1035.25 c 999s| 1970k| 1955k| 0 | 0.0 | 894M| 670 | - |1086 | 591 | 0 | 0 | 0 | 28k| 0 | 2.410000e+02 | 4.300000e+03 |1684.23%
1039.89/1040.21 c 1004s| 1980k| 1965k| 0 | 0.0 | 899M| 670 | - |1086 | 590 | 0 | 0 | 0 | 28k| 0 | 2.410000e+02 | 4.300000e+03 |1684.23%
1044.89/1045.27 c 1008s| 1990k| 1975k| 0 | 0.0 | 903M| 670 | - |1086 | 660 | 0 | 0 | 0 | 28k| 0 | 2.410000e+02 | 4.300000e+03 |1684.23%
1049.69/1050.05 o 4282
1049.69/1050.05 c *1013s| 1998k| 1984k| 0 | 0.0 | 907M| 670 | - |1086 | 648 | 0 | 0 | 0 | 28k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1050.39/1050.79 c 1014s| 2000k| 1985k| 0 | 0.0 | 908M| 670 | - |1086 | 640 | 0 | 0 | 0 | 28k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1055.89/1056.21 c 1019s| 2010k| 1995k| 0 | 0.0 | 912M| 670 | - |1086 | 615 | 0 | 0 | 0 | 28k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1061.09/1061.43 c 1024s| 2020k| 2005k| 0 | 0.0 | 916M| 670 | - |1086 | 638 | 0 | 0 | 0 | 29k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1066.19/1066.56 c 1029s| 2030k| 2015k| 0 | 0.0 | 920M| 670 | - |1086 | 631 | 0 | 0 | 0 | 29k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1071.29/1071.64 c 1034s| 2040k| 2025k| 0 | 0.0 | 925M| 670 | - |1086 | 739 | 0 | 0 | 0 | 29k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1076.39/1076.73 c 1039s| 2050k| 2035k| 0 | 0.0 | 929M| 670 | - |1086 | 761 | 0 | 0 | 0 | 29k| 0 | 2.420000e+02 | 4.282000e+03 |1669.42%
1081.78/1082.17 c 1044s| 2060k| 2045k| 0 | 0.0 | 933M| 670 | - |1086 | 685 | 0 | 0 | 0 | 29k| 0 | 2.430000e+02 | 4.282000e+03 |1662.14%
1087.28/1087.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.28/1087.61 c 1049s| 2070k| 2055k| 0 | 0.0 | 938M| 670 | - |1086 | 627 | 0 | 0 | 0 | 29k| 0 | 2.430000e+02 | 4.282000e+03 |1662.14%
1092.48/1092.80 c 1054s| 2080k| 2065k| 0 | 0.0 | 942M| 670 | - |1086 | 656 | 0 | 0 | 0 | 29k| 0 | 2.430000e+02 | 4.282000e+03 |1662.14%
1097.68/1098.05 c 1059s| 2090k| 2075k| 0 | 0.0 | 946M| 670 | - |1086 | 630 | 0 | 0 | 0 | 29k| 0 | 2.430000e+02 | 4.282000e+03 |1662.14%
1102.77/1103.18 c 1064s| 2100k| 2085k| 0 | 0.0 | 951M| 670 | - |1086 | 816 | 0 | 0 | 0 | 29k| 0 | 2.430000e+02 | 4.282000e+03 |1662.14%
1107.88/1108.28 c 1069s| 2110k| 2095k| 0 | 0.0 | 956M| 670 | - |1086 | 790 | 0 | 0 | 0 | 30k| 0 | 2.430000e+02 | 4.282000e+03 |1662.14%
1113.18/1113.56 c 1074s| 2120k| 2104k| 0 | 0.0 | 960M| 670 | - |1086 | 785 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1118.58/1118.98 c 1079s| 2130k| 2114k| 0 | 0.0 | 964M| 670 | - |1086 | 657 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1123.97/1124.37 c 1085s| 2140k| 2124k| 0 | 0.0 | 968M| 670 | - |1086 | 603 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1129.28/1129.61 c 1090s| 2150k| 2134k| 0 | 0.0 | 973M| 670 | - |1086 | 585 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1134.37/1134.78 c 1095s| 2160k| 2144k| 0 | 0.0 | 977M| 670 | - |1086 | 589 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1139.36/1139.79 c 1100s| 2170k| 2154k| 0 | 0.0 | 982M| 670 | - |1086 | 619 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1144.37/1144.78 c 1104s| 2180k| 2164k| 0 | 0.0 | 986M| 670 | - |1086 | 663 | 0 | 0 | 0 | 30k| 0 | 2.440000e+02 | 4.282000e+03 |1654.92%
1149.66/1150.04 c 1109s| 2190k| 2174k| 0 | 0.0 | 990M| 670 | - |1086 | 678 | 0 | 0 | 0 | 30k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1154.86/1155.29 c 1114s| 2200k| 2184k| 0 | 0.0 | 995M| 670 | - |1086 | 578 | 0 | 0 | 0 | 31k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1160.17/1160.51 c 1120s| 2210k| 2194k| 0 | 0.0 | 999M| 670 | - |1086 | 580 | 0 | 0 | 0 | 31k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1165.26/1165.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.26/1165.68 c 1125s| 2220k| 2204k| 0 | 0.0 |1004M| 670 | - |1086 | 631 | 0 | 0 | 0 | 31k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1170.56/1170.90 c 1130s| 2230k| 2214k| 0 | 0.0 |1008M| 670 | - |1086 | 632 | 0 | 0 | 0 | 31k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1175.57/1175.95 c 1134s| 2240k| 2224k| 0 | 0.0 |1012M| 670 | - |1086 | 657 | 0 | 0 | 0 | 31k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1180.76/1181.12 c 1139s| 2250k| 2234k| 0 | 0.0 |1017M| 670 | - |1086 | 766 | 0 | 0 | 0 | 31k| 0 | 2.450000e+02 | 4.282000e+03 |1647.76%
1186.06/1186.41 c 1144s| 2260k| 2244k| 0 | 0.0 |1022M| 670 | - |1086 | 874 | 0 | 0 | 0 | 31k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1191.35/1191.77 c 1150s| 2270k| 2254k| 0 | 0.0 |1026M| 670 | - |1086 | 651 | 0 | 0 | 0 | 31k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1196.65/1197.02 c 1155s| 2280k| 2264k| 0 | 0.0 |1031M| 670 | - |1086 | 610 | 0 | 0 | 0 | 31k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1201.85/1202.25 c 1160s| 2290k| 2274k| 0 | 0.0 |1035M| 670 | - |1086 | 635 | 0 | 0 | 0 | 32k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1207.05/1207.42 c 1165s| 2300k| 2283k| 0 | 0.0 |1040M| 670 | - |1086 | 667 | 0 | 0 | 0 | 32k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1212.15/1212.52 c 1170s| 2310k| 2293k| 0 | 0.0 |1045M| 670 | - |1086 | 707 | 0 | 0 | 0 | 32k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1217.26/1217.64 c 1175s| 2320k| 2303k| 0 | 0.0 |1049M| 670 | - |1086 | 747 | 0 | 0 | 0 | 32k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1222.45/1222.84 c 1180s| 2330k| 2313k| 0 | 0.0 |1054M| 670 | - |1086 | 832 | 0 | 0 | 0 | 32k| 0 | 2.460000e+02 | 4.282000e+03 |1640.65%
1227.94/1228.33 c 1185s| 2340k| 2323k| 0 | 0.0 |1058M| 670 | - |1086 | 658 | 0 | 0 | 0 | 32k| 0 | 2.470000e+02 | 4.282000e+03 |1633.60%
1233.14/1233.53 c 1190s| 2350k| 2333k| 0 | 0.0 |1063M| 670 | - |1086 | 629 | 0 | 0 | 0 | 33k| 0 | 2.470000e+02 | 4.282000e+03 |1633.60%
1238.44/1238.83 c 1195s| 2360k| 2343k| 0 | 0.0 |1068M| 670 | - |1086 | 672 | 0 | 0 | 0 | 33k| 0 | 2.470000e+02 | 4.282000e+03 |1633.60%
1243.74/1244.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.74/1244.11 c 1200s| 2370k| 2353k| 0 | 0.0 |1073M| 670 | - |1086 | 811 | 0 | 0 | 0 | 33k| 0 | 2.470000e+02 | 4.282000e+03 |1633.60%
1248.84/1249.28 c 1205s| 2380k| 2363k| 0 | 0.0 |1077M| 670 | - |1086 | 866 | 0 | 0 | 0 | 33k| 0 | 2.470000e+02 | 4.282000e+03 |1633.60%
1254.04/1254.44 c 1210s| 2390k| 2373k| 0 | 0.0 |1082M| 670 | - |1086 | 882 | 0 | 0 | 0 | 33k| 0 | 2.470000e+02 | 4.282000e+03 |1633.60%
1259.44/1259.89 c 1215s| 2400k| 2382k| 0 | 0.0 |1086M| 670 | - |1086 | 823 | 0 | 0 | 0 | 34k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1264.74/1265.14 c 1220s| 2410k| 2392k| 0 | 0.0 |1091M| 670 | - |1086 | 736 | 0 | 0 | 0 | 34k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1269.93/1270.32 c 1225s| 2420k| 2402k| 0 | 0.0 |1095M| 670 | - |1086 | 686 | 0 | 0 | 0 | 34k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1275.13/1275.51 c 1230s| 2430k| 2412k| 0 | 0.0 |1100M| 670 | - |1086 | 693 | 0 | 0 | 0 | 34k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1280.33/1280.73 c 1235s| 2440k| 2422k| 0 | 0.0 |1104M| 670 | - |1086 | 694 | 0 | 0 | 0 | 34k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1285.53/1285.93 c 1240s| 2450k| 2432k| 0 | 0.0 |1109M| 670 | - |1086 | 754 | 0 | 0 | 0 | 34k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1290.63/1291.05 c 1245s| 2460k| 2442k| 0 | 0.0 |1113M| 670 | - |1086 | 839 | 0 | 0 | 0 | 35k| 0 | 2.480000e+02 | 4.282000e+03 |1626.61%
1296.12/1296.54 c 1251s| 2470k| 2452k| 0 | 0.0 |1118M| 670 | - |1086 | 771 | 0 | 0 | 0 | 35k| 0 | 2.490000e+02 | 4.282000e+03 |1619.68%
1301.32/1301.78 c 1256s| 2480k| 2462k| 0 | 0.0 |1122M| 670 | - |1086 | 658 | 0 | 0 | 0 | 35k| 0 | 2.490000e+02 | 4.282000e+03 |1619.68%
1306.73/1307.12 c 1261s| 2490k| 2472k| 0 | 0.0 |1126M| 670 | - |1086 | 664 | 0 | 0 | 0 | 35k| 0 | 2.490000e+02 | 4.282000e+03 |1619.68%
1311.93/1312.36 c 1266s| 2500k| 2482k| 0 | 0.0 |1131M| 670 | - |1086 | 668 | 0 | 0 | 0 | 35k| 0 | 2.490000e+02 | 4.282000e+03 |1619.68%
1317.02/1317.45 c 1271s| 2510k| 2492k| 0 | 0.0 |1136M| 670 | - |1086 | 699 | 0 | 0 | 0 | 35k| 0 | 2.490000e+02 | 4.282000e+03 |1619.68%
1322.22/1322.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.22/1322.60 c 1276s| 2520k| 2502k| 0 | 0.0 |1140M| 670 | - |1086 | 806 | 0 | 0 | 0 | 35k| 0 | 2.490000e+02 | 4.282000e+03 |1619.68%
1327.72/1328.19 c 1281s| 2530k| 2511k| 0 | 0.0 |1145M| 670 | - |1086 | 620 | 0 | 0 | 0 | 36k| 0 | 2.500000e+02 | 4.282000e+03 |1612.80%
1333.01/1333.40 c 1286s| 2540k| 2521k| 0 | 0.0 |1149M| 670 | - |1086 | 624 | 0 | 0 | 0 | 36k| 0 | 2.500000e+02 | 4.282000e+03 |1612.80%
1338.12/1338.59 c 1291s| 2550k| 2531k| 0 | 0.0 |1153M| 670 | - |1086 | 591 | 0 | 0 | 0 | 36k| 0 | 2.500000e+02 | 4.282000e+03 |1612.80%
1341.62/1342.08 o 4250
1341.62/1342.08 c *1295s| 2556k| 2538k| 0 | 0.0 |1156M| 670 | - |1086 | 611 | 0 | 0 | 0 | 36k| 0 | 2.500000e+02 | 4.250000e+03 |1600.00%
1343.41/1343.88 c 1296s| 2560k| 2541k| 0 | 0.0 |1158M| 670 | - |1086 | 656 | 0 | 0 | 0 | 36k| 0 | 2.500000e+02 | 4.250000e+03 |1600.00%
1348.51/1348.96 c 1301s| 2570k| 2551k| 0 | 0.0 |1162M| 670 | - |1086 | 734 | 0 | 0 | 0 | 36k| 0 | 2.500000e+02 | 4.250000e+03 |1600.00%
1353.91/1354.34 c 1306s| 2580k| 2561k| 0 | 0.0 |1167M| 670 | - |1086 | 678 | 0 | 0 | 0 | 36k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1359.11/1359.52 c 1311s| 2590k| 2571k| 0 | 0.0 |1172M| 670 | - |1086 | 621 | 0 | 0 | 0 | 36k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1364.31/1364.77 c 1317s| 2600k| 2581k| 0 | 0.0 |1177M| 670 | - |1086 | 610 | 0 | 0 | 0 | 36k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1369.40/1369.89 c 1322s| 2610k| 2591k| 0 | 0.0 |1181M| 670 | - |1086 | 643 | 0 | 0 | 0 | 37k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1374.51/1374.96 c 1326s| 2620k| 2601k| 0 | 0.0 |1186M| 670 | - |1086 | 732 | 0 | 0 | 0 | 37k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1379.70/1380.15 c 1331s| 2630k| 2611k| 0 | 0.0 |1191M| 670 | - |1086 | 800 | 0 | 0 | 0 | 37k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1385.00/1385.47 c 1337s| 2640k| 2621k| 0 | 0.0 |1195M| 670 | - |1086 | 932 | 0 | 0 | 0 | 37k| 0 | 2.510000e+02 | 4.250000e+03 |1593.23%
1390.50/1390.96 c 1342s| 2650k| 2630k| 0 | 0.0 |1200M| 670 | - |1086 | 789 | 0 | 0 | 0 | 38k| 0 | 2.520000e+02 | 4.250000e+03 |1586.51%
1395.90/1396.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.90/1396.34 c 1347s| 2660k| 2640k| 0 | 0.0 |1205M| 670 | - |1086 | 669 | 0 | 0 | 0 | 38k| 0 | 2.520000e+02 | 4.250000e+03 |1586.51%
1401.30/1401.71 c 1352s| 2670k| 2650k| 0 | 0.0 |1210M| 670 | - |1086 | 675 | 0 | 0 | 0 | 38k| 0 | 2.520000e+02 | 4.250000e+03 |1586.51%
1406.50/1406.95 c 1357s| 2680k| 2660k| 0 | 0.0 |1215M| 670 | - |1086 | 694 | 0 | 0 | 0 | 38k| 0 | 2.520000e+02 | 4.250000e+03 |1586.51%
1411.59/1412.04 c 1362s| 2690k| 2670k| 0 | 0.0 |1220M| 670 | - |1086 | 791 | 0 | 0 | 0 | 38k| 0 | 2.520000e+02 | 4.250000e+03 |1586.51%
1416.69/1417.19 c 1367s| 2700k| 2680k| 0 | 0.0 |1225M| 670 | - |1086 | 893 | 0 | 0 | 0 | 39k| 0 | 2.520000e+02 | 4.250000e+03 |1586.51%
1422.19/1422.68 c 1372s| 2710k| 2690k| 0 | 0.0 |1229M| 670 | - |1086 | 800 | 0 | 0 | 0 | 39k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1427.59/1428.01 c 1378s| 2720k| 2700k| 0 | 0.0 |1234M| 670 | - |1086 | 715 | 0 | 0 | 0 | 39k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1432.90/1433.34 c 1383s| 2730k| 2710k| 0 | 0.0 |1239M| 670 | - |1086 | 722 | 0 | 0 | 0 | 39k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1438.19/1438.65 c 1388s| 2740k| 2720k| 0 | 0.0 |1244M| 670 | - |1086 | 746 | 0 | 0 | 0 | 39k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1443.38/1443.85 c 1393s| 2750k| 2730k| 0 | 0.0 |1249M| 670 | - |1086 | 809 | 0 | 0 | 0 | 40k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1448.59/1449.00 c 1398s| 2760k| 2739k| 0 | 0.0 |1253M| 670 | - |1086 | 809 | 0 | 0 | 0 | 40k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1453.69/1454.15 c 1403s| 2770k| 2749k| 0 | 0.0 |1258M| 670 | - |1086 | 922 | 0 | 0 | 0 | 40k| 0 | 2.530000e+02 | 4.250000e+03 |1579.84%
1459.19/1459.67 c 1408s| 2780k| 2759k| 0 | 0.0 |1262M| 670 | - |1086 | 784 | 0 | 0 | 0 | 40k| 0 | 2.540000e+02 | 4.250000e+03 |1573.23%
1464.48/1464.97 c 1413s| 2790k| 2769k| 0 | 0.0 |1267M| 670 | - |1086 | 692 | 0 | 0 | 0 | 40k| 0 | 2.540000e+02 | 4.250000e+03 |1573.23%
1469.78/1470.23 c 1418s| 2800k| 2779k| 0 | 0.0 |1272M| 670 | - |1086 | 716 | 0 | 0 | 0 | 41k| 0 | 2.540000e+02 | 4.250000e+03 |1573.23%
1474.88/1475.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.88/1475.37 c 1423s| 2810k| 2789k| 0 | 0.0 |1277M| 670 | - |1086 | 724 | 0 | 0 | 0 | 41k| 0 | 2.540000e+02 | 4.250000e+03 |1573.23%
1479.87/1480.36 c 1428s| 2820k| 2799k| 0 | 0.0 |1281M| 670 | - |1086 | 785 | 0 | 0 | 0 | 41k| 0 | 2.540000e+02 | 4.250000e+03 |1573.23%
1485.08/1485.54 c 1433s| 2830k| 2809k| 0 | 0.0 |1286M| 670 | - |1086 | 912 | 0 | 0 | 0 | 41k| 0 | 2.540000e+02 | 4.250000e+03 |1573.23%
1490.47/1490.93 c 1438s| 2840k| 2819k| 0 | 0.0 |1291M| 670 | - |1086 | 779 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1495.77/1496.22 c 1443s| 2850k| 2829k| 0 | 0.0 |1296M| 670 | - |1086 | 708 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1501.08/1501.51 c 1448s| 2860k| 2839k| 0 | 0.0 |1300M| 670 | - |1086 | 721 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1506.27/1506.71 c 1453s| 2870k| 2849k| 0 | 0.0 |1305M| 670 | - |1086 | 769 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1511.46/1511.97 c 1459s| 2880k| 2858k| 0 | 0.0 |1310M| 670 | - |1086 | 769 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1516.67/1517.11 c 1464s| 2890k| 2868k| 0 | 0.0 |1315M| 670 | - |1086 | 829 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1521.87/1522.31 c 1468s| 2900k| 2878k| 0 | 0.0 |1319M| 670 | - |1086 | 876 | 0 | 0 | 0 | 42k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1527.06/1527.50 c 1473s| 2910k| 2888k| 0 | 0.0 |1324M| 670 | - |1086 | 943 | 0 | 0 | 0 | 43k| 0 | 2.550000e+02 | 4.250000e+03 |1566.67%
1532.47/1532.95 c 1479s| 2920k| 2898k| 0 | 0.0 |1328M| 670 | - |1086 | 922 | 0 | 0 | 0 | 43k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1537.76/1538.27 c 1484s| 2930k| 2908k| 0 | 0.0 |1333M| 670 | - |1086 | 785 | 0 | 0 | 0 | 43k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1543.06/1543.55 c 1489s| 2940k| 2918k| 0 | 0.0 |1338M| 670 | - |1086 | 735 | 0 | 0 | 0 | 43k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1548.26/1548.80 c 1494s| 2950k| 2928k| 0 | 0.0 |1343M| 670 | - |1086 | 720 | 0 | 0 | 0 | 43k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1553.56/1554.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.56/1554.01 c 1499s| 2960k| 2938k| 0 | 0.0 |1347M| 670 | - |1086 | 734 | 0 | 0 | 0 | 43k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1558.65/1559.17 c 1504s| 2970k| 2948k| 0 | 0.0 |1352M| 670 | - |1086 | 720 | 0 | 0 | 0 | 43k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1563.76/1564.29 c 1509s| 2980k| 2958k| 0 | 0.0 |1357M| 670 | - |1086 | 817 | 0 | 0 | 0 | 44k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1565.55/1566.08 c (node 2983557) switching to memory saving mode (mem: 1296.0M/1620.0M)
1582.05/1582.56 c 1527s| 2990k| 2961k| 0 | 0.0 |1358M| 677 | - |1086 |1093 | 0 | 0 | 0 | 50k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1607.54/1608.02 c 1552s| 3000k| 2960k| 0 | 0.0 |1358M| 677 | - |1086 |1432 | 0 | 0 | 0 | 59k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1652.53/1653.03 c 1596s| 3010k| 2960k| 0 | 0.0 |1359M| 677 | - |1086 |1770 | 0 | 0 | 0 | 67k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1679.13/1679.64 c 1623s| 3020k| 2960k| 0 | 0.0 |1358M| 677 | - |1086 |1397 | 0 | 0 | 0 | 76k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1707.92/1708.43 c 1651s| 3030k| 2960k| 0 | 0.0 |1358M| 677 | - |1086 |1433 | 0 | 0 | 0 | 85k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1753.50/1754.07 c 1696s| 3040k| 2960k| 0 | 0.0 |1358M| 677 | - |1086 |1184 | 0 | 0 | 0 | 94k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1786.59/1787.20 c 1729s| 3050k| 2960k| 0 | 0.0 |1358M| 677 | - |1086 |1468 | 0 | 0 | 0 | 103k| 0 | 2.560000e+02 | 4.250000e+03 |1560.16%
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.51 c
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time (sec) : 1741.81
1800.00/1800.51 c Solving Nodes : 3054927
1800.00/1800.51 c Primal Bound : +4.25000000000000e+03 (4 solutions)
1800.00/1800.51 c Dual Bound : +2.56000000000000e+02
1800.00/1800.51 c Gap : 1560.16 %
1800.00/1800.51 s SATISFIABLE
1800.00/1800.51 v -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068
1800.00/1800.51 v -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050
1800.00/1800.51 v -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033
1800.00/1800.51 v -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015
1800.00/1800.51 v -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996
1800.00/1800.51 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
1800.00/1800.51 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955
1800.00/1800.51 v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934
1800.00/1800.51 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913
1800.00/1800.51 v -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892
1800.00/1800.51 v -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871
1800.00/1800.51 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850
1800.00/1800.51 v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829
1800.00/1800.51 v -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808
1800.00/1800.51 v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 x792 -x791 -x790 -x789 -x788 -x787
1800.00/1800.51 v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766
1800.00/1800.51 v -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745
1800.00/1800.51 v -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 -x725 -x724
1800.00/1800.51 v -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703
1800.00/1800.51 v -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
1800.00/1800.51 v -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662
1800.00/1800.51 v -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641
1800.00/1800.51 v x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620
1800.00/1800.51 v -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
1800.00/1800.51 v -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578
1800.00/1800.51 v -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557
1800.00/1800.51 v -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.00/1800.51 v -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515
1800.00/1800.51 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1800.00/1800.51 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.00/1800.51 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.00/1800.51 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432
1800.00/1800.51 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411
1800.00/1800.51 v -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390
1800.00/1800.51 v -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369
1800.00/1800.51 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.00/1800.51 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.00/1800.51 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1800.00/1800.51 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286
1800.00/1800.51 v -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1800.00/1800.51 v x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1800.00/1800.51 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
1800.00/1800.51 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1800.00/1800.51 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1800.00/1800.51 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160
1800.00/1800.51 v -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.00/1800.51 v x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1800.00/1800.51 v x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.00/1800.51 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.00/1800.51 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46
1800.00/1800.51 v -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 x22 -x21
1800.00/1800.51 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1741.81
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2664593-1276354692.opb
1800.00/1800.51 c Variables : 1086 (1086 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 85 initial, 85 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2664593-1276354692.opb
1800.00/1800.51 c Variables : 1086 (1086 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 85 initial, 2009 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.11 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 1
1800.00/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c root node : - 0 - - 0 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 1 0 2875888 0 2145707 652 427553 0 0 0
1800.00/1800.51 c setppc : 83 0 3975333 0 3024151 43749 14060004 0 0 0
1800.00/1800.51 c linear : 1 0 3931580 0 3024151 1659 3511 0 0 0
1800.00/1800.51 c logicor : 0+ 0 484136 0 0 6342 295382 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 3024155 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c knapsack : 22.67 0.00 12.36 0.00 10.31
1800.00/1800.51 c setppc : 479.35 0.00 130.53 0.00 348.82
1800.00/1800.51 c linear : 591.20 0.00 589.34 0.00 1.86
1800.00/1800.51 c logicor : 20.64 0.00 20.64 0.00 0.00
1800.00/1800.51 c countsols : 1.24 0.00 0.00 0.00 1.24
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 1.60 2 0 0
1800.00/1800.51 c rootredcost : 1.79 0 0 0
1800.00/1800.51 c pseudoobj : 206.92 3979670 4030 5499
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 155.90 56425 56416 548271 335.1 4272 129.9 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.02 2 2 39 561.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 78476 64.5 - - -
1800.00/1800.51 c applied locally : - - - 29012 240.1 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.51 c redcost : 0.00 0 0 0 0 0
1800.00/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.00 0 0 0 0 0
1800.00/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.51 c cmir : 0.00 0 0 0 0 0
1800.00/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.51 c clique : 0.00 0 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.00 0 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 260.73 3024151 0 0 0 0 6048302
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.19 - 4
1800.00/1800.51 c oneopt : 2.07 0 0
1800.00/1800.51 c trivial : 0.00 2 0
1800.00/1800.51 c simplerounding : 0.00 0 0
1800.00/1800.51 c zirounding : 0.00 0 0
1800.00/1800.51 c rounding : 0.00 0 0
1800.00/1800.51 c shifting : 0.00 0 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.00 0 0
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 1.25 0 0
1800.00/1800.51 c trysol : 1.30 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.51 c (at root node) : - 0 0 0.00 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 1
1800.00/1800.51 c nodes : 3054927
1800.00/1800.51 c nodes (total) : 3054927
1800.00/1800.51 c nodes left : 2960612
1800.00/1800.51 c max depth : 677
1800.00/1800.51 c max depth (total): 677
1800.00/1800.51 c backtracks : 59124 (1.9%)
1800.00/1800.51 c delayed cutoffs : 32703
1800.00/1800.51 c repropagations : 212910 (1482828 domain reductions, 25662 cutoffs)
1800.00/1800.51 c avg switch length: 3.38
1800.00/1800.51 c switching time : 69.21
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 4 (4 improvements)
1800.00/1800.51 c First Solution : +4.90200000000000e+03 (in run 1, after 26916 nodes, 13.78 seconds, depth 360, found by <relaxation>)
1800.00/1800.51 c Primal Bound : +4.25000000000000e+03 (in run 1, after 2556568 nodes, 1294.55 seconds, depth 307, found by <relaxation>)
1800.00/1800.51 c Dual Bound : +2.56000000000000e+02
1800.00/1800.51 c Gap : 1560.16 %
1800.00/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.51 c Root Iterations : 0
OK 4250
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664593-1276354692/watcher-2664593-1276354692 -o /tmp/evaluation-result-2664593-1276354692/solver-2664593-1276354692 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664593-1276354692.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: 1.00 1.00 1.00 3/106 11680 /proc/meminfo: memFree=1825684/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=6584 CPUtime=0 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 936 0 0 0 0 0 0 0 21 0 1 0 11073280 6742016 858 1992294400 4194304 7136930 140735556850784 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11680/statm: 1646 868 254 719 0 925 0 [startup+0.072203 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11680 /proc/meminfo: memFree=1825684/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=14208 CPUtime=0.06 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 5037 0 0 0 5 1 0 0 23 0 1 0 11073280 14548992 2806 1992294400 4194304 7136930 140735556850784 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 3552 2806 370 719 0 2831 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14208 [startup+0.101206 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11680 /proc/meminfo: memFree=1825684/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=14468 CPUtime=0.1 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 5126 0 0 0 8 2 0 0 23 0 1 0 11073280 14815232 2895 1992294400 4194304 7136930 140735556850784 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 3617 2895 370 719 0 2896 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14468 [startup+0.301229 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11680 /proc/meminfo: memFree=1825684/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=15888 CPUtime=0.29 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 5475 0 0 0 27 2 0 0 23 0 1 0 11073280 16269312 3244 1992294400 4194304 7136930 140735556850784 18446744073709551615 4947568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 3972 3244 390 719 0 3251 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15888 [startup+0.701277 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11680 /proc/meminfo: memFree=1825684/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=16020 CPUtime=0.69 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 5518 0 0 0 65 4 0 0 25 0 1 0 11073280 16404480 3287 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 4005 3287 396 719 0 3284 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16020 [startup+1.50037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11681 /proc/meminfo: memFree=1813772/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=17156 CPUtime=1.49 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 5817 0 0 0 142 7 0 0 25 0 1 0 11073280 17567744 3586 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 4289 3586 397 719 0 3568 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17156 [startup+3.10056 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11681 /proc/meminfo: memFree=1812036/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=18760 CPUtime=3.09 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 6239 0 0 0 296 13 0 0 25 0 1 0 11073280 19210240 4008 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 4690 4008 397 719 0 3969 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18760 [startup+6.30094 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11681 /proc/meminfo: memFree=1808316/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=22604 CPUtime=6.29 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 7223 0 0 0 603 26 0 0 25 0 1 0 11073280 23146496 4992 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 5651 4992 397 719 0 4930 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22604 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11681 /proc/meminfo: memFree=1799636/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=30828 CPUtime=12.69 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 9295 0 0 0 1219 50 0 0 25 0 1 0 11073280 31567872 7064 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 7707 7064 397 719 0 6986 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30828 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11683 /proc/meminfo: memFree=1785252/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=43880 CPUtime=25.48 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 12624 0 0 0 2455 93 0 0 25 0 1 0 11073280 44933120 10393 1992294400 4194304 7136930 140735556850784 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 10970 10393 397 719 0 10249 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43880 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11683 /proc/meminfo: memFree=1758964/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=72204 CPUtime=51.07 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 19271 0 0 0 4927 180 0 0 25 0 1 0 11073280 73936896 17040 1992294400 4194304 7136930 140735556850784 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 18051 17040 397 719 0 17330 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 72204 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11685 /proc/meminfo: memFree=1703908/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=125852 CPUtime=102.27 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 32941 0 0 0 9868 359 0 0 25 0 1 0 11073280 128872448 30710 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 31463 30710 397 719 0 30742 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 125852 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11685 /proc/meminfo: memFree=1646496/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=185776 CPUtime=162.25 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 47257 0 0 0 15649 576 0 0 25 0 1 0 11073280 190234624 45026 1992294400 4194304 7136930 140735556850784 18446744073709551615 4947664 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 46444 45026 397 719 0 45723 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 185776 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11696 /proc/meminfo: memFree=1573212/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=257104 CPUtime=222.22 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 65340 0 0 0 21434 788 0 0 25 0 1 0 11073280 263274496 63109 1992294400 4194304 7136930 140735556850784 18446744073709551615 5121843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 64276 63109 397 719 0 63555 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 257104 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11698 /proc/meminfo: memFree=1523116/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=315240 CPUtime=282.2 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 78124 0 0 0 27223 997 0 0 25 0 1 0 11073280 322805760 75893 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 78810 75893 397 719 0 78089 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 315240 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11700 /proc/meminfo: memFree=1472400/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=363112 CPUtime=342.19 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 90490 0 0 0 33009 1210 0 0 25 0 1 0 11073280 371826688 88259 1992294400 4194304 7136930 140735556850784 18446744073709551615 4436499 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 90778 88259 397 719 0 90057 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 363112 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11702 /proc/meminfo: memFree=1398620/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=436864 CPUtime=402.16 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 109115 0 0 0 38795 1421 0 0 25 0 1 0 11073280 447348736 106884 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978933 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 109216 106884 397 719 0 108495 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 436864 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11702 /proc/meminfo: memFree=1353236/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=480780 CPUtime=462.15 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 120341 0 0 0 44594 1621 0 0 25 0 1 0 11073280 492318720 118110 1992294400 4194304 7136930 140735556850784 18446744073709551615 4225326 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 120195 118110 397 719 0 119474 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 480780 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11704 /proc/meminfo: memFree=1303016/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=545232 CPUtime=522.14 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 132709 0 0 0 50375 1839 0 0 25 0 1 0 11073280 558317568 130478 1992294400 4194304 7136930 140735556850784 18446744073709551615 5121999 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 136308 130478 397 719 0 135587 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 545232 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11706 /proc/meminfo: memFree=1241760/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=606956 CPUtime=582.12 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 148414 0 0 0 56165 2047 0 0 25 0 1 0 11073280 621522944 146183 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978425 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 151739 146183 397 719 0 151018 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 606956 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11708 /proc/meminfo: memFree=1189680/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=655744 CPUtime=642.11 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 160908 0 0 0 61958 2253 0 0 25 0 1 0 11073280 671481856 158677 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 163936 158677 397 719 0 163215 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 655744 [startup+702.302 s] ################ # More data... # ################ /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 242509 0 0 0 96700 3500 0 0 25 0 1 0 11073280 998551552 240278 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 243787 240278 397 719 0 243066 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 975148 [startup+1062.3 s] /proc/loadavg: 1.23 1.08 1.02 2/107 11721 /proc/meminfo: memFree=816564/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1017796 CPUtime=1061.99 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 253760 0 0 0 102487 3712 0 0 25 0 1 0 11073280 1042223104 251529 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 254449 251529 397 719 0 253728 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1017796 [startup+1122.3 s] /proc/loadavg: 1.18 1.09 1.02 2/107 11723 /proc/meminfo: memFree=760516/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1105880 CPUtime=1121.97 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 267721 0 0 0 108268 3929 0 0 25 0 1 0 11073280 1132421120 265490 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 276470 265490 397 719 0 275749 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1105880 [startup+1182.3 s] /proc/loadavg: 1.11 1.09 1.02 2/107 11725 /proc/meminfo: memFree=706824/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1159360 CPUtime=1181.95 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 281347 0 0 0 114054 4141 0 0 25 0 1 0 11073280 1187184640 279116 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 289840 279116 397 719 0 289119 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1159360 [startup+1242.3 s] /proc/loadavg: 1.21 1.12 1.03 2/107 11727 /proc/meminfo: memFree=654248/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1209640 CPUtime=1241.94 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 294187 0 0 0 119838 4356 0 0 25 0 1 0 11073280 1238671360 291956 1992294400 4194304 7136930 140735556850784 18446744073709551615 4978095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 302410 291956 397 719 0 301689 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1209640 [startup+1302.3 s] /proc/loadavg: 1.17 1.12 1.04 2/107 11729 /proc/meminfo: memFree=604648/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1257448 CPUtime=1301.93 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 306481 0 0 0 125629 4564 0 0 25 0 1 0 11073280 1287626752 304250 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 314362 304250 397 719 0 313641 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1257448 [startup+1362.3 s] /proc/loadavg: 1.18 1.13 1.04 2/107 11729 /proc/meminfo: memFree=538928/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1323128 CPUtime=1361.9 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 323004 0 0 0 131420 4770 0 0 25 0 1 0 11073280 1354883072 320773 1992294400 4194304 7136930 140735556850784 18446744073709551615 4642986 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 330782 320773 397 719 0 330061 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1323128 [startup+1422.31 s] /proc/loadavg: 1.17 1.13 1.05 2/107 11731 /proc/meminfo: memFree=484244/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1376012 CPUtime=1421.9 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 336506 0 0 0 137208 4982 0 0 25 0 1 0 11073280 1409036288 334275 1992294400 4194304 7136930 140735556850784 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 344003 334275 397 719 0 343282 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1376012 [startup+1482.3 s] /proc/loadavg: 1.25 1.15 1.06 2/107 11733 /proc/meminfo: memFree=431668/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1427292 CPUtime=1481.88 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 349622 0 0 0 142993 5195 0 0 25 0 1 0 11073280 1461547008 347391 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 356823 347391 397 719 0 356102 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1427292 [startup+1542.3 s] /proc/loadavg: 1.16 1.14 1.06 2/107 11735 /proc/meminfo: memFree=370660/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1485716 CPUtime=1541.86 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 364811 0 0 0 148775 5411 0 0 25 0 1 0 11073280 1521373184 362580 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 371429 362580 397 719 0 370708 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1485716 [startup+1602.3 s] /proc/loadavg: 1.20 1.14 1.06 2/107 11737 /proc/meminfo: memFree=344496/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1510880 CPUtime=1601.84 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 382862 0 0 0 154619 5565 0 0 25 0 1 0 11073280 1547141120 369060 1992294400 4194304 7136930 140735556850784 18446744073709551615 5909091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 377720 369060 397 719 0 376999 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1510880 [startup+1662.3 s] /proc/loadavg: 1.13 1.13 1.06 2/107 11737 /proc/meminfo: memFree=342016/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1513720 CPUtime=1661.83 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 383469 0 0 0 160548 5635 0 0 25 0 1 0 11073280 1550049280 369667 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 378430 369667 397 719 0 377709 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1513720 [startup+1722.3 s] /proc/loadavg: 1.15 1.13 1.07 2/107 11739 /proc/meminfo: memFree=341520/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1514148 CPUtime=1721.81 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 383581 0 0 0 166463 5718 0 0 25 0 1 0 11073280 1550487552 369779 1992294400 4194304 7136930 140735556850784 18446744073709551615 5909064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 378537 369779 398 719 0 377816 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1514148 [startup+1782.3 s] /proc/loadavg: 1.15 1.14 1.07 2/107 11741 /proc/meminfo: memFree=340900/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1514424 CPUtime=1781.8 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 383674 0 0 0 172389 5791 0 0 25 0 1 0 11073280 1550770176 369872 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 378606 369872 398 719 0 377885 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1514424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.18 1.14 1.08 2/107 11741 /proc/meminfo: memFree=340776/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1514584 CPUtime=1800 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 383706 0 0 0 174182 5818 0 0 25 0 1 0 11073280 1550934016 369904 1992294400 4194304 7136930 140735556850784 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11680/statm: 378646 369904 398 719 0 377925 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1514584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11680 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.18 1.14 1.08 2/108 11742 /proc/meminfo: memFree=340768/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1514584 CPUtime=1800.89 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 383711 0 0 0 174271 5818 0 0 25 0 1 0 11073280 1550934016 369909 1992294400 4194304 7136930 140735556850784 18446744073709551615 6165663 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11680/statm: 378646 369909 403 719 0 377925 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (KiB) 1514584 [startup+1802.2 s] /proc/loadavg: 1.18 1.14 1.08 2/108 11742 /proc/meminfo: memFree=340644/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=1514584 CPUtime=1801.69 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4202496 383711 0 0 0 174351 5818 0 0 25 0 1 0 11073280 1550934016 369909 1992294400 4194304 7136930 140735556850784 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11680/statm: 378646 369909 403 719 0 377925 0 Current children cumulated CPU time (s) 1801.69 Current children cumulated vsize (KiB) 1514584 [startup+1802.6 s] /proc/loadavg: 1.18 1.14 1.08 2/108 11742 /proc/meminfo: memFree=340644/2059040 swapFree=4136460/4192956 [pid=11680] ppid=11678 vsize=0 CPUtime=1802.09 /proc/11680/stat : 11680 (pbscip.linux.x8) R 11678 11680 11471 0 -1 4203524 383711 0 0 0 174382 5827 0 0 25 0 1 0 11073280 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/11680/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.65 CPU time (s): 1802.15 CPU user time (s): 1743.83 CPU system time (s): 58.3221 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 1570104 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1743.83 system time used= 58.3221 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 383711 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= 1 involuntary context switches= 20523 runsolver used 3.07653 second user time and 8.43572 second system time The end
Begin job on node001 at 2010-06-12 16:58:13 IDJOB=2664593 IDBENCH=1856 IDSOLVER=1167 FILE ID=node001/2664593-1276354692 PBS_JOBID= 11173206 Free space on /tmp= 62392 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664593-1276354692/watcher-2664593-1276354692 -o /tmp/evaluation-result-2664593-1276354692/solver-2664593-1276354692 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664593-1276354692.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89 RANDOM SEED=1547426010 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1826336 kB Buffers: 38364 kB Cached: 122488 kB SwapCached: 16736 kB Active: 112760 kB Inactive: 67784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1826336 kB SwapTotal: 4192956 kB SwapFree: 4136460 kB Dirty: 3272 kB Writeback: 4 kB AnonPages: 10792 kB Mapped: 9192 kB Slab: 30456 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182324 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= 62388 MiB End job on node001 at 2010-06-12 17:28:15