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-3693224-1338029634.opb>
0.00/0.00 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 472 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+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, 24 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, 0 chg sides, 24 chg coeffs, 472 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 56 del conss, 154 add conss, 0 chg bounds, 219 chg sides, 595 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 101 del conss, 176 add conss, 0 chg bounds, 287 chg sides, 699 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 108 del conss, 182 add conss, 0 chg bounds, 322 chg sides, 778 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 108 del conss, 182 add conss, 0 chg bounds, 325 chg sides, 785 chg coeffs, 472 upgd conss, 208 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 51/473 (10.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c presolving (7 rounds):
0.00/0.04 c 0 deleted vars, 108 deleted constraints, 182 added constraints, 0 tightened bounds, 0 added holes, 325 changed sides, 785 changed coefficients
0.00/0.04 c 208 implications, 0 cliques
0.00/0.04 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 546 constraints
0.00/0.04 c 441 constraints of type <knapsack>
0.00/0.04 c 104 constraints of type <setppc>
0.00/0.04 c 1 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.1.1.4
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.89/0.98 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.98 c t 1.0s| 1 | 0 | 10358 | - |2697k| 0 | 309 | 473 | 546 | 473 | 546 | 0 | 0 | 0 | 1.470853e+02 | 4.730000e+02 | 221.58%
0.89/0.98 o 323
0.89/0.98 c r 1.0s| 1 | 0 | 10358 | - |2710k| 0 | 309 | 473 | 546 | 473 | 546 | 0 | 0 | 0 | 1.470853e+02 | 3.230000e+02 | 119.60%
0.89/0.98 o 322
0.89/0.98 c R 1.0s| 1 | 0 | 10358 | - |2724k| 0 | 309 | 473 | 546 | 473 | 546 | 0 | 0 | 0 | 1.470853e+02 | 3.220000e+02 | 118.92%
0.89/0.98 o 321
0.89/0.98 c s 1.0s| 1 | 0 | 10358 | - |2737k| 0 | 309 | 473 | 546 | 473 | 546 | 0 | 0 | 0 | 1.470853e+02 | 3.210000e+02 | 118.24%
1.68/1.73 c 1.7s| 1 | 0 | 14746 | - |3048k| 0 | 368 | 473 | 546 | 473 | 768 | 222 | 0 | 0 | 1.533420e+02 | 3.210000e+02 | 109.34%
1.99/2.03 o 209
1.99/2.03 c b 1.7s| 1 | 0 | 14746 | - |3061k| 0 | 368 | 473 | 546 | 473 | 768 | 222 | 0 | 0 | 1.533420e+02 | 2.090000e+02 | 36.30%
2.38/2.44 c 2.4s| 1 | 0 | 17644 | - |3318k| 0 | 411 | 473 | 546 | 473 | 951 | 405 | 0 | 0 | 1.560903e+02 | 2.090000e+02 | 33.90%
3.09/3.19 c 3.2s| 1 | 0 | 20112 | - |3512k| 0 | 423 | 473 | 546 | 473 |1083 | 537 | 0 | 0 | 1.583043e+02 | 2.090000e+02 | 32.02%
3.78/3.86 c 3.9s| 1 | 0 | 21759 | - |3612k| 0 | 424 | 473 | 546 | 473 |1168 | 622 | 0 | 0 | 1.592918e+02 | 2.090000e+02 | 31.21%
4.49/4.51 c 4.5s| 1 | 0 | 23122 | - |3681k| 0 | 429 | 473 | 546 | 473 |1232 | 686 | 0 | 0 | 1.597131e+02 | 2.090000e+02 | 30.86%
4.99/5.08 c 5.1s| 1 | 0 | 23838 | - |3720k| 0 | 434 | 473 | 546 | 473 |1273 | 727 | 0 | 0 | 1.599115e+02 | 2.090000e+02 | 30.70%
5.59/5.63 c 5.6s| 1 | 0 | 24425 | - |3748k| 0 | 429 | 473 | 546 | 473 |1302 | 756 | 0 | 0 | 1.600872e+02 | 2.090000e+02 | 30.55%
6.08/6.10 c 6.1s| 1 | 0 | 24654 | - |3769k| 0 | 430 | 473 | 546 | 473 |1320 | 774 | 0 | 0 | 1.601544e+02 | 2.090000e+02 | 30.50%
6.49/6.57 c 6.6s| 1 | 0 | 24878 | - |3785k| 0 | 433 | 473 | 546 | 473 |1328 | 782 | 0 | 0 | 1.602074e+02 | 2.090000e+02 | 30.46%
6.89/6.98 c 7.0s| 1 | 0 | 24959 | - |3793k| 0 | 435 | 473 | 546 | 473 |1333 | 787 | 0 | 0 | 1.602251e+02 | 2.090000e+02 | 30.44%
7.08/7.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.08/7.16 c 7.2s| 1 | 0 | 24976 | - |3800k| 0 | 435 | 473 | 546 | 473 |1272 | 789 | 0 | 0 | 1.602260e+02 | 2.090000e+02 | 30.44%
11.49/11.55 c 11.6s| 1 | 2 | 24976 | - |3821k| 0 | 435 | 473 | 546 | 473 |1272 | 789 | 0 | 28 | 1.602260e+02 | 2.090000e+02 | 30.44%
33.48/33.52 o 209
33.48/33.52 c p33.5s| 52 | 53 | 51893 | 527.8 |4679k| 37 | - | 473 | 546 | 473 | 951 | 789 | 0 | 229 | 1.604357e+02 | 2.090000e+02 | 30.27%
33.48/33.52 o 208
33.48/33.52 c p33.5s| 52 | 53 | 51895 | 527.8 |4680k| 37 | - | 473 | 546 | 473 | 951 | 789 | 0 | 229 | 1.604357e+02 | 2.080000e+02 | 29.65%
33.48/33.53 o 206
33.48/33.53 c p33.5s| 52 | 53 | 51943 | 528.8 |4687k| 37 | - | 473 | 546 | 473 | 951 | 789 | 0 | 229 | 1.604357e+02 | 2.060000e+02 | 28.40%
33.48/33.53 o 204
33.48/33.53 c p33.5s| 52 | 53 | 51953 | 529.0 |4690k| 37 | - | 473 | 546 | 473 | 951 | 789 | 0 | 229 | 1.604357e+02 | 2.040000e+02 | 27.15%
33.48/33.53 o 203
33.48/33.53 c p33.5s| 52 | 53 | 51964 | 529.2 |4695k| 37 | - | 473 | 546 | 473 | 951 | 789 | 0 | 229 | 1.604357e+02 | 2.030000e+02 | 26.53%
33.48/33.54 o 200
33.48/33.54 c b33.5s| 53 | 52 | 51986 | 519.4 |4574k| 37 | - | 473 | 546 | 473 | 951 | 789 | 0 | 229 | 1.604357e+02 | 2.000000e+02 | 24.66%
46.87/46.90 c 46.9s| 100 | 101 |176739 |1533.0 |4685k| 39 | 292 | 473 | 546 | 473 | 951 | 789 | 0 | 243 | 1.605161e+02 | 2.000000e+02 | 24.60%
55.98/56.01 c 56.0s| 200 | 201 |241643 |1088.8 |4820k| 52 | 247 | 473 | 553 | 473 | 951 | 789 | 7 | 280 | 1.606472e+02 | 2.000000e+02 | 24.50%
57.97/58.09 o 199
57.97/58.09 c l58.1s| 218 | 219 |254453 |1057.5 |4977k| 52 | - | 473 | 553 | 473 | 951 | 789 | 7 | 291 | 1.606472e+02 | 1.990000e+02 | 23.87%
57.97/58.09 o 198
57.97/58.09 c l58.1s| 218 | 219 |254462 |1057.5 |4977k| 52 | - | 473 | 553 | 473 | 951 | 789 | 7 | 291 | 1.606472e+02 | 1.980000e+02 | 23.25%
58.07/58.14 o 196
58.07/58.14 c b58.1s| 219 | 220 |254766 |1054.1 |4846k| 52 | 320 | 473 | 553 | 473 | 951 | 789 | 7 | 291 | 1.606472e+02 | 1.960000e+02 | 22.01%
72.97/73.00 c 73.0s| 300 | 301 |366588 |1142.5 |4909k| 52 | 256 | 473 | 553 | 473 | 951 | 789 | 7 | 322 | 1.606909e+02 | 1.960000e+02 | 21.97%
90.36/90.47 c 90.5s| 400 | 401 |492862 |1172.6 |4982k| 52 | 285 | 473 | 553 | 473 | 951 | 789 | 7 | 378 | 1.607188e+02 | 1.960000e+02 | 21.95%
93.66/93.76 o 195
93.66/93.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.66/93.76 c p93.8s| 416 | 417 |517861 |1187.7 |5159k| 52 | - | 473 | 553 | 473 | 951 | 789 | 7 | 387 | 1.607417e+02 | 1.950000e+02 | 21.31%
93.66/93.76 o 194
93.66/93.76 c p93.8s| 416 | 417 |517876 |1187.7 |5163k| 52 | - | 473 | 553 | 473 | 951 | 789 | 7 | 387 | 1.607417e+02 | 1.940000e+02 | 20.69%
106.06/106.13 c 106s| 500 | 501 |607481 |1167.3 |5057k| 58 | 247 | 473 | 553 | 473 | 951 | 789 | 7 | 441 | 1.608361e+02 | 1.940000e+02 | 20.62%
121.26/121.39 c 121s| 600 | 601 |713835 |1150.0 |5129k| 58 | 266 | 473 | 553 | 473 | 951 | 789 | 7 | 508 | 1.608806e+02 | 1.940000e+02 | 20.59%
129.06/129.16 c 129s| 700 | 701 |778570 |1078.1 |5203k| 58 | 247 | 473 | 553 | 473 | 951 | 789 | 7 | 512 | 1.609064e+02 | 1.940000e+02 | 20.57%
138.16/138.29 c 138s| 800 | 801 |854210 |1037.8 |5276k| 58 | 277 | 473 | 553 | 473 | 951 | 789 | 7 | 512 | 1.609396e+02 | 1.940000e+02 | 20.54%
152.35/152.45 c 152s| 900 | 901 |955767 |1035.4 |5349k| 58 | 304 | 473 | 553 | 473 | 951 | 789 | 7 | 582 | 1.609512e+02 | 1.940000e+02 | 20.53%
162.25/162.32 c 162s| 1000 | 1001 | 1028k|1005.0 |5421k| 58 | 283 | 473 | 553 | 473 | 951 | 789 | 7 | 617 | 1.609763e+02 | 1.940000e+02 | 20.51%
170.55/170.64 c 171s| 1100 | 1101 | 1095k| 974.4 |5492k| 58 | 245 | 473 | 553 | 473 | 951 | 789 | 7 | 620 | 1.609885e+02 | 1.940000e+02 | 20.51%
177.15/177.23 c 177s| 1200 | 1201 | 1147k| 936.1 |5563k| 58 | 290 | 473 | 553 | 473 | 951 | 789 | 7 | 621 | 1.610273e+02 | 1.940000e+02 | 20.48%
187.05/187.18 c 187s| 1300 | 1301 | 1219k| 919.5 |5636k| 58 | 298 | 473 | 553 | 473 | 951 | 789 | 7 | 667 | 1.610502e+02 | 1.940000e+02 | 20.46%
195.94/196.03 c 196s| 1400 | 1401 | 1281k| 898.0 |5709k| 58 | 282 | 473 | 554 | 473 | 951 | 789 | 8 | 737 | 1.610594e+02 | 1.940000e+02 | 20.45%
204.94/205.07 c 205s| 1500 | 1501 | 1350k| 884.5 |5781k| 58 | 311 | 473 | 554 | 473 | 951 | 789 | 8 | 758 | 1.610889e+02 | 1.940000e+02 | 20.43%
211.54/211.65 c 212s| 1600 | 1601 | 1403k| 862.3 |5854k| 58 | 268 | 473 | 554 | 473 | 951 | 789 | 8 | 758 | 1.611007e+02 | 1.940000e+02 | 20.42%
221.64/221.77 c 222s| 1700 | 1701 | 1483k| 858.6 |5927k| 58 | 270 | 473 | 554 | 473 | 951 | 789 | 8 | 774 | 1.611065e+02 | 1.940000e+02 | 20.42%
230.45/230.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.45/230.54 c 231s| 1800 | 1801 | 1540k| 842.2 |5999k| 58 | 256 | 473 | 554 | 473 | 951 | 789 | 8 | 843 | 1.611104e+02 | 1.940000e+02 | 20.41%
238.74/238.85 c 239s| 1900 | 1901 | 1596k| 827.6 |6073k| 58 | 257 | 473 | 554 | 473 | 951 | 789 | 8 | 882 | 1.611255e+02 | 1.940000e+02 | 20.40%
248.04/248.14 c 248s| 2000 | 2001 | 1671k| 823.5 |6147k| 61 | 250 | 473 | 554 | 473 | 951 | 789 | 8 | 884 | 1.611343e+02 | 1.940000e+02 | 20.40%
256.53/256.60 c 257s| 2100 | 2101 | 1739k| 816.9 |6221k| 61 | 233 | 473 | 554 | 473 | 951 | 789 | 8 | 885 | 1.611453e+02 | 1.940000e+02 | 20.39%
263.04/263.19 c 263s| 2200 | 2201 | 1781k| 798.6 |6294k| 64 | 301 | 473 | 554 | 473 | 951 | 789 | 8 | 933 | 1.611470e+02 | 1.940000e+02 | 20.39%
267.54/267.64 c 268s| 2300 | 2301 | 1816k| 779.4 |6370k| 87 | 145 | 473 | 557 | 473 | 951 | 789 | 11 | 961 | 1.611479e+02 | 1.940000e+02 | 20.39%
270.34/270.45 c 270s| 2400 | 2401 | 1832k| 753.6 |6441k| 95 | 383 | 473 | 557 | 473 | 951 | 789 | 11 | 985 | 1.611523e+02 | 1.940000e+02 | 20.38%
284.44/284.57 c 285s| 2500 | 2501 | 1934k| 764.2 |6510k| 95 | 357 | 473 | 557 | 473 | 951 | 789 | 11 |1016 | 1.611974e+02 | 1.940000e+02 | 20.35%
292.54/292.62 c 293s| 2600 | 2601 | 1991k| 756.6 |6580k| 95 | 364 | 473 | 557 | 473 | 951 | 789 | 11 |1019 | 1.612248e+02 | 1.940000e+02 | 20.33%
301.13/301.30 c 301s| 2700 | 2701 | 2054k| 751.8 |6649k| 95 | 367 | 473 | 557 | 473 | 951 | 789 | 11 |1019 | 1.612553e+02 | 1.940000e+02 | 20.31%
308.53/308.63 c 309s| 2800 | 2801 | 2097k| 740.6 |6717k| 95 | 386 | 473 | 557 | 473 | 951 | 789 | 11 |1045 | 1.612780e+02 | 1.940000e+02 | 20.29%
320.23/320.37 c 320s| 2900 | 2901 | 2174k| 741.3 |6787k| 95 | 373 | 473 | 557 | 473 | 951 | 789 | 11 |1095 | 1.612926e+02 | 1.940000e+02 | 20.28%
330.63/330.74 c 331s| 3000 | 3001 | 2244k| 740.0 |6856k| 95 | 373 | 473 | 557 | 473 | 951 | 789 | 11 |1121 | 1.613094e+02 | 1.940000e+02 | 20.27%
340.22/340.35 c 340s| 3100 | 3101 | 2315k| 739.2 |6927k| 95 | 393 | 473 | 557 | 473 | 951 | 789 | 11 |1121 | 1.613361e+02 | 1.940000e+02 | 20.25%
346.52/346.61 c 347s| 3200 | 3201 | 2359k| 729.6 |6995k| 95 | 366 | 473 | 557 | 473 | 951 | 789 | 11 |1122 | 1.613644e+02 | 1.940000e+02 | 20.22%
355.13/355.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.13/355.28 c 355s| 3300 | 3301 | 2414k| 724.3 |7064k| 95 | 374 | 473 | 557 | 473 | 951 | 789 | 11 |1147 | 1.613792e+02 | 1.940000e+02 | 20.21%
365.82/365.99 c 366s| 3400 | 3401 | 2485k| 723.9 |7134k| 95 | 392 | 473 | 557 | 473 | 951 | 789 | 11 |1178 | 1.613974e+02 | 1.940000e+02 | 20.20%
375.92/376.04 c 376s| 3500 | 3501 | 2551k| 721.9 |7202k| 95 | 376 | 473 | 557 | 473 | 951 | 789 | 11 |1215 | 1.614081e+02 | 1.940000e+02 | 20.19%
384.42/384.53 c 385s| 3600 | 3601 | 2609k| 718.0 |7271k| 95 | 381 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614187e+02 | 1.940000e+02 | 20.18%
391.53/391.63 c 392s| 3700 | 3701 | 2659k| 712.2 |7342k| 95 | 362 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614269e+02 | 1.940000e+02 | 20.18%
399.12/399.27 c 399s| 3800 | 3801 | 2715k| 708.1 |7411k| 95 | 367 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614475e+02 | 1.940000e+02 | 20.16%
407.12/407.26 c 407s| 3900 | 3901 | 2772k| 704.8 |7479k| 95 | 375 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614549e+02 | 1.940000e+02 | 20.16%
417.11/417.26 c 417s| 4000 | 4001 | 2847k| 705.9 |7549k| 95 | 369 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614642e+02 | 1.940000e+02 | 20.15%
425.12/425.26 c 425s| 4100 | 4101 | 2904k| 702.6 |7618k| 95 | 376 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614771e+02 | 1.940000e+02 | 20.14%
431.81/431.95 c 432s| 4200 | 4201 | 2952k| 697.3 |7686k| 95 | 363 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.614910e+02 | 1.940000e+02 | 20.13%
440.00/440.12 c 440s| 4300 | 4301 | 3014k| 695.3 |7755k| 95 | 378 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.615051e+02 | 1.940000e+02 | 20.12%
447.40/447.51 c 448s| 4400 | 4401 | 3067k| 691.6 |7824k| 95 | 357 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.615144e+02 | 1.940000e+02 | 20.11%
455.11/455.28 c 455s| 4500 | 4501 | 3124k| 688.9 |7894k| 95 | 374 | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.615216e+02 | 1.940000e+02 | 20.11%
458.71/458.87 o 194
458.71/458.87 c p 459s| 4550 | 4551 | 3149k| 686.9 |8084k| 95 | - | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.615263e+02 | 1.940000e+02 | 20.10%
458.71/458.88 o 193
458.71/458.88 c p 459s| 4550 | 4551 | 3149k| 686.9 |8085k| 95 | - | 473 | 557 | 473 | 951 | 789 | 11 |1231 | 1.615263e+02 | 1.930000e+02 | 19.49%
466.81/466.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.81/466.92 c 467s| 4600 | 4601 | 3211k| 692.8 |7963k| 95 | 374 | 473 | 557 | 473 | 951 | 789 | 11 |1232 | 1.615275e+02 | 1.930000e+02 | 19.48%
481.51/481.60 c 482s| 4700 | 4701 | 3315k| 700.3 |8033k| 95 | 382 | 473 | 557 | 473 | 951 | 789 | 11 |1249 | 1.615393e+02 | 1.930000e+02 | 19.48%
491.51/491.65 c 492s| 4800 | 4801 | 3382k| 699.7 |8101k| 95 | 388 | 473 | 557 | 473 | 951 | 789 | 11 |1283 | 1.615497e+02 | 1.930000e+02 | 19.47%
499.90/500.04 c 500s| 4900 | 4901 | 3436k| 696.5 |8168k| 95 | 376 | 473 | 557 | 473 | 951 | 789 | 11 |1309 | 1.615617e+02 | 1.930000e+02 | 19.46%
505.30/505.41 c 505s| 5000 | 5001 | 3473k| 689.8 |8237k| 95 | 384 | 473 | 557 | 473 | 951 | 789 | 11 |1312 | 1.615650e+02 | 1.930000e+02 | 19.46%
514.10/514.22 c 514s| 5100 | 5101 | 3538k| 689.1 |8306k| 95 | 384 | 473 | 557 | 473 | 951 | 789 | 11 |1312 | 1.615749e+02 | 1.930000e+02 | 19.45%
522.20/522.32 c 522s| 5200 | 5201 | 3597k| 687.2 |8375k| 95 | 385 | 473 | 557 | 473 | 951 | 789 | 11 |1312 | 1.615830e+02 | 1.930000e+02 | 19.44%
529.09/529.28 c 529s| 5300 | 5301 | 3637k| 681.8 |8444k| 95 | 368 | 473 | 557 | 473 | 951 | 789 | 11 |1345 | 1.615876e+02 | 1.930000e+02 | 19.44%
539.90/540.03 c 540s| 5400 | 5401 | 3711k| 682.8 |8512k| 95 | 384 | 473 | 557 | 473 | 951 | 789 | 11 |1370 | 1.615933e+02 | 1.930000e+02 | 19.44%
547.09/547.28 c 547s| 5500 | 5501 | 3756k| 678.5 |8582k| 95 | 372 | 473 | 557 | 473 | 951 | 789 | 11 |1401 | 1.615970e+02 | 1.930000e+02 | 19.43%
554.48/554.65 c 555s| 5600 | 5601 | 3806k| 675.3 |8650k| 95 | 365 | 473 | 557 | 473 | 951 | 789 | 11 |1417 | 1.616098e+02 | 1.930000e+02 | 19.42%
561.99/562.15 c 562s| 5700 | 5701 | 3861k| 673.2 |8719k| 95 | 373 | 473 | 557 | 473 | 951 | 789 | 11 |1417 | 1.616207e+02 | 1.930000e+02 | 19.42%
578.69/578.84 c 579s| 5800 | 5801 | 4017k| 688.4 |8788k| 95 | 372 | 473 | 557 | 473 | 951 | 789 | 11 |1417 | 1.616281e+02 | 1.930000e+02 | 19.41%
586.59/586.78 c 587s| 5900 | 5901 | 4077k| 687.0 |8858k| 95 | 370 | 473 | 557 | 473 | 951 | 789 | 11 |1417 | 1.616367e+02 | 1.930000e+02 | 19.40%
594.78/594.92 c 595s| 6000 | 6001 | 4129k| 684.2 |8926k| 95 | 378 | 473 | 557 | 473 | 951 | 789 | 11 |1440 | 1.616451e+02 | 1.930000e+02 | 19.40%
602.08/602.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.08/602.25 c 602s| 6100 | 6101 | 4174k| 680.3 |8995k| 95 | 366 | 473 | 557 | 473 | 951 | 789 | 11 |1469 | 1.616505e+02 | 1.930000e+02 | 19.39%
609.48/609.68 c 610s| 6200 | 6201 | 4221k| 677.0 |9064k| 95 | 362 | 473 | 557 | 473 | 951 | 789 | 11 |1495 | 1.616582e+02 | 1.930000e+02 | 19.39%
617.99/618.20 c 618s| 6300 | 6301 | 4279k| 675.5 |9133k| 95 | 372 | 473 | 557 | 473 | 951 | 789 | 11 |1516 | 1.616639e+02 | 1.930000e+02 | 19.38%
624.97/625.10 c 625s| 6400 | 6401 | 4330k| 672.8 |9201k| 95 | 379 | 473 | 557 | 473 | 951 | 789 | 11 |1519 | 1.616701e+02 | 1.930000e+02 | 19.38%
634.87/635.09 c 635s| 6500 | 6501 | 4406k| 674.1 |9268k| 95 | 389 | 473 | 557 | 473 | 951 | 789 | 11 |1520 | 1.616771e+02 | 1.930000e+02 | 19.37%
642.78/642.98 c 643s| 6600 | 6601 | 4463k| 672.7 |9339k| 95 | 366 | 473 | 563 | 473 | 951 | 789 | 17 |1520 | 1.616843e+02 | 1.930000e+02 | 19.37%
650.47/650.61 c 651s| 6700 | 6701 | 4508k| 669.3 |9409k| 95 | 375 | 473 | 563 | 473 | 951 | 789 | 17 |1552 | 1.616895e+02 | 1.930000e+02 | 19.36%
659.37/659.56 c 660s| 6800 | 6801 | 4566k| 667.9 |9478k| 95 | 388 | 473 | 563 | 473 | 951 | 789 | 17 |1578 | 1.616941e+02 | 1.930000e+02 | 19.36%
667.07/667.23 c 667s| 6900 | 6901 | 4618k| 665.9 |9547k| 95 | 361 | 473 | 563 | 473 | 951 | 789 | 17 |1591 | 1.616979e+02 | 1.930000e+02 | 19.36%
675.28/675.45 c 675s| 7000 | 7001 | 4671k| 663.8 |9617k| 95 | 383 | 473 | 563 | 473 | 951 | 789 | 17 |1619 | 1.617030e+02 | 1.930000e+02 | 19.35%
686.07/686.27 c 686s| 7100 | 7101 | 4748k| 665.4 |9686k| 95 | 352 | 473 | 563 | 473 | 951 | 789 | 17 |1637 | 1.617088e+02 | 1.930000e+02 | 19.35%
692.87/693.09 c 693s| 7200 | 7201 | 4797k| 663.0 |9757k| 95 | 360 | 473 | 563 | 473 | 951 | 789 | 17 |1638 | 1.617125e+02 | 1.930000e+02 | 19.35%
699.16/699.31 c 699s| 7300 | 7301 | 4844k| 660.3 |9826k| 95 | 373 | 473 | 563 | 473 | 951 | 789 | 17 |1638 | 1.617200e+02 | 1.930000e+02 | 19.34%
707.96/708.12 c 708s| 7400 | 7401 | 4910k| 660.3 |9898k| 95 | 381 | 473 | 568 | 473 | 951 | 789 | 22 |1638 | 1.617229e+02 | 1.930000e+02 | 19.34%
715.07/715.26 c 715s| 7500 | 7501 | 4956k| 657.6 |9969k| 95 | 368 | 473 | 568 | 473 | 951 | 789 | 22 |1654 | 1.617266e+02 | 1.930000e+02 | 19.34%
726.27/726.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.27/726.45 c 726s| 7600 | 7601 | 5031k| 658.9 | 10M| 95 | 376 | 473 | 568 | 473 | 951 | 789 | 22 |1686 | 1.617291e+02 | 1.930000e+02 | 19.34%
733.46/733.67 c 734s| 7700 | 7701 | 5077k| 656.3 | 10M| 95 | 356 | 473 | 568 | 473 | 951 | 789 | 22 |1706 | 1.617346e+02 | 1.930000e+02 | 19.33%
741.76/741.96 c 742s| 7800 | 7801 | 5130k| 654.7 | 10M| 95 | 371 | 473 | 568 | 473 | 951 | 789 | 22 |1737 | 1.617377e+02 | 1.930000e+02 | 19.33%
749.65/749.87 c 750s| 7900 | 7901 | 5188k| 653.7 | 10M| 95 | 369 | 473 | 568 | 473 | 951 | 789 | 22 |1744 | 1.617451e+02 | 1.930000e+02 | 19.32%
757.25/757.43 c 757s| 8000 | 8001 | 5243k| 652.4 | 10M| 95 | 361 | 473 | 568 | 473 | 951 | 789 | 22 |1744 | 1.617491e+02 | 1.930000e+02 | 19.32%
763.05/763.23 c 763s| 8100 | 8101 | 5284k| 649.4 | 10M| 95 | 351 | 473 | 568 | 473 | 951 | 789 | 22 |1744 | 1.617520e+02 | 1.930000e+02 | 19.32%
772.06/772.27 c 772s| 8200 | 8201 | 5353k| 649.9 | 10M| 95 | 355 | 473 | 568 | 473 | 951 | 789 | 22 |1744 | 1.617562e+02 | 1.930000e+02 | 19.32%
781.26/781.45 c 781s| 8300 | 8301 | 5415k| 649.5 | 10M| 95 | 371 | 473 | 568 | 473 | 951 | 789 | 22 |1762 | 1.617602e+02 | 1.930000e+02 | 19.31%
787.46/787.63 c 788s| 8400 | 8401 | 5451k| 646.1 | 10M| 95 | 385 | 473 | 568 | 473 | 951 | 789 | 22 |1786 | 1.617639e+02 | 1.930000e+02 | 19.31%
795.45/795.69 c 796s| 8500 | 8501 | 5506k| 645.0 | 10M| 95 | 390 | 473 | 568 | 473 | 951 | 789 | 22 |1805 | 1.617665e+02 | 1.930000e+02 | 19.31%
802.85/803.06 c 803s| 8600 | 8601 | 5554k| 643.0 | 10M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |1828 | 1.617690e+02 | 1.930000e+02 | 19.31%
809.55/809.76 c 810s| 8700 | 8701 | 5598k| 640.7 | 10M| 95 | 360 | 473 | 568 | 473 | 951 | 789 | 22 |1846 | 1.617725e+02 | 1.930000e+02 | 19.30%
817.44/817.67 c 818s| 8800 | 8801 | 5657k| 640.1 | 10M| 95 | 380 | 473 | 568 | 473 | 951 | 789 | 22 |1848 | 1.617760e+02 | 1.930000e+02 | 19.30%
824.94/825.12 c 825s| 8900 | 8901 | 5712k| 639.1 | 10M| 95 | 373 | 473 | 568 | 473 | 951 | 789 | 22 |1848 | 1.617780e+02 | 1.930000e+02 | 19.30%
831.54/831.71 c 832s| 9000 | 9001 | 5759k| 637.3 | 11M| 95 | 358 | 473 | 568 | 473 | 951 | 789 | 22 |1849 | 1.617841e+02 | 1.930000e+02 | 19.29%
838.34/838.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.34/838.50 c 839s| 9100 | 9101 | 5809k| 635.7 | 11M| 95 | 370 | 473 | 568 | 473 | 951 | 789 | 22 |1849 | 1.617880e+02 | 1.930000e+02 | 19.29%
846.74/846.92 c 847s| 9200 | 9201 | 5865k| 634.9 | 11M| 95 | 374 | 473 | 568 | 473 | 951 | 789 | 22 |1867 | 1.617911e+02 | 1.930000e+02 | 19.29%
852.44/852.64 c 853s| 9300 | 9301 | 5901k| 631.9 | 11M| 95 | 378 | 473 | 568 | 473 | 951 | 789 | 22 |1882 | 1.617929e+02 | 1.930000e+02 | 19.29%
870.24/870.48 c 870s| 9400 | 9401 | 6054k| 641.5 | 11M| 95 | 382 | 473 | 568 | 473 | 951 | 789 | 22 |1908 | 1.617958e+02 | 1.930000e+02 | 19.29%
879.43/879.66 c 880s| 9500 | 9501 | 6119k| 641.6 | 11M| 95 | 361 | 473 | 568 | 473 | 951 | 789 | 22 |1926 | 1.617979e+02 | 1.930000e+02 | 19.28%
887.43/887.69 c 888s| 9600 | 9601 | 6170k| 640.3 | 11M| 95 | 367 | 473 | 568 | 473 | 951 | 789 | 22 |1952 | 1.618005e+02 | 1.930000e+02 | 19.28%
894.33/894.54 c 895s| 9700 | 9701 | 6219k| 638.6 | 11M| 95 | 374 | 473 | 568 | 473 | 951 | 789 | 22 |1955 | 1.618027e+02 | 1.930000e+02 | 19.28%
902.43/902.60 c 903s| 9800 | 9801 | 6279k| 638.2 | 11M| 95 | 382 | 473 | 568 | 473 | 951 | 789 | 22 |1955 | 1.618064e+02 | 1.930000e+02 | 19.28%
908.83/909.09 c 909s| 9900 | 9901 | 6326k| 636.5 | 11M| 95 | 379 | 473 | 568 | 473 | 951 | 789 | 22 |1955 | 1.618105e+02 | 1.930000e+02 | 19.28%
918.23/918.41 c 918s| 10000 | 10001 | 6398k| 637.4 | 11M| 95 | 361 | 473 | 568 | 473 | 951 | 789 | 22 |1955 | 1.618131e+02 | 1.930000e+02 | 19.27%
925.83/926.08 c 926s| 10100 | 10101 | 6450k| 636.2 | 11M| 95 | 369 | 473 | 568 | 473 | 951 | 789 | 22 |1974 | 1.618156e+02 | 1.930000e+02 | 19.27%
932.73/932.97 c 933s| 10200 | 10201 | 6495k| 634.5 | 11M| 95 | 379 | 473 | 568 | 473 | 951 | 789 | 22 |1985 | 1.618218e+02 | 1.930000e+02 | 19.27%
939.42/939.69 c 940s| 10300 | 10301 | 6534k| 632.1 | 11M| 95 | 361 | 473 | 568 | 473 | 951 | 789 | 22 |2016 | 1.618241e+02 | 1.930000e+02 | 19.27%
949.32/949.57 c 950s| 10400 | 10401 | 6601k| 632.4 | 12M| 95 | 380 | 473 | 568 | 473 | 951 | 789 | 22 |2044 | 1.618260e+02 | 1.930000e+02 | 19.26%
955.12/955.35 c 955s| 10500 | 10501 | 6640k| 630.1 | 12M| 95 | 370 | 473 | 568 | 473 | 951 | 789 | 22 |2054 | 1.618295e+02 | 1.930000e+02 | 19.26%
964.82/965.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.82/965.08 c 965s| 10600 | 10601 | 6711k| 630.9 | 12M| 95 | 372 | 473 | 568 | 473 | 951 | 789 | 22 |2066 | 1.618329e+02 | 1.930000e+02 | 19.26%
973.82/974.09 c 974s| 10700 | 10701 | 6779k| 631.3 | 12M| 95 | 366 | 473 | 568 | 473 | 951 | 789 | 22 |2070 | 1.618352e+02 | 1.930000e+02 | 19.26%
980.52/980.74 c 981s| 10800 | 10801 | 6826k| 629.8 | 12M| 95 | 358 | 473 | 568 | 473 | 951 | 789 | 22 |2071 | 1.618375e+02 | 1.930000e+02 | 19.26%
986.32/986.53 o 191
986.32/986.53 c l 987s| 10880 | 10881 | 6868k| 629.1 | 12M| 95 | - | 473 | 568 | 473 | 951 | 789 | 22 |2071 | 1.618386e+02 | 1.910000e+02 | 18.02%
989.32/989.50 c 990s| 10900 | 10901 | 6890k| 629.9 | 12M| 95 | 367 | 473 | 568 | 473 | 951 | 789 | 22 |2071 | 1.618395e+02 | 1.910000e+02 | 18.02%
1003.52/1003.75 c 1004s| 11000 | 11001 | 6998k| 634.0 | 12M| 95 | 377 | 473 | 568 | 473 | 951 | 789 | 22 |2071 | 1.618430e+02 | 1.910000e+02 | 18.02%
1017.51/1017.74 c 1018s| 11100 | 11101 | 7098k| 637.3 | 12M| 95 | 368 | 473 | 568 | 473 | 951 | 789 | 22 |2089 | 1.618459e+02 | 1.910000e+02 | 18.01%
1025.41/1025.60 c 1026s| 11200 | 11201 | 7147k| 636.0 | 12M| 95 | 387 | 473 | 568 | 473 | 951 | 789 | 22 |2115 | 1.618475e+02 | 1.910000e+02 | 18.01%
1033.51/1033.76 c 1034s| 11300 | 11301 | 7203k| 635.3 | 12M| 95 | 355 | 473 | 568 | 473 | 951 | 789 | 22 |2128 | 1.618496e+02 | 1.910000e+02 | 18.01%
1040.90/1041.14 c 1041s| 11400 | 11401 | 7250k| 633.8 | 12M| 95 | 370 | 473 | 568 | 473 | 951 | 789 | 22 |2149 | 1.618528e+02 | 1.910000e+02 | 18.01%
1046.91/1047.17 c 1047s| 11500 | 11501 | 7292k| 632.0 | 12M| 95 | 370 | 473 | 568 | 473 | 951 | 789 | 22 |2152 | 1.618539e+02 | 1.910000e+02 | 18.01%
1055.61/1055.80 c 1056s| 11600 | 11601 | 7357k| 632.2 | 12M| 95 | 374 | 473 | 568 | 473 | 951 | 789 | 22 |2152 | 1.618571e+02 | 1.910000e+02 | 18.01%
1063.01/1063.23 c 1063s| 11700 | 11701 | 7411k| 631.4 | 12M| 95 | 368 | 473 | 568 | 473 | 951 | 789 | 22 |2152 | 1.618596e+02 | 1.910000e+02 | 18.00%
1071.01/1071.26 c 1071s| 11800 | 11801 | 7471k| 631.1 | 12M| 95 | 390 | 473 | 568 | 473 | 951 | 789 | 22 |2152 | 1.618622e+02 | 1.910000e+02 | 18.00%
1080.01/1080.26 c 1080s| 11900 | 11901 | 7534k| 631.1 | 13M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |2166 | 1.618648e+02 | 1.910000e+02 | 18.00%
1086.50/1086.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.50/1086.76 c 1087s| 12000 | 12001 | 7575k| 629.3 | 13M| 95 | 376 | 473 | 568 | 473 | 951 | 789 | 22 |2182 | 1.618675e+02 | 1.910000e+02 | 18.00%
1092.70/1092.96 c 1093s| 12100 | 12101 | 7616k| 627.5 | 13M| 95 | 373 | 473 | 568 | 473 | 951 | 789 | 22 |2194 | 1.618696e+02 | 1.910000e+02 | 18.00%
1104.10/1104.39 c 1104s| 12200 | 12201 | 7696k| 628.9 | 13M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |2215 | 1.618713e+02 | 1.910000e+02 | 17.99%
1110.60/1110.89 c 1111s| 12300 | 12301 | 7737k| 627.1 | 13M| 95 | 357 | 473 | 568 | 473 | 951 | 789 | 22 |2235 | 1.618727e+02 | 1.910000e+02 | 17.99%
1118.90/1119.18 c 1119s| 12400 | 12401 | 7795k| 626.7 | 13M| 95 | 365 | 473 | 568 | 473 | 951 | 789 | 22 |2249 | 1.618739e+02 | 1.910000e+02 | 17.99%
1125.70/1125.92 c 1126s| 12500 | 12501 | 7846k| 625.7 | 13M| 95 | 367 | 473 | 568 | 473 | 951 | 789 | 22 |2250 | 1.618769e+02 | 1.910000e+02 | 17.99%
1132.00/1132.28 c 1132s| 12600 | 12601 | 7892k| 624.4 | 13M| 95 | 343 | 473 | 568 | 473 | 951 | 789 | 22 |2250 | 1.618803e+02 | 1.910000e+02 | 17.99%
1138.69/1138.91 c 1139s| 12700 | 12701 | 7941k| 623.4 | 13M| 95 | 355 | 473 | 568 | 473 | 951 | 789 | 22 |2250 | 1.618848e+02 | 1.910000e+02 | 17.99%
1146.39/1146.60 c 1147s| 12800 | 12801 | 7999k| 623.0 | 13M| 95 | 346 | 473 | 568 | 473 | 951 | 789 | 22 |2250 | 1.618873e+02 | 1.910000e+02 | 17.98%
1154.80/1155.02 c 1155s| 12900 | 12901 | 8057k| 622.7 | 13M| 95 | 365 | 473 | 568 | 473 | 951 | 789 | 22 |2266 | 1.618899e+02 | 1.910000e+02 | 17.98%
1160.89/1161.14 c 1161s| 13000 | 13001 | 8099k| 621.2 | 13M| 95 | 365 | 473 | 568 | 473 | 951 | 789 | 22 |2276 | 1.618922e+02 | 1.910000e+02 | 17.98%
1167.89/1168.12 c 1168s| 13100 | 13101 | 8146k| 620.0 | 13M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |2290 | 1.618955e+02 | 1.910000e+02 | 17.98%
1175.19/1175.44 c 1175s| 13200 | 13201 | 8195k| 619.0 | 13M| 95 | 360 | 473 | 568 | 473 | 951 | 789 | 22 |2309 | 1.618982e+02 | 1.910000e+02 | 17.98%
1184.39/1184.65 c 1185s| 13300 | 13301 | 8261k| 619.4 | 14M| 95 | 364 | 473 | 568 | 473 | 951 | 789 | 22 |2325 | 1.619005e+02 | 1.910000e+02 | 17.97%
1191.48/1191.75 c 1192s| 13400 | 13401 | 8310k| 618.4 | 14M| 95 | 384 | 473 | 568 | 473 | 951 | 789 | 22 |2342 | 1.619037e+02 | 1.910000e+02 | 17.97%
1198.98/1199.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1198.98/1199.22 c 1199s| 13500 | 13501 | 8365k| 617.9 | 14M| 95 | 375 | 473 | 568 | 473 | 951 | 789 | 22 |2342 | 1.619054e+02 | 1.910000e+02 | 17.97%
1205.68/1205.92 c 1206s| 13600 | 13601 | 8415k| 617.0 | 14M| 95 | 349 | 473 | 568 | 473 | 951 | 789 | 22 |2343 | 1.619073e+02 | 1.910000e+02 | 17.97%
1211.18/1211.48 c 1211s| 13700 | 13701 | 8454k| 615.4 | 14M| 95 | 335 | 473 | 568 | 473 | 951 | 789 | 22 |2343 | 1.619093e+02 | 1.910000e+02 | 17.97%
1217.88/1218.18 c 1218s| 13800 | 13801 | 8503k| 614.5 | 14M| 95 | 379 | 473 | 568 | 473 | 951 | 789 | 22 |2343 | 1.619135e+02 | 1.910000e+02 | 17.96%
1225.98/1226.29 c 1226s| 13900 | 13901 | 8565k| 614.4 | 14M| 95 | 364 | 473 | 568 | 473 | 951 | 789 | 22 |2343 | 1.619156e+02 | 1.910000e+02 | 17.96%
1234.08/1234.36 c 1234s| 14000 | 14001 | 8621k| 614.1 | 14M| 95 | 384 | 473 | 568 | 473 | 951 | 789 | 22 |2355 | 1.619174e+02 | 1.910000e+02 | 17.96%
1240.27/1240.52 c 1241s| 14100 | 14101 | 8661k| 612.5 | 14M| 95 | 380 | 473 | 568 | 473 | 951 | 789 | 22 |2373 | 1.619202e+02 | 1.910000e+02 | 17.96%
1248.98/1249.28 c 1249s| 14200 | 14201 | 8721k| 612.5 | 14M| 95 | 343 | 473 | 568 | 473 | 951 | 789 | 22 |2393 | 1.619226e+02 | 1.910000e+02 | 17.96%
1256.38/1256.67 c 1257s| 14300 | 14301 | 8769k| 611.6 | 14M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |2411 | 1.619242e+02 | 1.910000e+02 | 17.96%
1263.37/1263.62 c 1264s| 14400 | 14401 | 8813k| 610.3 | 14M| 95 | 339 | 473 | 568 | 473 | 951 | 789 | 22 |2434 | 1.619262e+02 | 1.910000e+02 | 17.95%
1271.07/1271.30 c 1271s| 14500 | 14501 | 8867k| 609.9 | 14M| 95 | 371 | 473 | 568 | 473 | 951 | 789 | 22 |2444 | 1.619282e+02 | 1.910000e+02 | 17.95%
1279.27/1279.52 c 1280s| 14600 | 14601 | 8930k| 610.0 | 14M| 95 | 344 | 473 | 568 | 473 | 951 | 789 | 22 |2445 | 1.619298e+02 | 1.910000e+02 | 17.95%
1286.68/1286.99 c 1287s| 14700 | 14701 | 8985k| 609.6 | 15M| 95 | 357 | 473 | 568 | 473 | 951 | 789 | 22 |2445 | 1.619319e+02 | 1.910000e+02 | 17.95%
1294.17/1294.46 c 1294s| 14800 | 14801 | 9041k| 609.3 | 15M| 95 | 343 | 473 | 568 | 473 | 951 | 789 | 22 |2446 | 1.619349e+02 | 1.910000e+02 | 17.95%
1299.67/1299.95 c 1300s| 14900 | 14901 | 9080k| 607.8 | 15M| 95 | 382 | 473 | 568 | 473 | 951 | 789 | 22 |2447 | 1.619374e+02 | 1.910000e+02 | 17.95%
1305.97/1306.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.97/1306.21 c 1306s| 15000 | 15001 | 9126k| 606.8 | 15M| 95 | 359 | 473 | 568 | 473 | 951 | 789 | 22 |2447 | 1.619391e+02 | 1.910000e+02 | 17.95%
1312.07/1312.37 c 1312s| 15100 | 15101 | 9165k| 605.4 | 15M| 95 | 378 | 473 | 568 | 473 | 951 | 789 | 22 |2459 | 1.619414e+02 | 1.910000e+02 | 17.94%
1322.97/1323.30 c 1323s| 15200 | 15201 | 9244k| 606.6 | 15M| 95 | 385 | 473 | 568 | 473 | 951 | 789 | 22 |2473 | 1.619433e+02 | 1.910000e+02 | 17.94%
1329.77/1330.04 c 1330s| 15300 | 15301 | 9287k| 605.5 | 15M| 95 | 369 | 473 | 568 | 473 | 951 | 789 | 22 |2490 | 1.619446e+02 | 1.910000e+02 | 17.94%
1338.26/1338.51 c 1339s| 15400 | 15401 | 9344k| 605.2 | 15M| 95 | 369 | 473 | 568 | 473 | 951 | 789 | 22 |2513 | 1.619473e+02 | 1.910000e+02 | 17.94%
1344.46/1344.70 c 1345s| 15500 | 15501 | 9386k| 604.0 | 15M| 95 | 380 | 473 | 568 | 473 | 951 | 789 | 22 |2526 | 1.619487e+02 | 1.910000e+02 | 17.94%
1360.37/1360.63 c 1361s| 15600 | 15601 | 9534k| 609.6 | 15M| 95 | 370 | 473 | 568 | 473 | 951 | 789 | 22 |2532 | 1.619494e+02 | 1.910000e+02 | 17.94%
1366.05/1366.30 c 1366s| 15700 | 15701 | 9571k| 608.1 | 15M| 95 | 373 | 473 | 568 | 473 | 951 | 789 | 22 |2543 | 1.619517e+02 | 1.910000e+02 | 17.94%
1373.36/1373.62 c 1374s| 15800 | 15801 | 9626k| 607.7 | 15M| 95 | 374 | 473 | 568 | 473 | 951 | 789 | 22 |2543 | 1.619534e+02 | 1.910000e+02 | 17.94%
1381.86/1382.16 c 1382s| 15900 | 15901 | 9690k| 608.0 | 15M| 95 | 368 | 473 | 568 | 473 | 951 | 789 | 22 |2544 | 1.619552e+02 | 1.910000e+02 | 17.93%
1386.76/1387.05 c 1387s| 16000 | 16001 | 9724k| 606.2 | 15M| 95 | 358 | 473 | 568 | 473 | 951 | 789 | 22 |2545 | 1.619569e+02 | 1.910000e+02 | 17.93%
1394.75/1395.04 c 1395s| 16100 | 16101 | 9784k| 606.2 | 15M| 95 | 378 | 473 | 568 | 473 | 951 | 789 | 22 |2546 | 1.619590e+02 | 1.910000e+02 | 17.93%
1401.35/1401.64 c 1402s| 16200 | 16201 | 9833k| 605.5 | 16M| 95 | 368 | 473 | 568 | 473 | 951 | 789 | 22 |2546 | 1.619613e+02 | 1.910000e+02 | 17.93%
1408.25/1408.58 c 1409s| 16300 | 16301 | 9878k| 604.6 | 16M| 95 | 375 | 473 | 568 | 473 | 951 | 789 | 22 |2562 | 1.619635e+02 | 1.910000e+02 | 17.93%
1414.85/1415.10 c 1415s| 16400 | 16401 | 9922k| 603.5 | 16M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |2573 | 1.619653e+02 | 1.910000e+02 | 17.93%
1423.54/1423.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1423.54/1423.83 c 1424s| 16500 | 16501 | 9982k| 603.5 | 16M| 95 | 366 | 473 | 568 | 473 | 951 | 789 | 22 |2594 | 1.619665e+02 | 1.910000e+02 | 17.93%
1429.95/1430.24 c 1430s| 16600 | 16601 | 10028k| 602.7 | 16M| 95 | 376 | 473 | 568 | 473 | 951 | 789 | 22 |2594 | 1.619687e+02 | 1.910000e+02 | 17.92%
1437.05/1437.31 c 1437s| 16700 | 16701 | 10072k| 601.7 | 16M| 95 | 384 | 473 | 568 | 473 | 951 | 789 | 22 |2617 | 1.619705e+02 | 1.910000e+02 | 17.92%
1443.44/1443.75 c 1444s| 16800 | 16801 | 10115k| 600.6 | 16M| 95 | 368 | 473 | 568 | 473 | 951 | 789 | 22 |2630 | 1.619724e+02 | 1.910000e+02 | 17.92%
1450.75/1451.05 c 1451s| 16900 | 16901 | 10164k| 600.0 | 16M| 95 | 367 | 473 | 568 | 473 | 951 | 789 | 22 |2642 | 1.619733e+02 | 1.910000e+02 | 17.92%
1459.24/1459.51 c 1460s| 17000 | 17001 | 10226k| 600.2 | 16M| 95 | 376 | 473 | 568 | 473 | 951 | 789 | 22 |2647 | 1.619746e+02 | 1.910000e+02 | 17.92%
1465.85/1466.18 c 1466s| 17100 | 17101 | 10274k| 599.4 | 16M| 95 | 361 | 473 | 568 | 473 | 951 | 789 | 22 |2647 | 1.619764e+02 | 1.910000e+02 | 17.92%
1471.55/1471.86 c 1472s| 17200 | 17201 | 10316k| 598.4 | 16M| 95 | 372 | 473 | 568 | 473 | 951 | 789 | 22 |2647 | 1.619793e+02 | 1.910000e+02 | 17.92%
1478.94/1479.23 c 1479s| 17300 | 17301 | 10370k| 598.0 | 16M| 95 | 367 | 473 | 568 | 473 | 951 | 789 | 22 |2647 | 1.619812e+02 | 1.910000e+02 | 17.91%
1485.85/1486.15 c 1486s| 17400 | 17401 | 10421k| 597.5 | 16M| 95 | 366 | 473 | 568 | 473 | 951 | 789 | 22 |2647 | 1.619819e+02 | 1.910000e+02 | 17.91%
1492.04/1492.34 c 1492s| 17500 | 17501 | 10465k| 596.7 | 16M| 95 | 366 | 473 | 568 | 473 | 951 | 789 | 22 |2647 | 1.619831e+02 | 1.910000e+02 | 17.91%
1498.54/1498.89 c 1499s| 17600 | 17601 | 10507k| 595.6 | 17M| 95 | 360 | 473 | 568 | 473 | 951 | 789 | 22 |2663 | 1.619849e+02 | 1.910000e+02 | 17.91%
1505.93/1506.20 c 1506s| 17700 | 17701 | 10558k| 595.1 | 17M| 95 | 357 | 473 | 568 | 473 | 951 | 789 | 22 |2673 | 1.619862e+02 | 1.910000e+02 | 17.91%
1515.44/1515.71 c 1516s| 17800 | 17801 | 10625k| 595.6 | 17M| 95 | 343 | 473 | 568 | 473 | 951 | 789 | 22 |2692 | 1.619870e+02 | 1.910000e+02 | 17.91%
1522.73/1523.07 c 1523s| 17900 | 17901 | 10676k| 595.1 | 17M| 95 | 347 | 473 | 568 | 473 | 951 | 789 | 22 |2701 | 1.619890e+02 | 1.910000e+02 | 17.91%
1530.43/1530.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.43/1530.76 c 1531s| 18000 | 18001 | 10725k| 594.5 | 17M| 95 | 363 | 473 | 568 | 473 | 951 | 789 | 22 |2722 | 1.619904e+02 | 1.910000e+02 | 17.91%
1537.73/1538.04 c 1538s| 18100 | 18101 | 10777k| 594.1 | 17M| 95 | 365 | 473 | 573 | 473 | 951 | 789 | 27 |2734 | 1.619916e+02 | 1.910000e+02 | 17.91%
1544.43/1544.76 c 1545s| 18200 | 18201 | 10822k| 593.3 | 17M| 95 | 373 | 473 | 573 | 473 | 951 | 789 | 27 |2749 | 1.619935e+02 | 1.910000e+02 | 17.91%
1551.13/1551.40 c 1551s| 18300 | 18301 | 10871k| 592.7 | 17M| 95 | 366 | 473 | 573 | 473 | 951 | 789 | 27 |2751 | 1.619949e+02 | 1.910000e+02 | 17.90%
1558.83/1559.14 c 1559s| 18400 | 18401 | 10928k| 592.6 | 17M| 95 | 351 | 473 | 573 | 473 | 951 | 789 | 27 |2752 | 1.619959e+02 | 1.910000e+02 | 17.90%
1565.82/1566.17 c 1566s| 18500 | 18501 | 10982k| 592.3 | 17M| 95 | 380 | 473 | 573 | 473 | 951 | 789 | 27 |2752 | 1.619978e+02 | 1.910000e+02 | 17.90%
1572.22/1572.58 c 1573s| 18600 | 18601 | 11029k| 591.7 | 17M| 95 | 369 | 473 | 573 | 473 | 951 | 789 | 27 |2752 | 1.619995e+02 | 1.910000e+02 | 17.90%
1577.73/1578.09 c 1578s| 18700 | 18701 | 11069k| 590.6 | 17M| 95 | 371 | 473 | 573 | 473 | 951 | 789 | 27 |2752 | 1.620009e+02 | 1.910000e+02 | 17.90%
1584.42/1584.78 c 1585s| 18800 | 18801 | 11117k| 590.1 | 17M| 95 | 362 | 473 | 573 | 473 | 951 | 789 | 27 |2753 | 1.620020e+02 | 1.910000e+02 | 17.90%
1590.62/1590.92 c 1591s| 18900 | 18901 | 11159k| 589.2 | 17M| 95 | 360 | 473 | 573 | 473 | 951 | 789 | 27 |2763 | 1.620038e+02 | 1.910000e+02 | 17.90%
1598.52/1598.83 c 1599s| 19000 | 19001 | 11214k| 589.0 | 18M| 95 | 358 | 473 | 573 | 473 | 951 | 789 | 27 |2774 | 1.620053e+02 | 1.910000e+02 | 17.90%
1607.52/1607.86 c 1608s| 19100 | 19101 | 11279k| 589.3 | 18M| 95 | 369 | 473 | 573 | 473 | 951 | 789 | 27 |2786 | 1.620076e+02 | 1.910000e+02 | 17.90%
1614.72/1615.07 c 1615s| 19200 | 19201 | 11327k| 588.7 | 18M| 95 | 369 | 473 | 573 | 473 | 951 | 789 | 27 |2798 | 1.620084e+02 | 1.910000e+02 | 17.90%
1621.22/1621.56 c 1622s| 19300 | 19301 | 11368k| 587.8 | 18M| 95 | 370 | 473 | 573 | 473 | 951 | 789 | 27 |2815 | 1.620098e+02 | 1.910000e+02 | 17.89%
1627.63/1627.98 c 1628s| 19400 | 19401 | 11411k| 587.0 | 18M| 95 | 358 | 473 | 573 | 473 | 951 | 789 | 27 |2829 | 1.620113e+02 | 1.910000e+02 | 17.89%
1633.22/1633.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.22/1633.55 c 1634s| 19500 | 19501 | 11448k| 585.9 | 18M| 95 | 357 | 473 | 573 | 473 | 951 | 789 | 27 |2840 | 1.620137e+02 | 1.910000e+02 | 17.89%
1641.21/1641.58 c 1642s| 19600 | 19601 | 11504k| 585.7 | 18M| 95 | 376 | 473 | 573 | 473 | 951 | 789 | 27 |2855 | 1.620155e+02 | 1.910000e+02 | 17.89%
1649.21/1649.50 c 1650s| 19700 | 19701 | 11563k| 585.8 | 18M| 95 | 366 | 473 | 573 | 473 | 951 | 789 | 27 |2857 | 1.620166e+02 | 1.910000e+02 | 17.89%
1657.61/1657.98 c 1658s| 19800 | 19801 | 11627k| 586.0 | 18M| 95 | 369 | 473 | 573 | 473 | 951 | 789 | 27 |2858 | 1.620179e+02 | 1.910000e+02 | 17.89%
1662.92/1663.29 c 1663s| 19900 | 19901 | 11665k| 585.0 | 18M| 95 | 360 | 473 | 573 | 473 | 951 | 789 | 27 |2858 | 1.620200e+02 | 1.910000e+02 | 17.89%
1667.91/1668.29 c 1668s| 20000 | 20001 | 11699k| 583.8 | 18M| 95 | 366 | 473 | 573 | 473 | 951 | 789 | 27 |2858 | 1.620214e+02 | 1.910000e+02 | 17.89%
1673.92/1674.25 c 1674s| 20100 | 20101 | 11743k| 583.0 | 18M| 95 | 348 | 473 | 573 | 473 | 951 | 789 | 27 |2858 | 1.620232e+02 | 1.910000e+02 | 17.88%
1681.71/1682.04 c 1682s| 20200 | 20201 | 11801k| 583.0 | 18M| 95 | 370 | 473 | 573 | 473 | 951 | 789 | 27 |2858 | 1.620247e+02 | 1.910000e+02 | 17.88%
1687.41/1687.70 c 1688s| 20300 | 20301 | 11842k| 582.2 | 18M| 95 | 349 | 473 | 573 | 473 | 951 | 789 | 27 |2858 | 1.620261e+02 | 1.910000e+02 | 17.88%
1695.00/1695.31 c 1695s| 20400 | 20401 | 11895k| 581.9 | 18M| 95 | 378 | 473 | 573 | 473 | 951 | 789 | 27 |2870 | 1.620273e+02 | 1.910000e+02 | 17.88%
1702.41/1702.71 c 1703s| 20500 | 20501 | 11944k| 581.5 | 19M| 95 | 375 | 473 | 573 | 473 | 951 | 789 | 27 |2887 | 1.620296e+02 | 1.910000e+02 | 17.88%
1708.50/1708.85 c 1709s| 20600 | 20601 | 11986k| 580.7 | 19M| 95 | 367 | 473 | 573 | 473 | 951 | 789 | 27 |2896 | 1.620307e+02 | 1.910000e+02 | 17.88%
1717.70/1718.09 c 1718s| 20700 | 20701 | 12050k| 581.0 | 19M| 95 | 371 | 473 | 573 | 473 | 951 | 789 | 27 |2909 | 1.620320e+02 | 1.910000e+02 | 17.88%
1724.60/1724.99 c 1725s| 20800 | 20801 | 12096k| 580.4 | 19M| 95 | 366 | 473 | 573 | 473 | 951 | 789 | 27 |2924 | 1.620334e+02 | 1.910000e+02 | 17.88%
1731.10/1731.43 c 1731s| 20900 | 20901 | 12140k| 579.7 | 19M| 95 | 370 | 473 | 573 | 473 | 951 | 789 | 27 |2936 | 1.620357e+02 | 1.910000e+02 | 17.88%
1737.90/1738.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.90/1738.23 c 1738s| 21000 | 21001 | 12187k| 579.2 | 19M| 95 | 364 | 473 | 573 | 473 | 951 | 789 | 27 |2948 | 1.620373e+02 | 1.910000e+02 | 17.87%
1745.90/1746.27 c 1746s| 21100 | 21101 | 12245k| 579.2 | 19M| 95 | 362 | 473 | 573 | 473 | 951 | 789 | 27 |2955 | 1.620390e+02 | 1.910000e+02 | 17.87%
1751.40/1751.74 c 1752s| 21200 | 21201 | 12286k| 578.4 | 19M| 95 | 376 | 473 | 573 | 473 | 951 | 789 | 27 |2955 | 1.620404e+02 | 1.910000e+02 | 17.87%
1757.69/1758.05 c 1758s| 21300 | 21301 | 12331k| 577.8 | 19M| 95 | 352 | 473 | 573 | 473 | 951 | 789 | 27 |2956 | 1.620420e+02 | 1.910000e+02 | 17.87%
1763.20/1763.58 c 1764s| 21400 | 21401 | 12371k| 577.0 | 19M| 95 | 373 | 473 | 573 | 473 | 951 | 789 | 27 |2956 | 1.620438e+02 | 1.910000e+02 | 17.87%
1770.50/1770.83 c 1771s| 21500 | 21501 | 12424k| 576.7 | 19M| 95 | 347 | 473 | 573 | 473 | 951 | 789 | 27 |2957 | 1.620456e+02 | 1.910000e+02 | 17.87%
1776.20/1776.52 c 1777s| 21600 | 21601 | 12466k| 576.0 | 19M| 95 | 373 | 473 | 573 | 473 | 951 | 789 | 27 |2957 | 1.620471e+02 | 1.910000e+02 | 17.87%
1785.60/1785.95 c 1786s| 21700 | 21701 | 12539k| 576.7 | 19M| 95 | 338 | 473 | 573 | 473 | 951 | 789 | 27 |2957 | 1.620481e+02 | 1.910000e+02 | 17.87%
1791.80/1792.19 c 1792s| 21800 | 21801 | 12581k| 576.0 | 19M| 95 | 349 | 473 | 573 | 473 | 951 | 789 | 27 |2967 | 1.620495e+02 | 1.910000e+02 | 17.87%
1796.69/1797.01 c
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Solving Time (sec) : 1797.01
1796.69/1797.01 c Solving Nodes : 21871
1796.69/1797.01 c Primal Bound : +1.91000000000000e+02 (820 solutions)
1796.69/1797.01 c Dual Bound : +1.62049955194913e+02
1796.69/1797.01 c Gap : 17.86 %
1796.69/1797.01 s SATISFIABLE
1796.69/1797.01 v x473 -x472 x471 x470 -x469 x468 -x467 x466 x465 -x464 x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451
1796.69/1797.01 v -x450 -x449 -x448 x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 x436 -x435 x434 -x433 x432 -x431 x430 -x429
1796.69/1797.01 v -x428 -x427 -x426 -x425 x424 -x423 x422 x421 x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 x408 -x407
1796.69/1797.01 v -x406 x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 x388 -x387 x386 x385
1796.69/1797.01 v -x384 -x383 -x382 x381 -x380 x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 x366 x365 x364 -x363
1796.69/1797.01 v -x362 -x361 -x360 x359 x358 -x357 -x356 -x355 x354 -x353 x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 x342 x341
1796.69/1797.01 v -x340 x339 -x338 -x337 x336 -x335 x334 x333 x332 x331 x330 x329 x328 -x327 x326 -x325 x324 -x323 x322 -x321 -x320 -x319 -x318
1796.69/1797.01 v x317 x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 x307 x306 x305 -x304 -x303 -x302 -x301 x300 x299 -x298 x297 x296
1796.69/1797.01 v x295 -x294 -x293 x292 x291 x290 x289 -x288 x287 x286 x285 x284 -x283 x282 x281 x280 x279 -x278 -x277 -x276 x275 -x274 -x273 -x272
1796.69/1797.01 v -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 x256 x255 -x254 -x253 -x252 -x251
1796.69/1797.01 v x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 x238 -x237 x236 x235 x234 -x233 -x232 -x231 x230 -x229
1796.69/1797.01 v x228 -x227 x226 x225 x224 x223 x222 -x221 x220 x219 x218 -x217 -x216 x215 -x214 x213 -x212 -x211 -x210 -x209 x208 -x207 x206
1796.69/1797.01 v x205 -x204 x203 x202 x201 x200 -x199 -x198 x197 x196 -x195 x194 -x193 -x192 x191 x190 x189 -x188 x187 x186 -x185 x184 -x183
1796.69/1797.01 v -x182 -x181 -x180 x179 -x178 -x177 -x176 x175 x174 -x173 x172 x171 x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 x162 x161 -x160
1796.69/1797.01 v -x159 x158 x157 -x156 -x155 x154 x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 x141 x140 -x139 x138
1796.69/1797.01 v -x137 -x136 x135 x134 -x133 -x132 x131 x130 x129 -x128 x127 x126 -x125 x124 -x123 -x122 -x121 -x120 x119 -x118 x117 -x116 x115
1796.69/1797.01 v -x114 x113 -x112 -x111 -x110 -x109 x108 x107 -x106 x105 x104 x103 x102 -x101 -x100 -x99 -x98 x97 x96 -x95 x94 x93 -x92 -x91
1796.69/1797.01 v x90 -x89 -x88 -x87 x86 x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 x68 x67 -x66 -x65
1796.69/1797.01 v -x64 x63 -x62 x61 x60 x59 x58 x57 x56 -x55 x54 -x53 -x52 x51 -x50 -x49 -x48 x47 x46 x45 x44 x43 -x42 x41 x40 -x39 -x38 x37 -x36
1796.69/1797.01 v -x35 -x34 -x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 x22 x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 x11 x10
1796.69/1797.01 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
1796.69/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.69/1797.01 c Total Time : 1797.01
1796.69/1797.01 c solving : 1797.01
1796.69/1797.01 c presolving : 0.03 (included in solving)
1796.69/1797.01 c reading : 0.00 (included in solving)
1796.69/1797.01 c copying : 0.03 (5 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.69/1797.01 c Original Problem :
1796.69/1797.01 c Problem name : HOME/instance-3693224-1338029634.opb
1796.69/1797.01 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 472 initial, 472 maximal
1796.69/1797.01 c Objective sense : minimize
1796.69/1797.01 c Presolved Problem :
1796.69/1797.01 c Problem name : t_HOME/instance-3693224-1338029634.opb
1796.69/1797.01 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.01 c Constraints : 546 initial, 573 maximal
1796.69/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.69/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 30 182 325 761
1796.69/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 78 0 0 0
1796.69/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 24
1796.69/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.69/1797.01 c root node : - - 0 - - 0 - - - - -
1796.69/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c integral : 0 0 0 0 21869 0 825 0 0 0 0 0 43738
1796.69/1797.01 c knapsack : 441 441 12 198587 0 2 820 0 0 8102 793 0 0
1796.69/1797.01 c setppc : 104 104 12 198586 0 2 819 0 0 3134 0 0 0
1796.69/1797.01 c logicor : 1+ 28 12 9629 0 2 819 0 0 0 0 0 0
1796.69/1797.01 c countsols : 0 0 0 0 0 2 823 0 0 0 0 0 0
1796.69/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.69/1797.01 c integral : 121.49 0.00 0.00 0.00 121.48 0.00 0.00 0.00
1796.69/1797.01 c knapsack : 1.49 0.00 0.04 1.44 0.00 0.00 0.01 0.00
1796.69/1797.01 c setppc : 0.34 0.00 0.00 0.34 0.00 0.00 0.00 0.00
1796.69/1797.01 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.69/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.69/1797.01 c rootredcost : 13 0 0 0
1796.69/1797.01 c pseudoobj : 220407 0 0 0
1796.69/1797.01 c vbounds : 0 0 0 0
1796.69/1797.01 c redcost : 21880 0 0 0
1796.69/1797.01 c probing : 0 0 0 0
1796.69/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.69/1797.01 c rootredcost : 0.18 0.00 0.00 0.18 0.00
1796.69/1797.01 c pseudoobj : 0.35 0.00 0.00 0.35 0.00
1796.69/1797.01 c vbounds : 0.17 0.00 0.00 0.17 0.00
1796.69/1797.01 c redcost : 0.31 0.00 0.00 0.31 0.00
1796.69/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.69/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.69/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c infeasible LP : 0.00 27 27 27 4.1 0 0.0 0
1796.69/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.69/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.69/1797.01 c applied globally : - - - 27 4.1 - - -
1796.69/1797.01 c applied locally : - - - 0 0.0 - - -
1796.69/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.69/1797.01 c cut pool : 0.00 11 - - 302 - (maximal pool size: 1383)
1796.69/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.69/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c gomory : 1.72 0.00 10 0 0 0 0
1796.69/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c strongcg : 1.61 0.00 12 0 0 0 0
1796.69/1797.01 c cmir : 0.25 0.00 10 0 0 860 0
1796.69/1797.01 c flowcover : 0.33 0.00 10 0 0 989 0
1796.69/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.69/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.69/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.69/1797.01 c problem variables: 0.00 - 0 0
1796.69/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.69/1797.01 c relpscost : 121.41 0.00 21869 0 0 0 0 43738
1796.69/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.69/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.69/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.69/1797.01 c LP solutions : 0.00 - - 0
1796.69/1797.01 c pseudo solutions : 0.00 - - 0
1796.69/1797.01 c intshifting : 0.00 0.00 0 0
1796.69/1797.01 c feaspump : 0.00 0.00 0 0
1796.69/1797.01 c oneopt : 0.02 0.00 9 3
1796.69/1797.01 c guideddiving : 50.87 0.00 41 0
1796.69/1797.01 c coefdiving : 57.13 0.00 45 115
1796.69/1797.01 c veclendiving : 82.37 0.00 92 75
1796.69/1797.01 c linesearchdiving : 139.51 0.00 181 41
1796.69/1797.01 c pscostdiving : 262.17 0.00 292 387
1796.69/1797.01 c smallcard : 0.00 0.00 0 0
1796.69/1797.01 c trivial : 0.00 0.00 2 1
1796.69/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.69/1797.01 c simplerounding : 0.65 0.00 21880 49
1796.69/1797.01 c zirounding : 0.90 0.00 2801 56
1796.69/1797.01 c rounding : 15.35 0.00 6647 1
1796.69/1797.01 c shifting : 4.35 0.00 1709 1
1796.69/1797.01 c twoopt : 0.00 0.00 0 0
1796.69/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.69/1797.01 c indoneopt : 0.05 0.00 0 0
1796.69/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.69/1797.01 c clique : 0.00 0.00 0 0
1796.69/1797.01 c indrounding : 0.00 0.00 0 0
1796.69/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.69/1797.01 c fracdiving : 51.22 0.00 42 0
1796.69/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.69/1797.01 c intdiving : 0.00 0.00 0 0
1796.69/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.69/1797.01 c objpscostdiving : 35.69 0.00 4 91
1796.69/1797.01 c rootsoldiving : 13.19 0.00 13 0
1796.69/1797.01 c octane : 0.00 0.00 0 0
1796.69/1797.01 c rens : 0.01 0.00 0 0
1796.69/1797.01 c rins : 0.00 0.00 0 0
1796.69/1797.01 c localbranching : 0.00 0.00 0 0
1796.69/1797.01 c mutation : 0.00 0.00 0 0
1796.69/1797.01 c crossover : 0.03 0.00 0 0
1796.69/1797.01 c dins : 0.00 0.00 0 0
1796.69/1797.01 c vbounds : 0.00 0.00 0 0
1796.69/1797.01 c undercover : 0.00 0.00 0 0
1796.69/1797.01 c subnlp : 0.02 0.00 0 0
1796.69/1797.01 c trysol : 0.04 0.00 0 0
1796.69/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.69/1797.01 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.69/1797.01 c dual LP : 952.63 21899 6860600 313.53 7201.78 0.05 17
1796.69/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.69/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.69/1797.01 c diving/probing LP: 668.38 119706 5751157 48.04 8604.67
1796.69/1797.01 c strong branching : 119.71 2981 777412 260.79 6493.99
1796.69/1797.01 c (at root node) : - 28 25675 916.96 -
1796.69/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.69/1797.01 c B&B Tree :
1796.69/1797.01 c number of runs : 1
1796.69/1797.01 c nodes : 21871
1796.69/1797.01 c nodes (total) : 21871
1796.69/1797.01 c nodes left : 21872
1796.69/1797.01 c max depth : 95
1796.69/1797.01 c max depth (total): 95
1796.69/1797.01 c backtracks : 2304 (10.5%)
1796.69/1797.01 c delayed cutoffs : 0
1796.69/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.69/1797.01 c avg switch length: 4.02
1796.69/1797.01 c switching time : 0.68
1796.69/1797.01 c Solution :
1796.69/1797.01 c Solutions found : 820 (19 improvements)
1796.69/1797.01 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.69/1797.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 10880 nodes, 986.53 seconds, depth 216, found by <linesearchdiving>)
1796.69/1797.01 c Dual Bound : +1.62049955194913e+02
1796.69/1797.01 c Gap : 17.86 %
1796.69/1797.01 c Root Dual Bound : +1.60226005584247e+02
1796.69/1797.01 c Root Iterations : 24976
1796.69/1797.04 c Time complete: 1796.74.
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-3693224-1338029634/watcher-3693224-1338029634 -o /tmp/evaluation-result-3693224-1338029634/solver-3693224-1338029634 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693224-1338029634.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.14 3/175 2353
/proc/meminfo: memFree=28452568/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=10244 CPUtime=0 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 1319 0 0 0 0 0 0 0 20 0 1 0 269091999 10489856 1273 33554432000 4194304 10169799 140733680860848 140735542693256 8797266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 2561 1273 412 1459 0 1093 0
[startup+0.064035 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2353
/proc/meminfo: memFree=28452568/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=24124 CPUtime=0.05 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 5029 0 0 0 4 1 0 0 20 0 1 0 269091999 24702976 4726 33554432000 4194304 10169799 140733680860848 140735542693256 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 6031 4726 752 1459 0 4563 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24124
[startup+0.100284 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2353
/proc/meminfo: memFree=28452568/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=24124 CPUtime=0.09 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 5029 0 0 0 8 1 0 0 20 0 1 0 269091999 24702976 4726 33554432000 4194304 10169799 140733680860848 140735542693256 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 6031 4726 752 1459 0 4563 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24124
[startup+0.300226 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2353
/proc/meminfo: memFree=28452568/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=24376 CPUtime=0.29 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 5109 0 0 0 28 1 0 0 20 0 1 0 269091999 24961024 4806 33554432000 4194304 10169799 140733680860848 140733680854520 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 6094 4806 752 1459 0 4626 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24376
[startup+0.700225 s]
/proc/loadavg: 1.00 1.00 1.14 3/175 2353
/proc/meminfo: memFree=28452568/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=24672 CPUtime=0.68 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 5186 0 0 0 67 1 0 0 20 0 1 0 269091999 25264128 4883 33554432000 4194304 10169799 140733680860848 140733680854520 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 6168 4883 753 1459 0 4700 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24672
[startup+1.50023 s]
/proc/loadavg: 1.00 1.00 1.14 4/177 2355
/proc/meminfo: memFree=28417584/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=26048 CPUtime=1.48 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 5614 0 0 0 146 2 0 0 20 0 1 0 269091999 26673152 5311 33554432000 4194304 10169799 140733680860848 140733680855304 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 6512 5311 802 1459 0 5044 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26048
[startup+3.10023 s]
/proc/loadavg: 1.00 1.00 1.14 4/177 2355
/proc/meminfo: memFree=28410484/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=28076 CPUtime=3.09 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 6124 0 0 0 305 4 0 0 20 0 1 0 269091999 28749824 5861 33554432000 4194304 10169799 140733680860848 140733680855640 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 7019 5861 803 1459 0 5551 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28076
[startup+6.30023 s]
/proc/loadavg: 1.08 1.02 1.15 4/177 2355
/proc/meminfo: memFree=28408872/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=28412 CPUtime=6.28 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 6197 0 0 0 621 7 0 0 20 0 1 0 269091999 29093888 5934 33554432000 4194304 10169799 140733680860848 140733680856920 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 7103 5934 803 1459 0 5635 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 28412
[startup+12.7002 s]
/proc/loadavg: 1.15 1.03 1.15 4/177 2355
/proc/meminfo: memFree=28408180/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=28732 CPUtime=12.68 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 7212 0 0 0 1255 13 0 0 20 0 1 0 269091999 29421568 6310 33554432000 4194304 10169799 140733680860848 140733680855544 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 7183 6310 838 1459 0 5715 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28732
[startup+25.5002 s]
/proc/loadavg: 1.34 1.08 1.16 4/177 2355
/proc/meminfo: memFree=28408248/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=28732 CPUtime=25.48 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 7213 0 0 0 2526 22 0 0 20 0 1 0 269091999 29421568 6311 33554432000 4194304 10169799 140733680860848 140733680855128 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 7183 6311 839 1459 0 5715 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28732
[startup+51.1002 s]
/proc/loadavg: 1.56 1.15 1.19 4/177 2355
/proc/meminfo: memFree=28407256/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=28932 CPUtime=51.07 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 7292 0 0 0 5062 45 0 0 20 0 1 0 269091999 29626368 6390 33554432000 4194304 10169799 140733680860848 140733680855496 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 7233 6390 843 1459 0 5765 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28932
[startup+102.307 s]
/proc/loadavg: 1.86 1.30 1.23 4/177 2355
/proc/meminfo: memFree=28405828/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=29576 CPUtime=102.27 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 7442 0 0 0 10127 100 0 0 20 0 1 0 269091999 30285824 6540 33554432000 4194304 10169799 140733680860848 140733680854856 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/2353/statm: 7394 6540 843 1459 0 5926 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29576
[startup+162.3 s]
/proc/loadavg: 1.95 1.42 1.28 4/177 2355
/proc/meminfo: memFree=28404524/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=30560 CPUtime=162.25 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 9108 0 0 0 16054 171 0 0 20 0 1 0 269091999 31293440 6763 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 7640 6763 843 1459 0 6172 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 30560
[startup+222.3 s]
/proc/loadavg: 1.98 1.52 1.32 4/177 2355
/proc/meminfo: memFree=28403468/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=30804 CPUtime=222.24 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 9197 0 0 0 21983 241 0 0 20 0 1 0 269091999 31543296 6852 33554432000 4194304 10169799 140733680860848 140733680857800 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 7701 6852 843 1459 0 6233 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30804
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.36 4/177 2356
/proc/meminfo: memFree=28401360/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=32488 CPUtime=282.23 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 10336 0 0 0 27923 300 0 0 20 0 1 0 269091999 33267712 7252 33554432000 4194304 10169799 140733680860848 140733680854440 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 8122 7252 843 1459 0 6654 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 32488
[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.39 4/177 2356
/proc/meminfo: memFree=28400364/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=32812 CPUtime=342.23 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 10402 0 0 0 33864 359 0 0 20 0 1 0 269091999 33599488 7318 33554432000 4194304 10169799 140733680860848 140733680854984 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 8203 7318 843 1459 0 6735 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 32812
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.43 4/178 2359
/proc/meminfo: memFree=28399860/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=32732 CPUtime=402.22 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 11009 0 0 0 39806 416 0 0 20 0 1 0 269091999 33517568 7327 33554432000 4194304 10169799 140733680860848 140733680854936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 8183 7327 843 1459 0 6715 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 32732
[startup+462.3 s]
/proc/loadavg: 1.99 1.78 1.46 4/178 2382
/proc/meminfo: memFree=28398124/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=34344 CPUtime=462.21 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 11403 0 0 0 45750 471 0 0 20 0 1 0 269091999 35168256 7721 33554432000 4194304 10169799 140733680860848 140733680854920 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 8586 7721 843 1459 0 7118 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34344
[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.49 4/177 2382
/proc/meminfo: memFree=28396952/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=35088 CPUtime=522.2 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 11584 0 0 0 51693 527 0 0 20 0 1 0 269091999 35930112 7902 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 8772 7902 843 1459 0 7304 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35088
[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.52 4/176 2382
/proc/meminfo: memFree=28394788/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=35088 CPUtime=582.19 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 11589 0 0 0 57638 581 0 0 20 0 1 0 269091999 35930112 7907 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 8772 7907 843 1459 0 7304 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 35088
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28385968/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=39260 CPUtime=1122.1 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 12627 0 0 0 111116 1094 0 0 20 0 1 0 269091999 40202240 8943 33554432000 4194304 10169799 140733680860848 140733680855336 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 9815 8943 843 1459 0 8347 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 39260
[startup+1182.3 s]
/proc/loadavg: 2.04 1.99 1.74 4/177 2387
/proc/meminfo: memFree=28384480/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=40744 CPUtime=1182.09 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13004 0 0 0 117057 1152 0 0 20 0 1 0 269091999 41721856 9319 33554432000 4194304 10169799 140733680860848 140733680854952 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 10186 9319 843 1459 0 8718 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 40744
[startup+1242.3 s]
/proc/loadavg: 2.01 1.99 1.75 4/177 2388
/proc/meminfo: memFree=28381560/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=42176 CPUtime=1242.07 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13359 0 0 0 122993 1214 0 0 20 0 1 0 269091999 43188224 9681 33554432000 4194304 10169799 140733680860848 140733680854184 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 10544 9681 843 1459 0 9076 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 42176
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.76 4/177 2388
/proc/meminfo: memFree=28379576/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=42176 CPUtime=1302.07 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13360 0 0 0 128927 1280 0 0 20 0 1 0 269091999 43188224 9682 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 10544 9682 843 1459 0 9076 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 42176
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.77 4/177 2388
/proc/meminfo: memFree=28380256/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=42176 CPUtime=1362.06 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13360 0 0 0 134861 1345 0 0 20 0 1 0 269091999 43188224 9682 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 10544 9682 843 1459 0 9076 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 42176
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.78 4/177 2388
/proc/meminfo: memFree=28379760/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=42532 CPUtime=1422.05 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13449 0 0 0 140796 1409 0 0 20 0 1 0 269091999 43552768 9771 33554432000 4194304 10169799 140733680860848 140733680854936 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 10633 9771 843 1459 0 9165 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 42532
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.80 4/177 2388
/proc/meminfo: memFree=28378644/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=43444 CPUtime=1482.04 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13667 0 0 0 146732 1472 0 0 20 0 1 0 269091999 44486656 9989 33554432000 4194304 10169799 140733680860848 140733680855304 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 10861 9989 843 1459 0 9393 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 43444
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.81 4/177 2389
/proc/meminfo: memFree=28377404/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=44024 CPUtime=1542.03 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 13816 0 0 0 152669 1534 0 0 20 0 1 0 269091999 45080576 10138 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11006 10138 843 1459 0 9538 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 44024
[startup+1602.3 s]
/proc/loadavg: 2.11 2.02 1.83 4/178 2392
/proc/meminfo: memFree=28375844/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=45048 CPUtime=1602.02 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14073 0 0 0 158606 1596 0 0 20 0 1 0 269091999 46129152 10394 33554432000 4194304 10169799 140733680860848 140733680855352 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11262 10394 843 1459 0 9794 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 45048
[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 1.84 4/177 2392
/proc/meminfo: memFree=28373060/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=45828 CPUtime=1662.01 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14267 0 0 0 164546 1655 0 0 20 0 1 0 269091999 46927872 10588 33554432000 4194304 10169799 140733680860848 140733680855640 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11457 10588 843 1459 0 9989 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 45828
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.84 4/177 2392
/proc/meminfo: memFree=28372812/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=45828 CPUtime=1722 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14270 0 0 0 170492 1708 0 0 20 0 1 0 269091999 46927872 10591 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11457 10591 843 1459 0 9989 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 45828
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28371012/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1781.99 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14486 0 0 0 176435 1764 0 0 20 0 1 0 269091999 47808512 10806 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10806 843 1459 0 10204 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 46688
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28371136/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1785.19 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14486 0 0 0 176752 1767 0 0 20 0 1 0 269091999 47808512 10806 33554432000 4194304 10169799 140733680860848 140733680855352 8961143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10806 843 1459 0 10204 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 46688
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28371072/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1791.6 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14487 0 0 0 177386 1774 0 0 20 0 1 0 269091999 47808512 10807 33554432000 4194304 10169799 140733680860848 140733680855640 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10807 843 1459 0 10204 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 46688
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28371072/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1794.8 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14492 0 0 0 177703 1777 0 0 20 0 1 0 269091999 47808512 10812 33554432000 4194304 10169799 140733680860848 140733680855256 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10812 843 1459 0 10204 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 46688
[startup+1795.9 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28371072/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1795.59 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14492 0 0 0 177781 1778 0 0 20 0 1 0 269091999 47808512 10812 33554432000 4194304 10169799 140733680860848 140733680855448 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10812 843 1459 0 10204 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 46688
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28370948/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1796.4 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14493 0 0 0 177861 1779 0 0 20 0 1 0 269091999 47808512 10813 33554432000 4194304 10169799 140733680860848 140733680855352 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10813 843 1459 0 10204 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 46688
[startup+1796.9 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28370948/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1796.59 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14493 0 0 0 177880 1779 0 0 20 0 1 0 269091999 47808512 10813 33554432000 4194304 10169799 140733680860848 140733680855352 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10813 843 1459 0 10204 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 46688
[startup+1797 s]
/proc/loadavg: 2.01 2.02 1.85 4/177 2392
/proc/meminfo: memFree=28370948/32873844 swapFree=7356/7356
[pid=2353] ppid=2349 vsize=46688 CPUtime=1796.69 cores=1,3,5,7
/proc/2353/stat : 2353 (scip-2.1.1.4sfi) R 2349 2353 1047 0 -1 4202496 14493 0 0 0 177890 1779 0 0 20 0 1 0 269091999 47808512 10813 33554432000 4194304 10169799 140733680860848 140733680855352 8979322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2353/statm: 11672 10813 843 1459 0 10204 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 46688
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.75
CPU user time (s): 1778.95
CPU system time (s): 17.7943
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 46688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.95
system time used= 17.7943
maximum resident set size= 43272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14502
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= 2221
runsolver used 2.41863 second user time and 7.41287 second system time
The end