0.09/0.17 c SCIP version 1.1.0.7
0.09/0.17 c LP-Solver SoPlex 1.4.1
0.09/0.17 c user parameter file <scip.set> not found - using default parameters
0.09/0.17 c read problem <HOME/instance-3737059-1338728667.opb>
0.09/0.17 c original problem has 38793 variables (38793 bin, 0 int, 0 impl, 0 cont) and 38793 constraints
0.28/0.31 c start presolving problem
0.28/0.31 c presolving:
0.69/0.77 c (round 1) 37793 del vars, 1000 del conss, 37793 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 151172 impls, 0 clqs
1.38/1.41 c (1.1s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.38/1.41 c (1.1s) probing aborted: 100/100 successive totally useless probings
1.38/1.41 c presolving (2 rounds):
1.38/1.41 c 37793 deleted vars, 1000 deleted constraints, 37793 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.38/1.41 c 226758 implications, 0 cliques
1.38/1.41 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37793 constraints
1.38/1.41 c 37793 constraints of type <and>
1.38/1.41 c transformed objective value is always integral (scale: 1)
1.38/1.41 c Presolving Time: 1.06
1.38/1.41 c OPT-NLC
1.38/1.41 c -----------------------------------------------------------------------------------------------
1.38/1.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.38/1.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.38/1.41 c limits/memory = c 13950
1.38/1.41 c # maximal time in seconds to run
1.38/1.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.38/1.41 c limits/time = c 1791
1.38/1.41 c # frequency for displaying node information lines
1.38/1.41 c # [type: int, range: [-1,2147483647], default: 100]
1.38/1.41 c display/freq = c 10000
1.38/1.41 c -----------------------------------------------------------------------------------------------
1.38/1.41 c start solving problem
1.38/1.41 c
1.89/1.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.98 c 1.7s| 1 | 0 | 1006 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf
1.99/2.00 o -47
1.99/2.00 c R 1.7s| 1 | 0 | 1006 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-4.700000e+01 | 90.60%
2.89/2.95 c 2.6s| 1 | 0 | 1192 | 139M| 0 | 984 |1000 | 37k| 37k|1000 | 37k| 13 | 0 | 0 |-4.920000e+02 |-4.700000e+01 | 90.45%
3.69/3.77 c 3.4s| 1 | 0 | 1279 | 139M| 0 | 979 |1000 | 37k| 37k|1000 | 37k| 19 | 0 | 0 |-4.895000e+02 |-4.700000e+01 | 90.40%
4.78/4.86 c 4.5s| 1 | 0 | 1484 | 139M| 0 | 971 |1000 | 37k| 37k|1000 | 37k| 26 | 0 | 0 |-4.855000e+02 |-4.700000e+01 | 90.32%
5.89/5.95 c 5.6s| 1 | 0 | 1685 | 139M| 0 | 962 |1000 | 37k| 37k|1000 | 37k| 34 | 0 | 0 |-4.810000e+02 |-4.700000e+01 | 90.23%
6.88/6.97 c 6.6s| 1 | 0 | 1809 | 139M| 0 | 956 |1000 | 37k| 37k|1000 | 37k| 39 | 0 | 0 |-4.780000e+02 |-4.700000e+01 | 90.17%
8.18/8.23 c 7.9s| 1 | 0 | 2091 | 139M| 0 | 950 |1000 | 37k| 37k|1000 | 37k| 47 | 0 | 0 |-4.750000e+02 |-4.700000e+01 | 90.11%
8.18/8.24 o -50
8.18/8.24 c R 7.9s| 1 | 0 | 2091 | 139M| 0 | 950 |1000 | 37k| 37k|1000 | 37k| 47 | 0 | 0 |-4.750000e+02 |-5.000000e+01 | 89.47%
9.38/9.47 c 9.1s| 1 | 0 | 2293 | 139M| 0 | 941 |1000 | 37k| 37k|1000 | 37k| 53 | 0 | 0 |-4.705000e+02 |-5.000000e+01 | 89.37%
9.38/9.48 o -51
9.38/9.48 c R 9.1s| 1 | 0 | 2293 | 139M| 0 | 941 |1000 | 37k| 37k|1000 | 37k| 53 | 0 | 0 |-4.705000e+02 |-5.100000e+01 | 89.16%
10.78/10.82 c 10.5s| 1 | 0 | 2519 | 139M| 0 | 933 |1000 | 37k| 37k|1000 | 37k| 62 | 0 | 0 |-4.665000e+02 |-5.100000e+01 | 89.07%
12.09/12.12 c 11.8s| 1 | 0 | 2713 | 139M| 0 | 930 |1000 | 37k| 37k|1000 | 37k| 67 | 0 | 0 |-4.650000e+02 |-5.100000e+01 | 89.03%
13.69/13.73 c 13.4s| 1 | 0 | 3031 | 139M| 0 | 923 |1000 | 37k| 37k|1000 | 37k| 76 | 0 | 0 |-4.615000e+02 |-5.100000e+01 | 88.95%
14.78/14.87 c 14.5s| 1 | 0 | 3414 | 139M| 0 | 915 |1000 | 37k| 37k|1000 |1315 | 85 | 0 | 0 |-4.575000e+02 |-5.100000e+01 | 88.85%
14.98/15.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.98/15.05 c 14.7s| 1 | 0 | 3675 | 139M| 0 | 836 |1000 | 37k| 37k|1000 |1322 | 92 | 0 | 0 |-4.560000e+02 |-5.100000e+01 | 88.82%
15.39/15.43 c 15.1s| 1 | 0 | 3962 | 140M| 0 | 910 |1000 | 37k| 37k|1000 |3322 |2092 | 0 | 0 |-4.550000e+02 |-5.100000e+01 | 88.79%
15.68/15.70 c 15.3s| 1 | 0 | 4545 | 140M| 0 | 890 |1000 | 37k| 37k|1000 |3333 |2103 | 0 | 0 |-4.510000e+02 |-5.100000e+01 | 88.69%
15.88/15.98 c 15.6s| 1 | 0 | 5033 | 141M| 0 | 895 |1000 | 37k| 37k|1000 |3730 |2500 | 0 | 0 |-4.485000e+02 |-5.100000e+01 | 88.63%
16.29/16.31 c 15.9s| 1 | 0 | 5686 | 141M| 0 | 924 |1000 | 37k| 37k|1000 |3803 |2573 | 0 | 0 |-4.456875e+02 |-5.100000e+01 | 88.56%
17.29/17.32 c 16.9s| 1 | 0 | 5883 | 141M| 0 | 890 |1000 | 37k| 37k|1000 |5403 |4573 | 0 | 0 |-4.450000e+02 |-5.100000e+01 | 88.54%
17.49/17.57 c 17.2s| 1 | 0 | 6147 | 141M| 0 | 885 |1000 | 37k| 37k|1000 |5410 |4580 | 0 | 0 |-4.425000e+02 |-5.100000e+01 | 88.47%
17.79/17.86 c 17.5s| 1 | 0 | 6530 | 141M| 0 | 881 |1000 | 37k| 37k|1000 |5416 |4586 | 0 | 0 |-4.405000e+02 |-5.100000e+01 | 88.42%
18.18/18.29 c 17.9s| 1 | 0 | 7407 | 141M| 0 | 879 |1000 | 37k| 37k|1000 |5422 |4592 | 0 | 0 |-4.382500e+02 |-5.100000e+01 | 88.36%
18.69/18.72 c 18.3s| 1 | 0 | 8213 | 141M| 0 | 872 |1000 | 37k| 37k|1000 |5478 |4648 | 0 | 0 |-4.370000e+02 |-5.100000e+01 | 88.33%
18.98/19.04 c 18.6s| 1 | 0 | 8760 | 141M| 0 | 871 |1000 | 37k| 37k|1000 |5527 |4697 | 0 | 0 |-4.355000e+02 |-5.100000e+01 | 88.29%
19.38/19.49 c 19.1s| 1 | 0 | 9887 | 141M| 0 | 903 |1000 | 37k| 37k|1000 |3576 |4703 | 0 | 0 |-4.336154e+02 |-5.100000e+01 | 88.24%
20.29/20.34 c 19.9s| 1 | 0 | 9984 | 141M| 0 | 869 |1000 | 37k| 37k|1000 |5576 |6703 | 0 | 0 |-4.335000e+02 |-5.100000e+01 | 88.24%
20.49/20.56 c 20.2s| 1 | 0 | 10314 | 141M| 0 | 863 |1000 | 37k| 37k|1000 |5586 |6713 | 0 | 0 |-4.315000e+02 |-5.100000e+01 | 88.18%
20.89/20.97 c 20.6s| 1 | 0 | 11088 | 141M| 0 | 855 |1000 | 37k| 37k|1000 |5661 |6788 | 0 | 0 |-4.280000e+02 |-5.100000e+01 | 88.08%
21.18/21.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.18/21.28 c 20.9s| 1 | 0 | 11533 | 141M| 0 | 854 |1000 | 37k| 37k|1000 |5793 |6920 | 0 | 0 |-4.270000e+02 |-5.100000e+01 | 88.06%
21.48/21.57 c 21.2s| 1 | 0 | 11911 | 141M| 0 | 849 |1000 | 37k| 37k|1000 |5799 |6926 | 0 | 0 |-4.250000e+02 |-5.100000e+01 | 88.00%
21.88/21.98 c 21.6s| 1 | 0 | 12531 | 141M| 0 | 844 |1000 | 37k| 37k|1000 |5160 |7041 | 0 | 0 |-4.230000e+02 |-5.100000e+01 | 87.94%
22.28/22.33 c 21.9s| 1 | 0 | 13103 | 141M| 0 | 829 |1000 | 37k| 37k|1000 |5218 |7099 | 0 | 0 |-4.215000e+02 |-5.100000e+01 | 87.90%
22.69/22.73 c 22.3s| 1 | 0 | 13693 | 141M| 0 | 840 |1000 | 37k| 37k|1000 |5624 |7505 | 0 | 0 |-4.200000e+02 |-5.100000e+01 | 87.86%
22.99/23.02 c 22.6s| 1 | 0 | 14057 | 141M| 0 | 834 |1000 | 37k| 37k|1000 |5632 |7513 | 0 | 0 |-4.190000e+02 |-5.100000e+01 | 87.83%
23.28/23.36 c 22.9s| 1 | 0 | 14591 | 141M| 0 | 831 |1000 | 37k| 37k|1000 |5745 |7626 | 0 | 0 |-4.165000e+02 |-5.100000e+01 | 87.76%
23.68/23.77 c 23.4s| 1 | 0 | 15227 | 141M| 0 | 829 |1000 | 37k| 37k|1000 |5801 |7682 | 0 | 0 |-4.155000e+02 |-5.100000e+01 | 87.73%
24.19/24.25 c 23.8s| 1 | 0 | 15954 | 141M| 0 | 825 |1000 | 37k| 37k|1000 |5559 |7735 | 0 | 0 |-4.135000e+02 |-5.100000e+01 | 87.67%
24.48/24.57 c 24.1s| 1 | 0 | 16382 | 141M| 0 | 822 |1000 | 37k| 37k|1000 |5626 |7802 | 0 | 0 |-4.130000e+02 |-5.100000e+01 | 87.65%
24.89/24.93 c 24.5s| 1 | 0 | 16919 | 141M| 0 | 817 |1000 | 37k| 37k|1000 |5752 |7928 | 0 | 0 |-4.125000e+02 |-5.100000e+01 | 87.64%
25.29/25.38 c 25.0s| 1 | 0 | 17629 | 142M| 0 | 810 |1000 | 37k| 37k|1000 |6032 |8208 | 0 | 0 |-4.110000e+02 |-5.100000e+01 | 87.59%
25.78/25.82 c 25.4s| 1 | 0 | 18267 | 142M| 0 | 806 |1000 | 37k| 37k|1000 |6419 |8595 | 0 | 0 |-4.090000e+02 |-5.100000e+01 | 87.53%
26.29/26.37 c 25.9s| 1 | 0 | 19190 | 142M| 0 | 805 |1000 | 37k| 37k|1000 |6805 |8981 | 0 | 0 |-4.055000e+02 |-5.100000e+01 | 87.42%
26.59/26.63 c 26.2s| 1 | 0 | 19499 | 142M| 0 | 805 |1000 | 37k| 37k|1000 |6147 |9164 | 0 | 0 |-4.035000e+02 |-5.100000e+01 | 87.36%
26.99/27.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.99/27.03 c 26.6s| 1 | 0 | 20212 | 142M| 0 | 813 |1000 | 37k| 37k|1000 |6223 |9240 | 0 | 0 |-4.022500e+02 |-5.100000e+01 | 87.32%
27.49/27.58 c 27.1s| 1 | 0 | 21049 | 142M| 0 | 794 |1000 | 37k| 37k|1000 |6981 |9998 | 0 | 0 |-4.000000e+02 |-5.100000e+01 | 87.25%
27.88/27.92 c 27.5s| 1 | 0 | 21527 | 142M| 0 | 796 |1000 | 37k| 37k|1000 |7134 | 10k| 0 | 0 |-3.980000e+02 |-5.100000e+01 | 87.19%
28.38/28.40 c 28.0s| 1 | 0 | 22157 | 142M| 0 | 795 |1000 | 37k| 37k|1000 |7141 | 10k| 0 | 0 |-3.970000e+02 |-5.100000e+01 | 87.15%
28.68/28.78 c 28.3s| 1 | 0 | 22686 | 142M| 0 | 786 |1000 | 37k| 37k|1000 |7149 | 10k| 0 | 0 |-3.950000e+02 |-5.100000e+01 | 87.09%
28.98/29.08 c 28.6s| 1 | 0 | 23018 | 143M| 0 | 786 |1000 | 37k| 37k|1000 |6799 | 10k| 0 | 0 |-3.940000e+02 |-5.100000e+01 | 87.06%
29.39/29.40 c 29.0s| 1 | 0 | 23383 | 143M| 0 | 777 |1000 | 37k| 37k|1000 |6873 | 10k| 0 | 0 |-3.935000e+02 |-5.100000e+01 | 87.04%
30.08/30.14 c 29.7s| 1 | 0 | 24544 | 143M| 0 | 793 |1000 | 37k| 37k|1000 |7124 | 10k| 0 | 0 |-3.907500e+02 |-5.100000e+01 | 86.95%
30.58/30.62 c 30.2s| 1 | 0 | 25253 | 143M| 0 | 784 |1000 | 37k| 37k|1000 |7318 | 10k| 0 | 0 |-3.892500e+02 |-5.100000e+01 | 86.90%
31.08/31.15 c 30.7s| 1 | 0 | 26002 | 143M| 0 | 777 |1000 | 37k| 37k|1000 |7449 | 10k| 0 | 0 |-3.885000e+02 |-5.100000e+01 | 86.87%
31.68/31.79 c 31.4s| 1 | 0 | 27006 | 143M| 0 | 771 |1000 | 37k| 37k|1000 |7458 | 10k| 0 | 0 |-3.875000e+02 |-5.100000e+01 | 86.84%
32.28/32.32 c 31.9s| 1 | 0 | 27794 | 143M| 0 | 781 |1000 | 37k| 37k|1000 |5689 | 11k| 0 | 0 |-3.865000e+02 |-5.100000e+01 | 86.80%
32.79/32.81 c 32.4s| 1 | 0 | 28577 | 143M| 0 | 764 |1000 | 37k| 37k|1000 |5835 | 11k| 0 | 0 |-3.860000e+02 |-5.100000e+01 | 86.79%
33.38/33.46 c 33.0s| 1 | 0 | 29769 | 143M| 0 | 828 |1000 | 37k| 37k|1000 |6087 | 11k| 0 | 0 |-3.841667e+02 |-5.100000e+01 | 86.72%
34.18/34.20 c 33.7s| 1 | 0 | 30234 | 144M| 0 | 776 |1000 | 37k| 37k|1000 |8087 | 13k| 0 | 0 |-3.837500e+02 |-5.100000e+01 | 86.71%
34.48/34.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.48/34.52 c 34.1s| 1 | 0 | 30572 | 144M| 0 | 770 |1000 | 37k| 37k|1000 |8094 | 13k| 0 | 0 |-3.830000e+02 |-5.100000e+01 | 86.68%
35.58/35.63 c 35.2s| 1 | 0 | 31953 | 145M| 0 | 774 |1000 | 37k| 37k|1000 |8155 | 13k| 0 | 0 |-3.830000e+02 |-5.100000e+01 | 86.68%
36.29/36.31 c 35.8s| 1 | 0 | 32822 | 145M| 0 | 774 |1000 | 37k| 37k|1000 |7548 | 13k| 0 | 0 |-3.812500e+02 |-5.100000e+01 | 86.62%
36.68/36.78 c 36.3s| 1 | 0 | 33425 | 145M| 0 | 760 |1000 | 37k| 37k|1000 |7619 | 13k| 0 | 0 |-3.805000e+02 |-5.100000e+01 | 86.60%
37.28/37.35 c 36.9s| 1 | 0 | 34171 | 145M| 0 | 759 |1000 | 37k| 37k|1000 |7675 | 13k| 0 | 0 |-3.795000e+02 |-5.100000e+01 | 86.56%
37.97/38.09 c 37.6s| 1 | 0 | 35201 | 145M| 0 | 763 |1000 | 37k| 37k|1000 |7684 | 13k| 0 | 0 |-3.780000e+02 |-5.100000e+01 | 86.51%
38.58/38.62 c 38.1s| 1 | 0 | 36003 | 145M| 0 | 753 |1000 | 37k| 37k|1000 |7693 | 13k| 0 | 0 |-3.765000e+02 |-5.100000e+01 | 86.45%
39.18/39.24 c 38.8s| 1 | 0 | 36868 | 146M| 0 | 756 |1000 | 37k| 37k|1000 |7699 | 13k| 0 | 0 |-3.755000e+02 |-5.100000e+01 | 86.42%
39.88/39.90 c 39.4s| 1 | 0 | 37876 | 146M| 0 | 749 |1000 | 37k| 37k|1000 |6956 | 13k| 0 | 0 |-3.745000e+02 |-5.100000e+01 | 86.38%
40.28/40.34 c 39.9s| 1 | 0 | 38511 | 146M| 0 | 753 |1000 | 37k| 37k|1000 |6964 | 13k| 0 | 0 |-3.735000e+02 |-5.100000e+01 | 86.35%
40.88/40.97 c 40.5s| 1 | 0 | 39416 | 146M| 0 | 744 |1000 | 37k| 37k|1000 |6973 | 13k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
41.57/41.70 c 41.2s| 1 | 0 | 40448 | 146M| 0 | 742 |1000 | 37k| 37k|1000 |7025 | 13k| 0 | 0 |-3.730000e+02 |-5.100000e+01 | 86.33%
42.37/42.43 c 41.9s| 1 | 0 | 41636 | 146M| 0 | 733 |1000 | 37k| 37k|1000 |7129 | 13k| 0 | 0 |-3.715000e+02 |-5.100000e+01 | 86.27%
43.08/43.10 c 42.6s| 1 | 0 | 42711 | 146M| 0 | 774 |1000 | 37k| 37k|1000 |7393 | 14k| 0 | 0 |-3.709375e+02 |-5.100000e+01 | 86.25%
43.68/43.79 c 43.3s| 1 | 0 | 43826 | 146M| 0 | 739 |1000 | 37k| 37k|1000 |5731 | 14k| 0 | 0 |-3.695000e+02 |-5.100000e+01 | 86.20%
44.18/44.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.18/44.26 c 43.8s| 1 | 0 | 44700 | 146M| 0 | 792 |1000 | 37k| 37k|1000 |5741 | 14k| 0 | 0 |-3.683390e+02 |-5.100000e+01 | 86.15%
44.88/44.95 c 44.5s| 1 | 0 | 45863 | 147M| 0 | 762 |1000 | 37k| 37k|1000 |6101 | 14k| 0 | 0 |-3.664545e+02 |-5.100000e+01 | 86.08%
45.57/45.64 c 45.1s| 1 | 0 | 46972 | 147M| 0 | 723 |1000 | 37k| 37k|1000 |6199 | 14k| 0 | 0 |-3.645000e+02 |-5.100000e+01 | 86.01%
46.38/46.47 c 46.0s| 1 | 0 | 48375 | 147M| 0 | 773 |1000 | 37k| 37k|1000 |6370 | 15k| 0 | 0 |-3.632500e+02 |-5.100000e+01 | 85.96%
47.28/47.35 c 46.9s| 1 | 0 | 49802 | 148M| 0 | 708 |1000 | 37k| 37k|1000 |6887 | 15k| 0 | 0 |-3.610000e+02 |-5.100000e+01 | 85.87%
48.07/48.16 c 47.7s| 1 | 0 | 51068 | 148M| 0 | 742 |1000 | 37k| 37k|1000 |7075 | 15k| 0 | 0 |-3.587500e+02 |-5.100000e+01 | 85.78%
48.67/48.73 c 48.2s| 1 | 0 | 51946 | 148M| 0 | 742 |1000 | 37k| 37k|1000 |7232 | 16k| 0 | 0 |-3.576250e+02 |-5.100000e+01 | 85.74%
49.27/49.40 c 48.9s| 1 | 0 | 53022 | 148M| 0 | 751 |1000 | 37k| 37k|1000 |7287 | 16k| 0 | 0 |-3.564000e+02 |-5.100000e+01 | 85.69%
49.98/50.09 c 49.6s| 1 | 0 | 54091 | 148M| 0 | 772 |1000 | 37k| 37k|1000 |7389 | 16k| 0 | 0 |-3.560179e+02 |-5.100000e+01 | 85.67%
50.87/50.92 c 50.4s| 1 | 0 | 55404 | 149M| 0 | 763 |1000 | 37k| 37k|1000 |7429 | 16k| 0 | 0 |-3.548000e+02 |-5.100000e+01 | 85.63%
51.48/51.54 c 51.0s| 1 | 0 | 56359 | 149M| 0 | 769 |1000 | 37k| 37k|1000 |7439 | 16k| 0 | 0 |-3.535250e+02 |-5.100000e+01 | 85.57%
52.58/52.66 c 52.1s| 1 | 0 | 58056 | 149M| 0 | 772 |1000 | 37k| 37k|1000 |6640 | 16k| 0 | 0 |-3.526786e+02 |-5.100000e+01 | 85.54%
53.47/53.52 c 53.0s| 1 | 0 | 59753 | 149M| 0 | 802 |1000 | 37k| 37k|1000 |6702 | 16k| 0 | 0 |-3.509231e+02 |-5.100000e+01 | 85.47%
54.36/54.42 c 53.9s| 1 | 0 | 60965 | 150M| 0 | 755 |1000 | 37k| 37k|1000 |7715 | 17k| 0 | 0 |-3.495000e+02 |-5.100000e+01 | 85.41%
55.06/55.18 c 54.6s| 1 | 0 | 62016 | 150M| 0 | 735 |1000 | 37k| 37k|1000 |7725 | 17k| 0 | 0 |-3.488750e+02 |-5.100000e+01 | 85.38%
55.87/55.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.87/55.92 c 55.4s| 1 | 0 | 63012 | 151M| 0 | 755 |1000 | 37k| 37k|1000 |7734 | 17k| 0 | 0 |-3.485750e+02 |-5.100000e+01 | 85.37%
56.47/56.50 c 56.0s| 1 | 0 | 63787 | 152M| 0 | 760 |1000 | 37k| 37k|1000 |7743 | 17k| 0 | 0 |-3.476719e+02 |-5.100000e+01 | 85.33%
57.27/57.33 c 56.8s| 1 | 0 | 65199 | 153M| 0 | 773 |1000 | 37k| 37k|1000 |6771 | 17k| 0 | 0 |-3.457000e+02 |-5.100000e+01 | 85.25%
57.86/57.96 c 57.4s| 1 | 0 | 66180 | 153M| 0 | 697 |1000 | 37k| 37k|1000 |6881 | 17k| 0 | 0 |-3.445000e+02 |-5.100000e+01 | 85.20%
58.46/58.55 c 58.0s| 1 | 0 | 67077 | 154M| 0 | 690 |1000 | 37k| 37k|1000 |6889 | 17k| 0 | 0 |-3.442500e+02 |-5.100000e+01 | 85.19%
59.17/59.26 c 58.7s| 1 | 0 | 68181 | 154M| 0 | 803 |1000 | 37k| 37k|1000 |6950 | 17k| 0 | 0 |-3.437514e+02 |-5.100000e+01 | 85.16%
60.16/60.26 c 59.7s| 1 | 0 | 69559 | 154M| 0 | 755 |1000 | 37k| 37k|1000 |7081 | 17k| 0 | 0 |-3.420833e+02 |-5.100000e+01 | 85.09%
61.26/61.33 c 60.8s| 1 | 0 | 71174 | 155M| 0 | 801 |1000 | 37k| 37k|1000 |7094 | 17k| 0 | 0 |-3.411243e+02 |-5.100000e+01 | 85.05%
62.36/62.44 c 61.9s| 1 | 0 | 72850 | 156M| 0 | 767 |1000 | 37k| 37k|1000 |6339 | 17k| 0 | 0 |-3.382656e+02 |-5.100000e+01 | 84.92%
63.06/63.17 c 62.6s| 1 | 0 | 74057 | 157M| 0 | 767 |1000 | 37k| 37k|1000 |6499 | 17k| 0 | 0 |-3.374145e+02 |-5.100000e+01 | 84.89%
63.87/63.95 c 63.4s| 1 | 0 | 75240 | 158M| 0 | 764 |1000 | 37k| 37k|1000 |6572 | 18k| 0 | 0 |-3.367507e+02 |-5.100000e+01 | 84.86%
64.96/65.04 c 64.5s| 1 | 0 | 76953 | 159M| 0 | 787 |1000 | 37k| 37k|1000 |6673 | 18k| 0 | 0 |-3.351326e+02 |-5.100000e+01 | 84.78%
66.16/66.25 c 65.7s| 1 | 0 | 78908 | 161M| 0 | 771 |1000 | 37k| 37k|1000 |7103 | 18k| 0 | 0 |-3.340047e+02 |-5.100000e+01 | 84.73%
67.46/67.53 c 67.0s| 1 | 0 | 80764 | 162M| 0 | 751 |1000 | 37k| 37k|1000 |7151 | 18k| 0 | 0 |-3.323333e+02 |-5.100000e+01 | 84.65%
69.46/69.58 c 69.0s| 1 | 0 | 83089 | 166M| 0 | 783 |1000 | 37k| 37k|1000 |7167 | 18k| 0 | 0 |-3.308184e+02 |-5.100000e+01 | 84.58%
70.57/70.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.57/70.61 c 70.0s| 1 | 0 | 84376 | 166M| 0 | 755 |1000 | 37k| 37k|1000 |7243 | 18k| 0 | 0 |-3.303214e+02 |-5.100000e+01 | 84.56%
71.86/71.96 c 71.4s| 1 | 0 | 86441 | 166M| 0 | 758 |1000 | 37k| 37k|1000 |7254 | 18k| 0 | 0 |-3.291429e+02 |-5.100000e+01 | 84.51%
74.56/74.68 c 74.1s| 1 | 0 | 90063 | 169M| 0 | 752 |1000 | 37k| 37k|1000 |7409 | 19k| 0 | 0 |-3.271161e+02 |-5.100000e+01 | 84.41%
75.67/75.78 c 75.2s| 1 | 0 | 91768 | 170M| 0 | 766 |1000 | 37k| 37k|1000 |7424 | 19k| 0 | 0 |-3.260447e+02 |-5.100000e+01 | 84.36%
77.16/77.20 c 76.6s| 1 | 0 | 93918 | 171M| 0 | 783 |1000 | 37k| 37k|1000 |7521 | 19k| 0 | 0 |-3.251329e+02 |-5.100000e+01 | 84.31%
78.36/78.49 c 77.9s| 1 | 0 | 95985 | 174M| 0 | 785 |1000 | 37k| 37k|1000 |7234 | 19k| 0 | 0 |-3.239073e+02 |-5.100000e+01 | 84.25%
79.76/79.88 c 79.3s| 1 | 0 | 98068 | 175M| 0 | 765 |1000 | 37k| 37k|1000 |7322 | 19k| 0 | 0 |-3.223694e+02 |-5.100000e+01 | 84.18%
81.27/81.37 c 80.7s| 1 | 0 | 99772 | 176M| 0 | 787 |1000 | 37k| 37k|1000 |7436 | 19k| 0 | 0 |-3.213079e+02 |-5.100000e+01 | 84.13%
82.46/82.53 c 81.9s| 1 | 0 |101163 | 176M| 0 | 768 |1000 | 37k| 37k|1000 |7536 | 19k| 0 | 0 |-3.206135e+02 |-5.100000e+01 | 84.09%
83.85/83.94 c 83.3s| 1 | 0 |102973 | 176M| 0 | 785 |1000 | 37k| 37k|1000 |7588 | 19k| 0 | 0 |-3.196261e+02 |-5.100000e+01 | 84.04%
85.25/85.35 c 84.7s| 1 | 0 |104760 | 176M| 0 | 798 |1000 | 37k| 37k|1000 |7738 | 19k| 0 | 0 |-3.186073e+02 |-5.100000e+01 | 83.99%
86.35/86.42 c 85.8s| 1 | 0 |105950 | 176M| 0 | 786 |1000 | 37k| 37k|1000 |7219 | 19k| 0 | 0 |-3.183045e+02 |-5.100000e+01 | 83.98%
87.46/87.57 c 86.9s| 1 | 0 |107369 | 176M| 0 | 789 |1000 | 37k| 37k|1000 |7230 | 19k| 0 | 0 |-3.179315e+02 |-5.100000e+01 | 83.96%
88.76/88.83 c 88.2s| 1 | 0 |108976 | 176M| 0 | 804 |1000 | 37k| 37k|1000 |7263 | 19k| 0 | 0 |-3.173238e+02 |-5.100000e+01 | 83.93%
90.25/90.38 c 89.7s| 1 | 0 |111074 | 176M| 0 | 797 |1000 | 37k| 37k|1000 |7451 | 20k| 0 | 0 |-3.157811e+02 |-5.100000e+01 | 83.85%
91.85/91.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.85/91.92 c 91.2s| 1 | 0 |113220 | 176M| 0 | 819 |1000 | 37k| 37k|1000 |7571 | 20k| 0 | 0 |-3.144531e+02 |-5.100000e+01 | 83.78%
93.25/93.40 c 92.7s| 1 | 0 |115065 | 176M| 0 | 812 |1000 | 37k| 37k|1000 |7660 | 20k| 0 | 0 |-3.138069e+02 |-5.100000e+01 | 83.75%
94.95/95.01 c 94.3s| 1 | 0 |117052 | 176M| 0 | 811 |1000 | 37k| 37k|1000 |7246 | 20k| 0 | 0 |-3.129606e+02 |-5.100000e+01 | 83.70%
96.45/96.52 c 95.8s| 1 | 0 |118976 | 176M| 0 | 815 |1000 | 37k| 37k|1000 |7262 | 20k| 0 | 0 |-3.119992e+02 |-5.100000e+01 | 83.65%
98.34/98.42 c 97.7s| 1 | 0 |121443 | 176M| 0 | 832 |1000 | 37k| 37k|1000 |7367 | 20k| 0 | 0 |-3.100221e+02 |-5.100000e+01 | 83.55%
100.25/100.30 c 99.6s| 1 | 0 |123505 | 176M| 0 | 825 |1000 | 37k| 37k|1000 |7565 | 20k| 0 | 0 |-3.086176e+02 |-5.100000e+01 | 83.47%
101.85/101.97 c 101s| 1 | 0 |125174 | 176M| 0 | 833 |1000 | 37k| 37k|1000 |7632 | 20k| 0 | 0 |-3.079261e+02 |-5.100000e+01 | 83.44%
103.65/103.72 c 103s| 1 | 0 |126953 | 176M| 0 | 827 |1000 | 37k| 37k|1000 |7695 | 20k| 0 | 0 |-3.070135e+02 |-5.100000e+01 | 83.39%
105.75/105.88 c 105s| 1 | 0 |129395 | 176M| 0 | 832 |1000 | 37k| 37k|1000 |7437 | 20k| 0 | 0 |-3.059712e+02 |-5.100000e+01 | 83.33%
107.65/107.70 c 107s| 1 | 0 |131199 | 176M| 0 | 832 |1000 | 37k| 37k|1000 |7535 | 20k| 0 | 0 |-3.049606e+02 |-5.100000e+01 | 83.28%
109.55/109.61 c 109s| 1 | 0 |133186 | 176M| 0 | 832 |1000 | 37k| 37k|1000 |7670 | 21k| 0 | 0 |-3.040183e+02 |-5.100000e+01 | 83.22%
111.34/111.47 c 111s| 1 | 0 |134888 | 176M| 0 | 840 |1000 | 37k| 37k|1000 |7767 | 21k| 0 | 0 |-3.032438e+02 |-5.100000e+01 | 83.18%
113.55/113.68 c 113s| 1 | 0 |137234 | 176M| 0 | 823 |1000 | 37k| 37k|1000 |7821 | 21k| 0 | 0 |-3.021924e+02 |-5.100000e+01 | 83.12%
115.34/115.48 c 115s| 1 | 0 |139086 | 176M| 0 | 844 |1000 | 37k| 37k|1000 |7868 | 21k| 0 | 0 |-3.016941e+02 |-5.100000e+01 | 83.10%
117.24/117.35 c 117s| 1 | 0 |140559 | 176M| 0 | 832 |1000 | 37k| 37k|1000 |7559 | 21k| 0 | 0 |-3.010029e+02 |-5.100000e+01 | 83.06%
118.84/118.98 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.84/118.98 c 118s| 1 | 0 |141844 | 176M| 0 | 850 |1000 | 37k| 37k|1000 |7612 | 21k| 0 | 0 |-3.005149e+02 |-5.100000e+01 | 83.03%
121.04/121.10 c 120s| 1 | 0 |143685 | 176M| 0 | 855 |1000 | 37k| 37k|1000 |7671 | 21k| 0 | 0 |-2.997060e+02 |-5.100000e+01 | 82.98%
123.44/123.51 c 123s| 1 | 0 |145702 | 176M| 0 | 854 |1000 | 37k| 37k|1000 |7740 | 21k| 0 | 0 |-2.987590e+02 |-5.100000e+01 | 82.93%
125.73/125.81 c 125s| 1 | 0 |147602 | 176M| 0 | 845 |1000 | 37k| 37k|1000 |7826 | 21k| 0 | 0 |-2.979393e+02 |-5.100000e+01 | 82.88%
128.14/128.21 c 127s| 1 | 0 |149467 | 176M| 0 | 854 |1000 | 37k| 37k|1000 |7912 | 21k| 0 | 0 |-2.971377e+02 |-5.100000e+01 | 82.84%
130.84/130.94 c 130s| 1 | 0 |151662 | 176M| 0 | 834 |1000 | 37k| 37k|1000 |7639 | 21k| 0 | 0 |-2.960557e+02 |-5.100000e+01 | 82.77%
132.84/132.94 c 132s| 1 | 0 |153317 | 176M| 0 | 862 |1000 | 37k| 37k|1000 |7682 | 21k| 0 | 0 |-2.954000e+02 |-5.100000e+01 | 82.74%
135.83/135.96 c 135s| 1 | 0 |155617 | 176M| 0 | 856 |1000 | 37k| 37k|1000 |7780 | 21k| 0 | 0 |-2.947438e+02 |-5.100000e+01 | 82.70%
138.14/138.29 c 137s| 1 | 0 |157177 | 176M| 0 | 865 |1000 | 37k| 37k|1000 |7897 | 21k| 0 | 0 |-2.940710e+02 |-5.100000e+01 | 82.66%
140.74/140.85 c 140s| 1 | 0 |158906 | 176M| 0 | 868 |1000 | 37k| 37k|1000 |7955 | 22k| 0 | 0 |-2.934838e+02 |-5.100000e+01 | 82.62%
143.64/143.74 c 143s| 1 | 0 |161173 | 176M| 0 | 864 |1000 | 37k| 37k|1000 |8026 | 22k| 0 | 0 |-2.924810e+02 |-5.100000e+01 | 82.56%
146.43/146.58 c 146s| 1 | 0 |163388 | 176M| 0 | 879 |1000 | 37k| 37k|1000 |7872 | 22k| 0 | 0 |-2.912039e+02 |-5.100000e+01 | 82.49%
150.03/150.12 c 149s| 1 | 0 |166033 | 176M| 0 | 866 |1000 | 37k| 37k|1000 |7981 | 22k| 0 | 0 |-2.899442e+02 |-5.100000e+01 | 82.41%
153.03/153.18 c 152s| 1 | 0 |168264 | 176M| 0 | 855 |1000 | 37k| 37k|1000 |8046 | 22k| 0 | 0 |-2.891340e+02 |-5.100000e+01 | 82.36%
156.23/156.31 c 155s| 1 | 0 |170608 | 176M| 0 | 864 |1000 | 37k| 37k|1000 |8100 | 22k| 0 | 0 |-2.879957e+02 |-5.100000e+01 | 82.29%
159.53/159.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.53/159.63 c 159s| 1 | 0 |173052 | 176M| 0 | 862 |1000 | 37k| 37k|1000 |8193 | 22k| 0 | 0 |-2.866348e+02 |-5.100000e+01 | 82.21%
162.74/162.84 c 162s| 1 | 0 |175032 | 176M| 0 | 868 |1000 | 37k| 37k|1000 |8296 | 22k| 0 | 0 |-2.857828e+02 |-5.100000e+01 | 82.15%
165.94/166.06 c 165s| 1 | 0 |176917 | 176M| 0 | 864 |1000 | 37k| 37k|1000 |8070 | 22k| 0 | 0 |-2.851500e+02 |-5.100000e+01 | 82.11%
169.14/169.23 c 168s| 1 | 0 |178504 | 176M| 0 | 874 |1000 | 37k| 37k|1000 |8130 | 22k| 0 | 0 |-2.843804e+02 |-5.100000e+01 | 82.07%
172.83/172.98 c 172s| 1 | 0 |180675 | 176M| 0 | 888 |1000 | 37k| 37k|1000 |8175 | 22k| 0 | 0 |-2.828189e+02 |-5.100000e+01 | 81.97%
176.43/176.52 c 176s| 1 | 0 |182044 | 176M| 0 | 876 |1000 | 37k| 37k|1000 |8409 | 22k| 0 | 0 |-2.824126e+02 |-5.100000e+01 | 81.94%
180.13/180.27 c 179s| 1 | 0 |184085 | 176M| 0 | 877 |1000 | 37k| 37k|1000 |8456 | 23k| 0 | 0 |-2.814950e+02 |-5.100000e+01 | 81.88%
184.53/184.61 c 184s| 1 | 0 |186896 | 175M| 0 | 876 |1000 | 37k| 37k|1000 |8513 | 23k| 0 | 0 |-2.804209e+02 |-5.100000e+01 | 81.81%
188.43/188.55 c 188s| 1 | 0 |188992 | 175M| 0 | 891 |1000 | 37k| 37k|1000 |8317 | 23k| 0 | 0 |-2.794143e+02 |-5.100000e+01 | 81.75%
192.73/192.80 c 192s| 1 | 0 |191397 | 175M| 0 | 893 |1000 | 37k| 37k|1000 |8371 | 23k| 0 | 0 |-2.783707e+02 |-5.100000e+01 | 81.68%
196.22/196.35 c 195s| 1 | 0 |192891 | 175M| 0 | 892 |1000 | 37k| 37k|1000 |8412 | 23k| 0 | 0 |-2.779760e+02 |-5.100000e+01 | 81.65%
200.42/200.58 c 200s| 1 | 0 |195121 | 175M| 0 | 886 |1000 | 37k| 37k|1000 |8449 | 23k| 0 | 0 |-2.772698e+02 |-5.100000e+01 | 81.61%
205.02/205.19 c 204s| 1 | 0 |197784 | 174M| 0 | 874 |1000 | 37k| 37k|1000 |8545 | 23k| 0 | 0 |-2.757835e+02 |-5.100000e+01 | 81.51%
209.03/209.13 c 208s| 1 | 0 |199650 | 174M| 0 | 880 |1000 | 37k| 37k|1000 |8601 | 23k| 0 | 0 |-2.753379e+02 |-5.100000e+01 | 81.48%
214.02/214.19 c 213s| 1 | 0 |202559 | 174M| 0 | 878 |1000 | 37k| 37k|1000 |8426 | 23k| 0 | 0 |-2.742127e+02 |-5.100000e+01 | 81.40%
218.52/218.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.52/218.60 c 218s| 1 | 0 |204964 | 174M| 0 | 884 |1000 | 37k| 37k|1000 |8496 | 23k| 0 | 0 |-2.732610e+02 |-5.100000e+01 | 81.34%
222.73/222.84 c 222s| 1 | 0 |206931 | 174M| 0 | 895 |1000 | 37k| 37k|1000 |8556 | 23k| 0 | 0 |-2.724057e+02 |-5.100000e+01 | 81.28%
227.42/227.51 c 226s| 1 | 0 |209284 | 174M| 0 | 894 |1000 | 37k| 37k|1000 |8610 | 23k| 0 | 0 |-2.714762e+02 |-5.100000e+01 | 81.21%
231.52/231.63 c 231s| 1 | 0 |211073 | 174M| 0 | 887 |1000 | 37k| 37k|1000 |8676 | 23k| 0 | 0 |-2.709088e+02 |-5.100000e+01 | 81.17%
235.72/235.86 c 235s| 1 | 0 |212954 | 174M| 0 | 891 |1000 | 37k| 37k|1000 |8695 | 23k| 0 | 0 |-2.703786e+02 |-5.100000e+01 | 81.14%
240.92/241.04 c 240s| 1 | 0 |216085 | 174M| 0 | 885 |1000 | 37k| 37k|1000 |8538 | 23k| 0 | 0 |-2.689347e+02 |-5.100000e+01 | 81.04%
245.13/245.22 c 244s| 1 | 0 |218062 | 174M| 0 | 888 |1000 | 37k| 37k|1000 |8603 | 23k| 0 | 0 |-2.682810e+02 |-5.100000e+01 | 80.99%
249.32/249.44 c 248s| 1 | 0 |219967 | 173M| 0 | 898 |1000 | 37k| 37k|1000 |8648 | 23k| 0 | 0 |-2.676519e+02 |-5.100000e+01 | 80.95%
253.01/253.14 c 252s| 1 | 0 |221192 | 173M| 0 | 898 |1000 | 37k| 37k|1000 |8688 | 23k| 0 | 0 |-2.673079e+02 |-5.100000e+01 | 80.92%
257.32/257.41 c 256s| 1 | 0 |222912 | 173M| 0 | 898 |1000 | 37k| 37k|1000 |8791 | 24k| 0 | 0 |-2.666959e+02 |-5.100000e+01 | 80.88%
261.81/261.90 c 261s| 1 | 0 |224920 | 173M| 0 | 896 |1000 | 37k| 37k|1000 |8851 | 24k| 0 | 0 |-2.660352e+02 |-5.100000e+01 | 80.83%
266.91/267.03 c 266s| 1 | 0 |227400 | 173M| 0 | 905 |1000 | 37k| 37k|1000 |8675 | 24k| 0 | 0 |-2.654148e+02 |-5.100000e+01 | 80.78%
271.52/271.68 c 270s| 1 | 0 |229440 | 172M| 0 | 896 |1000 | 37k| 37k|1000 |8719 | 24k| 0 | 0 |-2.647478e+02 |-5.100000e+01 | 80.74%
275.71/275.82 c 275s| 1 | 0 |230890 | 172M| 0 | 892 |1000 | 37k| 37k|1000 |8799 | 24k| 0 | 0 |-2.644311e+02 |-5.100000e+01 | 80.71%
280.11/280.23 c 279s| 1 | 0 |232734 | 172M| 0 | 899 |1000 | 37k| 37k|1000 |8823 | 24k| 0 | 0 |-2.639527e+02 |-5.100000e+01 | 80.68%
284.31/284.40 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.31/284.40 c 283s| 1 | 0 |234233 | 172M| 0 | 908 |1000 | 37k| 37k|1000 |8861 | 24k| 0 | 0 |-2.636232e+02 |-5.100000e+01 | 80.65%
288.81/288.95 c 288s| 1 | 0 |236053 | 172M| 0 | 909 |1000 | 37k| 37k|1000 |8923 | 24k| 0 | 0 |-2.630531e+02 |-5.100000e+01 | 80.61%
293.52/293.62 c 292s| 1 | 0 |237893 | 172M| 0 | 906 |1000 | 37k| 37k|1000 |8765 | 24k| 0 | 0 |-2.624491e+02 |-5.100000e+01 | 80.57%
297.71/297.80 c 297s| 1 | 0 |239306 | 172M| 0 | 912 |1000 | 37k| 37k|1000 |8813 | 24k| 0 | 0 |-2.621108e+02 |-5.100000e+01 | 80.54%
302.11/302.29 c 301s| 1 | 0 |240986 | 172M| 0 | 912 |1000 | 37k| 37k|1000 |8848 | 24k| 0 | 0 |-2.616957e+02 |-5.100000e+01 | 80.51%
306.41/306.57 c 305s| 1 | 0 |242361 | 171M| 0 | 917 |1000 | 37k| 37k|1000 |8907 | 24k| 0 | 0 |-2.613634e+02 |-5.100000e+01 | 80.49%
311.71/311.87 c 311s| 1 | 0 |244717 | 171M| 0 | 912 |1000 | 37k| 37k|1000 |8935 | 24k| 0 | 0 |-2.606364e+02 |-5.100000e+01 | 80.43%
315.90/316.02 c 315s| 1 | 0 |245866 | 171M| 0 | 924 |1000 | 37k| 37k|1000 |8979 | 24k| 0 | 0 |-2.603683e+02 |-5.100000e+01 | 80.41%
319.61/319.72 c 318s| 1 | 0 |246442 | 170M| 0 | 926 |1000 | 37k| 37k|1000 |8795 | 24k| 0 | 0 |-2.602688e+02 |-5.100000e+01 | 80.40%
324.01/324.10 c 323s| 1 | 0 |247826 | 170M| 0 | 926 |1000 | 37k| 37k|1000 |8807 | 24k| 0 | 0 |-2.598780e+02 |-5.100000e+01 | 80.38%
327.91/328.01 c 327s| 1 | 0 |248775 | 170M| 0 | 927 |1000 | 37k| 37k|1000 |8862 | 24k| 0 | 0 |-2.596809e+02 |-5.100000e+01 | 80.36%
332.91/333.00 c 332s| 1 | 0 |250699 | 170M| 0 | 928 |1000 | 37k| 37k|1000 |8886 | 24k| 0 | 0 |-2.590247e+02 |-5.100000e+01 | 80.31%
337.51/337.67 c 336s| 1 | 0 |252402 | 169M| 0 | 927 |1000 | 37k| 37k|1000 |8935 | 24k| 0 | 0 |-2.586141e+02 |-5.100000e+01 | 80.28%
342.10/342.27 c 341s| 1 | 0 |253942 | 168M| 0 | 925 |1000 | 37k| 37k|1000 |8985 | 24k| 0 | 0 |-2.582182e+02 |-5.100000e+01 | 80.25%
347.20/347.36 c 346s| 1 | 0 |255896 | 167M| 0 | 925 |1000 | 37k| 37k|1000 |8878 | 25k| 0 | 0 |-2.576900e+02 |-5.100000e+01 | 80.21%
351.30/351.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.30/351.41 c 350s| 1 | 0 |256892 | 167M| 0 | 930 |1000 | 37k| 37k|1000 |8915 | 25k| 0 | 0 |-2.574711e+02 |-5.100000e+01 | 80.19%
355.61/355.75 c 354s| 1 | 0 |258173 | 166M| 0 | 934 |1000 | 37k| 37k|1000 |8951 | 25k| 0 | 0 |-2.570950e+02 |-5.100000e+01 | 80.16%
359.80/359.93 c 358s| 1 | 0 |259279 | 166M| 0 | 936 |1000 | 37k| 37k|1000 |8988 | 25k| 0 | 0 |-2.568675e+02 |-5.100000e+01 | 80.15%
364.10/364.26 c 363s| 1 | 0 |260582 | 166M| 0 | 936 |1000 | 37k| 37k|1000 |9011 | 25k| 0 | 0 |-2.565420e+02 |-5.100000e+01 | 80.12%
368.31/368.49 c 367s| 1 | 0 |261583 | 165M| 0 | 940 |1000 | 37k| 37k|1000 |9037 | 25k| 0 | 0 |-2.563149e+02 |-5.100000e+01 | 80.10%
373.20/373.36 c 372s| 1 | 0 |263300 | 163M| 0 | 935 |1000 | 37k| 37k|1000 |8946 | 25k| 0 | 0 |-2.558040e+02 |-5.100000e+01 | 80.06%
377.70/377.80 c 376s| 1 | 0 |264645 | 163M| 0 | 936 |1000 | 37k| 37k|1000 |8976 | 25k| 0 | 0 |-2.554183e+02 |-5.100000e+01 | 80.03%
382.00/382.16 c 381s| 1 | 0 |265866 | 162M| 0 | 941 |1000 | 37k| 37k|1000 |9003 | 25k| 0 | 0 |-2.551730e+02 |-5.100000e+01 | 80.01%
386.30/386.45 c 385s| 1 | 0 |266915 | 161M| 0 | 938 |1000 | 37k| 37k|1000 |9038 | 25k| 0 | 0 |-2.548718e+02 |-5.100000e+01 | 79.99%
391.10/391.24 c 390s| 1 | 0 |268567 | 160M| 0 | 944 |1000 | 37k| 37k|1000 |9072 | 25k| 0 | 0 |-2.543850e+02 |-5.100000e+01 | 79.95%
395.70/395.83 c 394s| 1 | 0 |269820 | 158M| 0 | 941 |1000 | 37k| 37k|1000 |9103 | 25k| 0 | 0 |-2.541094e+02 |-5.100000e+01 | 79.93%
399.80/399.99 c 398s| 1 | 0 |270628 | 155M| 0 | 941 |1000 | 37k| 37k|1000 |9007 | 25k| 0 | 0 |-2.539226e+02 |-5.100000e+01 | 79.92%
403.89/404.04 c 402s| 1 | 0 |271507 | 155M| 0 | 952 |1000 | 37k| 37k|1000 |9028 | 25k| 0 | 0 |-2.537014e+02 |-5.100000e+01 | 79.90%
409.00/409.14 c 408s| 1 | 0 |273248 | 154M| 0 | 947 |1000 | 37k| 37k|1000 |9065 | 25k| 0 | 0 |-2.532957e+02 |-5.100000e+01 | 79.87%
413.40/413.51 c 412s| 1 | 0 |274237 | 151M| 0 | 952 |1000 | 37k| 37k|1000 |9098 | 25k| 0 | 0 |-2.530365e+02 |-5.100000e+01 | 79.84%
417.39/417.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.39/417.59 c 416s| 1 | 0 |274936 | 151M| 0 | 955 |1000 | 37k| 37k|1000 |9121 | 25k| 0 | 0 |-2.529140e+02 |-5.100000e+01 | 79.84%
422.09/422.28 c 421s| 1 | 0 |276144 | 149M| 0 | 947 |1000 | 37k| 37k|1000 |9141 | 25k| 0 | 0 |-2.526625e+02 |-5.100000e+01 | 79.81%
426.49/426.66 c 425s| 1 | 0 |277052 | 147M| 0 | 955 |1000 | 37k| 37k|1000 |9066 | 25k| 0 | 0 |-2.524885e+02 |-5.100000e+01 | 79.80%
430.89/431.02 c 429s| 1 | 0 |278051 | 146M| 0 | 950 |1000 | 37k| 37k|1000 |9086 | 25k| 0 | 0 |-2.522981e+02 |-5.100000e+01 | 79.79%
435.19/435.37 c 434s| 1 | 0 |279084 | 145M| 0 | 957 |1000 | 37k| 37k|1000 |9114 | 25k| 0 | 0 |-2.520858e+02 |-5.100000e+01 | 79.77%
439.29/439.43 c 438s| 1 | 0 |279854 | 145M| 0 | 961 |1000 | 37k| 37k|1000 |9137 | 25k| 0 | 0 |-2.519424e+02 |-5.100000e+01 | 79.76%
443.49/443.68 c 442s| 1 | 0 |280740 | 145M| 0 | 966 |1000 | 37k| 37k|1000 |9154 | 25k| 0 | 0 |-2.517998e+02 |-5.100000e+01 | 79.75%
447.89/448.06 c 446s| 1 | 0 |281567 | 145M| 0 | 965 |1000 | 37k| 37k|1000 |9169 | 25k| 0 | 0 |-2.516239e+02 |-5.100000e+01 | 79.73%
452.49/452.61 c 451s| 1 | 0 |282564 | 144M| 0 | 965 |1000 | 37k| 37k|1000 |9094 | 25k| 0 | 0 |-2.514081e+02 |-5.100000e+01 | 79.71%
456.29/456.48 c 455s| 1 | 0 |283137 | 144M| 0 | 965 |1000 | 37k| 37k|1000 |9106 | 25k| 0 | 0 |-2.513013e+02 |-5.100000e+01 | 79.71%
459.99/460.13 c 458s| 1 | 0 |283474 | 144M| 0 | 963 |1000 | 37k| 37k|1000 |9118 | 25k| 0 | 0 |-2.512415e+02 |-5.100000e+01 | 79.70%
464.18/464.30 c 463s| 1 | 0 |284264 | 144M| 0 | 963 |1000 | 37k| 37k|1000 |9132 | 25k| 0 | 0 |-2.510874e+02 |-5.100000e+01 | 79.69%
468.39/468.56 c 467s| 1 | 0 |285076 | 144M| 0 | 963 |1000 | 37k| 37k|1000 |9159 | 25k| 0 | 0 |-2.509090e+02 |-5.100000e+01 | 79.67%
472.79/472.94 c 471s| 1 | 0 |286037 | 144M| 0 | 965 |1000 | 37k| 37k|1000 |9190 | 25k| 0 | 0 |-2.507577e+02 |-5.100000e+01 | 79.66%
476.99/477.10 c 475s| 1 | 0 |286654 | 144M| 0 | 968 |1000 | 37k| 37k|1000 |9122 | 25k| 0 | 0 |-2.506623e+02 |-5.100000e+01 | 79.65%
481.18/481.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.18/481.37 c 480s| 1 | 0 |287449 | 144M| 0 | 971 |1000 | 37k| 37k|1000 |9135 | 25k| 0 | 0 |-2.505191e+02 |-5.100000e+01 | 79.64%
485.39/485.57 c 484s| 1 | 0 |288135 | 144M| 0 | 974 |1000 | 37k| 37k|1000 |9151 | 25k| 0 | 0 |-2.503587e+02 |-5.100000e+01 | 79.63%
489.59/489.76 c 488s| 1 | 0 |288700 | 144M| 0 | 977 |1000 | 37k| 37k|1000 |9174 | 25k| 0 | 0 |-2.502559e+02 |-5.100000e+01 | 79.62%
493.79/493.93 c 492s| 1 | 0 |289270 | 144M| 0 | 970 |1000 | 37k| 37k|1000 |9187 | 25k| 0 | 0 |-2.501554e+02 |-5.100000e+01 | 79.61%
498.58/498.71 c 497s| 1 | 0 |290365 | 144M| 0 | 979 |1000 | 37k| 37k|1000 |9200 | 25k| 0 | 0 |-2.498696e+02 |-5.100000e+01 | 79.59%
502.59/502.79 c 501s| 1 | 0 |290876 | 144M| 0 | 985 |1000 | 37k| 37k|1000 |9149 | 25k| 0 | 0 |-2.497701e+02 |-5.100000e+01 | 79.58%
506.68/506.89 c 505s| 1 | 0 |291446 | 144M| 0 | 980 |1000 | 37k| 37k|1000 |9159 | 25k| 0 | 0 |-2.496260e+02 |-5.100000e+01 | 79.57%
510.87/511.05 c 509s| 1 | 0 |292054 | 144M| 0 | 974 |1000 | 37k| 37k|1000 |9185 | 25k| 0 | 0 |-2.495349e+02 |-5.100000e+01 | 79.56%
515.18/515.34 c 513s| 1 | 0 |292739 | 144M| 0 | 985 |1000 | 37k| 37k|1000 |9207 | 25k| 0 | 0 |-2.493400e+02 |-5.100000e+01 | 79.55%
519.68/519.82 c 518s| 1 | 0 |293560 | 144M| 0 | 984 |1000 | 37k| 37k|1000 |9222 | 25k| 0 | 0 |-2.491603e+02 |-5.100000e+01 | 79.53%
523.88/524.07 c 522s| 1 | 0 |294117 | 144M| 0 | 978 |1000 | 37k| 37k|1000 |9233 | 25k| 0 | 0 |-2.490300e+02 |-5.100000e+01 | 79.52%
528.47/528.68 c 527s| 1 | 0 |294958 | 144M| 0 | 983 |1000 | 37k| 37k|1000 |9192 | 25k| 0 | 0 |-2.487751e+02 |-5.100000e+01 | 79.50%
533.28/533.42 c 531s| 1 | 0 |295962 | 144M| 0 | 977 |1000 | 37k| 37k|1000 |9211 | 25k| 0 | 0 |-2.484873e+02 |-5.100000e+01 | 79.48%
537.47/537.62 c 536s| 1 | 0 |296489 | 144M| 0 | 981 |1000 | 37k| 37k|1000 |9232 | 25k| 0 | 0 |-2.483784e+02 |-5.100000e+01 | 79.47%
542.08/542.27 c 540s| 1 | 0 |297357 | 144M| 0 | 983 |1000 | 37k| 37k|1000 |9245 | 26k| 0 | 0 |-2.481722e+02 |-5.100000e+01 | 79.45%
546.37/546.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.37/546.51 c 545s| 1 | 0 |297914 | 144M| 0 | 982 |1000 | 37k| 37k|1000 |9266 | 26k| 0 | 0 |-2.480189e+02 |-5.100000e+01 | 79.44%
550.37/550.52 c 549s| 1 | 0 |298340 | 143M| 0 | 986 |1000 | 37k| 37k|1000 |9282 | 26k| 0 | 0 |-2.479375e+02 |-5.100000e+01 | 79.43%
554.47/554.68 c 553s| 1 | 0 |298763 | 143M| 0 | 988 |1000 | 37k| 37k|1000 |9242 | 26k| 0 | 0 |-2.478721e+02 |-5.100000e+01 | 79.42%
558.47/558.62 c 557s| 1 | 0 |299158 | 143M| 0 | 986 |1000 | 37k| 37k|1000 |9249 | 26k| 0 | 0 |-2.478010e+02 |-5.100000e+01 | 79.42%
562.67/562.81 c 561s| 1 | 0 |299758 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9262 | 26k| 0 | 0 |-2.476905e+02 |-5.100000e+01 | 79.41%
566.97/567.10 c 565s| 1 | 0 |300396 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9276 | 26k| 0 | 0 |-2.475325e+02 |-5.100000e+01 | 79.40%
570.97/571.15 c 569s| 1 | 0 |300781 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9293 | 26k| 0 | 0 |-2.474579e+02 |-5.100000e+01 | 79.39%
575.57/575.73 c 574s| 1 | 0 |301540 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9307 | 26k| 0 | 0 |-2.473244e+02 |-5.100000e+01 | 79.38%
579.67/579.80 c 578s| 1 | 0 |301856 | 143M| 0 | 992 |1000 | 37k| 37k|1000 |9253 | 26k| 0 | 0 |-2.472690e+02 |-5.100000e+01 | 79.37%
583.98/584.13 c 582s| 1 | 0 |302450 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9264 | 26k| 0 | 0 |-2.471372e+02 |-5.100000e+01 | 79.36%
588.27/588.45 c 586s| 1 | 0 |302998 | 143M| 0 | 991 |1000 | 37k| 37k|1000 |9279 | 26k| 0 | 0 |-2.470307e+02 |-5.100000e+01 | 79.35%
592.46/592.64 c 591s| 1 | 0 |303437 | 143M| 0 | 993 |1000 | 37k| 37k|1000 |9302 | 26k| 0 | 0 |-2.469474e+02 |-5.100000e+01 | 79.35%
596.57/596.70 c 595s| 1 | 0 |303777 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9312 | 26k| 0 | 0 |-2.468691e+02 |-5.100000e+01 | 79.34%
600.76/600.92 c 599s| 1 | 0 |304211 | 143M| 0 | 992 |1000 | 37k| 37k|1000 |9322 | 26k| 0 | 0 |-2.467849e+02 |-5.100000e+01 | 79.33%
605.16/605.31 c 603s| 1 | 0 |304772 | 143M| 0 | 992 |1000 | 37k| 37k|1000 |9292 | 26k| 0 | 0 |-2.466382e+02 |-5.100000e+01 | 79.32%
609.36/609.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.36/609.58 c 607s| 1 | 0 |305398 | 143M| 0 | 993 |1000 | 37k| 37k|1000 |9302 | 26k| 0 | 0 |-2.464902e+02 |-5.100000e+01 | 79.31%
613.97/614.10 c 612s| 1 | 0 |306138 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9313 | 26k| 0 | 0 |-2.463055e+02 |-5.100000e+01 | 79.29%
617.96/618.12 c 616s| 1 | 0 |306479 | 143M| 0 | 994 |1000 | 37k| 37k|1000 |9330 | 26k| 0 | 0 |-2.462459e+02 |-5.100000e+01 | 79.29%
622.06/622.20 c 620s| 1 | 0 |306761 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9347 | 26k| 0 | 0 |-2.462082e+02 |-5.100000e+01 | 79.29%
626.16/626.33 c 624s| 1 | 0 |307116 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9355 | 26k| 0 | 0 |-2.461470e+02 |-5.100000e+01 | 79.28%
630.36/630.55 c 628s| 1 | 0 |307552 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9313 | 26k| 0 | 0 |-2.460499e+02 |-5.100000e+01 | 79.27%
634.96/635.11 c 633s| 1 | 0 |308336 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9323 | 26k| 0 | 0 |-2.457698e+02 |-5.100000e+01 | 79.25%
639.36/639.50 c 637s| 1 | 0 |308858 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9338 | 26k| 0 | 0 |-2.456559e+02 |-5.100000e+01 | 79.24%
643.86/644.03 c 642s| 1 | 0 |309468 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9350 | 26k| 0 | 0 |-2.454885e+02 |-5.100000e+01 | 79.23%
648.06/648.29 c 646s| 1 | 0 |309934 | 143M| 0 | 997 |1000 | 37k| 37k|1000 |9361 | 26k| 0 | 0 |-2.453805e+02 |-5.100000e+01 | 79.22%
652.26/652.48 c 650s| 1 | 0 |310348 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9374 | 26k| 0 | 0 |-2.452967e+02 |-5.100000e+01 | 79.21%
656.75/656.98 c 655s| 1 | 0 |310913 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9348 | 26k| 0 | 0 |-2.451604e+02 |-5.100000e+01 | 79.20%
660.75/660.92 c 659s| 1 | 0 |311229 | 143M| 0 | 996 |1000 | 37k| 37k|1000 |9365 | 26k| 0 | 0 |-2.451048e+02 |-5.100000e+01 | 79.19%
664.96/665.15 c 663s| 1 | 0 |311689 | 143M| 0 | 995 |1000 | 37k| 37k|1000 |9377 | 26k| 0 | 0 |-2.450282e+02 |-5.100000e+01 | 79.19%
669.15/669.37 c 667s| 1 | 0 |312077 | 143M| 0 | 997 |1000 | 37k| 37k|1000 |9392 | 26k| 0 | 0 |-2.449657e+02 |-5.100000e+01 | 79.18%
673.45/673.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
673.45/673.66 c 671s| 1 | 0 |312490 | 143M| 0 | 997 |1000 | 37k| 37k|1000 |9405 | 26k| 0 | 0 |-2.448936e+02 |-5.100000e+01 | 79.17%
677.75/677.90 c 676s| 1 | 0 |312912 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9417 | 26k| 0 | 0 |-2.448449e+02 |-5.100000e+01 | 79.17%
681.95/682.16 c 680s| 1 | 0 |313284 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9374 | 26k| 0 | 0 |-2.447823e+02 |-5.100000e+01 | 79.17%
686.15/686.36 c 684s| 1 | 0 |313794 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9387 | 26k| 0 | 0 |-2.446869e+02 |-5.100000e+01 | 79.16%
690.56/690.71 c 688s| 1 | 0 |314297 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9398 | 26k| 0 | 0 |-2.445783e+02 |-5.100000e+01 | 79.15%
694.96/695.18 c 693s| 1 | 0 |314825 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9415 | 26k| 0 | 0 |-2.444640e+02 |-5.100000e+01 | 79.14%
699.36/699.50 c 697s| 1 | 0 |315238 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9423 | 26k| 0 | 0 |-2.443996e+02 |-5.100000e+01 | 79.13%
703.55/703.78 c 701s| 1 | 0 |315694 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9435 | 26k| 0 | 0 |-2.443074e+02 |-5.100000e+01 | 79.12%
707.75/707.98 c 706s| 1 | 0 |316035 | 143M| 0 | 996 |1000 | 37k| 37k|1000 |9403 | 26k| 0 | 0 |-2.442441e+02 |-5.100000e+01 | 79.12%
711.95/712.17 c 710s| 1 | 0 |316401 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9412 | 26k| 0 | 0 |-2.441546e+02 |-5.100000e+01 | 79.11%
716.25/716.49 c 714s| 1 | 0 |316831 | 143M| 0 | 997 |1000 | 37k| 37k|1000 |9427 | 26k| 0 | 0 |-2.440419e+02 |-5.100000e+01 | 79.10%
720.55/720.70 c 718s| 1 | 0 |317176 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9438 | 26k| 0 | 0 |-2.439876e+02 |-5.100000e+01 | 79.10%
724.95/725.14 c 723s| 1 | 0 |317692 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9450 | 26k| 0 | 0 |-2.438350e+02 |-5.100000e+01 | 79.08%
729.45/729.61 c 727s| 1 | 0 |318216 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9465 | 26k| 0 | 0 |-2.437421e+02 |-5.100000e+01 | 79.08%
733.55/733.73 c 731s| 1 | 0 |318422 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9431 | 26k| 0 | 0 |-2.437107e+02 |-5.100000e+01 | 79.07%
737.54/737.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.54/737.73 c 735s| 1 | 0 |318689 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9441 | 26k| 0 | 0 |-2.436747e+02 |-5.100000e+01 | 79.07%
741.84/742.04 c 740s| 1 | 0 |319049 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9453 | 26k| 0 | 0 |-2.435985e+02 |-5.100000e+01 | 79.06%
746.34/746.56 c 744s| 1 | 0 |319615 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9460 | 26k| 0 | 0 |-2.434661e+02 |-5.100000e+01 | 79.05%
750.54/750.76 c 748s| 1 | 0 |319941 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9475 | 26k| 0 | 0 |-2.434148e+02 |-5.100000e+01 | 79.05%
754.64/754.85 c 752s| 1 | 0 |320173 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9483 | 26k| 0 | 0 |-2.433950e+02 |-5.100000e+01 | 79.05%
759.04/759.24 c 757s| 1 | 0 |320594 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9446 | 26k| 0 | 0 |-2.433099e+02 |-5.100000e+01 | 79.04%
763.15/763.35 c 761s| 1 | 0 |320890 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9461 | 26k| 0 | 0 |-2.432663e+02 |-5.100000e+01 | 79.04%
767.44/767.63 c 765s| 1 | 0 |321278 | 143M| 0 | 997 |1000 | 37k| 37k|1000 |9476 | 26k| 0 | 0 |-2.432132e+02 |-5.100000e+01 | 79.03%
771.74/771.99 c 769s| 1 | 0 |321734 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9489 | 26k| 0 | 0 |-2.431420e+02 |-5.100000e+01 | 79.02%
776.35/776.56 c 774s| 1 | 0 |322251 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9508 | 26k| 0 | 0 |-2.430303e+02 |-5.100000e+01 | 79.01%
780.64/780.81 c 778s| 1 | 0 |322742 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9522 | 26k| 0 | 0 |-2.429177e+02 |-5.100000e+01 | 79.01%
785.03/785.22 c 783s| 1 | 0 |323263 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9487 | 26k| 0 | 0 |-2.428144e+02 |-5.100000e+01 | 79.00%
789.33/789.51 c 787s| 1 | 0 |323675 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9498 | 26k| 0 | 0 |-2.427634e+02 |-5.100000e+01 | 78.99%
793.63/793.80 c 791s| 1 | 0 |323986 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9506 | 26k| 0 | 0 |-2.427043e+02 |-5.100000e+01 | 78.99%
797.84/798.05 c 795s| 1 | 0 |324358 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9515 | 26k| 0 | 0 |-2.426439e+02 |-5.100000e+01 | 78.98%
802.23/802.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.23/802.47 c 800s| 1 | 0 |324846 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9528 | 26k| 0 | 0 |-2.425533e+02 |-5.100000e+01 | 78.97%
806.54/806.79 c 804s| 1 | 0 |325275 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9538 | 26k| 0 | 0 |-2.424985e+02 |-5.100000e+01 | 78.97%
810.74/810.97 c 808s| 1 | 0 |325555 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9502 | 26k| 0 | 0 |-2.424718e+02 |-5.100000e+01 | 78.97%
814.84/815.06 c 812s| 1 | 0 |325866 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9515 | 26k| 0 | 0 |-2.424343e+02 |-5.100000e+01 | 78.96%
819.13/819.40 c 817s| 1 | 0 |326363 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9527 | 26k| 0 | 0 |-2.423399e+02 |-5.100000e+01 | 78.96%
823.33/823.57 c 821s| 1 | 0 |326733 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9540 | 26k| 0 | 0 |-2.422770e+02 |-5.100000e+01 | 78.95%
827.63/827.80 c 825s| 1 | 0 |327056 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9551 | 26k| 0 | 0 |-2.422367e+02 |-5.100000e+01 | 78.95%
831.83/832.05 c 829s| 1 | 0 |327408 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9562 | 26k| 0 | 0 |-2.421928e+02 |-5.100000e+01 | 78.94%
836.23/836.45 c 834s| 1 | 0 |327773 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9512 | 26k| 0 | 0 |-2.421526e+02 |-5.100000e+01 | 78.94%
840.43/840.62 c 838s| 1 | 0 |328098 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9522 | 26k| 0 | 0 |-2.421131e+02 |-5.100000e+01 | 78.94%
844.83/845.05 c 842s| 1 | 0 |328608 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9536 | 26k| 0 | 0 |-2.420411e+02 |-5.100000e+01 | 78.93%
849.23/849.47 c 847s| 1 | 0 |329091 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9550 | 26k| 0 | 0 |-2.419530e+02 |-5.100000e+01 | 78.92%
853.43/853.69 c 851s| 1 | 0 |329423 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9563 | 26k| 0 | 0 |-2.418995e+02 |-5.100000e+01 | 78.92%
857.63/857.90 c 855s| 1 | 0 |329808 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9571 | 26k| 0 | 0 |-2.418486e+02 |-5.100000e+01 | 78.91%
861.93/862.14 c 859s| 1 | 0 |330147 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9537 | 26k| 0 | 0 |-2.418208e+02 |-5.100000e+01 | 78.91%
866.02/866.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
866.02/866.26 c 863s| 1 | 0 |330487 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9549 | 26k| 0 | 0 |-2.417822e+02 |-5.100000e+01 | 78.91%
870.33/870.51 c 868s| 1 | 0 |330879 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9562 | 26k| 0 | 0 |-2.417224e+02 |-5.100000e+01 | 78.90%
874.63/874.84 c 872s| 1 | 0 |331310 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9577 | 26k| 0 | 0 |-2.416643e+02 |-5.100000e+01 | 78.90%
878.83/879.06 c 876s| 1 | 0 |331664 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9590 | 26k| 0 | 0 |-2.416209e+02 |-5.100000e+01 | 78.89%
883.22/883.41 c 881s| 1 | 0 |332101 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9603 | 27k| 0 | 0 |-2.415725e+02 |-5.100000e+01 | 78.89%
887.53/887.73 c 885s| 1 | 0 |332533 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9564 | 27k| 0 | 0 |-2.415319e+02 |-5.100000e+01 | 78.88%
891.62/891.84 c 889s| 1 | 0 |332885 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9574 | 27k| 0 | 0 |-2.415056e+02 |-5.100000e+01 | 78.88%
895.92/896.16 c 893s| 1 | 0 |333366 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9590 | 27k| 0 | 0 |-2.414564e+02 |-5.100000e+01 | 78.88%
900.02/900.25 c 897s| 1 | 0 |333704 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9606 | 27k| 0 | 0 |-2.414283e+02 |-5.100000e+01 | 78.88%
904.22/904.49 c 902s| 1 | 0 |334153 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9615 | 27k| 0 | 0 |-2.413963e+02 |-5.100000e+01 | 78.87%
908.43/908.65 c 906s| 1 | 0 |334574 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9626 | 27k| 0 | 0 |-2.413716e+02 |-5.100000e+01 | 78.87%
912.73/912.95 c 910s| 1 | 0 |335062 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9579 | 27k| 0 | 0 |-2.413354e+02 |-5.100000e+01 | 78.87%
916.72/916.96 c 914s| 1 | 0 |335392 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9589 | 27k| 0 | 0 |-2.413172e+02 |-5.100000e+01 | 78.87%
920.92/921.16 c 918s| 1 | 0 |335897 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9602 | 27k| 0 | 0 |-2.412707e+02 |-5.100000e+01 | 78.86%
925.01/925.25 c 922s| 1 | 0 |336300 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9621 | 27k| 0 | 0 |-2.412448e+02 |-5.100000e+01 | 78.86%
929.11/929.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
929.11/929.32 c 926s| 1 | 0 |336666 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9633 | 27k| 0 | 0 |-2.412255e+02 |-5.100000e+01 | 78.86%
933.01/933.23 c 930s| 1 | 0 |336988 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9641 | 27k| 0 | 0 |-2.412140e+02 |-5.100000e+01 | 78.86%
937.21/937.43 c 934s| 1 | 0 |337390 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9588 | 27k| 0 | 0 |-2.411894e+02 |-5.100000e+01 | 78.85%
941.21/941.48 c 938s| 1 | 0 |337795 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9598 | 27k| 0 | 0 |-2.411608e+02 |-5.100000e+01 | 78.85%
945.42/945.65 c 943s| 1 | 0 |338235 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9611 | 27k| 0 | 0 |-2.411347e+02 |-5.100000e+01 | 78.85%
949.51/949.71 c 947s| 1 | 0 |338571 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9622 | 27k| 0 | 0 |-2.411193e+02 |-5.100000e+01 | 78.85%
953.52/953.76 c 951s| 1 | 0 |338923 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9634 | 27k| 0 | 0 |-2.411045e+02 |-5.100000e+01 | 78.85%
957.71/957.91 c 955s| 1 | 0 |339403 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9645 | 27k| 0 | 0 |-2.410783e+02 |-5.100000e+01 | 78.85%
961.82/962.00 c 959s| 1 | 0 |339785 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9601 | 27k| 0 | 0 |-2.410509e+02 |-5.100000e+01 | 78.84%
965.71/965.92 c 963s| 1 | 0 |340151 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9611 | 27k| 0 | 0 |-2.410300e+02 |-5.100000e+01 | 78.84%
969.71/969.97 c 967s| 1 | 0 |340584 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9622 | 27k| 0 | 0 |-2.410106e+02 |-5.100000e+01 | 78.84%
973.61/973.87 c 971s| 1 | 0 |340936 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9635 | 27k| 0 | 0 |-2.409960e+02 |-5.100000e+01 | 78.84%
977.71/977.94 c 975s| 1 | 0 |341396 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9645 | 27k| 0 | 0 |-2.409736e+02 |-5.100000e+01 | 78.84%
981.61/981.86 c 979s| 1 | 0 |341801 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9656 | 27k| 0 | 0 |-2.409486e+02 |-5.100000e+01 | 78.83%
985.61/985.82 c 983s| 1 | 0 |342171 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9597 | 27k| 0 | 0 |-2.409376e+02 |-5.100000e+01 | 78.83%
989.61/989.83 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.61/989.83 c 987s| 1 | 0 |342662 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9607 | 27k| 0 | 0 |-2.409152e+02 |-5.100000e+01 | 78.83%
993.40/993.63 c 990s| 1 | 0 |343035 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9620 | 27k| 0 | 0 |-2.409015e+02 |-5.100000e+01 | 78.83%
997.31/997.52 c 994s| 1 | 0 |343416 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9631 | 27k| 0 | 0 |-2.408820e+02 |-5.100000e+01 | 78.83%
1001.21/1001.40 c 998s| 1 | 0 |343746 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9641 | 27k| 0 | 0 |-2.408732e+02 |-5.100000e+01 | 78.83%
1005.11/1005.38 c 1002s| 1 | 0 |344164 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9651 | 27k| 0 | 0 |-2.408553e+02 |-5.100000e+01 | 78.83%
1009.01/1009.25 c 1006s| 1 | 0 |344518 | 143M| 0 | 998 |1000 | 37k| 37k|1000 |9612 | 27k| 0 | 0 |-2.408469e+02 |-5.100000e+01 | 78.82%
1012.71/1012.97 c 1010s| 1 | 0 |344835 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9621 | 27k| 0 | 0 |-2.408378e+02 |-5.100000e+01 | 78.82%
1016.40/1016.62 c 1013s| 1 | 0 |345131 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9631 | 27k| 0 | 0 |-2.408306e+02 |-5.100000e+01 | 78.82%
1020.30/1020.53 c 1017s| 1 | 0 |345441 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9637 | 27k| 0 | 0 |-2.408231e+02 |-5.100000e+01 | 78.82%
1024.20/1024.49 c 1021s| 1 | 0 |345850 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9647 | 27k| 0 | 0 |-2.408111e+02 |-5.100000e+01 | 78.82%
1028.11/1028.32 c 1025s| 1 | 0 |346198 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9658 | 27k| 0 | 0 |-2.408014e+02 |-5.100000e+01 | 78.82%
1031.90/1032.11 c 1029s| 1 | 0 |346598 | 143M| 0 | 999 |1000 | 37k| 37k|1000 |9611 | 27k| 0 | 0 |-2.407944e+02 |-5.100000e+01 | 78.82%
1035.60/1035.83 c 1033s| 1 | 0 |346888 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9619 | 27k| 0 | 0 |-2.407884e+02 |-5.100000e+01 | 78.82%
1039.21/1039.44 c 1036s| 1 | 0 |347057 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9624 | 27k| 0 | 0 |-2.407860e+02 |-5.100000e+01 | 78.82%
1042.80/1043.08 c 1040s| 1 | 0 |347288 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9632 | 27k| 0 | 0 |-2.407830e+02 |-5.100000e+01 | 78.82%
1046.60/1046.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.60/1046.82 c 1044s| 1 | 0 |347530 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9638 | 27k| 0 | 0 |-2.407799e+02 |-5.100000e+01 | 78.82%
1071.00/1071.24 c 1068s| 1 | 2 |347530 | 143M| 0 |1000 |1000 | 37k| 37k|1000 |9638 | 27k| 0 | 23 |-2.407799e+02 |-5.100000e+01 | 78.82%
1797.49/1797.83 c
1797.49/1797.83 c SCIP Status : solving was interrupted [time limit reached]
1797.49/1797.83 c Solving Time (sec) : 1791.00
1797.49/1797.83 c Solving Nodes : 299
1797.49/1797.83 c Primal Bound : -5.10000000000000e+01 (6 solutions)
1797.49/1797.83 c Dual Bound : -2.38103775311197e+02
1797.49/1797.83 c Gap : 78.58 %
1797.49/1797.87 c NODE 299
1797.49/1797.87 c DUAL BOUND -238.104
1797.49/1797.87 c PRIMAL BOUND -51
1797.49/1797.87 c GAP 0.785808
1797.49/1797.87 s SATISFIABLE
1797.49/1797.87 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979
1797.49/1797.87 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 x961 -x960 -x959 -x958
1797.49/1797.87 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1797.49/1797.87 v -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1797.49/1797.87 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
1797.49/1797.87 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.49/1797.87 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 x857 -x856 -x855 -x854
1797.49/1797.87 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.49/1797.87 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.49/1797.87 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.49/1797.87 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1797.49/1797.87 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1797.49/1797.87 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728
1797.49/1797.87 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1797.49/1797.87 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1797.49/1797.87 v x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1797.49/1797.87 v -x664 -x663 -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644
1797.49/1797.87 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1797.49/1797.87 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1797.49/1797.87 v x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.49/1797.87 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1797.49/1797.87 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1797.49/1797.87 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1797.49/1797.87 v -x518 -x517 -x516 -x515 -x514 x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1797.49/1797.87 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1797.49/1797.87 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1797.49/1797.87 v x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1797.49/1797.87 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414
1797.49/1797.87 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393
1797.49/1797.87 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372
1797.49/1797.87 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1797.49/1797.87 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
1797.49/1797.87 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1797.49/1797.87 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.49/1797.87 v -x288 -x287 x286 -x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1797.49/1797.87 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246
1797.49/1797.87 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225
1797.49/1797.87 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1797.49/1797.87 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.49/1797.87 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.49/1797.87 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142
1797.49/1797.87 v -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1797.49/1797.87 v x120 -x119 -x118 -x117 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99
1797.49/1797.87 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 -x73
1797.49/1797.87 v x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 x48 -x47
1797.49/1797.87 v x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 x28 x27 -x26 x25 -x24 -x23 -x22 -x21
1797.49/1797.87 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.49/1797.87 c SCIP Status : solving was interrupted [time limit reached]
1797.49/1797.87 c Solving Time : 1791.00
1797.49/1797.87 c Original Problem :
1797.49/1797.87 c Problem name : HOME/instance-3737059-1338728667.opb
1797.49/1797.87 c Variables : 38793 (38793 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.49/1797.87 c Constraints : 38793 initial, 38793 maximal
1797.49/1797.87 c Presolved Problem :
1797.49/1797.87 c Problem name : t_HOME/instance-3737059-1338728667.opb
1797.49/1797.87 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.49/1797.87 c Constraints : 37793 initial, 37793 maximal
1797.49/1797.87 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.49/1797.87 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.49/1797.87 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.49/1797.87 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.49/1797.87 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.49/1797.87 c implics : 0.00 0 0 0 0 0 0 0 0
1797.49/1797.87 c probing : 0.55 0 0 0 0 0 0 0 0
1797.49/1797.87 c and : 0.37 0 0 0 0 0 0 0 0
1797.49/1797.87 c linear : 0.10 37793 0 0 37793 0 1000 0 0
1797.49/1797.87 c root node : - 0 - - 0 - - - -
1797.49/1797.87 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.49/1797.87 c integral : 0 0 0 298 0 0 0 0 0 596
1797.49/1797.87 c and : 37793 1685 10560 0 1 0 14721 383973 0 0
1797.49/1797.87 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.49/1797.87 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.49/1797.87 c integral : 251.15 0.00 0.00 251.15 0.00
1797.49/1797.87 c and : 31.80 25.90 5.90 0.00 0.00
1797.49/1797.87 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.49/1797.87 c Propagators : Time Calls Cutoffs DomReds
1797.49/1797.87 c rootredcost : 0.00 0 0 0
1797.49/1797.87 c pseudoobj : 0.17 10820 0 0
1797.49/1797.87 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.49/1797.87 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.49/1797.87 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.49/1797.87 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.49/1797.87 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.49/1797.87 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.49/1797.87 c applied globally : - - - 0 0.0 - - -
1797.49/1797.87 c applied locally : - - - 0 0.0 - - -
1797.49/1797.87 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.49/1797.87 c cut pool : 0.80 356 - - 4728 - (maximal pool size: 17628)
1797.49/1797.87 c redcost : 0.03 1685 0 0 0 0
1797.49/1797.87 c impliedbounds : 0.51 355 0 0 30316 0
1797.49/1797.87 c intobj : 0.00 0 0 0 0 0
1797.49/1797.87 c gomory : 729.08 353 0 0 84247 0
1797.49/1797.87 c strongcg : 1.80 20 0 0 10000 0
1797.49/1797.87 c cmir : 2.19 10 0 0 0 0
1797.49/1797.87 c flowcover : 1.87 10 0 0 0 0
1797.49/1797.87 c clique : 14.35 353 0 0 3244 0
1797.49/1797.87 c zerohalf : 0.00 0 0 0 0 0
1797.49/1797.87 c mcf : 0.06 1 0 0 0 0
1797.49/1797.87 c Pricers : Time Calls Vars
1797.49/1797.87 c problem variables: 0.00 0 0
1797.49/1797.87 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.49/1797.87 c relpscost : 251.15 298 0 0 0 0 596
1797.49/1797.87 c pscost : 0.00 0 0 0 0 0 0
1797.49/1797.87 c inference : 0.00 1 0 0 0 0 2
1797.49/1797.87 c mostinf : 0.00 0 0 0 0 0 0
1797.49/1797.87 c leastinf : 0.00 0 0 0 0 0 0
1797.49/1797.87 c fullstrong : 0.00 0 0 0 0 0 0
1797.49/1797.87 c allfullstrong : 0.00 0 0 0 0 0 0
1797.49/1797.87 c random : 0.00 0 0 0 0 0 0
1797.49/1797.87 c Primal Heuristics : Time Calls Found
1797.49/1797.87 c LP solutions : 0.00 - 0
1797.49/1797.87 c pseudo solutions : 0.00 - 0
1797.49/1797.87 c intshifting : 0.00 0 0
1797.49/1797.87 c oneopt : 0.00 1 0
1797.49/1797.87 c crossover : 0.02 1 0
1797.49/1797.87 c simplerounding : 0.00 0 0
1797.49/1797.87 c rounding : 8.71 1783 3
1797.49/1797.87 c shifting : 2.64 439 3
1797.49/1797.87 c fixandinfer : 0.00 0 0
1797.49/1797.87 c feaspump : 0.00 0 0
1797.49/1797.87 c coefdiving : 35.45 7 0
1797.49/1797.87 c pscostdiving : 39.90 4 0
1797.49/1797.87 c fracdiving : 36.77 5 0
1797.49/1797.87 c veclendiving : 42.61 5 0
1797.49/1797.87 c intdiving : 0.00 0 0
1797.49/1797.87 c actconsdiving : 0.00 0 0
1797.49/1797.87 c objpscostdiving : 23.87 1 0
1797.49/1797.87 c rootsoldiving : 5.67 10 0
1797.49/1797.87 c linesearchdiving : 33.23 8 0
1797.49/1797.87 c guideddiving : 33.35 5 0
1797.49/1797.87 c octane : 0.00 0 0
1797.49/1797.87 c rens : 0.00 0 0
1797.49/1797.87 c rins : 0.00 0 0
1797.49/1797.87 c localbranching : 0.00 0 0
1797.49/1797.87 c mutation : 0.00 0 0
1797.49/1797.87 c dins : 0.00 0 0
1797.49/1797.87 c LP : Time Calls Iterations Iter/call Iter/sec
1797.49/1797.87 c primal LP : 2.87 0 0 0.00 0.00
1797.49/1797.87 c dual LP : 488.90 1784 1003962 562.76 2053.51
1797.49/1797.87 c barrier LP : 0.00 0 0 0.00 -
1797.49/1797.87 c diving/probing LP: 243.30 10461 948371 90.66 3897.95
1797.49/1797.87 c strong branching : 251.09 895 629367 703.20 2506.54
1797.49/1797.87 c (at root node) : - 23 23000 1000.00 -
1797.49/1797.87 c conflict analysis: 0.00 0 0 0.00 -
1797.49/1797.87 c B&B Tree :
1797.49/1797.87 c number of runs : 1
1797.49/1797.87 c nodes : 299
1797.49/1797.87 c nodes (total) : 299
1797.49/1797.87 c nodes left : 300
1797.49/1797.87 c max depth : 47
1797.49/1797.87 c max depth (total): 47
1797.49/1797.87 c backtracks : 79 (26.4%)
1797.49/1797.87 c delayed cutoffs : 0
1797.49/1797.87 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.49/1797.87 c avg switch length: 3.75
1797.49/1797.87 c switching time : 2.15
1797.49/1797.87 c Solution :
1797.49/1797.87 c Solutions found : 6 (3 improvements)
1797.49/1797.87 c Primal Bound : -5.10000000000000e+01 (in run 1, after 1 nodes, 9.11 seconds, depth 0, found by <rounding>)
1797.49/1797.87 c Dual Bound : -2.38103775311197e+02
1797.49/1797.87 c Gap : 78.58 %
1797.49/1797.87 c Root Dual Bound : -2.40779895502389e+02
1797.69/1798.05 c Time complete: 1797.73.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737059-1338728667/watcher-3737059-1338728667 -o /tmp/evaluation-result-3737059-1338728667/solver-3737059-1338728667 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737059-1338728667.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28509
/proc/meminfo: memFree=26936296/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=9248 CPUtime=0 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 1557 0 0 0 0 0 0 0 20 0 1 0 338993436 9469952 1509 33554432000 4194304 7823515 140734006196480 140736608653304 5878822 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 2312 1526 349 887 0 1422 0
[startup+0.0993389 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28509
/proc/meminfo: memFree=26936296/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=37068 CPUtime=0.09 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 8603 0 0 0 8 1 0 0 20 0 1 0 338993436 37957632 8555 33554432000 4194304 7823515 140734006196480 140736608653304 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 9267 8556 354 887 0 8377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37068
[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28509
/proc/meminfo: memFree=26936296/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=37216 CPUtime=0.09 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 8611 0 0 0 8 1 0 0 20 0 1 0 338993436 38109184 8563 33554432000 4194304 7823515 140734006196480 140736608653304 6957168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 9304 8563 354 887 0 8414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37216
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28509
/proc/meminfo: memFree=26936296/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=101836 CPUtime=0.28 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 25077 0 0 0 25 3 0 0 20 0 1 0 338993436 104280064 24601 33554432000 4194304 7823515 140734006196480 140736608653304 4685941 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 25459 24601 385 887 0 24569 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 101836
[startup+0.700292 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28509
/proc/meminfo: memFree=26936296/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=118268 CPUtime=0.69 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 29726 0 0 0 61 8 0 0 20 0 1 0 338993436 121106432 28496 33554432000 4194304 7823515 140734006196480 140734006193736 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 29567 28496 425 887 0 28677 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118268
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26821168/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=163072 CPUtime=1.49 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 40558 0 0 0 136 13 0 0 20 0 1 0 338993436 166985728 39724 33554432000 4194304 7823515 140734006196480 140734006193176 4639770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 40768 39724 471 887 0 39878 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163072
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26738008/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=213228 CPUtime=3.08 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 51926 0 0 0 292 16 0 0 20 0 1 0 338993436 218345472 50261 33554432000 4194304 7823515 140734006196480 140734006192232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 53307 50261 544 887 0 52417 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 213228
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26732236/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=213852 CPUtime=6.28 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 52766 0 0 0 610 18 0 0 20 0 1 0 338993436 218984448 51112 33554432000 4194304 7823515 140734006196480 140734006192232 5575803 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 53463 51112 544 887 0 52573 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 213852
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26726968/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=218020 CPUtime=12.69 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 54151 0 0 0 1248 21 0 0 20 0 1 0 338993436 223252480 52497 33554432000 4194304 7823515 140734006196480 140734006191752 5575786 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 54505 52497 546 887 0 53615 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 218020
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26718392/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=226052 CPUtime=25.49 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 55913 0 0 0 2523 26 0 0 20 0 1 0 338993436 231477248 54655 33554432000 4194304 7823515 140734006196480 140734006191816 5566647 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 56513 54655 546 887 0 55623 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 226052
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26701872/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=239156 CPUtime=51.07 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 59532 0 0 0 5073 34 0 0 20 0 1 0 338993436 244895744 58544 33554432000 4194304 7823515 140734006196480 140734006191816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 59789 58544 546 887 0 58899 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 239156
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26663116/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=102.26 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67365 0 0 0 10175 51 0 0 20 0 1 0 338993436 276893696 66185 33554432000 4194304 7823515 140734006196480 140734006191816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66185 547 887 0 66711 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 270404
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26655468/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=162.23 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67375 0 0 0 16153 70 0 0 20 0 1 0 338993436 276893696 66774 33554432000 4194304 7823515 140734006196480 140734006193176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66774 547 887 0 66711 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 270404
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28510
/proc/meminfo: memFree=26653868/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=222.22 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67375 0 0 0 22137 85 0 0 20 0 1 0 338993436 276893696 66774 33554432000 4194304 7823515 140734006196480 140734006191816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66774 547 887 0 66711 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 270404
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28511
/proc/meminfo: memFree=26649596/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=282.22 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67376 0 0 0 28120 102 0 0 20 0 1 0 338993436 276893696 66790 33554432000 4194304 7823515 140734006196480 140734006191624 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66790 547 887 0 66711 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 270404
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28514
/proc/meminfo: memFree=26643208/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=342.2 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67376 0 0 0 34101 119 0 0 20 0 1 0 338993436 276893696 66790 33554432000 4194304 7823515 140734006196480 140734006191816 4898473 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66790 547 887 0 66711 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 270404
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 28514
/proc/meminfo: memFree=26641496/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=402.2 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67376 0 0 0 40085 135 0 0 20 0 1 0 338993436 276893696 66828 33554432000 4194304 7823515 140734006196480 140734006191576 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66828 547 887 0 66711 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 270404
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28514
/proc/meminfo: memFree=26637636/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=462.18 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67376 0 0 0 46068 150 0 0 20 0 1 0 338993436 276893696 66828 33554432000 4194304 7823515 140734006196480 140734006191576 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66828 547 887 0 66711 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 270404
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28514
/proc/meminfo: memFree=26636400/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=522.18 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67376 0 0 0 52051 167 0 0 20 0 1 0 338993436 276893696 66828 33554432000 4194304 7823515 140734006196480 140734006191576 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66828 547 887 0 66711 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 270404
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 28515
/proc/meminfo: memFree=26634912/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=582.17 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67376 0 0 0 58036 181 0 0 20 0 1 0 338993436 276893696 66828 33554432000 4194304 7823515 140734006196480 140734006191624 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66828 547 887 0 66711 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 270404
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26604952/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=270404 CPUtime=1122.09 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67383 0 0 0 111894 315 0 0 20 0 1 0 338993436 276893696 66835 33554432000 4194304 7823515 140734006196480 140734006191448 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67601 66835 554 887 0 66711 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 270404
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28520
/proc/meminfo: memFree=26601472/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1182.08 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67383 0 0 0 117869 339 0 0 20 0 1 0 338993436 278454272 66835 33554432000 4194304 7823515 140734006196480 140734006191944 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66835 554 887 0 67092 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 271928
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28520
/proc/meminfo: memFree=26598244/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1242.07 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67383 0 0 0 123843 364 0 0 20 0 1 0 338993436 278454272 66835 33554432000 4194304 7823515 140734006196480 140734006191592 6254167 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66835 554 887 0 67092 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 271928
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 28520
/proc/meminfo: memFree=26595888/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1302.07 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67383 0 0 0 129812 395 0 0 20 0 1 0 338993436 278454272 66835 33554432000 4194304 7823515 140734006196480 140734006191928 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66835 554 887 0 67092 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 271928
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28520
/proc/meminfo: memFree=26594772/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1362.05 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67384 0 0 0 135783 422 0 0 20 0 1 0 338993436 278454272 66836 33554432000 4194304 7823515 140734006196480 140734006191816 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66836 555 887 0 67092 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 271928
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28520
/proc/meminfo: memFree=26591176/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1422.05 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67384 0 0 0 141750 455 0 0 20 0 1 0 338993436 278454272 66836 33554432000 4194304 7823515 140734006196480 140734006191176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66836 555 887 0 67092 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 271928
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28521
/proc/meminfo: memFree=26586080/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1482.03 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67384 0 0 0 147722 481 0 0 20 0 1 0 338993436 278454272 66836 33554432000 4194304 7823515 140734006196480 140734006192168 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66836 555 887 0 67092 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 271928
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28524
/proc/meminfo: memFree=26582716/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1542.02 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67384 0 0 0 153696 506 0 0 20 0 1 0 338993436 278454272 66836 33554432000 4194304 7823515 140734006196480 140734006193128 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66836 555 887 0 67092 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 271928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28524
/proc/meminfo: memFree=26582336/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=271928 CPUtime=1602.02 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 67384 0 0 0 159668 534 0 0 20 0 1 0 338993436 278454272 66836 33554432000 4194304 7823515 140734006196480 140734006191528 6254094 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67982 66836 555 887 0 67092 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 271928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28524
/proc/meminfo: memFree=26580540/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=269912 CPUtime=1662.01 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 69000 0 0 0 165635 566 0 0 20 0 1 0 338993436 276389888 66343 33554432000 4194304 7823515 140734006196480 140734006192232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 67478 66343 566 887 0 66588 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 269912
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 28601
/proc/meminfo: memFree=26687524/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=272500 CPUtime=1722 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 69612 0 0 0 171603 597 0 0 20 0 1 0 338993436 279040000 66955 33554432000 4194304 7823515 140734006196480 140734006192328 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68125 66955 566 887 0 67235 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 272500
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274624 CPUtime=1781.99 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70122 0 0 0 177571 628 0 0 20 0 1 0 338993436 281214976 67464 33554432000 4194304 7823515 140734006196480 140734006191640 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68656 67464 566 887 0 67766 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 274624
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684928/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1785.19 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70125 0 0 0 177889 630 0 0 20 0 1 0 338993436 281366528 67467 33554432000 4194304 7823515 140734006196480 140734006191144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67467 566 887 0 67803 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 274772
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1791.59 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70146 0 0 0 178525 634 0 0 20 0 1 0 338993436 281366528 67488 33554432000 4194304 7823515 140734006196480 140734006192232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67488 566 887 0 67803 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 274772
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1794.79 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70146 0 0 0 178843 636 0 0 20 0 1 0 338993436 281366528 67488 33554432000 4194304 7823515 140734006196480 140734006191176 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67488 566 887 0 67803 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 274772
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1796.38 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70146 0 0 0 179001 637 0 0 20 0 1 0 338993436 281366528 67488 33554432000 4194304 7823515 140734006196480 140734006192264 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67488 566 887 0 67803 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 274772
[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1797.19 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70146 0 0 0 179081 638 0 0 20 0 1 0 338993436 281366528 67488 33554432000 4194304 7823515 140734006196480 140734006192232 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67488 566 887 0 67803 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 274772
[startup+1797.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1797.59 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70148 0 0 0 179121 638 0 0 20 0 1 0 338993436 281366528 67490 33554432000 4194304 7823515 140734006196480 140734006192232 4301917 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67490 568 887 0 67803 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 274772
[startup+1798 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 28602
/proc/meminfo: memFree=26684804/32873648 swapFree=6852/6852
[pid=28509] ppid=28507 vsize=274772 CPUtime=1797.69 cores=0,2,4,6
/proc/28509/stat : 28509 (pbscip.linux.x8) R 28507 28509 27068 0 -1 4202496 70148 0 0 0 179131 638 0 0 20 0 1 0 338993436 281366528 67490 33554432000 4194304 7823515 140734006196480 140734006192232 4237362 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28509/statm: 68693 67490 568 887 0 67803 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 274772
Child status: 0
Real time (s): 1798.05
CPU time (s): 1797.75
CPU user time (s): 1791.36
CPU system time (s): 6.38703
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 274772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.36
system time used= 6.38703
maximum resident set size= 273128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70151
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= 43
involuntary context switches= 2307
runsolver used 2.79157 second user time and 7.32988 second system time
The end