0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690893-1338017120.opb>
0.00/0.00 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 478
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.780000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 478 upgd conss, 2 impls, 0 clqs
0.01/0.02 c (round 3) 0 del vars, 65 del conss, 177 add conss, 0 chg bounds, 240 chg sides, 618 chg coeffs, 479 upgd conss, 244 impls, 0 clqs
0.01/0.02 c (round 4) 0 del vars, 103 del conss, 195 add conss, 0 chg bounds, 304 chg sides, 724 chg coeffs, 479 upgd conss, 244 impls, 0 clqs
0.01/0.02 c (round 5) 0 del vars, 107 del conss, 199 add conss, 0 chg bounds, 339 chg sides, 796 chg coeffs, 479 upgd conss, 244 impls, 0 clqs
0.01/0.03 c (round 6) 0 del vars, 109 del conss, 201 add conss, 0 chg bounds, 345 chg sides, 817 chg coeffs, 479 upgd conss, 244 impls, 0 clqs
0.01/0.03 c (round 7) 0 del vars, 110 del conss, 202 add conss, 0 chg bounds, 348 chg sides, 821 chg coeffs, 479 upgd conss, 244 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 51/478 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.01/0.03 c presolving (8 rounds):
0.01/0.03 c 0 deleted vars, 110 deleted constraints, 202 added constraints, 0 tightened bounds, 0 added holes, 348 changed sides, 821 changed coefficients
0.01/0.03 c 244 implications, 0 cliques
0.01/0.03 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 570 constraints
0.01/0.03 c 446 constraints of type <knapsack>
0.01/0.03 c 122 constraints of type <setppc>
0.01/0.03 c 2 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.03
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.1.1.4
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.89/0.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.95 c t 1.0s| 1 | 0 | 10606 | - |2741k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 4.780000e+02 | 218.98%
0.89/0.95 o 355
0.89/0.95 c r 1.0s| 1 | 0 | 10606 | - |2755k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.550000e+02 | 136.90%
0.89/0.95 o 354
0.89/0.95 c R 1.0s| 1 | 0 | 10606 | - |2768k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.540000e+02 | 136.23%
0.89/0.96 o 353
0.89/0.96 c s 1.0s| 1 | 0 | 10606 | - |2781k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.530000e+02 | 135.56%
1.39/1.42 o 223
1.39/1.42 c y 1.4s| 1 | 0 | 10606 | - |3169k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 2.230000e+02 | 48.81%
2.09/2.10 c 2.1s| 1 | 0 | 16027 | - |3095k| 0 | 388 | 478 | 570 | 478 | 793 | 223 | 0 | 0 | 1.566820e+02 | 2.230000e+02 | 42.33%
2.79/2.87 c 2.9s| 1 | 0 | 19661 | - |3342k| 0 | 416 | 478 | 570 | 478 | 972 | 402 | 0 | 0 | 1.606008e+02 | 2.230000e+02 | 38.85%
3.58/3.64 c 3.6s| 1 | 0 | 22495 | - |3536k| 0 | 439 | 478 | 570 | 478 |1106 | 536 | 0 | 0 | 1.627331e+02 | 2.230000e+02 | 37.03%
4.19/4.30 c 4.3s| 1 | 0 | 23903 | - |3666k| 0 | 438 | 478 | 570 | 478 |1205 | 635 | 0 | 0 | 1.636027e+02 | 2.230000e+02 | 36.31%
4.88/4.93 c 4.9s| 1 | 0 | 24949 | - |3734k| 0 | 441 | 478 | 570 | 478 |1266 | 696 | 0 | 0 | 1.640246e+02 | 2.230000e+02 | 35.96%
5.39/5.49 c 5.5s| 1 | 0 | 25463 | - |3773k| 0 | 449 | 478 | 570 | 478 |1306 | 736 | 0 | 0 | 1.642612e+02 | 2.230000e+02 | 35.76%
5.99/6.03 c 6.0s| 1 | 0 | 25835 | - |3796k| 0 | 445 | 478 | 570 | 478 |1328 | 758 | 0 | 0 | 1.643659e+02 | 2.230000e+02 | 35.67%
6.49/6.59 c 6.6s| 1 | 0 | 26168 | - |3816k| 0 | 444 | 478 | 570 | 478 |1347 | 777 | 0 | 0 | 1.644503e+02 | 2.230000e+02 | 35.60%
6.98/7.04 c 7.0s| 1 | 0 | 26249 | - |3824k| 0 | 442 | 478 | 570 | 478 |1351 | 781 | 0 | 0 | 1.644582e+02 | 2.230000e+02 | 35.60%
7.38/7.47 c 7.5s| 1 | 0 | 26263 | - |3831k| 0 | 443 | 478 | 570 | 478 |1352 | 782 | 0 | 0 | 1.644588e+02 | 2.230000e+02 | 35.60%
11.38/11.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.38/11.40 c 11.4s| 1 | 2 | 26263 | - |3852k| 0 | 443 | 478 | 570 | 478 |1352 | 782 | 0 | 25 | 1.644588e+02 | 2.230000e+02 | 35.60%
31.38/31.47 o 221
31.38/31.47 c c31.5s| 15 | 16 | 43482 |1229.9 |4642k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.646269e+02 | 2.210000e+02 | 34.24%
31.38/31.48 o 219
31.38/31.48 c b31.5s| 16 | 15 | 43517 |1150.3 |4529k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.646269e+02 | 2.190000e+02 | 33.03%
32.98/33.06 o 218
32.98/33.06 c p33.1s| 27 | 28 | 55093 |1108.8 |4730k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.180000e+02 | 32.35%
32.98/33.06 o 215
32.98/33.06 c p33.1s| 27 | 28 | 55098 |1109.0 |4731k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.150000e+02 | 30.53%
32.98/33.06 o 213
32.98/33.06 c p33.1s| 27 | 28 | 55110 |1109.5 |4733k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.130000e+02 | 29.31%
32.98/33.07 o 212
32.98/33.07 c p33.1s| 27 | 28 | 55128 |1110.2 |4737k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.120000e+02 | 28.71%
32.98/33.07 o 208
32.98/33.07 c p33.1s| 27 | 28 | 55137 |1110.5 |4738k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.080000e+02 | 26.28%
32.98/33.07 o 206
32.98/33.07 c p33.1s| 27 | 28 | 55169 |1111.8 |4743k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.060000e+02 | 25.06%
32.98/33.07 o 206
32.98/33.07 c p33.1s| 27 | 28 | 55173 |1111.9 |4745k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.060000e+02 | 25.06%
32.98/33.07 o 205
32.98/33.07 c p33.1s| 27 | 28 | 55176 |1112.0 |4746k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.050000e+02 | 24.46%
32.98/33.07 o 204
32.98/33.07 c p33.1s| 27 | 28 | 55185 |1112.4 |4752k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.040000e+02 | 23.85%
32.98/33.07 o 203
32.98/33.07 c p33.1s| 27 | 28 | 55186 |1112.4 |4753k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.030000e+02 | 23.24%
32.98/33.07 o 201
32.98/33.07 c p33.1s| 27 | 28 | 55188 |1112.5 |4755k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.010000e+02 | 22.03%
32.98/33.08 o 200
32.98/33.08 c p33.1s| 27 | 28 | 55191 |1112.6 |4756k| 14 | - | 478 | 570 | 478 | 983 | 782 | 0 | 236 | 1.647160e+02 | 2.000000e+02 | 21.42%
43.68/43.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.68/43.78 c 43.8s| 100 | 101 |134277 |1091.1 |4773k| 18 | 379 | 478 | 570 | 478 | 983 | 782 | 0 | 248 | 1.647160e+02 | 2.000000e+02 | 21.42%
57.27/57.30 c 57.3s| 200 | 201 |226581 |1006.6 |4864k| 27 | 355 | 478 | 570 | 478 | 983 | 782 | 0 | 282 | 1.647220e+02 | 2.000000e+02 | 21.42%
89.27/89.31 c 89.3s| 300 | 301 |461817 |1456.7 |4939k| 27 | 397 | 478 | 570 | 478 | 983 | 782 | 0 | 332 | 1.648659e+02 | 2.000000e+02 | 21.31%
91.57/91.61 o 200
91.57/91.61 c p91.6s| 307 | 308 |479939 |1482.6 |5091k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 332 | 1.648659e+02 | 2.000000e+02 | 21.31%
91.57/91.61 o 199
91.57/91.61 c p91.6s| 307 | 308 |479943 |1482.6 |5092k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 332 | 1.648659e+02 | 1.990000e+02 | 20.70%
91.57/91.61 o 199
91.57/91.61 c p91.6s| 307 | 308 |479948 |1482.6 |5092k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 332 | 1.648659e+02 | 1.990000e+02 | 20.70%
91.57/91.61 o 198
91.57/91.61 c p91.6s| 307 | 308 |479951 |1482.6 |5093k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 332 | 1.648659e+02 | 1.980000e+02 | 20.10%
91.57/91.61 o 197
91.57/91.61 c p91.6s| 307 | 308 |479968 |1482.7 |5095k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 332 | 1.648659e+02 | 1.970000e+02 | 19.49%
110.07/110.16 c 110s| 400 | 401 |607282 |1456.2 |5002k| 27 | 381 | 478 | 570 | 478 | 983 | 782 | 0 | 386 | 1.650059e+02 | 1.970000e+02 | 19.39%
118.96/119.05 o 196
118.96/119.05 c p 119s| 436 | 437 |668452 |1476.3 |5190k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 413 | 1.650235e+02 | 1.960000e+02 | 18.77%
131.66/131.71 c 132s| 500 | 501 |753867 |1458.1 |5066k| 27 | 391 | 478 | 570 | 478 | 983 | 782 | 0 | 458 | 1.650684e+02 | 1.960000e+02 | 18.74%
137.96/138.04 o 195
137.96/138.04 c p 138s| 535 | 536 |799288 |1447.6 |5247k| 27 | - | 478 | 570 | 478 | 983 | 782 | 0 | 475 | 1.650750e+02 | 1.950000e+02 | 18.13%
157.36/157.42 c 157s| 600 | 601 |978586 |1589.9 |5128k| 27 | 345 | 478 | 570 | 478 | 983 | 782 | 0 | 491 | 1.651177e+02 | 1.950000e+02 | 18.10%
177.75/177.81 c 178s| 700 | 701 | 1139k|1592.0 |5189k| 27 | 378 | 478 | 570 | 478 | 983 | 782 | 0 | 493 | 1.651259e+02 | 1.950000e+02 | 18.09%
191.55/191.64 c 192s| 800 | 801 | 1238k|1517.5 |5253k| 31 | 353 | 478 | 570 | 478 | 983 | 782 | 0 | 529 | 1.651430e+02 | 1.950000e+02 | 18.08%
206.34/206.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.34/206.43 c 206s| 900 | 901 | 1338k|1460.0 |5319k| 31 | 352 | 478 | 570 | 478 | 983 | 782 | 0 | 589 | 1.651430e+02 | 1.950000e+02 | 18.08%
219.24/219.33 c 219s| 1000 | 1001 | 1436k|1411.6 |5386k| 31 | 367 | 478 | 570 | 478 | 983 | 782 | 0 | 600 | 1.651430e+02 | 1.950000e+02 | 18.08%
230.45/230.56 c 231s| 1100 | 1101 | 1520k|1359.7 |5456k| 31 | 331 | 478 | 570 | 478 | 983 | 782 | 0 | 605 | 1.651430e+02 | 1.950000e+02 | 18.08%
238.25/238.36 c 238s| 1200 | 1201 | 1584k|1299.9 |5527k| 62 | 275 | 478 | 570 | 478 | 983 | 782 | 0 | 616 | 1.651654e+02 | 1.950000e+02 | 18.06%
242.44/242.57 c 243s| 1300 | 1301 | 1616k|1224.3 |5601k| 91 | 202 | 478 | 570 | 478 | 983 | 782 | 0 | 657 | 1.651686e+02 | 1.950000e+02 | 18.06%
254.34/254.42 c 254s| 1400 | 1401 | 1695k|1193.5 |5672k| 91 | 397 | 478 | 570 | 478 | 983 | 782 | 0 | 702 | 1.652531e+02 | 1.950000e+02 | 18.00%
262.14/262.27 c 262s| 1500 | 1501 | 1749k|1149.6 |5742k| 91 | 379 | 478 | 570 | 478 | 983 | 782 | 0 | 720 | 1.652893e+02 | 1.950000e+02 | 17.97%
274.23/274.32 c 274s| 1600 | 1601 | 1844k|1137.3 |5814k| 91 | 367 | 478 | 570 | 478 | 983 | 782 | 0 | 723 | 1.653218e+02 | 1.950000e+02 | 17.95%
283.94/284.02 c 284s| 1700 | 1701 | 1916k|1112.3 |5886k| 91 | 366 | 478 | 570 | 478 | 983 | 782 | 0 | 736 | 1.653345e+02 | 1.950000e+02 | 17.94%
294.74/294.87 c 295s| 1800 | 1801 | 1986k|1089.5 |5956k| 91 | 401 | 478 | 570 | 478 | 983 | 782 | 0 | 781 | 1.653650e+02 | 1.950000e+02 | 17.92%
304.03/304.16 c 304s| 1900 | 1901 | 2046k|1063.8 |6025k| 91 | 365 | 478 | 570 | 478 | 983 | 782 | 0 | 820 | 1.653950e+02 | 1.950000e+02 | 17.90%
312.93/313.09 c 313s| 2000 | 2001 | 2110k|1042.7 |6095k| 91 | 389 | 478 | 570 | 478 | 983 | 782 | 0 | 835 | 1.654135e+02 | 1.950000e+02 | 17.89%
324.34/324.45 c 324s| 2100 | 2101 | 2198k|1034.8 |6165k| 91 | 383 | 478 | 570 | 478 | 983 | 782 | 0 | 840 | 1.654277e+02 | 1.950000e+02 | 17.88%
332.63/332.74 c 333s| 2200 | 2201 | 2260k|1016.0 |6234k| 91 | 390 | 478 | 570 | 478 | 983 | 782 | 0 | 840 | 1.654418e+02 | 1.950000e+02 | 17.87%
342.62/342.79 c 343s| 2300 | 2301 | 2324k| 999.7 |6304k| 91 | 382 | 478 | 570 | 478 | 983 | 782 | 0 | 887 | 1.654565e+02 | 1.950000e+02 | 17.86%
352.93/353.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.93/353.02 c 353s| 2400 | 2401 | 2391k| 985.8 |6375k| 91 | 390 | 478 | 570 | 478 | 983 | 782 | 0 | 929 | 1.654713e+02 | 1.950000e+02 | 17.85%
360.92/361.06 c 361s| 2500 | 2501 | 2444k| 967.8 |6444k| 91 | 386 | 478 | 570 | 478 | 983 | 782 | 0 | 955 | 1.654908e+02 | 1.950000e+02 | 17.83%
372.32/372.48 c 372s| 2600 | 2601 | 2532k| 964.3 |6514k| 91 | 382 | 478 | 570 | 478 | 983 | 782 | 0 | 957 | 1.654995e+02 | 1.950000e+02 | 17.83%
379.22/379.38 c 379s| 2700 | 2701 | 2583k| 947.6 |6584k| 91 | 373 | 478 | 570 | 478 | 983 | 782 | 0 | 957 | 1.655113e+02 | 1.950000e+02 | 17.82%
387.03/387.15 c 387s| 2800 | 2801 | 2636k| 932.4 |6656k| 91 | 393 | 478 | 570 | 478 | 983 | 782 | 0 | 976 | 1.655220e+02 | 1.950000e+02 | 17.81%
396.61/396.72 c 397s| 2900 | 2901 | 2697k| 921.5 |6726k| 91 | 379 | 478 | 570 | 478 | 983 | 782 | 0 |1012 | 1.655296e+02 | 1.950000e+02 | 17.80%
403.81/403.96 o 194
403.81/403.96 c p 404s| 2980 | 2981 | 2746k| 913.0 |6940k| 91 | - | 478 | 570 | 478 | 983 | 782 | 0 |1036 | 1.655374e+02 | 1.940000e+02 | 17.19%
407.21/407.37 c 407s| 3000 | 3001 | 2766k| 913.6 |6796k| 91 | 396 | 478 | 570 | 478 | 983 | 782 | 0 |1057 | 1.655380e+02 | 1.940000e+02 | 17.19%
418.61/418.76 c 419s| 3100 | 3101 | 2851k| 911.5 |6867k| 91 | 382 | 478 | 570 | 478 | 983 | 782 | 0 |1071 | 1.655511e+02 | 1.940000e+02 | 17.18%
428.01/428.19 c 428s| 3200 | 3201 | 2923k| 905.6 |6938k| 91 | 374 | 478 | 570 | 478 | 983 | 782 | 0 |1073 | 1.655569e+02 | 1.940000e+02 | 17.18%
436.01/436.15 c 436s| 3300 | 3301 | 2982k| 896.1 |7008k| 91 | 386 | 478 | 570 | 478 | 983 | 782 | 0 |1076 | 1.655649e+02 | 1.940000e+02 | 17.17%
443.70/443.85 c 444s| 3400 | 3401 | 3040k| 886.7 |7079k| 91 | 381 | 478 | 570 | 478 | 983 | 782 | 0 |1078 | 1.655732e+02 | 1.940000e+02 | 17.17%
451.11/451.27 c 451s| 3500 | 3501 | 3083k| 873.7 |7149k| 91 | 380 | 478 | 570 | 478 | 983 | 782 | 0 |1115 | 1.655840e+02 | 1.940000e+02 | 17.16%
462.61/462.73 c 463s| 3600 | 3601 | 3166k| 872.6 |7220k| 91 | 383 | 478 | 570 | 478 | 983 | 782 | 0 |1142 | 1.655910e+02 | 1.940000e+02 | 17.16%
472.70/472.82 c 473s| 3700 | 3701 | 3233k| 867.0 |7290k| 91 | 384 | 478 | 570 | 478 | 983 | 782 | 0 |1183 | 1.655968e+02 | 1.940000e+02 | 17.15%
480.30/480.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
480.30/480.42 c 480s| 3800 | 3801 | 3290k| 859.2 |7362k| 91 | 382 | 478 | 570 | 478 | 983 | 782 | 0 |1191 | 1.656078e+02 | 1.940000e+02 | 17.14%
488.70/488.81 c 489s| 3900 | 3901 | 3354k| 853.5 |7434k| 91 | 360 | 478 | 570 | 478 | 983 | 782 | 0 |1191 | 1.656153e+02 | 1.940000e+02 | 17.14%
497.30/497.41 c 497s| 4000 | 4001 | 3420k| 848.8 |7505k| 91 | 376 | 478 | 570 | 478 | 983 | 782 | 0 |1191 | 1.656189e+02 | 1.940000e+02 | 17.14%
506.50/506.62 c 507s| 4100 | 4101 | 3494k| 846.1 |7578k| 91 | 382 | 478 | 575 | 478 | 983 | 782 | 5 |1191 | 1.656240e+02 | 1.940000e+02 | 17.13%
515.10/515.27 c 515s| 4200 | 4201 | 3559k| 841.4 |7648k| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1192 | 1.656321e+02 | 1.940000e+02 | 17.13%
522.59/522.78 c 523s| 4300 | 4301 | 3617k| 835.4 |7720k| 91 | 368 | 478 | 575 | 478 | 983 | 782 | 5 |1192 | 1.656374e+02 | 1.940000e+02 | 17.12%
530.20/530.34 c 530s| 4400 | 4401 | 3674k| 829.4 |7791k| 91 | 375 | 478 | 575 | 478 | 983 | 782 | 5 |1192 | 1.656450e+02 | 1.940000e+02 | 17.12%
538.40/538.59 c 539s| 4500 | 4501 | 3737k| 825.0 |7863k| 91 | 387 | 478 | 575 | 478 | 983 | 782 | 5 |1192 | 1.656520e+02 | 1.940000e+02 | 17.11%
546.90/547.05 c 547s| 4600 | 4601 | 3801k| 820.9 |7932k| 91 | 366 | 478 | 575 | 478 | 983 | 782 | 5 |1192 | 1.656597e+02 | 1.940000e+02 | 17.11%
551.89/552.08 c 552s| 4700 | 4701 | 3837k| 811.1 |8002k| 91 | 385 | 478 | 575 | 478 | 983 | 782 | 5 |1192 | 1.656664e+02 | 1.940000e+02 | 17.10%
562.29/562.41 c 562s| 4800 | 4801 | 3918k| 811.1 |8072k| 91 | 380 | 478 | 575 | 478 | 983 | 782 | 5 |1193 | 1.656713e+02 | 1.940000e+02 | 17.10%
569.29/569.47 c 569s| 4900 | 4901 | 3965k| 804.1 |8142k| 91 | 383 | 478 | 575 | 478 | 983 | 782 | 5 |1214 | 1.656742e+02 | 1.940000e+02 | 17.10%
577.68/577.86 c 578s| 5000 | 5001 | 4017k| 798.4 |8212k| 91 | 389 | 478 | 575 | 478 | 983 | 782 | 5 |1258 | 1.656817e+02 | 1.940000e+02 | 17.09%
585.28/585.46 c 585s| 5100 | 5101 | 4070k| 793.1 |8283k| 91 | 384 | 478 | 575 | 478 | 983 | 782 | 5 |1276 | 1.656856e+02 | 1.940000e+02 | 17.09%
594.19/594.37 c 594s| 5200 | 5201 | 4139k| 791.2 |8354k| 91 | 356 | 478 | 575 | 478 | 983 | 782 | 5 |1279 | 1.656907e+02 | 1.940000e+02 | 17.09%
603.08/603.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.08/603.26 c 603s| 5300 | 5301 | 4209k| 789.4 |8424k| 91 | 374 | 478 | 575 | 478 | 983 | 782 | 5 |1280 | 1.656965e+02 | 1.940000e+02 | 17.08%
612.78/612.93 c 613s| 5400 | 5401 | 4284k| 788.7 |8494k| 91 | 397 | 478 | 575 | 478 | 983 | 782 | 5 |1280 | 1.657018e+02 | 1.940000e+02 | 17.08%
621.88/622.03 c 622s| 5500 | 5501 | 4342k| 784.9 |8565k| 91 | 378 | 478 | 575 | 478 | 983 | 782 | 5 |1320 | 1.657059e+02 | 1.940000e+02 | 17.07%
629.98/630.11 c 630s| 5600 | 5601 | 4401k| 781.4 |8637k| 91 | 337 | 478 | 575 | 478 | 983 | 782 | 5 |1333 | 1.657137e+02 | 1.940000e+02 | 17.07%
638.38/638.59 c 639s| 5700 | 5701 | 4455k| 777.2 |8709k| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1368 | 1.657169e+02 | 1.940000e+02 | 17.07%
647.87/648.05 c 648s| 5800 | 5801 | 4523k| 775.5 |8778k| 91 | 365 | 478 | 575 | 478 | 983 | 782 | 5 |1387 | 1.657215e+02 | 1.940000e+02 | 17.06%
657.47/657.65 c 658s| 5900 | 5901 | 4596k| 774.8 |8848k| 91 | 387 | 478 | 575 | 478 | 983 | 782 | 5 |1388 | 1.657263e+02 | 1.940000e+02 | 17.06%
663.97/664.13 c 664s| 6000 | 6001 | 4644k| 769.8 |8918k| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1388 | 1.657289e+02 | 1.940000e+02 | 17.06%
672.07/672.27 c 672s| 6100 | 6101 | 4707k| 767.5 |8989k| 91 | 368 | 478 | 575 | 478 | 983 | 782 | 5 |1388 | 1.657354e+02 | 1.940000e+02 | 17.05%
680.57/680.71 c 681s| 6200 | 6201 | 4764k| 764.4 |9059k| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1411 | 1.657399e+02 | 1.940000e+02 | 17.05%
688.77/688.91 c 689s| 6300 | 6301 | 4819k| 761.0 |9129k| 91 | 379 | 478 | 575 | 478 | 983 | 782 | 5 |1437 | 1.657446e+02 | 1.940000e+02 | 17.05%
697.07/697.22 c 697s| 6400 | 6401 | 4875k| 757.8 |9200k| 91 | 382 | 478 | 575 | 478 | 983 | 782 | 5 |1464 | 1.657484e+02 | 1.940000e+02 | 17.04%
707.87/708.06 c 708s| 6500 | 6501 | 4953k| 758.2 |9271k| 91 | 378 | 478 | 575 | 478 | 983 | 782 | 5 |1492 | 1.657535e+02 | 1.940000e+02 | 17.04%
716.17/716.39 c 716s| 6600 | 6601 | 5017k| 756.3 |9341k| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |1499 | 1.657566e+02 | 1.940000e+02 | 17.04%
723.67/723.87 c 724s| 6700 | 6701 | 5074k| 753.6 |9413k| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1501 | 1.657588e+02 | 1.940000e+02 | 17.04%
729.76/729.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
729.76/729.95 c 730s| 6800 | 6801 | 5119k| 749.1 |9483k| 91 | 351 | 478 | 575 | 478 | 983 | 782 | 5 |1501 | 1.657622e+02 | 1.940000e+02 | 17.04%
738.56/738.72 c 739s| 6900 | 6901 | 5187k| 748.1 |9555k| 91 | 359 | 478 | 575 | 478 | 983 | 782 | 5 |1501 | 1.657673e+02 | 1.940000e+02 | 17.03%
747.66/747.81 c 748s| 7000 | 7001 | 5248k| 746.2 |9624k| 91 | 379 | 478 | 575 | 478 | 983 | 782 | 5 |1530 | 1.657716e+02 | 1.940000e+02 | 17.03%
755.26/755.47 c 755s| 7100 | 7101 | 5300k| 742.9 |9695k| 91 | 369 | 478 | 575 | 478 | 983 | 782 | 5 |1548 | 1.657748e+02 | 1.940000e+02 | 17.03%
762.66/762.84 c 763s| 7200 | 7201 | 5347k| 739.2 |9764k| 91 | 369 | 478 | 575 | 478 | 983 | 782 | 5 |1576 | 1.657780e+02 | 1.940000e+02 | 17.02%
771.96/772.15 c 772s| 7300 | 7301 | 5412k| 737.9 |9834k| 91 | 365 | 478 | 575 | 478 | 983 | 782 | 5 |1604 | 1.657835e+02 | 1.940000e+02 | 17.02%
779.77/779.96 c 780s| 7400 | 7401 | 5468k| 735.6 |9904k| 91 | 378 | 478 | 575 | 478 | 983 | 782 | 5 |1616 | 1.657880e+02 | 1.940000e+02 | 17.02%
785.66/785.80 c 786s| 7500 | 7501 | 5512k| 731.6 |9974k| 91 | 371 | 478 | 575 | 478 | 983 | 782 | 5 |1616 | 1.657922e+02 | 1.940000e+02 | 17.01%
794.25/794.50 c 794s| 7600 | 7601 | 5579k| 730.8 | 10M| 91 | 366 | 478 | 575 | 478 | 983 | 782 | 5 |1617 | 1.657946e+02 | 1.940000e+02 | 17.01%
800.35/800.59 c 801s| 7700 | 7701 | 5624k| 727.1 | 10M| 91 | 359 | 478 | 575 | 478 | 983 | 782 | 5 |1617 | 1.657984e+02 | 1.940000e+02 | 17.01%
808.36/808.53 c 809s| 7800 | 7801 | 5681k| 725.1 | 10M| 91 | 354 | 478 | 575 | 478 | 983 | 782 | 5 |1630 | 1.658003e+02 | 1.940000e+02 | 17.01%
816.95/817.14 c 817s| 7900 | 7901 | 5741k| 723.5 | 10M| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |1652 | 1.658035e+02 | 1.940000e+02 | 17.01%
825.75/825.93 c 826s| 8000 | 8001 | 5802k| 722.1 | 10M| 91 | 389 | 478 | 575 | 478 | 983 | 782 | 5 |1675 | 1.658045e+02 | 1.940000e+02 | 17.01%
836.34/836.58 c 837s| 8100 | 8101 | 5876k| 722.4 | 10M| 91 | 369 | 478 | 575 | 478 | 983 | 782 | 5 |1708 | 1.658077e+02 | 1.940000e+02 | 17.00%
842.25/842.49 c 842s| 8200 | 8201 | 5915k| 718.2 | 10M| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |1724 | 1.658104e+02 | 1.940000e+02 | 17.00%
850.65/850.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.65/850.86 c 851s| 8300 | 8301 | 5975k| 716.9 | 10M| 91 | 368 | 478 | 575 | 478 | 983 | 782 | 5 |1739 | 1.658143e+02 | 1.940000e+02 | 17.00%
857.24/857.49 c 857s| 8400 | 8401 | 6026k| 714.4 | 10M| 91 | 355 | 478 | 575 | 478 | 983 | 782 | 5 |1739 | 1.658164e+02 | 1.940000e+02 | 17.00%
864.65/864.84 c 865s| 8500 | 8501 | 6081k| 712.4 | 10M| 91 | 364 | 478 | 575 | 478 | 983 | 782 | 5 |1739 | 1.658177e+02 | 1.940000e+02 | 17.00%
873.34/873.52 c 874s| 8600 | 8601 | 6148k| 712.0 | 10M| 91 | 379 | 478 | 575 | 478 | 983 | 782 | 5 |1739 | 1.658196e+02 | 1.940000e+02 | 16.99%
882.24/882.48 c 882s| 8700 | 8701 | 6213k| 711.3 | 10M| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |1749 | 1.658231e+02 | 1.940000e+02 | 16.99%
888.14/888.34 c 888s| 8800 | 8801 | 6251k| 707.5 | 10M| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1768 | 1.658274e+02 | 1.940000e+02 | 16.99%
899.23/899.47 c 899s| 8900 | 8901 | 6328k| 708.2 | 10M| 91 | 373 | 478 | 575 | 478 | 983 | 782 | 5 |1802 | 1.658295e+02 | 1.940000e+02 | 16.99%
905.44/905.66 c 906s| 9000 | 9001 | 6368k| 704.7 | 11M| 91 | 374 | 478 | 575 | 478 | 983 | 782 | 5 |1821 | 1.658318e+02 | 1.940000e+02 | 16.99%
912.43/912.64 c 913s| 9100 | 9101 | 6415k| 702.2 | 11M| 91 | 365 | 478 | 575 | 478 | 983 | 782 | 5 |1838 | 1.658348e+02 | 1.940000e+02 | 16.98%
932.93/933.12 c 933s| 9200 | 9201 | 6608k| 715.5 | 11M| 91 | 374 | 478 | 575 | 478 | 983 | 782 | 5 |1856 | 1.658372e+02 | 1.940000e+02 | 16.98%
938.73/938.90 c 939s| 9300 | 9301 | 6650k| 712.4 | 11M| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |1858 | 1.658407e+02 | 1.940000e+02 | 16.98%
947.23/947.41 c 947s| 9400 | 9401 | 6716k| 711.8 | 11M| 91 | 355 | 478 | 575 | 478 | 983 | 782 | 5 |1858 | 1.658434e+02 | 1.940000e+02 | 16.98%
953.33/953.57 c 954s| 9500 | 9501 | 6762k| 709.1 | 11M| 91 | 370 | 478 | 575 | 478 | 983 | 782 | 5 |1858 | 1.658451e+02 | 1.940000e+02 | 16.98%
961.53/961.74 c 962s| 9600 | 9601 | 6825k| 708.3 | 11M| 91 | 366 | 478 | 575 | 478 | 983 | 782 | 5 |1858 | 1.658493e+02 | 1.940000e+02 | 16.97%
968.03/968.23 c 968s| 9700 | 9701 | 6863k| 705.0 | 11M| 91 | 377 | 478 | 575 | 478 | 983 | 782 | 5 |1886 | 1.658509e+02 | 1.940000e+02 | 16.97%
976.72/976.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
976.72/976.96 c 977s| 9800 | 9801 | 6927k| 704.3 | 11M| 91 | 382 | 478 | 575 | 478 | 983 | 782 | 5 |1899 | 1.658535e+02 | 1.940000e+02 | 16.97%
986.03/986.23 c 986s| 9900 | 9901 | 6994k| 703.9 | 11M| 91 | 383 | 478 | 575 | 478 | 983 | 782 | 5 |1917 | 1.658559e+02 | 1.940000e+02 | 16.97%
993.72/993.98 c 994s| 10000 | 10001 | 7047k| 702.2 | 11M| 91 | 380 | 478 | 575 | 478 | 983 | 782 | 5 |1932 | 1.658591e+02 | 1.940000e+02 | 16.97%
1001.62/1001.81 c 1002s| 10100 | 10101 | 7104k| 700.8 | 11M| 91 | 381 | 478 | 575 | 478 | 983 | 782 | 5 |1955 | 1.658614e+02 | 1.940000e+02 | 16.97%
1008.22/1008.42 c 1008s| 10200 | 10201 | 7151k| 698.6 | 11M| 91 | 354 | 478 | 575 | 478 | 983 | 782 | 5 |1964 | 1.658659e+02 | 1.940000e+02 | 16.96%
1015.12/1015.33 c 1015s| 10300 | 10301 | 7204k| 697.0 | 11M| 91 | 360 | 478 | 575 | 478 | 983 | 782 | 5 |1964 | 1.658691e+02 | 1.940000e+02 | 16.96%
1023.82/1024.02 c 1024s| 10400 | 10401 | 7271k| 696.7 | 12M| 91 | 364 | 478 | 575 | 478 | 983 | 782 | 5 |1964 | 1.658720e+02 | 1.940000e+02 | 16.96%
1030.02/1030.26 c 1030s| 10500 | 10501 | 7318k| 694.5 | 12M| 91 | 372 | 478 | 575 | 478 | 983 | 782 | 5 |1965 | 1.658742e+02 | 1.940000e+02 | 16.96%
1037.71/1037.98 c 1038s| 10600 | 10601 | 7378k| 693.7 | 12M| 91 | 369 | 478 | 575 | 478 | 983 | 782 | 5 |1965 | 1.658771e+02 | 1.940000e+02 | 16.95%
1045.61/1045.89 c 1046s| 10700 | 10701 | 7431k| 692.1 | 12M| 91 | 361 | 478 | 575 | 478 | 983 | 782 | 5 |1988 | 1.658792e+02 | 1.940000e+02 | 16.95%
1052.32/1052.55 c 1053s| 10800 | 10801 | 7474k| 689.7 | 12M| 91 | 372 | 478 | 575 | 478 | 983 | 782 | 5 |2011 | 1.658820e+02 | 1.940000e+02 | 16.95%
1058.41/1058.64 c 1059s| 10900 | 10901 | 7513k| 687.0 | 12M| 91 | 369 | 478 | 575 | 478 | 983 | 782 | 5 |2031 | 1.658839e+02 | 1.940000e+02 | 16.95%
1068.11/1068.31 c 1068s| 11000 | 11001 | 7586k| 687.4 | 12M| 91 | 353 | 478 | 575 | 478 | 983 | 782 | 5 |2044 | 1.658851e+02 | 1.940000e+02 | 16.95%
1074.01/1074.27 c 1074s| 11100 | 11101 | 7626k| 684.8 | 12M| 91 | 366 | 478 | 575 | 478 | 983 | 782 | 5 |2063 | 1.658890e+02 | 1.940000e+02 | 16.95%
1081.71/1081.98 c 1082s| 11200 | 11201 | 7686k| 684.0 | 12M| 91 | 382 | 478 | 575 | 478 | 983 | 782 | 5 |2064 | 1.658906e+02 | 1.940000e+02 | 16.94%
1090.10/1090.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.10/1090.34 c 1090s| 11300 | 11301 | 7751k| 683.7 | 12M| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |2065 | 1.658943e+02 | 1.940000e+02 | 16.94%
1095.81/1096.09 c 1096s| 11400 | 11401 | 7794k| 681.5 | 12M| 91 | 363 | 478 | 575 | 478 | 983 | 782 | 5 |2065 | 1.658961e+02 | 1.940000e+02 | 16.94%
1100.81/1101.09 c 1101s| 11500 | 11501 | 7831k| 678.8 | 12M| 91 | 394 | 478 | 575 | 478 | 983 | 782 | 5 |2065 | 1.658998e+02 | 1.940000e+02 | 16.94%
1106.91/1107.15 c 1107s| 11600 | 11601 | 7876k| 676.8 | 12M| 91 | 370 | 478 | 575 | 478 | 983 | 782 | 5 |2065 | 1.659013e+02 | 1.940000e+02 | 16.94%
1117.20/1117.42 c 1117s| 11700 | 11701 | 7949k| 677.3 | 12M| 91 | 373 | 478 | 575 | 478 | 983 | 782 | 5 |2086 | 1.659035e+02 | 1.940000e+02 | 16.94%
1124.10/1124.36 c 1124s| 11800 | 11801 | 7998k| 675.7 | 13M| 91 | 376 | 478 | 575 | 478 | 983 | 782 | 5 |2098 | 1.659058e+02 | 1.940000e+02 | 16.93%
1131.20/1131.50 c 1131s| 11900 | 11901 | 8043k| 673.8 | 13M| 91 | 379 | 478 | 575 | 478 | 983 | 782 | 5 |2126 | 1.659077e+02 | 1.940000e+02 | 16.93%
1139.31/1139.55 c 1140s| 12000 | 12001 | 8100k| 672.9 | 13M| 91 | 365 | 478 | 575 | 478 | 983 | 782 | 5 |2146 | 1.659107e+02 | 1.940000e+02 | 16.93%
1145.70/1145.91 c 1146s| 12100 | 12101 | 8144k| 671.0 | 13M| 91 | 369 | 478 | 575 | 478 | 983 | 782 | 5 |2159 | 1.659135e+02 | 1.940000e+02 | 16.93%
1154.60/1154.80 c 1155s| 12200 | 12201 | 8213k| 671.1 | 13M| 91 | 368 | 478 | 579 | 478 | 983 | 782 | 9 |2168 | 1.659166e+02 | 1.940000e+02 | 16.93%
1161.70/1161.96 c 1162s| 12300 | 12301 | 8267k| 670.1 | 13M| 91 | 365 | 478 | 579 | 478 | 983 | 782 | 9 |2168 | 1.659190e+02 | 1.940000e+02 | 16.92%
1168.10/1168.33 c 1168s| 12400 | 12401 | 8315k| 668.6 | 13M| 91 | 368 | 478 | 579 | 478 | 983 | 782 | 9 |2168 | 1.659214e+02 | 1.940000e+02 | 16.92%
1175.19/1175.47 c 1175s| 12500 | 12501 | 8370k| 667.6 | 13M| 91 | 378 | 478 | 579 | 478 | 983 | 782 | 9 |2168 | 1.659227e+02 | 1.940000e+02 | 16.92%
1180.70/1180.93 c 1181s| 12600 | 12601 | 8410k| 665.5 | 13M| 91 | 356 | 478 | 579 | 478 | 983 | 782 | 9 |2170 | 1.659252e+02 | 1.940000e+02 | 16.92%
1189.19/1189.49 c 1189s| 12700 | 12701 | 8474k| 665.3 | 13M| 91 | 359 | 478 | 579 | 478 | 983 | 782 | 9 |2179 | 1.659265e+02 | 1.940000e+02 | 16.92%
1196.99/1197.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.99/1197.29 c 1197s| 12800 | 12801 | 8527k| 664.2 | 13M| 91 | 397 | 478 | 579 | 478 | 983 | 782 | 9 |2198 | 1.659280e+02 | 1.940000e+02 | 16.92%
1203.99/1204.24 c 1204s| 12900 | 12901 | 8575k| 662.7 | 13M| 91 | 383 | 478 | 579 | 478 | 983 | 782 | 9 |2212 | 1.659297e+02 | 1.940000e+02 | 16.92%
1213.29/1213.58 c 1214s| 13000 | 13001 | 8639k| 662.6 | 13M| 91 | 374 | 478 | 579 | 478 | 983 | 782 | 9 |2234 | 1.659322e+02 | 1.940000e+02 | 16.92%
1220.19/1220.47 c 1220s| 13100 | 13101 | 8689k| 661.3 | 13M| 91 | 367 | 478 | 579 | 478 | 983 | 782 | 9 |2246 | 1.659330e+02 | 1.940000e+02 | 16.91%
1226.79/1227.07 c 1227s| 13200 | 13201 | 8733k| 659.7 | 14M| 91 | 358 | 478 | 579 | 478 | 983 | 782 | 9 |2264 | 1.659349e+02 | 1.940000e+02 | 16.91%
1233.59/1233.81 c 1234s| 13300 | 13301 | 8782k| 658.4 | 14M| 91 | 381 | 478 | 579 | 478 | 983 | 782 | 9 |2276 | 1.659357e+02 | 1.940000e+02 | 16.91%
1239.89/1240.16 c 1240s| 13400 | 13401 | 8830k| 657.1 | 14M| 91 | 360 | 478 | 579 | 478 | 983 | 782 | 9 |2276 | 1.659383e+02 | 1.940000e+02 | 16.91%
1247.09/1247.35 c 1247s| 13500 | 13501 | 8884k| 656.3 | 14M| 91 | 377 | 478 | 579 | 478 | 983 | 782 | 9 |2277 | 1.659404e+02 | 1.940000e+02 | 16.91%
1253.79/1254.04 c 1254s| 13600 | 13601 | 8936k| 655.2 | 14M| 91 | 364 | 478 | 579 | 478 | 983 | 782 | 9 |2277 | 1.659419e+02 | 1.940000e+02 | 16.91%
1260.69/1260.99 c 1261s| 13700 | 13701 | 8988k| 654.2 | 14M| 91 | 386 | 478 | 579 | 478 | 983 | 782 | 9 |2277 | 1.659437e+02 | 1.940000e+02 | 16.91%
1268.29/1268.50 c 1268s| 13800 | 13801 | 9046k| 653.7 | 14M| 91 | 374 | 478 | 579 | 478 | 983 | 782 | 9 |2277 | 1.659456e+02 | 1.940000e+02 | 16.91%
1274.39/1274.68 c 1275s| 13900 | 13901 | 9084k| 651.7 | 14M| 91 | 367 | 478 | 579 | 478 | 983 | 782 | 9 |2300 | 1.659475e+02 | 1.940000e+02 | 16.90%
1283.49/1283.70 c 1284s| 14000 | 14001 | 9150k| 651.8 | 14M| 91 | 355 | 478 | 579 | 478 | 983 | 782 | 9 |2314 | 1.659498e+02 | 1.940000e+02 | 16.90%
1291.58/1291.82 c 1292s| 14100 | 14101 | 9209k| 651.4 | 14M| 91 | 355 | 478 | 579 | 478 | 983 | 782 | 9 |2326 | 1.659517e+02 | 1.940000e+02 | 16.90%
1300.08/1300.31 c 1300s| 14200 | 14201 | 9272k| 651.2 | 14M| 91 | 374 | 478 | 579 | 478 | 983 | 782 | 9 |2340 | 1.659525e+02 | 1.940000e+02 | 16.90%
1306.18/1306.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.18/1306.49 c 1306s| 14300 | 14301 | 9311k| 649.4 | 14M| 91 | 350 | 478 | 579 | 478 | 983 | 782 | 9 |2362 | 1.659550e+02 | 1.940000e+02 | 16.90%
1313.58/1313.89 c 1314s| 14400 | 14401 | 9365k| 648.6 | 14M| 91 | 354 | 478 | 579 | 478 | 983 | 782 | 9 |2374 | 1.659562e+02 | 1.940000e+02 | 16.90%
1318.98/1319.29 c 1319s| 14500 | 14501 | 9404k| 646.8 | 14M| 91 | 364 | 478 | 579 | 478 | 983 | 782 | 9 |2374 | 1.659574e+02 | 1.940000e+02 | 16.90%
1328.37/1328.67 c 1329s| 14600 | 14601 | 9479k| 647.5 | 14M| 91 | 346 | 478 | 579 | 478 | 983 | 782 | 9 |2375 | 1.659590e+02 | 1.940000e+02 | 16.90%
1335.17/1335.45 c 1335s| 14700 | 14701 | 9531k| 646.6 | 15M| 91 | 380 | 478 | 579 | 478 | 983 | 782 | 9 |2375 | 1.659616e+02 | 1.940000e+02 | 16.89%
1342.37/1342.62 c 1343s| 14800 | 14801 | 9586k| 646.0 | 15M| 91 | 378 | 478 | 579 | 478 | 983 | 782 | 9 |2375 | 1.659639e+02 | 1.940000e+02 | 16.89%
1348.47/1348.79 c 1349s| 14900 | 14901 | 9632k| 644.7 | 15M| 91 | 366 | 478 | 579 | 478 | 983 | 782 | 9 |2376 | 1.659654e+02 | 1.940000e+02 | 16.89%
1355.87/1356.14 c 1356s| 15000 | 15001 | 9683k| 643.9 | 15M| 91 | 376 | 478 | 579 | 478 | 983 | 782 | 9 |2390 | 1.659673e+02 | 1.940000e+02 | 16.89%
1363.77/1364.05 c 1364s| 15100 | 15101 | 9741k| 643.4 | 15M| 91 | 362 | 478 | 579 | 478 | 983 | 782 | 9 |2403 | 1.659682e+02 | 1.940000e+02 | 16.89%
1369.76/1370.01 c 1370s| 15200 | 15201 | 9779k| 641.7 | 15M| 91 | 369 | 478 | 579 | 478 | 983 | 782 | 9 |2421 | 1.659694e+02 | 1.940000e+02 | 16.89%
1375.16/1375.46 c 1375s| 15300 | 15301 | 9817k| 640.0 | 15M| 91 | 366 | 478 | 579 | 478 | 983 | 782 | 9 |2432 | 1.659717e+02 | 1.940000e+02 | 16.89%
1386.87/1387.13 c 1387s| 15400 | 15401 | 9906k| 641.6 | 15M| 91 | 375 | 478 | 579 | 478 | 983 | 782 | 9 |2449 | 1.659728e+02 | 1.940000e+02 | 16.89%
1392.37/1392.61 c 1393s| 15500 | 15501 | 9943k| 639.9 | 15M| 91 | 361 | 478 | 579 | 478 | 983 | 782 | 9 |2465 | 1.659742e+02 | 1.940000e+02 | 16.89%
1399.56/1399.89 c 1400s| 15600 | 15601 | 9997k| 639.2 | 15M| 91 | 363 | 478 | 579 | 478 | 983 | 782 | 9 |2467 | 1.659764e+02 | 1.940000e+02 | 16.88%
1405.16/1405.42 c 1405s| 15700 | 15701 | 10038k| 637.8 | 15M| 91 | 363 | 478 | 579 | 478 | 983 | 782 | 9 |2467 | 1.659786e+02 | 1.940000e+02 | 16.88%
1413.96/1414.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.96/1414.28 c 1414s| 15800 | 15801 | 10108k| 638.2 | 15M| 91 | 352 | 478 | 579 | 478 | 983 | 782 | 9 |2467 | 1.659796e+02 | 1.940000e+02 | 16.88%
1419.16/1419.47 c 1419s| 15900 | 15901 | 10146k| 636.5 | 15M| 91 | 382 | 478 | 579 | 478 | 983 | 782 | 9 |2467 | 1.659814e+02 | 1.940000e+02 | 16.88%
1423.46/1423.77 c 1424s| 16000 | 16001 | 10177k| 634.5 | 15M| 91 | 373 | 478 | 579 | 478 | 983 | 782 | 9 |2469 | 1.659827e+02 | 1.940000e+02 | 16.88%
1431.45/1431.79 c 1432s| 16100 | 16101 | 10239k| 634.4 | 16M| 91 | 375 | 478 | 579 | 478 | 983 | 782 | 9 |2469 | 1.659849e+02 | 1.940000e+02 | 16.88%
1439.85/1440.11 c 1440s| 16200 | 16201 | 10295k| 634.0 | 16M| 91 | 377 | 478 | 579 | 478 | 983 | 782 | 9 |2494 | 1.659882e+02 | 1.940000e+02 | 16.88%
1445.16/1445.48 c 1445s| 16300 | 16301 | 10331k| 632.3 | 16M| 91 | 358 | 478 | 579 | 478 | 983 | 782 | 9 |2507 | 1.659891e+02 | 1.940000e+02 | 16.88%
1453.25/1453.56 c 1454s| 16400 | 16401 | 10386k| 631.8 | 16M| 91 | 377 | 478 | 579 | 478 | 983 | 782 | 9 |2527 | 1.659906e+02 | 1.940000e+02 | 16.87%
1459.25/1459.53 c 1460s| 16500 | 16501 | 10431k| 630.7 | 16M| 91 | 377 | 478 | 579 | 478 | 983 | 782 | 9 |2527 | 1.659919e+02 | 1.940000e+02 | 16.87%
1465.56/1465.82 c 1466s| 16600 | 16601 | 10473k| 629.4 | 16M| 91 | 375 | 478 | 579 | 478 | 983 | 782 | 9 |2547 | 1.659932e+02 | 1.940000e+02 | 16.87%
1472.95/1473.24 c 1473s| 16700 | 16701 | 10527k| 628.9 | 16M| 91 | 339 | 478 | 579 | 478 | 983 | 782 | 9 |2557 | 1.659950e+02 | 1.940000e+02 | 16.87%
1480.44/1480.77 c 1481s| 16800 | 16801 | 10584k| 628.5 | 16M| 91 | 367 | 478 | 579 | 478 | 983 | 782 | 9 |2564 | 1.659976e+02 | 1.940000e+02 | 16.87%
1486.55/1486.87 c 1487s| 16900 | 16901 | 10632k| 627.6 | 16M| 91 | 372 | 478 | 579 | 478 | 983 | 782 | 9 |2564 | 1.659987e+02 | 1.940000e+02 | 16.87%
1493.35/1493.63 c 1494s| 17000 | 17001 | 10683k| 626.9 | 16M| 91 | 363 | 478 | 579 | 478 | 983 | 782 | 9 |2564 | 1.659997e+02 | 1.940000e+02 | 16.87%
1498.35/1498.62 c 1499s| 17100 | 17101 | 10719k| 625.4 | 16M| 91 | 369 | 478 | 579 | 478 | 983 | 782 | 9 |2564 | 1.660019e+02 | 1.940000e+02 | 16.87%
1506.35/1506.67 c 1507s| 17200 | 17201 | 10781k| 625.3 | 16M| 91 | 365 | 478 | 579 | 478 | 983 | 782 | 9 |2564 | 1.660027e+02 | 1.940000e+02 | 16.87%
1511.74/1512.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.74/1512.05 c 1512s| 17300 | 17301 | 10821k| 624.0 | 16M| 91 | 387 | 478 | 579 | 478 | 983 | 782 | 9 |2564 | 1.660037e+02 | 1.940000e+02 | 16.86%
1518.04/1518.32 c 1518s| 17400 | 17401 | 10868k| 623.2 | 16M| 91 | 366 | 478 | 579 | 478 | 983 | 782 | 9 |2565 | 1.660058e+02 | 1.940000e+02 | 16.86%
1527.25/1527.59 c 1528s| 17500 | 17501 | 10933k| 623.3 | 17M| 91 | 371 | 478 | 579 | 478 | 983 | 782 | 9 |2588 | 1.660077e+02 | 1.940000e+02 | 16.86%
1533.04/1533.32 c 1533s| 17600 | 17601 | 10972k| 622.0 | 17M| 91 | 381 | 478 | 579 | 478 | 983 | 782 | 9 |2597 | 1.660090e+02 | 1.940000e+02 | 16.86%
1538.24/1538.59 c 1539s| 17700 | 17701 | 11008k| 620.5 | 17M| 91 | 365 | 478 | 579 | 478 | 983 | 782 | 9 |2606 | 1.660107e+02 | 1.940000e+02 | 16.86%
1545.14/1545.41 c 1545s| 17800 | 17801 | 11053k| 619.6 | 17M| 91 | 359 | 478 | 579 | 478 | 983 | 782 | 9 |2622 | 1.660121e+02 | 1.940000e+02 | 16.86%
1553.95/1554.30 c 1554s| 17900 | 17901 | 11121k| 619.9 | 17M| 91 | 378 | 478 | 579 | 478 | 983 | 782 | 9 |2633 | 1.660136e+02 | 1.940000e+02 | 16.86%
1559.44/1559.72 c 1560s| 18000 | 18001 | 11157k| 618.4 | 17M| 91 | 364 | 478 | 579 | 478 | 983 | 782 | 9 |2647 | 1.660156e+02 | 1.940000e+02 | 16.86%
1567.43/1567.70 c 1568s| 18100 | 18101 | 11213k| 618.1 | 17M| 91 | 372 | 478 | 579 | 478 | 983 | 782 | 9 |2662 | 1.660169e+02 | 1.940000e+02 | 16.86%
1572.94/1573.24 c 1573s| 18200 | 18201 | 11252k| 616.9 | 17M| 91 | 378 | 478 | 579 | 478 | 983 | 782 | 9 |2669 | 1.660179e+02 | 1.940000e+02 | 16.85%
1579.93/1580.22 c 1580s| 18300 | 18301 | 11306k| 616.5 | 17M| 91 | 371 | 478 | 579 | 478 | 983 | 782 | 9 |2672 | 1.660190e+02 | 1.940000e+02 | 16.85%
1585.14/1585.43 c 1585s| 18400 | 18401 | 11345k| 615.2 | 17M| 91 | 373 | 478 | 579 | 478 | 983 | 782 | 9 |2673 | 1.660200e+02 | 1.940000e+02 | 16.85%
1591.53/1591.86 c 1592s| 18500 | 18501 | 11393k| 614.5 | 17M| 91 | 381 | 478 | 579 | 478 | 983 | 782 | 9 |2673 | 1.660209e+02 | 1.940000e+02 | 16.85%
1599.04/1599.34 c 1599s| 18600 | 18601 | 11451k| 614.3 | 17M| 91 | 380 | 478 | 579 | 478 | 983 | 782 | 9 |2673 | 1.660224e+02 | 1.940000e+02 | 16.85%
1606.33/1606.68 c 1607s| 18700 | 18701 | 11509k| 614.1 | 17M| 91 | 366 | 478 | 579 | 478 | 983 | 782 | 9 |2673 | 1.660237e+02 | 1.940000e+02 | 16.85%
1611.13/1611.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.13/1611.49 c 1611s| 18800 | 18801 | 11545k| 612.8 | 17M| 91 | 374 | 478 | 579 | 478 | 983 | 782 | 9 |2673 | 1.660247e+02 | 1.940000e+02 | 16.85%
1617.33/1617.64 c 1618s| 18900 | 18901 | 11588k| 611.8 | 18M| 91 | 358 | 478 | 579 | 478 | 983 | 782 | 9 |2682 | 1.660259e+02 | 1.940000e+02 | 16.85%
1624.03/1624.39 c 1624s| 19000 | 19001 | 11634k| 611.0 | 18M| 91 | 374 | 478 | 579 | 478 | 983 | 782 | 9 |2698 | 1.660274e+02 | 1.940000e+02 | 16.85%
1631.73/1632.02 c 1632s| 19100 | 19101 | 11690k| 610.7 | 18M| 91 | 374 | 478 | 579 | 478 | 983 | 782 | 9 |2707 | 1.660287e+02 | 1.940000e+02 | 16.85%
1638.52/1638.85 c 1639s| 19200 | 19201 | 11734k| 609.8 | 18M| 91 | 381 | 478 | 579 | 478 | 983 | 782 | 9 |2734 | 1.660316e+02 | 1.940000e+02 | 16.85%
1646.62/1646.99 c 1647s| 19300 | 19301 | 11794k| 609.8 | 18M| 91 | 364 | 478 | 582 | 478 | 983 | 782 | 12 |2747 | 1.660335e+02 | 1.940000e+02 | 16.84%
1654.12/1654.46 c 1654s| 19400 | 19401 | 11848k| 609.4 | 18M| 91 | 383 | 478 | 582 | 478 | 983 | 782 | 12 |2754 | 1.660342e+02 | 1.940000e+02 | 16.84%
1659.52/1659.86 c 1660s| 19500 | 19501 | 11887k| 608.3 | 18M| 91 | 396 | 478 | 582 | 478 | 983 | 782 | 12 |2762 | 1.660355e+02 | 1.940000e+02 | 16.84%
1664.62/1664.94 c 1665s| 19600 | 19601 | 11924k| 607.1 | 18M| 91 | 371 | 478 | 582 | 478 | 983 | 782 | 12 |2764 | 1.660365e+02 | 1.940000e+02 | 16.84%
1672.02/1672.32 c 1672s| 19700 | 19701 | 11980k| 606.8 | 18M| 91 | 394 | 478 | 582 | 478 | 983 | 782 | 12 |2765 | 1.660371e+02 | 1.940000e+02 | 16.84%
1677.82/1678.14 c 1678s| 19800 | 19801 | 12024k| 606.0 | 18M| 91 | 372 | 478 | 582 | 478 | 983 | 782 | 12 |2765 | 1.660382e+02 | 1.940000e+02 | 16.84%
1682.72/1683.02 c 1683s| 19900 | 19901 | 12060k| 604.8 | 18M| 91 | 373 | 478 | 582 | 478 | 983 | 782 | 12 |2765 | 1.660402e+02 | 1.940000e+02 | 16.84%
1691.31/1691.60 c 1692s| 20000 | 20001 | 12127k| 605.1 | 18M| 91 | 372 | 478 | 582 | 478 | 983 | 782 | 12 |2765 | 1.660415e+02 | 1.940000e+02 | 16.84%
1697.11/1697.47 c 1697s| 20100 | 20101 | 12172k| 604.3 | 18M| 91 | 367 | 478 | 582 | 478 | 983 | 782 | 12 |2765 | 1.660427e+02 | 1.940000e+02 | 16.84%
1702.32/1702.66 c 1703s| 20200 | 20201 | 12210k| 603.2 | 18M| 91 | 388 | 478 | 582 | 478 | 983 | 782 | 12 |2765 | 1.660436e+02 | 1.940000e+02 | 16.84%
1709.21/1709.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.21/1709.53 c 1710s| 20300 | 20301 | 12258k| 602.6 | 18M| 91 | 376 | 478 | 582 | 478 | 983 | 782 | 12 |2777 | 1.660450e+02 | 1.940000e+02 | 16.84%
1715.21/1715.55 c 1716s| 20400 | 20401 | 12295k| 601.5 | 19M| 91 | 375 | 478 | 582 | 478 | 983 | 782 | 12 |2801 | 1.660471e+02 | 1.940000e+02 | 16.83%
1722.81/1723.14 c 1723s| 20500 | 20501 | 12352k| 601.3 | 19M| 91 | 388 | 478 | 582 | 478 | 983 | 782 | 12 |2811 | 1.660484e+02 | 1.940000e+02 | 16.83%
1730.51/1730.83 c 1731s| 20600 | 20601 | 12407k| 601.1 | 19M| 91 | 371 | 478 | 582 | 478 | 983 | 782 | 12 |2824 | 1.660494e+02 | 1.940000e+02 | 16.83%
1736.51/1736.89 c 1737s| 20700 | 20701 | 12447k| 600.1 | 19M| 91 | 372 | 478 | 582 | 478 | 983 | 782 | 12 |2843 | 1.660507e+02 | 1.940000e+02 | 16.83%
1743.00/1743.36 c 1743s| 20800 | 20801 | 12492k| 599.4 | 19M| 91 | 374 | 478 | 582 | 478 | 983 | 782 | 12 |2856 | 1.660521e+02 | 1.940000e+02 | 16.83%
1751.40/1751.71 c 1752s| 20900 | 20901 | 12555k| 599.5 | 19M| 91 | 343 | 478 | 582 | 478 | 983 | 782 | 12 |2864 | 1.660533e+02 | 1.940000e+02 | 16.83%
1757.80/1758.20 c 1758s| 21000 | 21001 | 12604k| 599.0 | 19M| 91 | 372 | 478 | 582 | 478 | 983 | 782 | 12 |2868 | 1.660552e+02 | 1.940000e+02 | 16.83%
1763.90/1764.29 c 1764s| 21100 | 21101 | 12649k| 598.3 | 19M| 91 | 378 | 478 | 582 | 478 | 983 | 782 | 12 |2870 | 1.660561e+02 | 1.940000e+02 | 16.83%
1771.30/1771.62 c 1772s| 21200 | 21201 | 12706k| 598.2 | 19M| 91 | 387 | 478 | 582 | 478 | 983 | 782 | 12 |2871 | 1.660579e+02 | 1.940000e+02 | 16.83%
1777.40/1777.79 c 1778s| 21300 | 21301 | 12753k| 597.6 | 19M| 91 | 372 | 478 | 582 | 478 | 983 | 782 | 12 |2871 | 1.660587e+02 | 1.940000e+02 | 16.83%
1782.40/1782.70 c 1783s| 21400 | 21401 | 12790k| 596.5 | 19M| 91 | 378 | 478 | 582 | 478 | 983 | 782 | 12 |2871 | 1.660599e+02 | 1.940000e+02 | 16.83%
1787.60/1787.95 c 1788s| 21500 | 21501 | 12829k| 595.5 | 19M| 91 | 352 | 478 | 582 | 478 | 983 | 782 | 12 |2871 | 1.660619e+02 | 1.940000e+02 | 16.82%
1794.20/1794.55 c 1795s| 21600 | 21601 | 12880k| 595.1 | 19M| 91 | 351 | 478 | 582 | 478 | 983 | 782 | 12 |2871 | 1.660632e+02 | 1.940000e+02 | 16.82%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 21635
1796.70/1797.00 c Primal Bound : +1.94000000000000e+02 (782 solutions)
1796.70/1797.00 c Dual Bound : +1.66063417655906e+02
1796.70/1797.00 c Gap : 16.82 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v x478 x477 -x476 -x475 -x474 -x473 -x472 x471 x470 -x469 -x468 x467 x466 -x465 -x464 -x463 x462 x461 x460 -x459 -x458 x457 -x456
1796.70/1797.00 v -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 -x439 x438 x437 -x436 -x435 x434
1796.70/1797.00 v x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 x424 x423 x422 -x421 x420 x419 x418 -x417 -x416 -x415 -x414 -x413 x412
1796.70/1797.00 v -x411 -x410 -x409 x408 x407 -x406 -x405 -x404 x403 -x402 x401 x400 x399 x398 -x397 -x396 x395 x394 x393 -x392 -x391 -x390 -x389
1796.70/1797.00 v -x388 x387 -x386 x385 -x384 x383 x382 -x381 -x380 -x379 -x378 -x377 x376 x375 x374 -x373 -x372 x371 x370 x369 -x368 x367 -x366
1796.70/1797.00 v -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 x348 x347 -x346 x345
1796.70/1797.00 v -x344 x343 -x342 x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 -x325 -x324 -x323
1796.70/1797.00 v x322 x321 x320 -x319 x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 x306 x305 -x304 -x303 -x302 x301 -x300
1796.70/1797.00 v x299 -x298 x297 x296 -x295 -x294 -x293 x292 x291 x290 -x289 -x288 -x287 x286 -x285 -x284 x283 -x282 x281 -x280 -x279 x278
1796.70/1797.00 v -x277 x276 -x275 -x274 x273 -x272 x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 x258 -x257 -x256
1796.70/1797.00 v x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 -x239 x238 -x237 -x236 x235 -x234
1796.70/1797.00 v -x233 x232 -x231 -x230 -x229 -x228 x227 x226 -x225 x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 x214 x213 x212
1796.70/1797.00 v -x211 x210 x209 -x208 x207 -x206 -x205 -x204 -x203 x202 x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 x193 x192 -x191 -x190 x189
1796.70/1797.00 v -x188 -x187 x186 x185 -x184 x183 -x182 -x181 x180 x179 -x178 x177 x176 x175 x174 x173 -x172 -x171 x170 x169 x168 x167 -x166
1796.70/1797.00 v -x165 x164 x163 -x162 -x161 x160 x159 -x158 x157 x156 -x155 -x154 -x153 -x152 x151 x150 -x149 x148 -x147 -x146 -x145 -x144
1796.70/1797.00 v x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 x133 x132 x131 x130 -x129 x128 x127 x126 x125 -x124 -x123 x122 x121
1796.70/1797.00 v -x120 -x119 -x118 -x117 x116 -x115 x114 x113 -x112 x111 x110 -x109 -x108 x107 x106 x105 x104 x103 -x102 -x101 x100 -x99 x98
1796.70/1797.00 v -x97 -x96 -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
1796.70/1797.00 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 x45 x44
1796.70/1797.00 v -x43 -x42 -x41 -x40 -x39 -x38 x37 x36 x35 -x34 x33 x32 -x31 x30 x29 x28 x27 x26 -x25 x24 x23 -x22 x21 x20 -x19 -x18 -x17 -x16
1796.70/1797.00 v -x15 x14 -x13 x12 -x11 -x10 -x9 x8 x7 x6 -x5 -x4 -x3 -x2 -x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.03 (included in solving)
1796.70/1797.00 c reading : 0.00 (included in solving)
1796.70/1797.00 c copying : 0.04 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3690893-1338017120.opb
1796.70/1797.00 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 478 initial, 478 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3690893-1338017120.opb
1796.70/1797.00 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 570 initial, 582 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 28 202 348 800
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 82 0 0 0
1796.70/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 21
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 21634 0 787 0 0 0 0 0 43268
1796.70/1797.00 c knapsack : 446 446 11 206046 0 1 782 0 0 4005 751 0 0
1796.70/1797.00 c setppc : 122 122 11 206046 0 1 781 0 0 5122 0 0 0
1796.70/1797.00 c logicor : 2+ 14 11 4174 0 1 781 0 0 4 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 1 785 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 120.03 0.00 0.00 0.00 120.03 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 1.40 0.00 0.04 1.36 0.00 0.00 0.01 0.00
1796.70/1797.00 c setppc : 0.27 0.00 0.00 0.27 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 20 0 0 0
1796.70/1797.00 c pseudoobj : 227630 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 21644 0 0 0
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c pseudoobj : 0.23 0.00 0.00 0.23 0.00
1796.70/1797.00 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c redcost : 0.19 0.00 0.00 0.19 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 12 12 12 4.2 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 12 4.2 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 10 - - 281 - (maximal pool size: 1372)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 11 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 1.86 0.00 10 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.58 0.00 11 0 0 0 0
1796.70/1797.00 c cmir : 0.24 0.00 10 0 0 832 0
1796.70/1797.00 c flowcover : 0.30 0.00 10 0 0 1009 0
1796.70/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.29 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 120.01 0.00 21634 0 0 0 0 43268
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.01 0.00 8 1
1796.70/1797.00 c guideddiving : 50.11 0.00 40 0
1796.70/1797.00 c veclendiving : 82.80 0.00 87 102
1796.70/1797.00 c linesearchdiving : 92.32 0.00 116 91
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 0.68 0.00 21644 25
1796.70/1797.00 c zirounding : 0.44 0.00 1151 23
1796.70/1797.00 c rounding : 16.86 0.00 6608 1
1796.70/1797.00 c shifting : 4.63 0.00 1708 1
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.01 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 98.14 0.00 77 171
1796.70/1797.00 c pscostdiving : 331.83 0.00 354 365
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 49.79 0.00 39 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 21.56 0.00 3 0
1796.70/1797.00 c rootsoldiving : 12.34 0.00 12 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c crossover : 0.04 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.01 0.00 0 0
1796.70/1797.00 c trysol : 0.01 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.70/1797.00 c dual LP : 906.55 21660 6708177 309.92 7399.69 0.04 15
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 716.01 124629 6191358 49.68 8647.01
1796.70/1797.00 c strong branching : 118.31 2871 783838 273.02 6625.13
1796.70/1797.00 c (at root node) : - 25 22325 893.00 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 21635
1796.70/1797.00 c nodes (total) : 21635
1796.70/1797.00 c nodes left : 21636
1796.70/1797.00 c max depth : 91
1796.70/1797.00 c max depth (total): 91
1796.70/1797.00 c backtracks : 2337 (10.8%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 3.88
1796.70/1797.00 c switching time : 0.61
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 782 (27 improvements)
1796.70/1797.00 c First Solution : +4.78000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.94000000000000e+02 (in run 1, after 2980 nodes, 403.96 seconds, depth 228, found by <pscostdiving>)
1796.70/1797.00 c Dual Bound : +1.66063417655906e+02
1796.70/1797.00 c Gap : 16.82 %
1796.70/1797.00 c Root Dual Bound : +1.64458820081830e+02
1796.70/1797.00 c Root Iterations : 26263
1796.70/1797.03 c Time complete: 1796.73.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690893-1338017120/watcher-3690893-1338017120 -o /tmp/evaluation-result-3690893-1338017120/solver-3690893-1338017120 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690893-1338017120.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.01 1.01 3/176 6788
/proc/meminfo: memFree=28058944/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=10404 CPUtime=0 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 1351 0 0 0 0 0 0 0 20 0 1 0 267836328 10653696 1306 33554432000 4194304 10173063 140733617693248 140734870598120 7545739 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6788/statm: 2601 1306 416 1460 0 1132 0
[startup+0.0227419 s]
/proc/loadavg: 1.89 1.01 1.01 3/176 6788
/proc/meminfo: memFree=28058944/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=19364 CPUtime=0.01 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 3673 0 0 0 1 0 0 0 20 0 1 0 267836328 19828736 3371 33554432000 4194304 10173063 140733617693248 140734870598120 8963895 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6788/statm: 4841 3371 586 1460 0 3372 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19364
[startup+0.100269 s]
/proc/loadavg: 1.89 1.01 1.01 3/176 6788
/proc/meminfo: memFree=28058944/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=24240 CPUtime=0.09 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 5064 0 0 0 9 0 0 0 20 0 1 0 267836328 24821760 4760 33554432000 4194304 10173063 140733617693248 140734870598120 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6788/statm: 6060 4760 762 1460 0 4591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24240
[startup+0.300219 s]
/proc/loadavg: 1.89 1.01 1.01 3/176 6788
/proc/meminfo: memFree=28058944/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=24476 CPUtime=0.28 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 5146 0 0 0 28 0 0 0 20 0 1 0 267836328 25063424 4842 33554432000 4194304 10173063 140733617693248 140734870598120 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6788/statm: 6119 4842 762 1460 0 4650 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24476
[startup+0.700222 s]
/proc/loadavg: 1.89 1.01 1.01 3/176 6788
/proc/meminfo: memFree=28058944/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=24672 CPUtime=0.69 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 5227 0 0 0 68 1 0 0 20 0 1 0 267836328 25264128 4923 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6788/statm: 6168 4923 762 1460 0 4699 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24672
[startup+1.50022 s]
/proc/loadavg: 1.89 1.01 1.01 3/177 6789
/proc/meminfo: memFree=28041436/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=26040 CPUtime=1.49 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 8914 0 0 0 145 4 0 0 20 0 1 0 267836328 26664960 5358 33554432000 4194304 10173063 140733617693248 140733617687768 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/6788/statm: 6510 5358 848 1460 0 5041 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26040
[startup+3.10011 s]
/proc/loadavg: 1.89 1.01 1.01 3/177 6789
/proc/meminfo: memFree=28040088/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=27564 CPUtime=3.09 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 9297 0 0 0 304 5 0 0 20 0 1 0 267836328 28225536 5741 33554432000 4194304 10173063 140733617693248 140733617688136 8631675 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/6788/statm: 6891 5741 848 1460 0 5422 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27564
[startup+6.30017 s]
/proc/loadavg: 1.98 1.05 1.02 3/177 6789
/proc/meminfo: memFree=28037484/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=28728 CPUtime=6.29 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 9585 0 0 0 622 7 0 0 20 0 1 0 267836328 29417472 6029 33554432000 4194304 10173063 140733617693248 140733617688488 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6788/statm: 7182 6029 848 1460 0 5713 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28728
[startup+12.7002 s]
/proc/loadavg: 1.98 1.06 1.03 3/177 6789
/proc/meminfo: memFree=28036756/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=29360 CPUtime=12.68 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 10493 0 0 0 1257 11 0 0 20 0 1 0 267836328 30064640 6190 33554432000 4194304 10173063 140733617693248 140733617686424 8055168 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7340 6190 855 1460 0 5871 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29360
[startup+25.5002 s]
/proc/loadavg: 1.99 1.11 1.04 3/177 6789
/proc/meminfo: memFree=28037500/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=29360 CPUtime=25.48 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 10493 0 0 0 2528 20 0 0 20 0 1 0 267836328 30064640 6190 33554432000 4194304 10173063 140733617693248 140733617686744 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7340 6190 855 1460 0 5871 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29360
[startup+51.1002 s]
/proc/loadavg: 1.99 1.18 1.07 3/177 6789
/proc/meminfo: memFree=28037376/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=29360 CPUtime=51.08 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 10496 0 0 0 5066 42 0 0 20 0 1 0 267836328 30064640 6193 33554432000 4194304 10173063 140733617693248 140733617686168 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7340 6193 858 1460 0 5871 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29360
[startup+102.306 s]
/proc/loadavg: 2.07 1.32 1.12 3/177 6789
/proc/meminfo: memFree=28035392/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=29640 CPUtime=102.27 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 11340 0 0 0 10142 85 0 0 20 0 1 0 267836328 30351360 6263 33554432000 4194304 10173063 140733617693248 140733617689288 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7410 6263 859 1460 0 5941 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29640
[startup+162.3 s]
/proc/loadavg: 2.02 1.44 1.17 3/177 6790
/proc/meminfo: memFree=28027336/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=29640 CPUtime=162.26 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 11341 0 0 0 16089 137 0 0 20 0 1 0 267836328 30351360 6264 33554432000 4194304 10173063 140733617693248 140733617686600 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7410 6264 859 1460 0 5941 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29640
[startup+222.3 s]
/proc/loadavg: 2.01 1.54 1.22 3/177 6790
/proc/meminfo: memFree=28023540/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=30500 CPUtime=222.25 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 12351 0 0 0 22040 185 0 0 20 0 1 0 267836328 31232000 6608 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7625 6608 859 1460 0 6156 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 30500
[startup+282.3 s]
/proc/loadavg: 2.00 1.62 1.27 3/178 6793
/proc/meminfo: memFree=28020300/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=30808 CPUtime=282.23 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 13131 0 0 0 27988 235 0 0 20 0 1 0 267836328 31547392 6690 33554432000 4194304 10173063 140733617693248 140733617686456 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7702 6690 859 1460 0 6233 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30808
[startup+342.3 s]
/proc/loadavg: 2.00 1.69 1.31 3/177 6793
/proc/meminfo: memFree=28011260/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=31948 CPUtime=342.23 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 14086 0 0 0 33942 281 0 0 20 0 1 0 267836328 32714752 6982 33554432000 4194304 10173063 140733617693248 140733617686888 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 7987 6982 859 1460 0 6518 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31948
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.35 3/177 6793
/proc/meminfo: memFree=28004432/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=32376 CPUtime=402.22 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 14195 0 0 0 39892 330 0 0 20 0 1 0 267836328 33153024 7336 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 8094 7336 859 1460 0 6625 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 32376
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.39 3/177 6794
/proc/meminfo: memFree=27997240/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=32540 CPUtime=462.2 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 14229 0 0 0 45842 378 0 0 20 0 1 0 267836328 33320960 7370 33554432000 4194304 10173063 140733617693248 140733617686600 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 8135 7370 859 1460 0 6666 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 32540
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.42 3/177 6794
/proc/meminfo: memFree=27993428/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=32988 CPUtime=522.19 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 14350 0 0 0 51793 426 0 0 20 0 1 0 267836328 33779712 7491 33554432000 4194304 10173063 140733617693248 140733617686600 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 8247 7491 861 1460 0 6778 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 32988
[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.46 3/177 6794
/proc/meminfo: memFree=27988100/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=35324 CPUtime=582.18 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 14937 0 0 0 57742 476 0 0 20 0 1 0 267836328 36171776 8077 33554432000 4194304 10173063 140733617693248 140733617686056 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 8831 8077 861 1460 0 7362 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 35324
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27954100/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=39216 CPUtime=1122.11 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 15907 0 0 0 111287 924 0 0 20 0 1 0 267836328 40157184 9046 33554432000 4194304 10173063 140733617693248 140733617685848 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 9804 9046 861 1460 0 8335 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 39216
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/177 6799
/proc/meminfo: memFree=27948428/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=39216 CPUtime=1182.1 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 15907 0 0 0 117239 971 0 0 20 0 1 0 267836328 40157184 9046 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 9804 9046 861 1460 0 8335 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 39216
[startup+1242.3 s]
/proc/loadavg: 2.04 1.99 1.72 3/177 6799
/proc/meminfo: memFree=27947064/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=40312 CPUtime=1242.09 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 16174 0 0 0 123191 1018 0 0 20 0 1 0 267836328 41279488 9313 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 10078 9313 861 1460 0 8609 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 40312
[startup+1302.3 s]
/proc/loadavg: 2.01 1.99 1.74 3/177 6799
/proc/meminfo: memFree=27938512/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=42044 CPUtime=1302.08 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 16607 0 0 0 129143 1065 0 0 20 0 1 0 267836328 43053056 9746 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 10511 9746 861 1460 0 9042 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 42044
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/177 6800
/proc/meminfo: memFree=27936652/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=42044 CPUtime=1362.07 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 16627 0 0 0 135093 1114 0 0 20 0 1 0 267836328 43053056 9766 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 10511 9766 861 1460 0 9042 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 42044
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.76 3/177 6800
/proc/meminfo: memFree=27933852/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=42044 CPUtime=1422.07 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 16628 0 0 0 141045 1162 0 0 20 0 1 0 267836328 43053056 9767 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 10511 9767 861 1460 0 9042 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 42044
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/178 6803
/proc/meminfo: memFree=27925640/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=42928 CPUtime=1482.05 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 17345 0 0 0 146994 1211 0 0 20 0 1 0 267836328 43958272 9988 33554432000 4194304 10173063 140733617693248 140733617686408 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 10732 9988 861 1460 0 9263 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 42928
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/177 6803
/proc/meminfo: memFree=27924480/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=43376 CPUtime=1542.04 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 17459 0 0 0 152942 1262 0 0 20 0 1 0 267836328 44417024 10102 33554432000 4194304 10173063 140733617693248 140733617688296 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 10844 10102 861 1460 0 9375 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 43376
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 6803
/proc/meminfo: memFree=27917788/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=45780 CPUtime=1602.03 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18031 0 0 0 158891 1312 0 0 20 0 1 0 267836328 46878720 10674 33554432000 4194304 10173063 140733617693248 140733617686600 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11445 10674 861 1460 0 9976 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 45780
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 6842
/proc/meminfo: memFree=28244912/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46056 CPUtime=1662.02 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18101 0 0 0 164844 1358 0 0 20 0 1 0 267836328 47161344 10742 33554432000 4194304 10173063 140733617693248 140733617688232 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11514 10742 861 1460 0 10045 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 46056
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 6842
/proc/meminfo: memFree=28240588/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46056 CPUtime=1722.01 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18107 0 0 0 170795 1406 0 0 20 0 1 0 267836328 47161344 10748 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11514 10748 861 1460 0 10045 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 46056
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/176 6842
/proc/meminfo: memFree=28237740/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1782 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18300 0 0 0 176747 1453 0 0 20 0 1 0 267836328 47861760 10941 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10941 861 1460 0 10216 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 46740
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28238112/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1785.2 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18300 0 0 0 177064 1456 0 0 20 0 1 0 267836328 47861760 10941 33554432000 4194304 10173063 140733617693248 140733617686888 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10941 861 1460 0 10216 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 46740
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28237864/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1791.6 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18300 0 0 0 177699 1461 0 0 20 0 1 0 267836328 47861760 10941 33554432000 4194304 10173063 140733617693248 140733617686504 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10941 861 1460 0 10216 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 46740
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28237988/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1794.8 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18300 0 0 0 178017 1463 0 0 20 0 1 0 267836328 47861760 10941 33554432000 4194304 10173063 140733617693248 140733617686184 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10941 861 1460 0 10216 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 46740
[startup+1795.9 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28237988/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1795.6 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18300 0 0 0 178096 1464 0 0 20 0 1 0 267836328 47861760 10941 33554432000 4194304 10173063 140733617693248 140733617686168 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10941 861 1460 0 10216 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 46740
[startup+1796.7 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28237988/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1796.4 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18310 0 0 0 178175 1465 0 0 20 0 1 0 267836328 47861760 10951 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10951 861 1460 0 10216 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 46740
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28237988/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1796.6 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18310 0 0 0 178195 1465 0 0 20 0 1 0 267836328 47861760 10951 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10951 861 1460 0 10216 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 46740
[startup+1797 s]
/proc/loadavg: 2.00 1.99 1.83 3/176 6842
/proc/meminfo: memFree=28237988/32873844 swapFree=7616/7616
[pid=6788] ppid=6786 vsize=46740 CPUtime=1796.7 cores=0,2,4,6
/proc/6788/stat : 6788 (scip-2.1.1.4fix) R 6786 6788 6477 0 -1 4202496 18310 0 0 0 178205 1465 0 0 20 0 1 0 267836328 47861760 10951 33554432000 4194304 10173063 140733617693248 140733617686552 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6788/statm: 11685 10951 861 1460 0 10216 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 46740
Child status: 0
Real time (s): 1797.03
CPU time (s): 1796.74
CPU user time (s): 1782.08
CPU system time (s): 14.6588
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 46740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.08
system time used= 14.6588
maximum resident set size= 43816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18315
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= 15
involuntary context switches= 1950
runsolver used 2.6456 second user time and 7.17791 second system time
The end