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-3693223-1338029496.opb>
0.00/0.00 c original problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 466 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 467
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.670000e+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, 1 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 466 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 48 del conss, 121 add conss, 0 chg bounds, 168 chg sides, 459 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 83 del conss, 136 add conss, 0 chg bounds, 223 chg sides, 543 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 87 del conss, 140 add conss, 0 chg bounds, 234 chg sides, 566 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 88 del conss, 141 add conss, 0 chg bounds, 236 chg sides, 570 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 88 del conss, 141 add conss, 0 chg bounds, 242 chg sides, 576 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 8) 0 del vars, 88 del conss, 141 add conss, 0 chg bounds, 244 chg sides, 591 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/467 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (9 rounds):
0.00/0.03 c 0 deleted vars, 88 deleted constraints, 141 added constraints, 0 tightened bounds, 0 added holes, 244 changed sides, 591 changed coefficients
0.00/0.03 c 156 implications, 0 cliques
0.00/0.03 c presolved problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 519 constraints
0.00/0.03 c 438 constraints of type <knapsack>
0.00/0.03 c 78 constraints of type <setppc>
0.00/0.03 c 3 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.94 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.94 c t 0.9s| 1 | 0 | 10651 | - |2642k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 4.670000e+02 | 224.73%
0.89/0.94 o 323
0.89/0.94 c r 0.9s| 1 | 0 | 10651 | - |2655k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 3.230000e+02 | 124.60%
0.89/0.95 o 322
0.89/0.95 c R 0.9s| 1 | 0 | 10651 | - |2669k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 3.220000e+02 | 123.91%
0.89/0.95 o 321
0.89/0.95 c s 1.0s| 1 | 0 | 10651 | - |2682k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 3.210000e+02 | 123.21%
1.49/1.59 c 1.6s| 1 | 0 | 14031 | - |3006k| 0 | 368 | 467 | 519 | 467 | 746 | 227 | 0 | 0 | 1.486120e+02 | 3.210000e+02 | 116.00%
1.59/1.60 o 201
1.59/1.60 c b 1.6s| 1 | 0 | 14031 | - |3019k| 0 | 368 | 467 | 519 | 467 | 746 | 227 | 0 | 0 | 1.486120e+02 | 2.010000e+02 | 35.25%
2.59/2.63 c 2.6s| 1 | 0 | 18947 | - |3286k| 0 | 404 | 467 | 519 | 467 | 938 | 419 | 0 | 0 | 1.523063e+02 | 2.010000e+02 | 31.97%
3.29/3.36 c 3.4s| 1 | 0 | 21426 | - |3482k| 0 | 420 | 467 | 519 | 467 |1072 | 553 | 0 | 0 | 1.543595e+02 | 2.010000e+02 | 30.22%
3.99/4.08 c 4.1s| 1 | 0 | 23498 | - |3615k| 0 | 425 | 467 | 519 | 467 |1177 | 658 | 0 | 0 | 1.551322e+02 | 2.010000e+02 | 29.57%
4.59/4.67 c 4.7s| 1 | 0 | 24452 | - |3693k| 0 | 425 | 467 | 519 | 467 |1247 | 728 | 0 | 0 | 1.556093e+02 | 2.010000e+02 | 29.17%
5.19/5.25 c 5.2s| 1 | 0 | 25122 | - |3763k| 0 | 434 | 467 | 519 | 467 |1301 | 782 | 0 | 0 | 1.558586e+02 | 2.010000e+02 | 28.96%
5.68/5.76 c 5.8s| 1 | 0 | 25426 | - |3790k| 0 | 430 | 467 | 519 | 467 |1321 | 802 | 0 | 0 | 1.559926e+02 | 2.010000e+02 | 28.85%
6.19/6.24 c 6.2s| 1 | 0 | 25641 | - |3819k| 0 | 426 | 467 | 519 | 467 |1338 | 819 | 0 | 0 | 1.560419e+02 | 2.010000e+02 | 28.81%
6.59/6.65 c 6.7s| 1 | 0 | 25722 | - |3826k| 0 | 428 | 467 | 519 | 467 |1340 | 821 | 0 | 0 | 1.560495e+02 | 2.010000e+02 | 28.81%
10.18/10.26 c 10.3s| 1 | 2 | 25722 | - |3847k| 0 | 428 | 467 | 519 | 467 |1340 | 821 | 0 | 19 | 1.560495e+02 | 2.010000e+02 | 28.81%
36.08/36.14 o 200
36.08/36.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.08/36.14 c p36.1s| 43 | 44 | 59422 | 802.4 |4763k| 29 | - | 467 | 519 | 467 | 931 | 821 | 0 | 221 | 1.562854e+02 | 2.000000e+02 | 27.97%
36.08/36.14 o 199
36.08/36.14 c p36.1s| 43 | 44 | 59426 | 802.5 |4764k| 29 | - | 467 | 519 | 467 | 931 | 821 | 0 | 221 | 1.562854e+02 | 1.990000e+02 | 27.33%
39.68/39.74 o 199
39.68/39.74 c v39.7s| 69 | 70 | 87677 | 911.1 |4785k| 29 | - | 467 | 519 | 467 | 931 | 821 | 0 | 221 | 1.562854e+02 | 1.990000e+02 | 27.33%
51.28/51.33 c 51.3s| 100 | 101 |197327 |1733.4 |4738k| 41 | 351 | 467 | 521 | 467 | 931 | 821 | 2 | 233 | 1.562854e+02 | 1.990000e+02 | 27.33%
63.18/63.27 c 63.3s| 200 | 201 |274983 |1252.6 |4866k| 44 | 362 | 467 | 521 | 467 | 931 | 821 | 2 | 269 | 1.562854e+02 | 1.990000e+02 | 27.33%
68.38/68.46 o 198
68.38/68.46 c p68.5s| 213 | 214 |310409 |1342.9 |5039k| 44 | - | 467 | 521 | 467 | 931 | 821 | 2 | 280 | 1.562854e+02 | 1.980000e+02 | 26.69%
68.38/68.47 o 196
68.38/68.47 c p68.5s| 213 | 214 |310415 |1342.9 |5041k| 44 | - | 467 | 521 | 467 | 931 | 821 | 2 | 280 | 1.562854e+02 | 1.960000e+02 | 25.41%
82.48/82.57 o 195
82.48/82.57 c v82.6s| 258 | 259 |410641 |1497.7 |5031k| 44 | - | 467 | 521 | 467 | 931 | 821 | 2 | 300 | 1.562854e+02 | 1.950000e+02 | 24.77%
82.48/82.57 o 194
82.48/82.57 c v82.6s| 258 | 259 |410720 |1498.0 |5035k| 44 | - | 467 | 521 | 467 | 931 | 821 | 2 | 300 | 1.562854e+02 | 1.940000e+02 | 24.13%
82.58/82.63 o 193
82.58/82.63 c b82.6s| 259 | 260 |411069 |1493.6 |4918k| 44 | 354 | 467 | 521 | 467 | 931 | 821 | 2 | 300 | 1.562854e+02 | 1.930000e+02 | 23.49%
94.37/94.41 c 94.4s| 300 | 301 |493457 |1564.3 |4941k| 44 | 391 | 467 | 521 | 467 | 931 | 821 | 2 | 318 | 1.562854e+02 | 1.930000e+02 | 23.49%
121.27/121.33 c 121s| 400 | 401 |685463 |1653.5 |5009k| 46 | 319 | 467 | 521 | 467 | 931 | 821 | 2 | 381 | 1.562854e+02 | 1.930000e+02 | 23.49%
136.47/136.56 o 185
136.47/136.56 c C 137s| 459 | 460 |791791 |1672.6 |5048k| 48 | 400 | 467 | 521 | 467 | 931 | 821 | 2 | 409 | 1.562854e+02 | 1.850000e+02 | 18.37%
136.47/136.57 o 184
136.47/136.57 c b 137s| 459 | 460 |791791 |1672.6 |5055k| 48 | 400 | 467 | 521 | 467 | 931 | 821 | 2 | 409 | 1.562854e+02 | 1.840000e+02 | 17.73%
143.27/143.38 c 143s| 500 | 501 |843064 |1638.0 |5076k| 48 | 362 | 467 | 521 | 467 | 931 | 821 | 2 | 414 | 1.563031e+02 | 1.840000e+02 | 17.72%
151.46/151.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.46/151.59 c 152s| 600 | 601 |905940 |1469.5 |5144k| 49 | 352 | 467 | 521 | 467 | 931 | 821 | 2 | 417 | 1.563031e+02 | 1.840000e+02 | 17.72%
159.77/159.86 c 160s| 700 | 701 |960931 |1337.9 |5211k| 49 | 320 | 467 | 521 | 467 | 931 | 821 | 2 | 447 | 1.563031e+02 | 1.840000e+02 | 17.72%
170.86/170.90 c 171s| 800 | 801 | 1042k|1272.5 |5278k| 49 | 351 | 467 | 521 | 467 | 931 | 821 | 2 | 460 | 1.563031e+02 | 1.840000e+02 | 17.72%
178.86/178.94 c 179s| 900 | 901 | 1101k|1196.5 |5347k| 49 | 337 | 467 | 521 | 467 | 931 | 821 | 2 | 467 | 1.563031e+02 | 1.840000e+02 | 17.72%
188.36/188.46 c 188s| 1000 | 1001 | 1161k|1136.8 |5414k| 49 | 326 | 467 | 521 | 467 | 931 | 821 | 2 | 503 | 1.563031e+02 | 1.840000e+02 | 17.72%
195.96/196.02 c 196s| 1100 | 1101 | 1214k|1082.0 |5479k| 49 | 377 | 467 | 521 | 467 | 931 | 821 | 2 | 517 | 1.563031e+02 | 1.840000e+02 | 17.72%
206.06/206.16 c 206s| 1200 | 1201 | 1291k|1055.7 |5546k| 49 | 343 | 467 | 521 | 467 | 931 | 821 | 2 | 517 | 1.563031e+02 | 1.840000e+02 | 17.72%
216.75/216.83 c 217s| 1300 | 1301 | 1358k|1026.1 |5613k| 49 | 367 | 467 | 521 | 467 | 931 | 821 | 2 | 557 | 1.563031e+02 | 1.840000e+02 | 17.72%
226.35/226.47 c 226s| 1400 | 1401 | 1421k| 997.6 |5681k| 49 | 292 | 467 | 521 | 467 | 931 | 821 | 2 | 581 | 1.564221e+02 | 1.840000e+02 | 17.63%
231.86/231.94 c 232s| 1500 | 1501 | 1459k| 956.7 |5754k| 89 | 189 | 467 | 521 | 467 | 931 | 821 | 2 | 600 | 1.566048e+02 | 1.840000e+02 | 17.49%
240.45/240.56 c 241s| 1600 | 1601 | 1524k| 937.3 |5826k| 94 | 384 | 467 | 521 | 467 | 931 | 821 | 2 | 602 | 1.566697e+02 | 1.840000e+02 | 17.44%
249.45/249.52 c 250s| 1700 | 1701 | 1587k| 919.0 |5894k| 94 | 399 | 467 | 521 | 467 | 931 | 821 | 2 | 602 | 1.567695e+02 | 1.840000e+02 | 17.37%
259.85/259.91 c 260s| 1800 | 1801 | 1647k| 901.6 |5963k| 94 | 383 | 467 | 521 | 467 | 931 | 821 | 2 | 640 | 1.568383e+02 | 1.840000e+02 | 17.32%
269.65/269.72 c 270s| 1900 | 1901 | 1706k| 885.2 |6030k| 94 | 377 | 467 | 521 | 467 | 931 | 821 | 2 | 673 | 1.568989e+02 | 1.840000e+02 | 17.27%
278.85/278.99 c 279s| 2000 | 2001 | 1770k| 872.8 |6098k| 94 | 388 | 467 | 521 | 467 | 931 | 821 | 2 | 675 | 1.569267e+02 | 1.840000e+02 | 17.25%
290.35/290.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.35/290.47 c 290s| 2100 | 2101 | 1849k| 869.1 |6167k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 | 687 | 1.569545e+02 | 1.840000e+02 | 17.23%
299.44/299.54 c 300s| 2200 | 2201 | 1901k| 852.8 |6235k| 94 | 375 | 467 | 521 | 467 | 931 | 821 | 2 | 725 | 1.570083e+02 | 1.840000e+02 | 17.19%
308.65/308.72 c 309s| 2300 | 2301 | 1959k| 841.0 |6305k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 | 747 | 1.570214e+02 | 1.840000e+02 | 17.18%
318.54/318.62 c 319s| 2400 | 2401 | 2028k| 834.8 |6372k| 94 | 386 | 467 | 521 | 467 | 931 | 821 | 2 | 756 | 1.570558e+02 | 1.840000e+02 | 17.16%
327.64/327.75 c 328s| 2500 | 2501 | 2093k| 827.4 |6440k| 94 | 379 | 467 | 521 | 467 | 931 | 821 | 2 | 756 | 1.570803e+02 | 1.840000e+02 | 17.14%
339.85/339.99 c 340s| 2600 | 2601 | 2170k| 825.2 |6508k| 94 | 381 | 467 | 521 | 467 | 931 | 821 | 2 | 788 | 1.571039e+02 | 1.840000e+02 | 17.12%
346.83/346.96 c 347s| 2700 | 2701 | 2210k| 809.4 |6576k| 94 | 371 | 467 | 521 | 467 | 931 | 821 | 2 | 817 | 1.571248e+02 | 1.840000e+02 | 17.10%
357.13/357.22 c 357s| 2800 | 2801 | 2278k| 805.0 |6644k| 94 | 365 | 467 | 521 | 467 | 931 | 821 | 2 | 831 | 1.571306e+02 | 1.840000e+02 | 17.10%
364.53/364.60 c 365s| 2900 | 2901 | 2330k| 794.9 |6713k| 94 | 372 | 467 | 521 | 467 | 931 | 821 | 2 | 835 | 1.571393e+02 | 1.840000e+02 | 17.09%
375.43/375.56 c 376s| 3000 | 3001 | 2411k| 795.4 |6781k| 94 | 360 | 467 | 521 | 467 | 931 | 821 | 2 | 835 | 1.571557e+02 | 1.840000e+02 | 17.08%
382.53/382.70 c 383s| 3100 | 3101 | 2460k| 785.8 |6848k| 94 | 369 | 467 | 521 | 467 | 931 | 821 | 2 | 835 | 1.571630e+02 | 1.840000e+02 | 17.08%
391.13/391.28 c 391s| 3200 | 3201 | 2521k| 780.0 |6916k| 94 | 385 | 467 | 521 | 467 | 931 | 821 | 2 | 836 | 1.571784e+02 | 1.840000e+02 | 17.06%
398.73/398.83 c 399s| 3300 | 3301 | 2574k| 772.6 |6985k| 94 | 368 | 467 | 521 | 467 | 931 | 821 | 2 | 836 | 1.571904e+02 | 1.840000e+02 | 17.06%
408.04/408.13 c 408s| 3400 | 3401 | 2641k| 769.4 |7053k| 94 | 364 | 467 | 521 | 467 | 931 | 821 | 2 | 837 | 1.572041e+02 | 1.840000e+02 | 17.05%
415.12/415.20 c 415s| 3500 | 3501 | 2690k| 761.6 |7123k| 94 | 380 | 467 | 521 | 467 | 931 | 821 | 2 | 837 | 1.572159e+02 | 1.840000e+02 | 17.04%
423.53/423.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.53/423.64 c 424s| 3600 | 3601 | 2750k| 757.1 |7191k| 94 | 365 | 467 | 521 | 467 | 931 | 821 | 2 | 837 | 1.572244e+02 | 1.840000e+02 | 17.03%
430.73/430.87 c 431s| 3700 | 3701 | 2801k| 750.4 |7260k| 94 | 367 | 467 | 521 | 467 | 931 | 821 | 2 | 837 | 1.572352e+02 | 1.840000e+02 | 17.02%
441.12/441.21 c 441s| 3800 | 3801 | 2870k| 748.8 |7327k| 94 | 384 | 467 | 521 | 467 | 931 | 821 | 2 | 852 | 1.572508e+02 | 1.840000e+02 | 17.01%
450.72/450.87 c 451s| 3900 | 3901 | 2931k| 745.3 |7395k| 94 | 385 | 467 | 521 | 467 | 931 | 821 | 2 | 882 | 1.572575e+02 | 1.840000e+02 | 17.01%
458.42/458.55 c 459s| 4000 | 4001 | 2981k| 739.1 |7463k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 | 893 | 1.572695e+02 | 1.840000e+02 | 17.00%
465.62/465.78 c 466s| 4100 | 4101 | 3032k| 733.5 |7531k| 94 | 364 | 467 | 521 | 467 | 931 | 821 | 2 | 894 | 1.572809e+02 | 1.840000e+02 | 16.99%
475.51/475.65 c 476s| 4200 | 4201 | 3103k| 733.1 |7599k| 94 | 378 | 467 | 521 | 467 | 931 | 821 | 2 | 896 | 1.572911e+02 | 1.840000e+02 | 16.98%
484.21/484.33 c 484s| 4300 | 4301 | 3154k| 727.9 |7666k| 94 | 366 | 467 | 521 | 467 | 931 | 821 | 2 | 923 | 1.572956e+02 | 1.840000e+02 | 16.98%
492.62/492.71 c 493s| 4400 | 4401 | 3205k| 722.9 |7735k| 94 | 373 | 467 | 521 | 467 | 931 | 821 | 2 | 946 | 1.573036e+02 | 1.840000e+02 | 16.97%
501.32/501.42 c 501s| 4500 | 4501 | 3264k| 719.8 |7805k| 94 | 363 | 467 | 521 | 467 | 931 | 821 | 2 | 957 | 1.573100e+02 | 1.840000e+02 | 16.97%
508.71/508.80 c 509s| 4600 | 4601 | 3315k| 715.4 |7873k| 94 | 369 | 467 | 521 | 467 | 931 | 821 | 2 | 959 | 1.573175e+02 | 1.840000e+02 | 16.96%
519.71/519.88 c 520s| 4700 | 4701 | 3397k| 717.6 |7942k| 94 | 363 | 467 | 521 | 467 | 931 | 821 | 2 | 959 | 1.573226e+02 | 1.840000e+02 | 16.96%
528.71/528.81 c 529s| 4800 | 4801 | 3448k| 713.2 |8011k| 94 | 365 | 467 | 521 | 467 | 931 | 821 | 2 | 994 | 1.573290e+02 | 1.840000e+02 | 16.95%
538.01/538.10 c 538s| 4900 | 4901 | 3508k| 710.9 |8080k| 94 | 351 | 467 | 521 | 467 | 931 | 821 | 2 |1016 | 1.573428e+02 | 1.840000e+02 | 16.94%
544.70/544.87 c 545s| 5000 | 5001 | 3549k| 704.8 |8148k| 94 | 363 | 467 | 521 | 467 | 931 | 821 | 2 |1037 | 1.573457e+02 | 1.840000e+02 | 16.94%
554.51/554.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.51/554.65 c 555s| 5100 | 5101 | 3619k| 704.8 |8217k| 94 | 359 | 467 | 521 | 467 | 931 | 821 | 2 |1041 | 1.573515e+02 | 1.840000e+02 | 16.94%
565.00/565.12 c 565s| 5200 | 5201 | 3697k| 706.3 |8284k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 |1044 | 1.573577e+02 | 1.840000e+02 | 16.93%
570.71/570.84 c 571s| 5300 | 5301 | 3729k| 699.0 |8352k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 |1059 | 1.573621e+02 | 1.840000e+02 | 16.93%
579.90/580.02 c 580s| 5400 | 5401 | 3788k| 696.8 |8420k| 94 | 384 | 467 | 521 | 467 | 931 | 821 | 2 |1075 | 1.573669e+02 | 1.840000e+02 | 16.92%
587.90/588.04 c 588s| 5500 | 5501 | 3837k| 693.3 |8487k| 94 | 353 | 467 | 521 | 467 | 931 | 821 | 2 |1096 | 1.573726e+02 | 1.840000e+02 | 16.92%
596.89/597.03 c 597s| 5600 | 5601 | 3895k| 691.1 |8556k| 94 | 373 | 467 | 521 | 467 | 931 | 821 | 2 |1117 | 1.573773e+02 | 1.840000e+02 | 16.92%
607.19/607.32 c 607s| 5700 | 5701 | 3968k| 691.9 |8625k| 94 | 366 | 467 | 521 | 467 | 931 | 821 | 2 |1123 | 1.573843e+02 | 1.840000e+02 | 16.91%
613.10/613.21 c 613s| 5800 | 5801 | 4008k| 686.7 |8692k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 |1124 | 1.573891e+02 | 1.840000e+02 | 16.91%
619.79/619.99 c 620s| 5900 | 5901 | 4055k| 683.2 |8759k| 94 | 386 | 467 | 521 | 467 | 931 | 821 | 2 |1124 | 1.573946e+02 | 1.840000e+02 | 16.90%
629.00/629.17 c 629s| 6000 | 6001 | 4113k| 681.4 |8826k| 94 | 372 | 467 | 521 | 467 | 931 | 821 | 2 |1144 | 1.573991e+02 | 1.840000e+02 | 16.90%
637.80/637.99 c 638s| 6100 | 6101 | 4170k| 679.7 |8894k| 94 | 366 | 467 | 521 | 467 | 931 | 821 | 2 |1162 | 1.574051e+02 | 1.840000e+02 | 16.90%
647.79/647.91 c 648s| 6200 | 6201 | 4235k| 679.1 |8963k| 94 | 364 | 467 | 521 | 467 | 931 | 821 | 2 |1188 | 1.574113e+02 | 1.840000e+02 | 16.89%
656.59/656.73 c 657s| 6300 | 6301 | 4296k| 678.0 |9032k| 94 | 374 | 467 | 521 | 467 | 931 | 821 | 2 |1196 | 1.574158e+02 | 1.840000e+02 | 16.89%
663.78/663.91 c 664s| 6400 | 6401 | 4346k| 675.3 |9100k| 94 | 367 | 467 | 521 | 467 | 931 | 821 | 2 |1198 | 1.574212e+02 | 1.840000e+02 | 16.88%
668.49/668.60 c 669s| 6500 | 6501 | 4376k| 669.5 |9169k| 94 | 360 | 467 | 521 | 467 | 931 | 821 | 2 |1202 | 1.574269e+02 | 1.840000e+02 | 16.88%
686.78/686.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.78/686.98 c 687s| 6600 | 6601 | 4546k| 685.0 |9238k| 94 | 350 | 467 | 521 | 467 | 931 | 821 | 2 |1202 | 1.574313e+02 | 1.840000e+02 | 16.88%
694.58/694.78 c 695s| 6700 | 6701 | 4594k| 682.0 |9306k| 94 | 368 | 467 | 521 | 467 | 931 | 821 | 2 |1221 | 1.574334e+02 | 1.840000e+02 | 16.87%
703.49/703.61 c 704s| 6800 | 6801 | 4644k| 679.3 |9374k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 |1257 | 1.574372e+02 | 1.840000e+02 | 16.87%
712.58/712.71 c 713s| 6900 | 6901 | 4707k| 678.6 |9443k| 94 | 353 | 467 | 521 | 467 | 931 | 821 | 2 |1265 | 1.574423e+02 | 1.840000e+02 | 16.87%
718.78/718.96 c 719s| 7000 | 7001 | 4746k| 674.5 |9511k| 94 | 365 | 467 | 521 | 467 | 931 | 821 | 2 |1275 | 1.574463e+02 | 1.840000e+02 | 16.87%
728.09/728.28 c 728s| 7100 | 7101 | 4813k| 674.4 |9579k| 94 | 371 | 467 | 521 | 467 | 931 | 821 | 2 |1279 | 1.574483e+02 | 1.840000e+02 | 16.86%
732.98/733.13 c 733s| 7200 | 7201 | 4845k| 669.5 |9646k| 94 | 384 | 467 | 521 | 467 | 931 | 821 | 2 |1280 | 1.574530e+02 | 1.840000e+02 | 16.86%
740.77/740.90 c 741s| 7300 | 7301 | 4900k| 667.9 |9714k| 94 | 366 | 467 | 521 | 467 | 931 | 821 | 2 |1282 | 1.574556e+02 | 1.840000e+02 | 16.86%
748.48/748.68 c 749s| 7400 | 7401 | 4951k| 665.8 |9783k| 94 | 361 | 467 | 521 | 467 | 931 | 821 | 2 |1294 | 1.574598e+02 | 1.840000e+02 | 16.86%
756.77/756.93 c 757s| 7500 | 7501 | 5006k| 664.2 |9851k| 94 | 368 | 467 | 521 | 467 | 931 | 821 | 2 |1307 | 1.574638e+02 | 1.840000e+02 | 16.85%
767.87/768.04 c 768s| 7600 | 7601 | 5075k| 664.5 |9920k| 94 | 361 | 467 | 521 | 467 | 931 | 821 | 2 |1340 | 1.574671e+02 | 1.840000e+02 | 16.85%
773.88/774.03 c 774s| 7700 | 7701 | 5113k| 660.9 |9987k| 94 | 370 | 467 | 521 | 467 | 931 | 821 | 2 |1348 | 1.574733e+02 | 1.840000e+02 | 16.85%
781.47/781.68 c 782s| 7800 | 7801 | 5163k| 658.8 | 10M| 94 | 374 | 467 | 521 | 467 | 931 | 821 | 2 |1363 | 1.574768e+02 | 1.840000e+02 | 16.84%
789.27/789.46 c 789s| 7900 | 7901 | 5219k| 657.6 | 10M| 94 | 367 | 467 | 521 | 467 | 931 | 821 | 2 |1364 | 1.574804e+02 | 1.840000e+02 | 16.84%
797.56/797.71 c 798s| 8000 | 8001 | 5279k| 656.8 | 10M| 94 | 369 | 467 | 521 | 467 | 931 | 821 | 2 |1366 | 1.574859e+02 | 1.840000e+02 | 16.84%
806.57/806.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.57/806.75 c 807s| 8100 | 8101 | 5346k| 657.0 | 10M| 94 | 359 | 467 | 521 | 467 | 931 | 821 | 2 |1366 | 1.574895e+02 | 1.840000e+02 | 16.83%
813.47/813.61 c 814s| 8200 | 8201 | 5387k| 654.0 | 10M| 94 | 360 | 467 | 521 | 467 | 931 | 821 | 2 |1383 | 1.574948e+02 | 1.840000e+02 | 16.83%
822.46/822.60 c 823s| 8300 | 8301 | 5445k| 653.1 | 10M| 94 | 365 | 467 | 521 | 467 | 931 | 821 | 2 |1400 | 1.575002e+02 | 1.840000e+02 | 16.83%
827.96/828.17 c 828s| 8400 | 8401 | 5476k| 649.0 | 10M| 94 | 371 | 467 | 521 | 467 | 931 | 821 | 2 |1420 | 1.575067e+02 | 1.840000e+02 | 16.82%
836.77/836.98 c 837s| 8500 | 8501 | 5536k| 648.4 | 10M| 94 | 369 | 467 | 521 | 467 | 931 | 821 | 2 |1432 | 1.575106e+02 | 1.840000e+02 | 16.82%
845.67/845.84 c 846s| 8600 | 8601 | 5596k| 647.8 | 10M| 94 | 367 | 467 | 521 | 467 | 931 | 821 | 2 |1444 | 1.575135e+02 | 1.840000e+02 | 16.82%
853.06/853.22 c 853s| 8700 | 8701 | 5649k| 646.4 | 10M| 94 | 353 | 467 | 521 | 467 | 931 | 821 | 2 |1444 | 1.575167e+02 | 1.840000e+02 | 16.81%
859.06/859.29 c 859s| 8800 | 8801 | 5690k| 643.8 | 10M| 94 | 361 | 467 | 521 | 467 | 931 | 821 | 2 |1445 | 1.575201e+02 | 1.840000e+02 | 16.81%
877.66/877.84 c 878s| 8900 | 8901 | 5859k| 655.6 | 10M| 94 | 367 | 467 | 521 | 467 | 931 | 821 | 2 |1445 | 1.575229e+02 | 1.840000e+02 | 16.81%
883.16/883.35 c 883s| 9000 | 9001 | 5891k| 651.8 | 10M| 94 | 352 | 467 | 521 | 467 | 931 | 821 | 2 |1457 | 1.575252e+02 | 1.840000e+02 | 16.81%
894.06/894.30 c 894s| 9100 | 9101 | 5964k| 652.7 | 10M| 94 | 351 | 467 | 521 | 467 | 931 | 821 | 2 |1474 | 1.575308e+02 | 1.840000e+02 | 16.80%
900.46/900.64 c 901s| 9200 | 9201 | 6001k| 649.6 | 11M| 94 | 359 | 467 | 521 | 467 | 931 | 821 | 2 |1488 | 1.575357e+02 | 1.840000e+02 | 16.80%
907.85/908.00 c 908s| 9300 | 9301 | 6050k| 647.9 | 11M| 94 | 373 | 467 | 521 | 467 | 931 | 821 | 2 |1498 | 1.575383e+02 | 1.840000e+02 | 16.80%
916.45/916.69 c 917s| 9400 | 9401 | 6106k| 647.0 | 11M| 94 | 357 | 467 | 521 | 467 | 931 | 821 | 2 |1516 | 1.575407e+02 | 1.840000e+02 | 16.80%
923.14/923.37 c 923s| 9500 | 9501 | 6151k| 644.9 | 11M| 94 | 371 | 467 | 521 | 467 | 931 | 821 | 2 |1524 | 1.575416e+02 | 1.840000e+02 | 16.79%
931.65/931.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.65/931.88 c 932s| 9600 | 9601 | 6213k| 644.6 | 11M| 94 | 363 | 467 | 523 | 467 | 931 | 821 | 4 |1526 | 1.575434e+02 | 1.840000e+02 | 16.79%
942.75/942.94 c 943s| 9700 | 9701 | 6293k| 646.2 | 11M| 94 | 383 | 467 | 523 | 467 | 931 | 821 | 4 |1533 | 1.575455e+02 | 1.840000e+02 | 16.79%
947.55/947.76 c 948s| 9800 | 9801 | 6325k| 642.9 | 11M| 94 | 374 | 467 | 523 | 467 | 931 | 821 | 4 |1534 | 1.575486e+02 | 1.840000e+02 | 16.79%
957.14/957.35 c 957s| 9900 | 9901 | 6386k| 642.6 | 11M| 94 | 349 | 467 | 523 | 467 | 931 | 821 | 4 |1554 | 1.575517e+02 | 1.840000e+02 | 16.79%
964.04/964.22 c 964s| 10000 | 10001 | 6434k| 640.9 | 11M| 94 | 342 | 467 | 523 | 467 | 931 | 821 | 4 |1554 | 1.575534e+02 | 1.840000e+02 | 16.79%
970.84/971.02 c 971s| 10100 | 10101 | 6475k| 638.6 | 11M| 94 | 362 | 467 | 523 | 467 | 931 | 821 | 4 |1573 | 1.575563e+02 | 1.840000e+02 | 16.78%
980.14/980.37 c 980s| 10200 | 10201 | 6538k| 638.6 | 11M| 94 | 373 | 467 | 523 | 467 | 931 | 821 | 4 |1585 | 1.575594e+02 | 1.840000e+02 | 16.78%
988.54/988.78 c 989s| 10300 | 10301 | 6593k| 637.8 | 11M| 94 | 367 | 467 | 523 | 467 | 931 | 821 | 4 |1600 | 1.575612e+02 | 1.840000e+02 | 16.78%
995.24/995.47 c 995s| 10400 | 10401 | 6639k| 636.0 | 11M| 94 | 353 | 467 | 523 | 467 | 931 | 821 | 4 |1608 | 1.575650e+02 | 1.840000e+02 | 16.78%
1003.53/1003.77 c 1004s| 10500 | 10501 | 6697k| 635.5 | 11M| 94 | 378 | 467 | 523 | 467 | 931 | 821 | 4 |1610 | 1.575677e+02 | 1.840000e+02 | 16.78%
1008.23/1008.46 c 1008s| 10600 | 10601 | 6728k| 632.4 | 11M| 94 | 370 | 467 | 523 | 467 | 931 | 821 | 4 |1610 | 1.575710e+02 | 1.840000e+02 | 16.77%
1017.53/1017.75 c 1018s| 10700 | 10701 | 6797k| 632.9 | 12M| 94 | 371 | 467 | 523 | 467 | 931 | 821 | 4 |1610 | 1.575736e+02 | 1.840000e+02 | 16.77%
1027.03/1027.20 c 1027s| 10800 | 10801 | 6858k| 632.7 | 12M| 94 | 367 | 467 | 523 | 467 | 931 | 821 | 4 |1625 | 1.575766e+02 | 1.840000e+02 | 16.77%
1033.43/1033.69 c 1034s| 10900 | 10901 | 6898k| 630.6 | 12M| 94 | 372 | 467 | 523 | 467 | 931 | 821 | 4 |1636 | 1.575805e+02 | 1.840000e+02 | 16.77%
1040.83/1041.05 c 1041s| 11000 | 11001 | 6947k| 629.3 | 12M| 94 | 363 | 467 | 527 | 467 | 931 | 821 | 8 |1648 | 1.575816e+02 | 1.840000e+02 | 16.76%
1047.23/1047.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1047.23/1047.49 c 1047s| 11100 | 11101 | 6986k| 627.1 | 12M| 94 | 374 | 467 | 527 | 467 | 931 | 821 | 8 |1662 | 1.575835e+02 | 1.840000e+02 | 16.76%
1057.02/1057.24 c 1057s| 11200 | 11201 | 7054k| 627.7 | 12M| 94 | 373 | 467 | 527 | 467 | 931 | 821 | 8 |1672 | 1.575877e+02 | 1.840000e+02 | 16.76%
1063.13/1063.30 c 1063s| 11300 | 11301 | 7093k| 625.6 | 12M| 94 | 369 | 467 | 527 | 467 | 931 | 821 | 8 |1680 | 1.575947e+02 | 1.840000e+02 | 16.76%
1069.92/1070.13 c 1070s| 11400 | 11401 | 7142k| 624.4 | 12M| 94 | 333 | 467 | 527 | 467 | 931 | 821 | 8 |1680 | 1.575975e+02 | 1.840000e+02 | 16.75%
1077.02/1077.29 c 1077s| 11500 | 11501 | 7193k| 623.3 | 12M| 94 | 380 | 467 | 527 | 467 | 931 | 821 | 8 |1681 | 1.576009e+02 | 1.840000e+02 | 16.75%
1082.72/1082.91 c 1083s| 11600 | 11601 | 7233k| 621.4 | 12M| 94 | 347 | 467 | 527 | 467 | 931 | 821 | 8 |1682 | 1.576032e+02 | 1.840000e+02 | 16.75%
1089.12/1089.31 c 1089s| 11700 | 11701 | 7277k| 619.9 | 12M| 94 | 376 | 467 | 527 | 467 | 931 | 821 | 8 |1682 | 1.576047e+02 | 1.840000e+02 | 16.75%
1099.02/1099.25 c 1099s| 11800 | 11801 | 7344k| 620.2 | 12M| 94 | 349 | 467 | 527 | 467 | 931 | 821 | 8 |1702 | 1.576077e+02 | 1.840000e+02 | 16.75%
1105.02/1105.29 c 1105s| 11900 | 11901 | 7385k| 618.5 | 12M| 94 | 366 | 467 | 527 | 467 | 931 | 821 | 8 |1704 | 1.576092e+02 | 1.840000e+02 | 16.74%
1114.42/1114.61 c 1115s| 12000 | 12001 | 7446k| 618.4 | 12M| 94 | 349 | 467 | 527 | 467 | 931 | 821 | 8 |1721 | 1.576106e+02 | 1.840000e+02 | 16.74%
1121.72/1121.94 c 1122s| 12100 | 12101 | 7491k| 617.1 | 13M| 94 | 356 | 467 | 527 | 467 | 931 | 821 | 8 |1740 | 1.576137e+02 | 1.840000e+02 | 16.74%
1128.02/1128.28 c 1128s| 12200 | 12201 | 7531k| 615.3 | 13M| 94 | 357 | 467 | 527 | 467 | 931 | 821 | 8 |1754 | 1.576165e+02 | 1.840000e+02 | 16.74%
1134.71/1134.96 c 1135s| 12300 | 12301 | 7578k| 614.1 | 13M| 94 | 356 | 467 | 527 | 467 | 931 | 821 | 8 |1759 | 1.576183e+02 | 1.840000e+02 | 16.74%
1142.81/1143.06 c 1143s| 12400 | 12401 | 7637k| 613.9 | 13M| 94 | 348 | 467 | 527 | 467 | 931 | 821 | 8 |1759 | 1.576209e+02 | 1.840000e+02 | 16.74%
1151.01/1151.29 c 1151s| 12500 | 12501 | 7699k| 613.9 | 13M| 94 | 365 | 467 | 531 | 467 | 931 | 821 | 12 |1760 | 1.576234e+02 | 1.840000e+02 | 16.73%
1156.71/1156.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1156.71/1156.99 c 1157s| 12600 | 12601 | 7738k| 612.2 | 13M| 94 | 383 | 467 | 531 | 467 | 931 | 821 | 12 |1760 | 1.576263e+02 | 1.840000e+02 | 16.73%
1164.91/1165.18 c 1165s| 12700 | 12701 | 7799k| 612.1 | 13M| 94 | 375 | 467 | 531 | 467 | 931 | 821 | 12 |1761 | 1.576292e+02 | 1.840000e+02 | 16.73%
1170.81/1171.02 c 1171s| 12800 | 12801 | 7831k| 609.8 | 13M| 94 | 372 | 467 | 531 | 467 | 931 | 821 | 12 |1777 | 1.576324e+02 | 1.840000e+02 | 16.73%
1179.11/1179.31 c 1179s| 12900 | 12901 | 7887k| 609.5 | 13M| 94 | 375 | 467 | 531 | 467 | 931 | 821 | 12 |1787 | 1.576333e+02 | 1.840000e+02 | 16.73%
1188.01/1188.21 c 1188s| 13000 | 13001 | 7946k| 609.3 | 13M| 94 | 375 | 467 | 531 | 467 | 931 | 821 | 12 |1798 | 1.576352e+02 | 1.840000e+02 | 16.73%
1193.60/1193.84 c 1194s| 13100 | 13101 | 7978k| 607.2 | 13M| 94 | 377 | 467 | 531 | 467 | 931 | 821 | 12 |1816 | 1.576374e+02 | 1.840000e+02 | 16.72%
1202.01/1202.26 c 1202s| 13200 | 13201 | 8037k| 607.0 | 13M| 94 | 372 | 467 | 531 | 467 | 931 | 821 | 12 |1823 | 1.576387e+02 | 1.840000e+02 | 16.72%
1208.20/1208.40 c 1208s| 13300 | 13301 | 8080k| 605.7 | 13M| 94 | 367 | 467 | 531 | 467 | 931 | 821 | 12 |1825 | 1.576401e+02 | 1.840000e+02 | 16.72%
1216.20/1216.42 c 1216s| 13400 | 13401 | 8139k| 605.6 | 13M| 94 | 352 | 467 | 537 | 467 | 931 | 821 | 18 |1826 | 1.576424e+02 | 1.840000e+02 | 16.72%
1223.60/1223.83 c 1224s| 13500 | 13501 | 8192k| 605.0 | 13M| 94 | 361 | 467 | 537 | 467 | 931 | 821 | 18 |1826 | 1.576441e+02 | 1.840000e+02 | 16.72%
1233.29/1233.58 c 1234s| 13600 | 13601 | 8265k| 605.9 | 14M| 94 | 374 | 467 | 543 | 467 | 931 | 821 | 24 |1826 | 1.576465e+02 | 1.840000e+02 | 16.72%
1240.00/1240.28 c 1240s| 13700 | 13701 | 8307k| 604.6 | 14M| 94 | 352 | 467 | 543 | 467 | 931 | 821 | 24 |1836 | 1.576477e+02 | 1.840000e+02 | 16.72%
1248.80/1249.01 c 1249s| 13800 | 13801 | 8366k| 604.4 | 14M| 94 | 354 | 467 | 544 | 467 | 931 | 821 | 25 |1847 | 1.576492e+02 | 1.840000e+02 | 16.71%
1257.29/1257.59 c 1258s| 13900 | 13901 | 8421k| 604.0 | 14M| 94 | 377 | 467 | 544 | 467 | 931 | 821 | 25 |1865 | 1.576504e+02 | 1.840000e+02 | 16.71%
1263.79/1264.10 c 1264s| 14000 | 14001 | 8464k| 602.8 | 14M| 94 | 346 | 467 | 544 | 467 | 931 | 821 | 25 |1874 | 1.576523e+02 | 1.840000e+02 | 16.71%
1272.99/1273.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.99/1273.25 c 1273s| 14100 | 14101 | 8526k| 602.9 | 14M| 94 | 364 | 467 | 544 | 467 | 931 | 821 | 25 |1887 | 1.576547e+02 | 1.840000e+02 | 16.71%
1279.59/1279.84 c 1280s| 14200 | 14201 | 8569k| 601.7 | 14M| 94 | 361 | 467 | 544 | 467 | 931 | 821 | 25 |1897 | 1.576572e+02 | 1.840000e+02 | 16.71%
1286.80/1287.03 c 1287s| 14300 | 14301 | 8622k| 601.2 | 14M| 94 | 349 | 467 | 544 | 467 | 931 | 821 | 25 |1897 | 1.576592e+02 | 1.840000e+02 | 16.71%
1292.69/1292.97 c 1293s| 14400 | 14401 | 8662k| 599.8 | 14M| 94 | 357 | 467 | 544 | 467 | 931 | 821 | 25 |1899 | 1.576613e+02 | 1.840000e+02 | 16.71%
1300.89/1301.15 c 1301s| 14500 | 14501 | 8722k| 599.8 | 14M| 94 | 345 | 467 | 544 | 467 | 931 | 821 | 25 |1899 | 1.576621e+02 | 1.840000e+02 | 16.71%
1306.69/1306.90 c 1307s| 14600 | 14601 | 8762k| 598.5 | 14M| 94 | 363 | 467 | 544 | 467 | 931 | 821 | 25 |1899 | 1.576650e+02 | 1.840000e+02 | 16.70%
1315.39/1315.68 c 1316s| 14700 | 14701 | 8822k| 598.5 | 14M| 94 | 367 | 467 | 544 | 467 | 931 | 821 | 25 |1908 | 1.576670e+02 | 1.840000e+02 | 16.70%
1323.29/1323.59 c 1324s| 14800 | 14801 | 8875k| 598.0 | 14M| 94 | 366 | 467 | 544 | 467 | 931 | 821 | 25 |1918 | 1.576687e+02 | 1.840000e+02 | 16.70%
1328.39/1328.68 c 1329s| 14900 | 14901 | 8906k| 596.1 | 14M| 94 | 343 | 467 | 544 | 467 | 931 | 821 | 25 |1928 | 1.576703e+02 | 1.840000e+02 | 16.70%
1336.08/1336.32 c 1336s| 15000 | 15001 | 8956k| 595.4 | 14M| 94 | 364 | 467 | 544 | 467 | 931 | 821 | 25 |1942 | 1.576723e+02 | 1.840000e+02 | 16.70%
1342.39/1342.64 c 1343s| 15100 | 15101 | 8995k| 594.1 | 15M| 94 | 356 | 467 | 544 | 467 | 931 | 821 | 25 |1952 | 1.576743e+02 | 1.840000e+02 | 16.70%
1351.68/1351.98 c 1352s| 15200 | 15201 | 9061k| 594.5 | 15M| 94 | 357 | 467 | 544 | 467 | 931 | 821 | 25 |1964 | 1.576764e+02 | 1.840000e+02 | 16.69%
1358.88/1359.19 c 1359s| 15300 | 15301 | 9113k| 594.0 | 15M| 94 | 365 | 467 | 544 | 467 | 931 | 821 | 25 |1965 | 1.576799e+02 | 1.840000e+02 | 16.69%
1368.78/1369.03 c 1369s| 15400 | 15401 | 9184k| 594.8 | 15M| 94 | 360 | 467 | 544 | 467 | 931 | 821 | 25 |1968 | 1.576816e+02 | 1.840000e+02 | 16.69%
1373.87/1374.13 c 1374s| 15500 | 15501 | 9219k| 593.2 | 15M| 94 | 354 | 467 | 544 | 467 | 931 | 821 | 25 |1968 | 1.576838e+02 | 1.840000e+02 | 16.69%
1382.27/1382.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.27/1382.52 c 1383s| 15600 | 15601 | 9280k| 593.3 | 15M| 94 | 375 | 467 | 544 | 467 | 931 | 821 | 25 |1968 | 1.576864e+02 | 1.840000e+02 | 16.69%
1387.98/1388.22 c 1388s| 15700 | 15701 | 9319k| 592.0 | 15M| 94 | 364 | 467 | 544 | 467 | 931 | 821 | 25 |1968 | 1.576875e+02 | 1.840000e+02 | 16.69%
1395.38/1395.69 c 1396s| 15800 | 15801 | 9366k| 591.2 | 15M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |1984 | 1.576891e+02 | 1.840000e+02 | 16.69%
1405.48/1405.77 c 1406s| 15900 | 15901 | 9437k| 592.0 | 15M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |1993 | 1.576910e+02 | 1.840000e+02 | 16.68%
1411.27/1411.54 c 1412s| 16000 | 16001 | 9469k| 590.3 | 15M| 94 | 383 | 467 | 544 | 467 | 931 | 821 | 25 |2009 | 1.576916e+02 | 1.840000e+02 | 16.68%
1420.17/1420.48 c 1420s| 16100 | 16101 | 9531k| 590.4 | 15M| 94 | 370 | 467 | 544 | 467 | 931 | 821 | 25 |2020 | 1.576928e+02 | 1.840000e+02 | 16.68%
1424.87/1425.12 c 1425s| 16200 | 16201 | 9559k| 588.5 | 15M| 94 | 383 | 467 | 544 | 467 | 931 | 821 | 25 |2026 | 1.576948e+02 | 1.840000e+02 | 16.68%
1440.57/1440.88 c 1441s| 16300 | 16301 | 9703k| 593.8 | 15M| 94 | 358 | 467 | 544 | 467 | 931 | 821 | 25 |2035 | 1.576966e+02 | 1.840000e+02 | 16.68%
1446.87/1447.17 c 1447s| 16400 | 16401 | 9746k| 592.8 | 15M| 94 | 372 | 467 | 544 | 467 | 931 | 821 | 25 |2040 | 1.576981e+02 | 1.840000e+02 | 16.68%
1455.67/1455.90 c 1456s| 16500 | 16501 | 9810k| 593.1 | 16M| 94 | 370 | 467 | 544 | 467 | 931 | 821 | 25 |2040 | 1.577005e+02 | 1.840000e+02 | 16.68%
1463.17/1463.41 c 1463s| 16600 | 16601 | 9866k| 592.8 | 16M| 94 | 350 | 467 | 544 | 467 | 931 | 821 | 25 |2042 | 1.577016e+02 | 1.840000e+02 | 16.68%
1470.26/1470.54 c 1471s| 16700 | 16701 | 9917k| 592.4 | 16M| 94 | 356 | 467 | 544 | 467 | 931 | 821 | 25 |2042 | 1.577026e+02 | 1.840000e+02 | 16.68%
1477.46/1477.74 c 1478s| 16800 | 16801 | 9968k| 591.9 | 16M| 94 | 365 | 467 | 544 | 467 | 931 | 821 | 25 |2043 | 1.577051e+02 | 1.840000e+02 | 16.67%
1484.96/1485.28 c 1485s| 16900 | 16901 | 10016k| 591.2 | 16M| 94 | 365 | 467 | 544 | 467 | 931 | 821 | 25 |2058 | 1.577066e+02 | 1.840000e+02 | 16.67%
1490.76/1491.09 c 1491s| 17000 | 17001 | 10056k| 590.1 | 16M| 94 | 352 | 467 | 544 | 467 | 931 | 821 | 25 |2058 | 1.577089e+02 | 1.840000e+02 | 16.67%
1499.36/1499.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.36/1499.67 c 1500s| 17100 | 17101 | 10110k| 589.8 | 16M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |2077 | 1.577102e+02 | 1.840000e+02 | 16.67%
1507.96/1508.24 c 1508s| 17200 | 17201 | 10168k| 589.8 | 16M| 94 | 359 | 467 | 544 | 467 | 931 | 821 | 25 |2088 | 1.577105e+02 | 1.840000e+02 | 16.67%
1513.16/1513.41 c 1513s| 17300 | 17301 | 10199k| 588.1 | 16M| 94 | 350 | 467 | 544 | 467 | 931 | 821 | 25 |2101 | 1.577112e+02 | 1.840000e+02 | 16.67%
1521.55/1521.80 c 1522s| 17400 | 17401 | 10257k| 588.1 | 16M| 94 | 343 | 467 | 544 | 467 | 931 | 821 | 25 |2111 | 1.577130e+02 | 1.840000e+02 | 16.67%
1527.35/1527.61 c 1528s| 17500 | 17501 | 10295k| 586.9 | 16M| 94 | 344 | 467 | 544 | 467 | 931 | 821 | 25 |2119 | 1.577143e+02 | 1.840000e+02 | 16.67%
1534.65/1534.90 c 1535s| 17600 | 17601 | 10345k| 586.4 | 16M| 94 | 354 | 467 | 544 | 467 | 931 | 821 | 25 |2123 | 1.577157e+02 | 1.840000e+02 | 16.67%
1540.65/1540.98 c 1541s| 17700 | 17701 | 10388k| 585.5 | 16M| 94 | 361 | 467 | 544 | 467 | 931 | 821 | 25 |2124 | 1.577179e+02 | 1.840000e+02 | 16.66%
1548.75/1549.02 c 1549s| 17800 | 17801 | 10448k| 585.6 | 16M| 94 | 350 | 467 | 544 | 467 | 931 | 821 | 25 |2124 | 1.577196e+02 | 1.840000e+02 | 16.66%
1555.75/1556.00 c 1556s| 17900 | 17901 | 10497k| 585.0 | 16M| 94 | 369 | 467 | 544 | 467 | 931 | 821 | 25 |2124 | 1.577209e+02 | 1.840000e+02 | 16.66%
1561.45/1561.77 c 1562s| 18000 | 18001 | 10537k| 584.0 | 17M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |2124 | 1.577223e+02 | 1.840000e+02 | 16.66%
1567.45/1567.70 c 1568s| 18100 | 18101 | 10579k| 583.1 | 17M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |2124 | 1.577238e+02 | 1.840000e+02 | 16.66%
1575.05/1575.31 c 1575s| 18200 | 18201 | 10628k| 582.6 | 17M| 94 | 381 | 467 | 544 | 467 | 931 | 821 | 25 |2134 | 1.577260e+02 | 1.840000e+02 | 16.66%
1584.44/1584.72 c 1585s| 18300 | 18301 | 10686k| 582.6 | 17M| 94 | 374 | 467 | 544 | 467 | 931 | 821 | 25 |2159 | 1.577281e+02 | 1.840000e+02 | 16.66%
1592.05/1592.33 c 1592s| 18400 | 18401 | 10741k| 582.4 | 17M| 94 | 347 | 467 | 544 | 467 | 931 | 821 | 25 |2159 | 1.577293e+02 | 1.840000e+02 | 16.66%
1599.74/1600.03 c 1600s| 18500 | 18501 | 10791k| 582.0 | 17M| 94 | 360 | 467 | 544 | 467 | 931 | 821 | 25 |2171 | 1.577306e+02 | 1.840000e+02 | 16.65%
1607.44/1607.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.44/1607.76 c 1608s| 18600 | 18601 | 10841k| 581.6 | 17M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |2183 | 1.577321e+02 | 1.840000e+02 | 16.65%
1612.74/1613.06 c 1613s| 18700 | 18701 | 10874k| 580.2 | 17M| 94 | 353 | 467 | 544 | 467 | 931 | 821 | 25 |2192 | 1.577334e+02 | 1.840000e+02 | 16.65%
1620.84/1621.12 c 1621s| 18800 | 18801 | 10929k| 580.0 | 17M| 94 | 362 | 467 | 544 | 467 | 931 | 821 | 25 |2199 | 1.577357e+02 | 1.840000e+02 | 16.65%
1626.84/1627.11 c 1627s| 18900 | 18901 | 10971k| 579.2 | 17M| 94 | 360 | 467 | 544 | 467 | 931 | 821 | 25 |2201 | 1.577368e+02 | 1.840000e+02 | 16.65%
1633.44/1633.75 c 1634s| 19000 | 19001 | 11020k| 578.7 | 17M| 94 | 368 | 467 | 544 | 467 | 931 | 821 | 25 |2201 | 1.577385e+02 | 1.840000e+02 | 16.65%
1641.95/1642.26 c 1642s| 19100 | 19101 | 11083k| 579.0 | 17M| 94 | 348 | 467 | 544 | 467 | 931 | 821 | 25 |2202 | 1.577399e+02 | 1.840000e+02 | 16.65%
1649.04/1649.36 c 1649s| 19200 | 19201 | 11133k| 578.6 | 17M| 94 | 354 | 467 | 544 | 467 | 931 | 821 | 25 |2202 | 1.577413e+02 | 1.840000e+02 | 16.65%
1653.53/1653.89 c 1654s| 19300 | 19301 | 11164k| 577.2 | 17M| 94 | 367 | 467 | 544 | 467 | 931 | 821 | 25 |2202 | 1.577428e+02 | 1.840000e+02 | 16.65%
1663.04/1663.31 c 1663s| 19400 | 19401 | 11226k| 577.4 | 18M| 94 | 369 | 467 | 544 | 467 | 931 | 821 | 25 |2216 | 1.577453e+02 | 1.840000e+02 | 16.64%
1668.73/1669.08 c 1669s| 19500 | 19501 | 11265k| 576.4 | 18M| 94 | 376 | 467 | 544 | 467 | 931 | 821 | 25 |2216 | 1.577466e+02 | 1.840000e+02 | 16.64%
1676.43/1676.77 c 1677s| 19600 | 19601 | 11316k| 576.1 | 18M| 94 | 358 | 467 | 544 | 467 | 931 | 821 | 25 |2227 | 1.577479e+02 | 1.840000e+02 | 16.64%
1682.13/1682.47 c 1682s| 19700 | 19701 | 11350k| 574.9 | 18M| 94 | 347 | 467 | 544 | 467 | 931 | 821 | 25 |2238 | 1.577493e+02 | 1.840000e+02 | 16.64%
1692.53/1692.86 c 1693s| 19800 | 19801 | 11422k| 575.6 | 18M| 94 | 358 | 467 | 544 | 467 | 931 | 821 | 25 |2251 | 1.577505e+02 | 1.840000e+02 | 16.64%
1699.23/1699.54 c 1700s| 19900 | 19901 | 11466k| 574.9 | 18M| 94 | 364 | 467 | 544 | 467 | 931 | 821 | 25 |2263 | 1.577525e+02 | 1.840000e+02 | 16.64%
1706.83/1707.16 c 1707s| 20000 | 20001 | 11518k| 574.7 | 18M| 94 | 349 | 467 | 544 | 467 | 931 | 821 | 25 |2272 | 1.577537e+02 | 1.840000e+02 | 16.64%
1713.13/1713.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.13/1713.41 c 1713s| 20100 | 20101 | 11561k| 573.9 | 18M| 94 | 368 | 467 | 544 | 467 | 931 | 821 | 25 |2273 | 1.577545e+02 | 1.840000e+02 | 16.64%
1720.53/1720.86 c 1721s| 20200 | 20201 | 11613k| 573.7 | 18M| 94 | 362 | 467 | 544 | 467 | 931 | 821 | 25 |2275 | 1.577569e+02 | 1.840000e+02 | 16.64%
1725.42/1725.72 c 1726s| 20300 | 20301 | 11646k| 572.5 | 18M| 94 | 363 | 467 | 544 | 467 | 931 | 821 | 25 |2276 | 1.577585e+02 | 1.840000e+02 | 16.63%
1734.92/1735.29 c 1735s| 20400 | 20401 | 11718k| 573.2 | 18M| 94 | 362 | 467 | 544 | 467 | 931 | 821 | 25 |2276 | 1.577595e+02 | 1.840000e+02 | 16.63%
1740.62/1740.96 c 1741s| 20500 | 20501 | 11756k| 572.3 | 18M| 94 | 344 | 467 | 544 | 467 | 931 | 821 | 25 |2277 | 1.577610e+02 | 1.840000e+02 | 16.63%
1750.93/1751.25 c 1751s| 20600 | 20601 | 11824k| 572.8 | 18M| 94 | 347 | 467 | 544 | 467 | 931 | 821 | 25 |2297 | 1.577621e+02 | 1.840000e+02 | 16.63%
1756.02/1756.36 c 1756s| 20700 | 20701 | 11859k| 571.7 | 18M| 94 | 352 | 467 | 544 | 467 | 931 | 821 | 25 |2297 | 1.577630e+02 | 1.840000e+02 | 16.63%
1762.62/1762.90 c 1763s| 20800 | 20801 | 11905k| 571.2 | 18M| 94 | 371 | 467 | 544 | 467 | 931 | 821 | 25 |2297 | 1.577643e+02 | 1.840000e+02 | 16.63%
1769.02/1769.38 c 1769s| 20900 | 20901 | 11947k| 570.5 | 19M| 94 | 335 | 467 | 544 | 467 | 931 | 821 | 25 |2307 | 1.577652e+02 | 1.840000e+02 | 16.63%
1778.12/1778.49 c 1778s| 21000 | 21001 | 12011k| 570.8 | 19M| 94 | 362 | 467 | 544 | 467 | 931 | 821 | 25 |2316 | 1.577669e+02 | 1.840000e+02 | 16.63%
1784.11/1784.46 c 1784s| 21100 | 21101 | 12047k| 569.8 | 19M| 94 | 360 | 467 | 544 | 467 | 931 | 821 | 25 |2326 | 1.577686e+02 | 1.840000e+02 | 16.63%
1792.91/1793.22 c 1793s| 21200 | 21201 | 12108k| 570.0 | 19M| 94 | 365 | 467 | 544 | 467 | 931 | 821 | 25 |2338 | 1.577693e+02 | 1.840000e+02 | 16.63%
1796.71/1797.01 c
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Solving Time (sec) : 1797.01
1796.71/1797.01 c Solving Nodes : 21273
1796.71/1797.01 c Primal Bound : +1.84000000000000e+02 (705 solutions)
1796.71/1797.01 c Dual Bound : +1.57770300655696e+02
1796.71/1797.01 c Gap : 16.63 %
1796.71/1797.01 s SATISFIABLE
1796.71/1797.01 v -x467 -x466 x465 -x464 x463 -x462 -x461 -x460 x459 -x458 x457 -x456 -x455 x454 -x453 x452 x451 -x450 -x449 -x448 -x447 -x446 x445
1796.71/1797.01 v -x444 x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 x433 -x432 -x431 x430 x429 -x428 -x427 x426 -x425 -x424 x423
1796.71/1797.01 v x422 -x421 -x420 -x419 -x418 x417 x416 -x415 x414 x413 -x412 x411 -x410 -x409 x408 -x407 -x406 -x405 x404 -x403 -x402 -x401
1796.71/1797.01 v -x400 -x399 -x398 x397 x396 -x395 -x394 x393 x392 x391 x390 x389 -x388 x387 -x386 -x385 x384 -x383 -x382 -x381 x380 x379 -x378
1796.71/1797.01 v -x377 -x376 -x375 x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 x366 x365 -x364 x363 x362 x361 -x360 x359 x358 -x357 -x356
1796.71/1797.01 v -x355 x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 -x345 x344 -x343 x342 -x341 -x340 -x339 -x338 x337 x336 -x335 -x334 -x333
1796.71/1797.01 v -x332 -x331 -x330 x329 x328 x327 -x326 -x325 -x324 x323 -x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312
1796.71/1797.01 v -x311 x310 -x309 -x308 x307 x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 x297 x296 x295 -x294 x293 x292 -x291 x290 x289
1796.71/1797.01 v x288 -x287 -x286 -x285 x284 x283 x282 x281 -x280 x279 x278 -x277 -x276 x275 -x274 -x273 x272 -x271 x270 x269 -x268 -x267 x266
1796.71/1797.01 v x265 x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 x245 x244
1796.71/1797.01 v -x243 x242 -x241 x240 -x239 x238 x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222
1796.71/1797.01 v -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 x210 -x209 x208 x207 -x206 x205 -x204 -x203 -x202 x201 x200 -x199
1796.71/1797.01 v -x198 x197 x196 -x195 -x194 x193 x192 -x191 -x190 -x189 -x188 x187 x186 -x185 x184 -x183 -x182 x181 x180 -x179 x178 x177
1796.71/1797.01 v -x176 -x175 -x174 -x173 -x172 -x171 x170 x169 -x168 x167 x166 -x165 x164 x163 -x162 -x161 x160 -x159 -x158 -x157 x156 x155 x154
1796.71/1797.01 v -x153 -x152 -x151 -x150 x149 -x148 -x147 x146 -x145 x144 x143 -x142 x141 x140 x139 x138 -x137 -x136 -x135 -x134 -x133 -x132
1796.71/1797.01 v -x131 -x130 -x129 -x128 x127 -x126 x125 x124 -x123 x122 -x121 -x120 x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 -x110
1796.71/1797.01 v -x109 -x108 x107 -x106 x105 x104 -x103 x102 x101 -x100 -x99 x98 x97 -x96 -x95 x94 x93 -x92 -x91 x90 -x89 x88 x87 x86 -x85 -x84
1796.71/1797.01 v -x83 -x82 -x81 x80 x79 x78 -x77 -x76 x75 -x74 -x73 x72 x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 x60 -x59 x58 -x57
1796.71/1797.01 v -x56 x55 x54 x53 -x52 -x51 x50 -x49 -x48 x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31
1796.71/1797.01 v -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 x13 x12 x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3
1796.71/1797.01 v x2 x1
1796.71/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.01 c Total Time : 1797.01
1796.71/1797.01 c solving : 1797.01
1796.71/1797.01 c presolving : 0.03 (included in solving)
1796.71/1797.01 c reading : 0.00 (included in solving)
1796.71/1797.01 c copying : 0.01 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.01 c Original Problem :
1796.71/1797.01 c Problem name : HOME/instance-3693223-1338029496.opb
1796.71/1797.01 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 466 initial, 466 maximal
1796.71/1797.01 c Objective sense : minimize
1796.71/1797.01 c Presolved Problem :
1796.71/1797.01 c Problem name : t_HOME/instance-3693223-1338029496.opb
1796.71/1797.01 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.01 c Constraints : 519 initial, 544 maximal
1796.71/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 24 141 243 549
1796.71/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 64 0 0 0
1796.71/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 1 42
1796.71/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.01 c root node : - - 0 - - 0 - - - - -
1796.71/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c integral : 0 0 0 0 21271 0 710 0 0 0 0 0 42542
1796.71/1797.01 c knapsack : 438 438 10 143274 0 2 705 0 0 3460 814 0 0
1796.71/1797.01 c setppc : 78 78 10 143255 0 2 704 0 0 3286 0 0 0
1796.71/1797.01 c logicor : 3+ 28 10 4990 0 2 704 0 0 0 0 0 0
1796.71/1797.01 c countsols : 0 0 0 0 0 2 708 0 0 0 0 0 0
1796.71/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.01 c integral : 125.03 0.00 0.00 0.00 125.03 0.00 0.00 0.00
1796.71/1797.01 c knapsack : 1.02 0.00 0.03 0.98 0.00 0.00 0.01 0.00
1796.71/1797.01 c setppc : 0.15 0.00 0.00 0.15 0.00 0.00 0.00 0.00
1796.71/1797.01 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.01 c rootredcost : 9 0 0 0
1796.71/1797.01 c pseudoobj : 164496 0 0 0
1796.71/1797.01 c vbounds : 0 0 0 0
1796.71/1797.01 c redcost : 21280 0 0 0
1796.71/1797.01 c probing : 0 0 0 0
1796.71/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.01 c rootredcost : 0.05 0.00 0.00 0.05 0.00
1796.71/1797.01 c pseudoobj : 0.17 0.00 0.00 0.17 0.00
1796.71/1797.01 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.71/1797.01 c redcost : 0.18 0.00 0.00 0.18 0.00
1796.71/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c infeasible LP : 0.00 25 25 25 3.8 0 0.0 0
1796.71/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.01 c applied globally : - - - 25 3.8 - - -
1796.71/1797.01 c applied locally : - - - 0 0.0 - - -
1796.71/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.01 c cut pool : 0.00 9 - - 273 - (maximal pool size: 1529)
1796.71/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c impliedbounds : 0.00 0.00 10 0 0 0 0
1796.71/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c gomory : 1.75 0.00 10 0 0 2 0
1796.71/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c strongcg : 1.32 0.00 10 0 0 2 0
1796.71/1797.01 c cmir : 0.24 0.00 10 0 0 909 0
1796.71/1797.01 c flowcover : 0.27 0.00 10 0 0 1070 0
1796.71/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c mcf : 0.02 0.00 5 0 0 81 0
1796.71/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.71/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.01 c problem variables: 0.00 - 0 0
1796.71/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.01 c relpscost : 125.00 0.00 21271 0 0 0 0 42542
1796.71/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.71/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.01 c LP solutions : 0.00 - - 0
1796.71/1797.01 c pseudo solutions : 0.00 - - 0
1796.71/1797.01 c oneopt : 0.01 0.00 9 3
1796.71/1797.01 c smallcard : 0.00 0.00 0 0
1796.71/1797.01 c trivial : 0.00 0.00 2 1
1796.71/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.01 c simplerounding : 0.61 0.00 21280 39
1796.71/1797.01 c zirounding : 0.87 0.00 2451 49
1796.71/1797.01 c rounding : 15.20 0.00 6548 1
1796.71/1797.01 c shifting : 4.16 0.00 1666 1
1796.71/1797.01 c intshifting : 0.00 0.00 0 0
1796.71/1797.01 c twoopt : 0.00 0.00 0 0
1796.71/1797.01 c indoneopt : 0.01 0.00 0 0
1796.71/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.01 c feaspump : 0.00 0.00 0 0
1796.71/1797.01 c clique : 0.00 0.00 0 0
1796.71/1797.01 c indrounding : 0.00 0.00 0 0
1796.71/1797.01 c coefdiving : 60.48 0.00 42 138
1796.71/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.01 c pscostdiving : 185.40 0.00 177 196
1796.71/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.01 c fracdiving : 60.17 0.00 46 6
1796.71/1797.01 c veclendiving : 150.52 0.00 137 98
1796.71/1797.01 c intdiving : 0.00 0.00 0 0
1796.71/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.01 c objpscostdiving : 37.42 0.00 4 115
1796.71/1797.01 c rootsoldiving : 13.45 0.00 12 0
1796.71/1797.01 c linesearchdiving : 84.67 0.00 92 57
1796.71/1797.01 c guideddiving : 52.39 0.00 40 0
1796.71/1797.01 c octane : 0.00 0.00 0 0
1796.71/1797.01 c rens : 0.01 0.00 0 0
1796.71/1797.01 c rins : 0.00 0.00 0 0
1796.71/1797.01 c localbranching : 0.00 0.00 0 0
1796.71/1797.01 c mutation : 0.00 0.00 0 0
1796.71/1797.01 c crossover : 0.57 0.00 1 1
1796.71/1797.01 c dins : 0.00 0.00 0 0
1796.71/1797.01 c vbounds : 0.00 0.00 0 0
1796.71/1797.01 c undercover : 0.00 0.00 0 0
1796.71/1797.01 c subnlp : 0.01 0.00 0 0
1796.71/1797.01 c trysol : 0.01 0.00 0 0
1796.71/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.01 c primal LP : 0.01 1 0 0.00 - 0.01 1
1796.71/1797.01 c dual LP : 997.99 21298 6810143 320.00 6823.86 0.07 16
1796.71/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.01 c diving/probing LP: 628.90 88038 5321553 60.45 8461.65
1796.71/1797.01 c strong branching : 123.37 2347 722247 307.73 5854.16
1796.71/1797.01 c (at root node) : - 19 16951 892.16 -
1796.71/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.01 c B&B Tree :
1796.71/1797.01 c number of runs : 1
1796.71/1797.01 c nodes : 21273
1796.71/1797.01 c nodes (total) : 21273
1796.71/1797.01 c nodes left : 21274
1796.71/1797.01 c max depth : 94
1796.71/1797.01 c max depth (total): 94
1796.71/1797.01 c backtracks : 2238 (10.5%)
1796.71/1797.01 c delayed cutoffs : 0
1796.71/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.01 c avg switch length: 3.85
1796.71/1797.01 c switching time : 0.64
1796.71/1797.01 c Solution :
1796.71/1797.01 c Solutions found : 705 (15 improvements)
1796.71/1797.01 c First Solution : +4.67000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.01 c Primal Bound : +1.84000000000000e+02 (in run 1, after 459 nodes, 136.56 seconds, depth 6, found by <oneopt>)
1796.71/1797.01 c Dual Bound : +1.57770300655696e+02
1796.71/1797.01 c Gap : 16.63 %
1796.71/1797.01 c Root Dual Bound : +1.56049499250215e+02
1796.71/1797.01 c Root Iterations : 25722
1796.71/1797.04 c Time complete: 1796.76.
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-3693223-1338029496/watcher-3693223-1338029496 -o /tmp/evaluation-result-3693223-1338029496/solver-3693223-1338029496 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693223-1338029496.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.19 3/174 8104
/proc/meminfo: memFree=28310128/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=10240 CPUtime=0 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 1327 0 0 0 0 0 0 0 20 0 1 0 269073932 10485760 1282 33554432000 4194304 10169799 140734957158992 140735814771288 8797266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 2560 1282 412 1459 0 1092 0
[startup+0.058076 s]
/proc/loadavg: 1.00 1.00 1.19 3/174 8104
/proc/meminfo: memFree=28310128/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=24024 CPUtime=0.05 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 5017 0 0 0 4 1 0 0 20 0 1 0 269073932 24600576 4709 33554432000 4194304 10169799 140734957158992 140735814771288 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 6006 4709 750 1459 0 4538 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24024
[startup+0.100251 s]
/proc/loadavg: 1.00 1.00 1.19 3/174 8104
/proc/meminfo: memFree=28310128/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=24024 CPUtime=0.09 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 5023 0 0 0 8 1 0 0 20 0 1 0 269073932 24600576 4715 33554432000 4194304 10169799 140734957158992 140735814771288 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 6006 4715 750 1459 0 4538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24024
[startup+0.300174 s]
/proc/loadavg: 1.00 1.00 1.19 3/174 8104
/proc/meminfo: memFree=28310128/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=24024 CPUtime=0.29 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 5047 0 0 0 28 1 0 0 20 0 1 0 269073932 24600576 4739 33554432000 4194304 10169799 140734957158992 140735814771288 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 6006 4739 751 1459 0 4538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24024
[startup+0.700175 s]
/proc/loadavg: 1.00 1.00 1.19 3/174 8104
/proc/meminfo: memFree=28310128/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=24408 CPUtime=0.68 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 5130 0 0 0 67 1 0 0 20 0 1 0 269073932 24993792 4822 33554432000 4194304 10169799 140734957158992 140734957153496 8053270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 6102 4822 751 1459 0 4634 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24408
[startup+1.50017 s]
/proc/loadavg: 1.00 1.00 1.19 3/177 8110
/proc/meminfo: memFree=28275940/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=26316 CPUtime=1.49 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 5695 0 0 0 147 2 0 0 20 0 1 0 269073932 26947584 5387 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 6579 5387 801 1459 0 5111 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26316
[startup+3.10023 s]
/proc/loadavg: 1.00 1.00 1.19 3/177 8110
/proc/meminfo: memFree=28270468/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=28680 CPUtime=3.09 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 6284 0 0 0 306 3 0 0 20 0 1 0 269073932 29368320 5976 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7170 5976 803 1459 0 5702 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28680
[startup+6.30023 s]
/proc/loadavg: 1.08 1.02 1.20 3/177 8110
/proc/meminfo: memFree=28267120/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=29080 CPUtime=6.29 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 6361 0 0 0 624 5 0 0 20 0 1 0 269073932 29777920 6053 33554432000 4194304 10169799 140734957158992 140734957155016 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7270 6053 803 1459 0 5802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29080
[startup+12.7003 s]
/proc/loadavg: 1.15 1.03 1.20 3/177 8110
/proc/meminfo: memFree=28266780/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=29016 CPUtime=12.68 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 7183 0 0 0 1259 9 0 0 20 0 1 0 269073932 29712384 6241 33554432000 4194304 10169799 140734957158992 140734957153592 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7254 6241 838 1459 0 5786 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29016
[startup+25.5002 s]
/proc/loadavg: 1.34 1.08 1.21 3/177 8110
/proc/meminfo: memFree=28264792/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=29016 CPUtime=25.49 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 7184 0 0 0 2531 18 0 0 20 0 1 0 269073932 29712384 6242 33554432000 4194304 10169799 140734957158992 140734957153976 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7254 6242 839 1459 0 5786 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29016
[startup+51.1002 s]
/proc/loadavg: 1.56 1.15 1.23 3/177 8110
/proc/meminfo: memFree=28262808/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=29168 CPUtime=51.08 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 7223 0 0 0 5069 39 0 0 20 0 1 0 269073932 29868032 6281 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7292 6281 839 1459 0 5824 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29168
[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.27 3/177 8110
/proc/meminfo: memFree=28259520/32873844 swapFree=7620/7620
[pid=8104] ppid=8102 vsize=29824 CPUtime=102.28 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 7377 0 0 0 10146 82 0 0 20 0 1 0 269073932 30539776 6435 33554432000 4194304 10169799 140734957158992 140734957153112 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7456 6435 843 1459 0 5988 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 29824
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.31 3/177 8110
/proc/meminfo: memFree=28259084/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=30372 CPUtime=162.26 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 11010 0 0 0 16090 136 0 0 20 0 1 0 269073932 31100928 6590 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7593 6590 853 1459 0 6125 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 30372
[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.35 3/177 8110
/proc/meminfo: memFree=28256104/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=31004 CPUtime=222.25 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 11199 0 0 0 22039 186 0 0 20 0 1 0 269073932 31748096 6778 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7751 6778 853 1459 0 6283 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31004
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.39 3/176 8110
/proc/meminfo: memFree=28255616/32873844 swapFree=7620/7620
[pid=8104] ppid=8102 vsize=31436 CPUtime=282.24 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 11283 0 0 0 27991 233 0 0 20 0 1 0 269073932 32190464 6862 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 7859 6862 853 1459 0 6391 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31436
[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.42 3/177 8111
/proc/meminfo: memFree=28254368/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=32564 CPUtime=342.24 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 11561 0 0 0 33947 277 0 0 20 0 1 0 269073932 33345536 7140 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 8141 7140 853 1459 0 6673 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 32564
[startup+402.3 s]
/proc/loadavg: 2.06 1.74 1.46 3/177 8111
/proc/meminfo: memFree=28253436/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=32716 CPUtime=402.23 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 11609 0 0 0 39902 321 0 0 20 0 1 0 269073932 33501184 7187 33554432000 4194304 10169799 140734957158992 140734957153448 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 8179 7187 853 1459 0 6711 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 32716
[startup+462.3 s]
/proc/loadavg: 2.02 1.79 1.49 3/177 8111
/proc/meminfo: memFree=28253064/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=33016 CPUtime=462.22 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 11701 0 0 0 45857 365 0 0 20 0 1 0 269073932 33808384 7279 33554432000 4194304 10169799 140734957158992 140734957153064 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 8254 7279 853 1459 0 6786 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 33016
[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.52 3/178 8114
/proc/meminfo: memFree=28251080/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=34604 CPUtime=522.21 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 12081 0 0 0 51812 409 0 0 20 0 1 0 269073932 35434496 7659 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 8651 7659 853 1459 0 7183 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 34604
[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.55 3/178 8136
/proc/meminfo: memFree=28250024/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=35044 CPUtime=582.2 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 12216 0 0 0 57765 455 0 0 20 0 1 0 269073932 35885056 7793 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 8761 7793 853 1459 0 7293 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 35044
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28238480/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=39096 CPUtime=1122.11 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13236 0 0 0 111321 890 0 0 20 0 1 0 269073932 40034304 8812 33554432000 4194304 10169799 140734957158992 140734957153400 5746992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 9774 8812 853 1459 0 8306 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 39096
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/177 8141
/proc/meminfo: memFree=28237248/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=39908 CPUtime=1182.11 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13428 0 0 0 117272 939 0 0 20 0 1 0 269073932 40865792 9004 33554432000 4194304 10169799 140734957158992 140734957153784 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 9977 9004 853 1459 0 8509 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 39908
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 8142
/proc/meminfo: memFree=28236564/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=39908 CPUtime=1242.1 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13452 0 0 0 123230 980 0 0 20 0 1 0 269073932 40865792 9028 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 9977 9028 853 1459 0 8509 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 39908
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 8142
/proc/meminfo: memFree=28233152/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=41176 CPUtime=1302.1 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13749 0 0 0 129182 1028 0 0 20 0 1 0 269073932 42164224 9324 33554432000 4194304 10169799 140734957158992 140734957153448 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 10294 9324 853 1459 0 8826 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 41176
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/177 8142
/proc/meminfo: memFree=28231972/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=41520 CPUtime=1362.08 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13849 0 0 0 135133 1075 0 0 20 0 1 0 269073932 42516480 9424 33554432000 4194304 10169799 140734957158992 140734957153000 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 10380 9424 853 1459 0 8912 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 41520
[startup+1422.31 s]
/proc/loadavg: 2.07 1.99 1.79 3/176 8142
/proc/meminfo: memFree=28233096/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=41772 CPUtime=1422.08 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13901 0 0 0 141086 1122 0 0 20 0 1 0 269073932 42774528 9476 33554432000 4194304 10169799 140734957158992 140734957153448 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 10443 9476 853 1459 0 8975 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 41772
[startup+1482.3 s]
/proc/loadavg: 2.02 1.99 1.81 3/177 8143
/proc/meminfo: memFree=28231476/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=41772 CPUtime=1482.06 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 13905 0 0 0 147036 1170 0 0 20 0 1 0 269073932 42774528 9480 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 10443 9480 853 1459 0 8975 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 41772
[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.82 3/177 8144
/proc/meminfo: memFree=28230236/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=42560 CPUtime=1542.05 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14098 0 0 0 152987 1218 0 0 20 0 1 0 269073932 43581440 9673 33554432000 4194304 10169799 140734957158992 140734957153128 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 10640 9673 853 1459 0 9172 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 42560
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 8144
/proc/meminfo: memFree=28228000/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=43840 CPUtime=1602.04 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14441 0 0 0 158938 1266 0 0 20 0 1 0 269073932 44892160 10016 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 10960 10016 853 1459 0 9492 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 43840
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 8144
/proc/meminfo: memFree=28226076/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=45468 CPUtime=1662.03 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14842 0 0 0 164889 1314 0 0 20 0 1 0 269073932 46559232 10417 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11367 10417 853 1459 0 9899 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 45468
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/178 8147
/proc/meminfo: memFree=28224268/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=45468 CPUtime=1722.03 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14855 0 0 0 170843 1360 0 0 20 0 1 0 269073932 46559232 10430 33554432000 4194304 10169799 140734957158992 140734957153128 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11367 10430 853 1459 0 9899 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 45468
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223160/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=45976 CPUtime=1782.02 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14962 0 0 0 176798 1404 0 0 20 0 1 0 269073932 47079424 10537 33554432000 4194304 10169799 140734957158992 140734957153128 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11494 10537 853 1459 0 10026 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 45976
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223036/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=45976 CPUtime=1785.21 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14968 0 0 0 177115 1406 0 0 20 0 1 0 269073932 47079424 10543 33554432000 4194304 10169799 140734957158992 140734957153160 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11494 10543 853 1459 0 10026 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 45976
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223284/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=45976 CPUtime=1791.62 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 14969 0 0 0 177751 1411 0 0 20 0 1 0 269073932 47079424 10544 33554432000 4194304 10169799 140734957158992 140734957153016 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11494 10544 853 1459 0 10026 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 45976
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223160/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=46200 CPUtime=1794.82 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 15016 0 0 0 178069 1413 0 0 20 0 1 0 269073932 47308800 10591 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11550 10591 853 1459 0 10082 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 46200
[startup+1795.9 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223160/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=46200 CPUtime=1795.61 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 15016 0 0 0 178148 1413 0 0 20 0 1 0 269073932 47308800 10591 33554432000 4194304 10169799 140734957158992 140734957153496 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11550 10591 853 1459 0 10082 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 46200
[startup+1796.7 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223284/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=46200 CPUtime=1796.41 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 15016 0 0 0 178227 1414 0 0 20 0 1 0 269073932 47308800 10591 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11550 10591 853 1459 0 10082 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 46200
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223284/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=46200 CPUtime=1796.61 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 15016 0 0 0 178247 1414 0 0 20 0 1 0 269073932 47308800 10591 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11550 10591 853 1459 0 10082 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 46200
[startup+1797 s]
/proc/loadavg: 2.00 1.99 1.84 3/177 8147
/proc/meminfo: memFree=28223284/32873844 swapFree=7616/7616
[pid=8104] ppid=8102 vsize=46200 CPUtime=1796.71 cores=1,3,5,7
/proc/8104/stat : 8104 (scip-2.1.1.4sfi) R 8102 8104 6477 0 -1 4202496 15016 0 0 0 178257 1414 0 0 20 0 1 0 269073932 47308800 10591 33554432000 4194304 10169799 140734957158992 140734957153400 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/8104/statm: 11550 10591 853 1459 0 10082 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 46200
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.77
CPU user time (s): 1782.62
CPU system time (s): 14.1478
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 46200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.62
system time used= 14.1478
maximum resident set size= 42372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15020
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= 12
involuntary context switches= 1849
runsolver used 3.04254 second user time and 7.8868 second system time
The end