0.39/0.42 c SCIP version 1.1.0.7
0.39/0.42 c LP-Solver Clp 1.8.2
0.39/0.42 c user parameter file <scip.set> not found - using default parameters
0.39/0.42 c read problem <HOME/instance-1870343-1245198705.opb>
0.39/0.42 c original problem has 38647 variables (38647 bin, 0 int, 0 impl, 0 cont) and 38647 constraints
0.69/0.79 c start presolving problem
0.69/0.79 c presolving:
1.99/2.02 c (round 1) 37647 del vars, 1000 del conss, 37647 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 150588 impls, 0 clqs
4.48/4.54 c (3.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.48/4.54 c (3.8s) probing aborted: 100/100 successive totally useless probings
4.48/4.54 c presolving (2 rounds):
4.48/4.54 c 37647 deleted vars, 1000 deleted constraints, 37647 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.48/4.54 c 225882 implications, 0 cliques
4.48/4.54 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 37647 constraints
4.48/4.54 c 37647 constraints of type <and>
4.48/4.54 c transformed objective value is always integral (scale: 1)
4.48/4.54 c Presolving Time: 3.65
4.48/4.55 c OPT-NLC
4.48/4.55 c -----------------------------------------------------------------------------------------------
4.48/4.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.48/4.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.48/4.55 c limits/memory = c 1620
4.48/4.55 c # maximal time in seconds to run
4.48/4.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.48/4.55 c limits/time = c 1791
4.48/4.55 c # frequency for displaying node information lines
4.48/4.55 c # [type: int, range: [-1,2147483647], default: 100]
4.48/4.55 c display/freq = c 10000
4.48/4.55 c -----------------------------------------------------------------------------------------------
4.48/4.55 c start solving problem
4.48/4.55 c
5.39/5.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.39/5.48 c 4.7s| 1 | 0 | 1027 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 | -- | Inf
5.49/5.53 o -46
5.49/5.53 c R 4.7s| 1 | 0 | 1027 | 139M| 0 |1000 |1000 | 37k| 37k|1000 | 37k| 0 | 0 | 0 |-5.000000e+02 |-4.600000e+01 | 90.80%
7.59/7.69 c 6.9s| 1 | 0 | 1160 | 139M| 0 | 988 |1000 | 37k| 37k|1000 | 37k| 10 | 0 | 0 |-4.940000e+02 |-4.600000e+01 | 90.69%
9.69/9.76 c 8.9s| 1 | 0 | 1258 | 139M| 0 | 981 |1000 | 37k| 37k|1000 | 37k| 15 | 0 | 0 |-4.905000e+02 |-4.600000e+01 | 90.62%
11.99/12.07 c 11.2s| 1 | 0 | 1374 | 139M| 0 | 975 |1000 | 37k| 37k|1000 | 37k| 21 | 0 | 0 |-4.875000e+02 |-4.600000e+01 | 90.56%
14.38/14.43 c 13.6s| 1 | 0 | 1487 | 139M| 0 | 969 |1000 | 37k| 37k|1000 | 37k| 27 | 0 | 0 |-4.845000e+02 |-4.600000e+01 | 90.51%
17.08/17.18 c 16.3s| 1 | 0 | 1645 | 139M| 0 | 961 |1000 | 37k| 37k|1000 | 37k| 34 | 0 | 0 |-4.805000e+02 |-4.600000e+01 | 90.43%
19.69/19.70 c 18.8s| 1 | 0 | 1752 | 139M| 0 | 955 |1000 | 37k| 37k|1000 | 37k| 42 | 0 | 0 |-4.775000e+02 |-4.600000e+01 | 90.37%
22.38/22.43 c 21.5s| 1 | 0 | 1880 | 139M| 0 | 947 |1000 | 37k| 37k|1000 | 37k| 50 | 0 | 0 |-4.735000e+02 |-4.600000e+01 | 90.29%
26.09/26.12 c 25.2s| 1 | 0 | 2116 | 139M| 0 | 940 |1000 | 37k| 37k|1000 | 37k| 57 | 0 | 0 |-4.700000e+02 |-4.600000e+01 | 90.21%
30.08/30.10 c 29.2s| 1 | 0 | 2363 | 139M| 0 | 934 |1000 | 37k| 37k|1000 | 37k| 65 | 0 | 0 |-4.670000e+02 |-4.600000e+01 | 90.15%
34.68/34.71 c 33.8s| 1 | 0 | 2662 | 139M| 0 | 927 |1000 | 37k| 37k|1000 | 37k| 71 | 0 | 0 |-4.635000e+02 |-4.600000e+01 | 90.08%
37.97/38.04 c 37.1s| 1 | 0 | 2950 | 139M| 0 | 924 |1000 | 37k| 37k|1000 |1295 | 81 | 0 | 0 |-4.610000e+02 |-4.600000e+01 | 90.02%
38.38/38.45 c 37.5s| 1 | 0 | 3208 | 139M| 0 | 875 |1000 | 37k| 37k|1000 |1304 | 90 | 0 | 0 |-4.595000e+02 |-4.600000e+01 | 89.99%
39.27/39.33 c 38.4s| 1 | 0 | 3328 | 140M| 0 | 911 |1000 | 37k| 37k|1000 |2930 |1716 | 0 | 0 |-4.565000e+02 |-4.600000e+01 | 89.92%
40.08/40.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.08/40.11 c 39.2s| 1 | 0 | 3657 | 140M| 0 | 903 |1000 | 37k| 37k|1000 |2995 |1781 | 0 | 0 |-4.545000e+02 |-4.600000e+01 | 89.88%
40.88/40.92 c 40.0s| 1 | 0 | 4200 | 140M| 0 | 907 |1000 | 37k| 37k|1000 |3180 |1966 | 0 | 0 |-4.525000e+02 |-4.600000e+01 | 89.83%
42.08/42.12 c 41.2s| 1 | 0 | 5109 | 141M| 0 | 903 |1000 | 37k| 37k|1000 |3784 |2570 | 0 | 0 |-4.486250e+02 |-4.600000e+01 | 89.75%
43.07/43.18 c 42.3s| 1 | 0 | 5905 | 141M| 0 | 891 |1000 | 37k| 37k|1000 |4088 |3185 | 0 | 0 |-4.457500e+02 |-4.600000e+01 | 89.68%
44.17/44.23 c 43.3s| 1 | 0 | 6814 | 141M| 0 | 908 |1000 | 37k| 37k|1000 |4268 |3365 | 0 | 0 |-4.416667e+02 |-4.600000e+01 | 89.58%
48.97/49.07 c 48.1s| 1 | 0 | 7424 | 141M| 0 | 882 |1000 | 37k| 37k|1000 |6268 |5365 | 0 | 0 |-4.410000e+02 |-4.600000e+01 | 89.57%
50.18/50.24 c 49.3s| 1 | 0 | 8217 | 141M| 0 | 877 |1000 | 37k| 37k|1000 |6275 |5372 | 0 | 0 |-4.385000e+02 |-4.600000e+01 | 89.51%
51.58/51.68 c 50.8s| 1 | 0 | 9011 | 142M| 0 | 873 |1000 | 37k| 37k|1000 |6282 |5379 | 0 | 0 |-4.370000e+02 |-4.600000e+01 | 89.47%
53.37/53.43 c 52.5s| 1 | 0 | 10181 | 142M| 0 | 864 |1000 | 37k| 37k|1000 |6356 |5453 | 0 | 0 |-4.330000e+02 |-4.600000e+01 | 89.38%
54.57/54.66 c 53.7s| 1 | 0 | 10984 | 142M| 0 | 860 |1000 | 37k| 37k|1000 |4813 |5562 | 0 | 0 |-4.295000e+02 |-4.600000e+01 | 89.29%
55.67/55.76 c 54.8s| 1 | 0 | 12174 | 142M| 0 | 854 |1000 | 37k| 37k|1000 |4821 |5570 | 0 | 0 |-4.275000e+02 |-4.600000e+01 | 89.24%
56.97/57.05 c 56.1s| 1 | 0 | 13113 | 142M| 0 | 845 |1000 | 37k| 37k|1000 |4881 |5630 | 0 | 0 |-4.255000e+02 |-4.600000e+01 | 89.19%
58.47/58.56 c 57.6s| 1 | 0 | 14222 | 142M| 0 | 839 |1000 | 37k| 37k|1000 |5101 |5850 | 0 | 0 |-4.230000e+02 |-4.600000e+01 | 89.13%
61.07/61.14 c 60.2s| 1 | 0 | 16221 | 142M| 0 | 837 |1000 | 37k| 37k|1000 |5394 |6143 | 0 | 0 |-4.205000e+02 |-4.600000e+01 | 89.06%
62.87/62.95 c 62.0s| 1 | 0 | 17997 | 142M| 0 | 890 |1000 | 37k| 37k|1000 |5506 |6255 | 0 | 0 |-4.182647e+02 |-4.600000e+01 | 89.00%
66.47/66.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.47/66.51 c 65.6s| 1 | 0 | 18168 | 142M| 0 | 836 |1000 | 37k| 37k|1000 |5688 |8255 | 0 | 0 |-4.180000e+02 |-4.600000e+01 | 89.00%
67.97/68.07 c 67.1s| 1 | 0 | 19067 | 142M| 0 | 834 |1000 | 37k| 37k|1000 |5695 |8262 | 0 | 0 |-4.170000e+02 |-4.600000e+01 | 88.97%
69.47/69.50 c 68.5s| 1 | 0 | 19916 | 142M| 0 | 828 |1000 | 37k| 37k|1000 |5704 |8271 | 0 | 0 |-4.150000e+02 |-4.600000e+01 | 88.92%
70.96/71.02 c 70.1s| 1 | 0 | 20858 | 142M| 0 | 832 |1000 | 37k| 37k|1000 |5761 |8328 | 0 | 0 |-4.135000e+02 |-4.600000e+01 | 88.88%
72.77/72.88 c 71.9s| 1 | 0 | 22221 | 143M| 0 | 827 |1000 | 37k| 37k|1000 |5819 |8386 | 0 | 0 |-4.117500e+02 |-4.600000e+01 | 88.83%
74.76/74.81 c 73.8s| 1 | 0 | 23663 | 143M| 0 | 823 |1000 | 37k| 37k|1000 |5824 |8391 | 0 | 0 |-4.105000e+02 |-4.600000e+01 | 88.79%
77.57/77.65 c 76.7s| 1 | 0 | 25482 | 143M| 0 | 832 |1000 | 37k| 37k|1000 |5630 |8645 | 0 | 0 |-4.093333e+02 |-4.600000e+01 | 88.76%
80.27/80.34 c 79.4s| 1 | 0 | 27243 | 143M| 0 | 824 |1000 | 37k| 37k|1000 |5822 |8837 | 0 | 0 |-4.057500e+02 |-4.600000e+01 | 88.66%
82.06/82.12 c 81.1s| 1 | 0 | 28336 | 143M| 0 | 809 |1000 | 37k| 37k|1000 |5888 |8903 | 0 | 0 |-4.045000e+02 |-4.600000e+01 | 88.63%
83.66/83.78 c 82.8s| 1 | 0 | 29384 | 143M| 0 | 805 |1000 | 37k| 37k|1000 |5894 |8909 | 0 | 0 |-4.030000e+02 |-4.600000e+01 | 88.59%
85.86/85.96 c 85.0s| 1 | 0 | 30910 | 143M| 0 | 799 |1000 | 37k| 37k|1000 |6012 |9027 | 0 | 0 |-4.005000e+02 |-4.600000e+01 | 88.51%
88.16/88.28 c 87.3s| 1 | 0 | 32503 | 143M| 0 | 797 |1000 | 37k| 37k|1000 |6065 |9080 | 0 | 0 |-3.985000e+02 |-4.600000e+01 | 88.46%
90.76/90.82 c 89.8s| 1 | 0 | 33982 | 143M| 0 | 792 |1000 | 37k| 37k|1000 |5371 |9087 | 0 | 0 |-3.970000e+02 |-4.600000e+01 | 88.41%
94.16/94.27 c 93.3s| 1 | 0 | 36376 | 143M| 0 | 787 |1000 | 37k| 37k|1000 |5421 |9137 | 0 | 0 |-3.955000e+02 |-4.600000e+01 | 88.37%
97.76/97.89 c 96.9s| 1 | 0 | 38667 | 144M| 0 | 778 |1000 | 37k| 37k|1000 |5537 |9253 | 0 | 0 |-3.940000e+02 |-4.600000e+01 | 88.32%
99.86/99.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.86/99.99 c 99.0s| 1 | 0 | 40192 | 144M| 0 | 793 |1000 | 37k| 37k|1000 |5798 |9514 | 0 | 0 |-3.930000e+02 |-4.600000e+01 | 88.30%
102.45/102.54 c 102s| 1 | 0 | 41879 | 144M| 0 | 774 |1000 | 37k| 37k|1000 |6097 |9813 | 0 | 0 |-3.920000e+02 |-4.600000e+01 | 88.27%
106.56/106.69 c 106s| 1 | 0 | 44274 | 144M| 0 | 777 |1000 | 37k| 37k|1000 |6480 | 10k| 0 | 0 |-3.895000e+02 |-4.600000e+01 | 88.19%
110.25/110.35 c 109s| 1 | 0 | 46496 | 144M| 0 | 784 |1000 | 37k| 37k|1000 |5894 | 10k| 0 | 0 |-3.886250e+02 |-4.600000e+01 | 88.16%
114.05/114.13 c 113s| 1 | 0 | 48934 | 144M| 0 | 776 |1000 | 37k| 37k|1000 |6078 | 10k| 0 | 0 |-3.872500e+02 |-4.600000e+01 | 88.12%
115.35/115.46 c 114s| 1 | 0 | 49762 | 144M| 0 | 760 |1000 | 37k| 37k|1000 |6126 | 10k| 0 | 0 |-3.860000e+02 |-4.600000e+01 | 88.08%
116.85/116.91 c 116s| 1 | 0 | 50647 | 145M| 0 | 770 |1000 | 37k| 37k|1000 |6476 | 10k| 0 | 0 |-3.842500e+02 |-4.600000e+01 | 88.03%
118.45/118.52 c 117s| 1 | 0 | 51650 | 145M| 0 | 775 |1000 | 37k| 37k|1000 |6584 | 10k| 0 | 0 |-3.833750e+02 |-4.600000e+01 | 88.00%
119.54/119.68 c 119s| 1 | 0 | 52369 | 145M| 0 | 782 |1000 | 37k| 37k|1000 |6696 | 11k| 0 | 0 |-3.818000e+02 |-4.600000e+01 | 87.95%
122.55/122.61 c 122s| 1 | 0 | 54361 | 145M| 0 | 788 |1000 | 37k| 37k|1000 |6315 | 11k| 0 | 0 |-3.791500e+02 |-4.600000e+01 | 87.87%
123.85/124.00 c 123s| 1 | 0 | 55465 | 145M| 0 | 751 |1000 | 37k| 37k|1000 |6696 | 11k| 0 | 0 |-3.765000e+02 |-4.600000e+01 | 87.78%
127.65/127.70 c 127s| 1 | 0 | 58102 | 145M| 0 | 757 |1000 | 37k| 37k|1000 |6748 | 11k| 0 | 0 |-3.755000e+02 |-4.600000e+01 | 87.75%
130.65/130.71 c 130s| 1 | 0 | 60008 | 146M| 0 | 756 |1000 | 37k| 37k|1000 |6895 | 11k| 0 | 0 |-3.740000e+02 |-4.600000e+01 | 87.70%
135.15/135.20 c 134s| 1 | 0 | 62848 | 146M| 0 | 777 |1000 | 37k| 37k|1000 |6946 | 11k| 0 | 0 |-3.732500e+02 |-4.600000e+01 | 87.68%
138.14/138.27 c 137s| 1 | 0 | 64386 | 146M| 0 | 745 |1000 | 37k| 37k|1000 |7437 | 12k| 0 | 0 |-3.720000e+02 |-4.600000e+01 | 87.63%
141.65/141.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.65/141.78 c 141s| 1 | 0 | 66226 | 147M| 0 | 742 |1000 | 37k| 37k|1000 |6470 | 12k| 0 | 0 |-3.715000e+02 |-4.600000e+01 | 87.62%
144.14/144.23 c 143s| 1 | 0 | 67698 | 147M| 0 | 758 |1000 | 37k| 37k|1000 |6526 | 12k| 0 | 0 |-3.700000e+02 |-4.600000e+01 | 87.57%
147.54/147.67 c 146s| 1 | 0 | 70092 | 147M| 0 | 751 |1000 | 37k| 37k|1000 |6579 | 12k| 0 | 0 |-3.675000e+02 |-4.600000e+01 | 87.48%
151.24/151.33 c 150s| 1 | 0 | 72253 | 147M| 0 | 731 |1000 | 37k| 37k|1000 |6677 | 12k| 0 | 0 |-3.660000e+02 |-4.600000e+01 | 87.43%
154.24/154.39 c 153s| 1 | 0 | 74230 | 147M| 0 | 737 |1000 | 37k| 37k|1000 |6724 | 12k| 0 | 0 |-3.652500e+02 |-4.600000e+01 | 87.41%
156.44/156.56 c 155s| 1 | 0 | 75799 | 147M| 0 | 726 |1000 | 37k| 37k|1000 |6733 | 12k| 0 | 0 |-3.640000e+02 |-4.600000e+01 | 87.36%
159.64/159.77 c 159s| 1 | 0 | 78071 | 147M| 0 | 822 |1000 | 37k| 37k|1000 |5825 | 12k| 0 | 0 |-3.632727e+02 |-4.600000e+01 | 87.34%
161.23/161.30 c 160s| 1 | 0 | 78203 | 147M| 0 | 726 |1000 | 37k| 37k|1000 |7825 | 14k| 0 | 0 |-3.630000e+02 |-4.600000e+01 | 87.33%
163.33/163.49 c 162s| 1 | 0 | 79387 | 147M| 0 | 734 |1000 | 37k| 37k|1000 |7832 | 14k| 0 | 0 |-3.630000e+02 |-4.600000e+01 | 87.33%
168.33/168.44 c 167s| 1 | 0 | 82038 | 148M| 0 | 717 |1000 | 37k| 37k|1000 |7843 | 14k| 0 | 0 |-3.615000e+02 |-4.600000e+01 | 87.28%
171.93/172.04 c 171s| 1 | 0 | 83850 | 148M| 0 | 720 |1000 | 37k| 37k|1000 |7987 | 14k| 0 | 0 |-3.610000e+02 |-4.600000e+01 | 87.26%
175.83/175.91 c 175s| 1 | 0 | 85669 | 148M| 0 | 724 |1000 | 37k| 37k|1000 |8028 | 14k| 0 | 0 |-3.605000e+02 |-4.600000e+01 | 87.24%
181.33/181.48 c 180s| 1 | 0 | 88326 | 148M| 0 | 724 |1000 | 37k| 37k|1000 |7285 | 14k| 0 | 0 |-3.590000e+02 |-4.600000e+01 | 87.19%
185.02/185.18 c 184s| 1 | 0 | 90481 | 148M| 0 | 757 |1000 | 37k| 37k|1000 |7441 | 14k| 0 | 0 |-3.578333e+02 |-4.600000e+01 | 87.14%
186.72/186.87 c 186s| 1 | 0 | 91504 | 148M| 0 | 758 |1000 | 37k| 37k|1000 |7497 | 14k| 0 | 0 |-3.571250e+02 |-4.600000e+01 | 87.12%
189.23/189.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.23/189.33 c 188s| 1 | 0 | 92878 | 148M| 0 | 716 |1000 | 37k| 37k|1000 |7610 | 15k| 0 | 0 |-3.555000e+02 |-4.600000e+01 | 87.06%
192.02/192.16 c 191s| 1 | 0 | 94540 | 149M| 0 | 733 |1000 | 37k| 37k|1000 |7618 | 15k| 0 | 0 |-3.541667e+02 |-4.600000e+01 | 87.01%
194.42/194.53 c 193s| 1 | 0 | 96028 | 149M| 0 | 732 |1000 | 37k| 37k|1000 |7627 | 15k| 0 | 0 |-3.538750e+02 |-4.600000e+01 | 87.00%
197.52/197.69 c 196s| 1 | 0 | 97879 | 149M| 0 | 731 |1000 | 37k| 37k|1000 |7536 | 15k| 0 | 0 |-3.527778e+02 |-4.600000e+01 | 86.96%
199.52/199.62 c 198s| 1 | 0 | 99029 | 149M| 0 | 703 |1000 | 37k| 37k|1000 |7672 | 15k| 0 | 0 |-3.515000e+02 |-4.600000e+01 | 86.91%
204.22/204.38 c 203s| 1 | 0 |101564 | 149M| 0 | 740 |1000 | 37k| 37k|1000 |7682 | 15k| 0 | 0 |-3.508333e+02 |-4.600000e+01 | 86.89%
209.12/209.23 c 208s| 1 | 0 |104069 | 149M| 0 | 735 |1000 | 37k| 37k|1000 |7809 | 15k| 0 | 0 |-3.498000e+02 |-4.600000e+01 | 86.85%
215.52/215.63 c 214s| 1 | 0 |107028 | 150M| 0 | 747 |1000 | 37k| 37k|1000 |7954 | 15k| 0 | 0 |-3.495000e+02 |-4.600000e+01 | 86.84%
222.71/222.90 c 222s| 1 | 0 |110115 | 150M| 0 | 738 |1000 | 37k| 37k|1000 |8010 | 15k| 0 | 0 |-3.490000e+02 |-4.600000e+01 | 86.82%
231.51/231.64 c 230s| 1 | 0 |113980 | 151M| 0 | 762 |1000 | 37k| 37k|1000 |7709 | 15k| 0 | 0 |-3.482083e+02 |-4.600000e+01 | 86.79%
233.51/233.64 c 232s| 1 | 0 |115203 | 151M| 0 | 731 |1000 | 37k| 37k|1000 |7757 | 15k| 0 | 0 |-3.472500e+02 |-4.600000e+01 | 86.75%
236.11/236.24 c 235s| 1 | 0 |116515 | 153M| 0 | 778 |1000 | 37k| 37k|1000 |7770 | 15k| 0 | 0 |-3.459574e+02 |-4.600000e+01 | 86.70%
238.20/238.31 c 237s| 1 | 0 |117734 | 153M| 0 | 745 |1000 | 37k| 37k|1000 |7955 | 16k| 0 | 0 |-3.451500e+02 |-4.600000e+01 | 86.67%
241.41/241.56 c 240s| 1 | 0 |119494 | 154M| 0 | 772 |1000 | 37k| 37k|1000 |7966 | 16k| 0 | 0 |-3.443571e+02 |-4.600000e+01 | 86.64%
244.11/244.27 c 243s| 1 | 0 |120900 | 154M| 0 | 766 |1000 | 37k| 37k|1000 |8197 | 16k| 0 | 0 |-3.432500e+02 |-4.600000e+01 | 86.60%
247.11/247.23 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.11/247.23 c 246s| 1 | 0 |122269 | 156M| 0 | 773 |1000 | 37k| 37k|1000 |7983 | 16k| 0 | 0 |-3.426272e+02 |-4.600000e+01 | 86.57%
250.31/250.48 c 249s| 1 | 0 |123976 | 158M| 0 | 770 |1000 | 37k| 37k|1000 |8150 | 16k| 0 | 0 |-3.415303e+02 |-4.600000e+01 | 86.53%
253.00/253.19 c 252s| 1 | 0 |125346 | 158M| 0 | 788 |1000 | 37k| 37k|1000 |8284 | 16k| 0 | 0 |-3.404081e+02 |-4.600000e+01 | 86.49%
256.81/256.95 c 256s| 1 | 0 |127268 | 160M| 0 | 747 |1000 | 37k| 37k|1000 |8421 | 16k| 0 | 0 |-3.383500e+02 |-4.600000e+01 | 86.40%
259.60/259.77 c 258s| 1 | 0 |128663 | 161M| 0 | 780 |1000 | 37k| 37k|1000 |8433 | 16k| 0 | 0 |-3.378000e+02 |-4.600000e+01 | 86.38%
263.30/263.44 c 262s| 1 | 0 |130406 | 162M| 0 | 788 |1000 | 37k| 37k|1000 |8488 | 16k| 0 | 0 |-3.362305e+02 |-4.600000e+01 | 86.32%
265.90/266.03 c 265s| 1 | 0 |131457 | 164M| 0 | 787 |1000 | 37k| 37k|1000 |8196 | 16k| 0 | 0 |-3.351716e+02 |-4.600000e+01 | 86.28%
268.60/268.71 c 267s| 1 | 0 |132854 | 166M| 0 | 799 |1000 | 37k| 37k|1000 |8208 | 16k| 0 | 0 |-3.342647e+02 |-4.600000e+01 | 86.24%
271.90/272.06 c 271s| 1 | 0 |134454 | 167M| 0 | 799 |1000 | 37k| 37k|1000 |8294 | 17k| 0 | 0 |-3.327939e+02 |-4.600000e+01 | 86.18%
274.00/274.12 c 273s| 1 | 0 |135307 | 168M| 0 | 784 |1000 | 37k| 37k|1000 |8310 | 17k| 0 | 0 |-3.320294e+02 |-4.600000e+01 | 86.15%
277.40/277.53 c 276s| 1 | 0 |136957 | 170M| 0 | 797 |1000 | 37k| 37k|1000 |8429 | 17k| 0 | 0 |-3.312151e+02 |-4.600000e+01 | 86.11%
282.00/282.17 c 281s| 1 | 0 |139218 | 170M| 0 | 798 |1000 | 37k| 37k|1000 |8514 | 17k| 0 | 0 |-3.299716e+02 |-4.600000e+01 | 86.06%
286.79/286.96 c 285s| 1 | 0 |141325 | 173M| 0 | 797 |1000 | 37k| 37k|1000 |8049 | 17k| 0 | 0 |-3.278389e+02 |-4.600000e+01 | 85.97%
291.19/291.39 c 290s| 1 | 0 |143324 | 173M| 0 | 812 |1000 | 37k| 37k|1000 |8241 | 17k| 0 | 0 |-3.269972e+02 |-4.600000e+01 | 85.93%
295.19/295.34 c 294s| 1 | 0 |145061 | 173M| 0 | 796 |1000 | 37k| 37k|1000 |8353 | 17k| 0 | 0 |-3.253871e+02 |-4.600000e+01 | 85.86%
299.59/299.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.59/299.77 c 298s| 1 | 0 |147073 | 173M| 0 | 783 |1000 | 37k| 37k|1000 |8406 | 17k| 0 | 0 |-3.241829e+02 |-4.600000e+01 | 85.81%
303.39/303.53 c 302s| 1 | 0 |148763 | 173M| 0 | 788 |1000 | 37k| 37k|1000 |8417 | 17k| 0 | 0 |-3.227496e+02 |-4.600000e+01 | 85.75%
306.89/307.01 c 305s| 1 | 0 |150221 | 174M| 0 | 802 |1000 | 37k| 37k|1000 |8507 | 17k| 0 | 0 |-3.221327e+02 |-4.600000e+01 | 85.72%
311.19/311.33 c 310s| 1 | 0 |151921 | 174M| 0 | 784 |1000 | 37k| 37k|1000 |8474 | 17k| 0 | 0 |-3.207399e+02 |-4.600000e+01 | 85.66%
314.98/315.17 c 313s| 1 | 0 |153499 | 174M| 0 | 789 |1000 | 37k| 37k|1000 |8557 | 17k| 0 | 0 |-3.197925e+02 |-4.600000e+01 | 85.62%
318.18/318.36 c 317s| 1 | 0 |154758 | 175M| 0 | 791 |1000 | 37k| 37k|1000 |8589 | 17k| 0 | 0 |-3.193656e+02 |-4.600000e+01 | 85.60%
322.98/323.15 c 321s| 1 | 0 |156660 | 175M| 0 | 785 |1000 | 37k| 37k|1000 |8673 | 18k| 0 | 0 |-3.181531e+02 |-4.600000e+01 | 85.54%
328.28/328.47 c 327s| 1 | 0 |158748 | 175M| 0 | 791 |1000 | 37k| 37k|1000 |8741 | 18k| 0 | 0 |-3.164505e+02 |-4.600000e+01 | 85.46%
333.88/334.02 c 332s| 1 | 0 |161026 | 175M| 0 | 794 |1000 | 37k| 37k|1000 |8814 | 18k| 0 | 0 |-3.146960e+02 |-4.600000e+01 | 85.38%
339.57/339.74 c 338s| 1 | 0 |163302 | 175M| 0 | 796 |1000 | 37k| 37k|1000 |8624 | 18k| 0 | 0 |-3.135355e+02 |-4.600000e+01 | 85.33%
343.97/344.20 c 342s| 1 | 0 |165000 | 175M| 0 | 800 |1000 | 37k| 37k|1000 |8663 | 18k| 0 | 0 |-3.126718e+02 |-4.600000e+01 | 85.29%
349.76/349.97 c 348s| 1 | 0 |167360 | 175M| 0 | 804 |1000 | 37k| 37k|1000 |8709 | 18k| 0 | 0 |-3.111132e+02 |-4.600000e+01 | 85.21%
353.37/353.53 c 352s| 1 | 0 |168626 | 174M| 0 | 816 |1000 | 37k| 37k|1000 |8722 | 18k| 0 | 0 |-3.107553e+02 |-4.600000e+01 | 85.20%
358.17/358.39 c 356s| 1 | 0 |170432 | 174M| 0 | 811 |1000 | 37k| 37k|1000 |8732 | 18k| 0 | 0 |-3.097061e+02 |-4.600000e+01 | 85.15%
361.67/361.84 c 360s| 1 | 0 |171561 | 174M| 0 | 825 |1000 | 37k| 37k|1000 |8746 | 18k| 0 | 0 |-3.093520e+02 |-4.600000e+01 | 85.13%
368.16/368.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.16/368.34 c 366s| 1 | 0 |173883 | 174M| 0 | 806 |1000 | 37k| 37k|1000 |8584 | 18k| 0 | 0 |-3.068552e+02 |-4.600000e+01 | 85.01%
372.66/372.81 c 371s| 1 | 0 |175610 | 174M| 0 | 811 |1000 | 37k| 37k|1000 |8627 | 18k| 0 | 0 |-3.062854e+02 |-4.600000e+01 | 84.98%
377.96/378.11 c 376s| 1 | 0 |177707 | 174M| 0 | 826 |1000 | 37k| 37k|1000 |8688 | 18k| 0 | 0 |-3.051416e+02 |-4.600000e+01 | 84.93%
383.25/383.46 c 381s| 1 | 0 |179784 | 174M| 0 | 808 |1000 | 37k| 37k|1000 |8731 | 18k| 0 | 0 |-3.041319e+02 |-4.600000e+01 | 84.87%
388.76/388.95 c 387s| 1 | 0 |181893 | 174M| 0 | 815 |1000 | 37k| 37k|1000 |8788 | 18k| 0 | 0 |-3.029290e+02 |-4.600000e+01 | 84.81%
395.56/395.73 c 394s| 1 | 0 |184637 | 173M| 0 | 824 |1000 | 37k| 37k|1000 |9005 | 18k| 0 | 0 |-3.009377e+02 |-4.600000e+01 | 84.71%
402.15/402.35 c 400s| 1 | 0 |187068 | 173M| 0 | 819 |1000 | 37k| 37k|1000 |8832 | 19k| 0 | 0 |-2.997953e+02 |-4.600000e+01 | 84.66%
408.65/408.87 c 407s| 1 | 0 |189706 | 173M| 0 | 819 |1000 | 37k| 37k|1000 |8880 | 19k| 0 | 0 |-2.984872e+02 |-4.600000e+01 | 84.59%
414.64/414.86 c 413s| 1 | 0 |192029 | 173M| 0 | 813 |1000 | 37k| 37k|1000 |8965 | 19k| 0 | 0 |-2.966812e+02 |-4.600000e+01 | 84.50%
419.85/420.04 c 418s| 1 | 0 |194227 | 173M| 0 | 827 |1000 | 37k| 37k|1000 |8982 | 19k| 0 | 0 |-2.951575e+02 |-4.600000e+01 | 84.42%
425.14/425.31 c 423s| 1 | 0 |196211 | 173M| 0 | 827 |1000 | 37k| 37k|1000 |9032 | 19k| 0 | 0 |-2.945134e+02 |-4.600000e+01 | 84.38%
429.44/429.60 c 427s| 1 | 0 |197458 | 173M| 0 | 815 |1000 | 37k| 37k|1000 |9090 | 19k| 0 | 0 |-2.941209e+02 |-4.600000e+01 | 84.36%
434.83/435.06 c 433s| 1 | 0 |199283 | 173M| 0 | 824 |1000 | 37k| 37k|1000 |9081 | 19k| 0 | 0 |-2.935080e+02 |-4.600000e+01 | 84.33%
440.63/440.81 c 438s| 1 | 0 |201252 | 173M| 0 | 822 |1000 | 37k| 37k|1000 |9108 | 19k| 0 | 0 |-2.927144e+02 |-4.600000e+01 | 84.29%
447.64/447.83 c 445s| 1 | 0 |203807 | 173M| 0 | 820 |1000 | 37k| 37k|1000 |9193 | 19k| 0 | 0 |-2.918835e+02 |-4.600000e+01 | 84.24%
453.73/453.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.73/453.92 c 452s| 1 | 0 |206067 | 173M| 0 | 857 |1000 | 37k| 37k|1000 |9221 | 19k| 0 | 0 |-2.910563e+02 |-4.600000e+01 | 84.20%
463.83/464.09 c 462s| 1 | 0 |207683 | 173M| 0 | 835 |1000 | 37k| 37k|1000 |9741 | 20k| 0 | 0 |-2.905804e+02 |-4.600000e+01 | 84.17%
470.13/470.30 c 468s| 1 | 0 |209671 | 173M| 0 | 838 |1000 | 37k| 37k|1000 |9749 | 20k| 0 | 0 |-2.900096e+02 |-4.600000e+01 | 84.14%
476.32/476.54 c 474s| 1 | 0 |211238 | 173M| 0 | 854 |1000 | 37k| 37k|1000 |9554 | 20k| 0 | 0 |-2.895492e+02 |-4.600000e+01 | 84.11%
483.62/483.86 c 481s| 1 | 0 |213559 | 173M| 0 | 842 |1000 | 37k| 37k|1000 |9563 | 20k| 0 | 0 |-2.886225e+02 |-4.600000e+01 | 84.06%
491.52/491.74 c 489s| 1 | 0 |215999 | 173M| 0 | 844 |1000 | 37k| 37k|1000 |9654 | 20k| 0 | 0 |-2.873365e+02 |-4.600000e+01 | 83.99%
498.62/498.82 c 496s| 1 | 0 |218067 | 173M| 0 | 843 |1000 | 37k| 37k|1000 |9666 | 20k| 0 | 0 |-2.866795e+02 |-4.600000e+01 | 83.95%
504.81/505.03 c 502s| 1 | 0 |219669 | 173M| 0 | 843 |1000 | 37k| 37k|1000 |9707 | 20k| 0 | 0 |-2.861857e+02 |-4.600000e+01 | 83.93%
511.81/512.04 c 509s| 1 | 0 |221513 | 172M| 0 | 848 |1000 | 37k| 37k|1000 |9735 | 20k| 0 | 0 |-2.857421e+02 |-4.600000e+01 | 83.90%
519.10/519.34 c 517s| 1 | 0 |223132 | 172M| 0 | 850 |1000 | 37k| 37k|1000 |9605 | 20k| 0 | 0 |-2.851098e+02 |-4.600000e+01 | 83.87%
527.80/528.02 c 525s| 1 | 0 |225490 | 172M| 0 | 865 |1000 | 37k| 37k|1000 |9637 | 20k| 0 | 0 |-2.838077e+02 |-4.600000e+01 | 83.79%
536.70/536.92 c 534s| 1 | 0 |227882 | 172M| 0 | 867 |1000 | 37k| 37k|1000 |9677 | 20k| 0 | 0 |-2.829548e+02 |-4.600000e+01 | 83.74%
546.10/546.39 c 544s| 1 | 0 |229938 | 172M| 0 | 874 |1000 | 37k| 37k|1000 |9749 | 20k| 0 | 0 |-2.821138e+02 |-4.600000e+01 | 83.69%
555.99/556.20 c 553s| 1 | 0 |232013 | 172M| 0 | 866 |1000 | 37k| 37k|1000 |9826 | 20k| 0 | 0 |-2.813516e+02 |-4.600000e+01 | 83.65%
566.29/566.54 c 564s| 1 | 0 |234310 | 172M| 0 | 865 |1000 | 37k| 37k|1000 |9899 | 20k| 0 | 0 |-2.804019e+02 |-4.600000e+01 | 83.59%
577.59/577.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.59/577.85 c 575s| 1 | 0 |236869 | 172M| 0 | 879 |1000 | 37k| 37k|1000 |9448 | 20k| 0 | 0 |-2.794715e+02 |-4.600000e+01 | 83.54%
588.68/588.98 c 586s| 1 | 0 |238987 | 172M| 0 | 871 |1000 | 37k| 37k|1000 |9520 | 20k| 0 | 0 |-2.786154e+02 |-4.600000e+01 | 83.49%
599.88/600.16 c 597s| 1 | 0 |241311 | 172M| 0 | 876 |1000 | 37k| 37k|1000 |9595 | 20k| 0 | 0 |-2.779056e+02 |-4.600000e+01 | 83.45%
610.97/611.21 c 608s| 1 | 0 |243404 | 172M| 0 | 873 |1000 | 37k| 37k|1000 |9621 | 20k| 0 | 0 |-2.773280e+02 |-4.600000e+01 | 83.41%
622.96/623.24 c 620s| 1 | 0 |245689 | 172M| 0 | 879 |1000 | 37k| 37k|1000 |9671 | 21k| 0 | 0 |-2.765148e+02 |-4.600000e+01 | 83.36%
633.57/633.86 c 631s| 1 | 0 |247513 | 172M| 0 | 886 |1000 | 37k| 37k|1000 |9730 | 21k| 0 | 0 |-2.759832e+02 |-4.600000e+01 | 83.33%
645.56/645.87 c 643s| 1 | 0 |249222 | 171M| 0 | 877 |1000 | 37k| 37k|1000 |9602 | 21k| 0 | 0 |-2.755403e+02 |-4.600000e+01 | 83.31%
656.85/657.10 c 654s| 1 | 0 |251141 | 171M| 0 | 886 |1000 | 37k| 37k|1000 |9615 | 21k| 0 | 0 |-2.748240e+02 |-4.600000e+01 | 83.26%
670.15/670.42 c 667s| 1 | 0 |253628 | 171M| 0 | 903 |1000 | 37k| 37k|1000 |9650 | 21k| 0 | 0 |-2.739305e+02 |-4.600000e+01 | 83.21%
684.14/684.41 c 681s| 1 | 0 |255849 | 171M| 0 | 888 |1000 | 37k| 37k|1000 |9778 | 21k| 0 | 0 |-2.730244e+02 |-4.600000e+01 | 83.15%
697.24/697.51 c 694s| 1 | 0 |257798 | 171M| 0 | 891 |1000 | 37k| 37k|1000 |9856 | 21k| 0 | 0 |-2.723101e+02 |-4.600000e+01 | 83.11%
710.84/711.15 c 708s| 1 | 0 |259974 | 170M| 0 | 895 |1000 | 37k| 37k|1000 |9872 | 21k| 0 | 0 |-2.717179e+02 |-4.600000e+01 | 83.07%
723.84/724.20 c 721s| 1 | 0 |261463 | 170M| 0 | 889 |1000 | 37k| 37k|1000 |9732 | 21k| 0 | 0 |-2.713557e+02 |-4.600000e+01 | 83.05%
738.03/738.35 c 735s| 1 | 0 |264061 | 170M| 0 | 894 |1000 | 37k| 37k|1000 |9819 | 21k| 0 | 0 |-2.704356e+02 |-4.600000e+01 | 82.99%
752.32/752.63 c 749s| 1 | 0 |266326 | 170M| 0 | 901 |1000 | 37k| 37k|1000 |9887 | 21k| 0 | 0 |-2.698193e+02 |-4.600000e+01 | 82.95%
766.01/766.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.01/766.31 c 763s| 1 | 0 |268249 | 170M| 0 | 898 |1000 | 37k| 37k|1000 |9958 | 21k| 0 | 0 |-2.692291e+02 |-4.600000e+01 | 82.91%
780.82/781.17 c 778s| 1 | 0 |270478 | 170M| 0 | 910 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.685925e+02 |-4.600000e+01 | 82.87%
793.61/793.94 c 790s| 1 | 0 |271714 | 170M| 0 | 911 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.682932e+02 |-4.600000e+01 | 82.85%
807.50/807.82 c 804s| 1 | 0 |273084 | 170M| 0 | 910 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.679439e+02 |-4.600000e+01 | 82.83%
821.60/821.93 c 818s| 1 | 0 |274838 | 170M| 0 | 907 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.675418e+02 |-4.600000e+01 | 82.81%
836.09/836.45 c 833s| 1 | 0 |276718 | 169M| 0 | 911 |1000 | 37k| 37k|1000 | 10k| 21k| 0 | 0 |-2.670505e+02 |-4.600000e+01 | 82.77%
852.98/853.34 c 849s| 1 | 0 |279311 | 169M| 0 | 913 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.663507e+02 |-4.600000e+01 | 82.73%
869.59/869.98 c 866s| 1 | 0 |281722 | 169M| 0 | 906 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.657626e+02 |-4.600000e+01 | 82.69%
887.38/887.78 c 884s| 1 | 0 |284537 | 169M| 0 | 910 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.647658e+02 |-4.600000e+01 | 82.63%
904.97/905.32 c 901s| 1 | 0 |286934 | 169M| 0 | 915 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.639994e+02 |-4.600000e+01 | 82.58%
919.97/920.37 c 916s| 1 | 0 |288822 | 169M| 0 | 913 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.635419e+02 |-4.600000e+01 | 82.55%
934.46/934.84 c 931s| 1 | 0 |290680 | 169M| 0 | 913 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.629838e+02 |-4.600000e+01 | 82.51%
948.05/948.43 c 944s| 1 | 0 |292057 | 169M| 0 | 918 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.626731e+02 |-4.600000e+01 | 82.49%
962.75/963.16 c 959s| 1 | 0 |293674 | 169M| 0 | 917 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.620753e+02 |-4.600000e+01 | 82.45%
977.44/977.87 c 974s| 1 | 0 |295392 | 168M| 0 | 928 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.614986e+02 |-4.600000e+01 | 82.41%
994.73/995.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.73/995.14 c 991s| 1 | 0 |297516 | 168M| 0 | 922 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.610512e+02 |-4.600000e+01 | 82.38%
1010.33/1010.70 c 1006s| 1 | 0 |299361 | 168M| 0 | 924 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.605461e+02 |-4.600000e+01 | 82.34%
1024.03/1024.48 c 1020s| 1 | 0 |300582 | 168M| 0 | 925 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.602402e+02 |-4.600000e+01 | 82.32%
1038.22/1038.68 c 1034s| 1 | 0 |302013 | 168M| 0 | 932 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.599413e+02 |-4.600000e+01 | 82.30%
1053.71/1054.10 c 1049s| 1 | 0 |303714 | 168M| 0 | 937 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.594580e+02 |-4.600000e+01 | 82.27%
1068.81/1069.21 c 1065s| 1 | 0 |305146 | 167M| 0 | 941 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.591572e+02 |-4.600000e+01 | 82.25%
1083.41/1083.89 c 1079s| 1 | 0 |306132 | 166M| 0 | 937 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.589165e+02 |-4.600000e+01 | 82.23%
1096.00/1096.41 c 1092s| 1 | 0 |306724 | 166M| 0 | 938 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.588100e+02 |-4.600000e+01 | 82.23%
1112.70/1113.12 c 1108s| 1 | 0 |308884 | 165M| 0 | 944 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.583632e+02 |-4.600000e+01 | 82.20%
1128.19/1128.60 c 1124s| 1 | 0 |310448 | 164M| 0 | 941 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.580072e+02 |-4.600000e+01 | 82.17%
1142.78/1143.28 c 1138s| 1 | 0 |311853 | 164M| 0 | 953 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.577231e+02 |-4.600000e+01 | 82.15%
1158.48/1158.98 c 1154s| 1 | 0 |313490 | 163M| 0 | 951 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.573434e+02 |-4.600000e+01 | 82.13%
1173.18/1173.66 c 1169s| 1 | 0 |314280 | 161M| 0 | 950 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.571840e+02 |-4.600000e+01 | 82.11%
1187.67/1188.18 c 1183s| 1 | 0 |315546 | 160M| 0 | 953 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.569648e+02 |-4.600000e+01 | 82.10%
1202.66/1203.19 c 1198s| 1 | 0 |316967 | 159M| 0 | 948 |1000 | 37k| 37k|1000 | 10k| 22k| 0 | 0 |-2.566219e+02 |-4.600000e+01 | 82.07%
1216.75/1217.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1216.75/1217.21 c 1212s| 1 | 0 |318018 | 158M| 0 | 953 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.564110e+02 |-4.600000e+01 | 82.06%
1231.25/1231.74 c 1227s| 1 | 0 |319191 | 157M| 0 | 951 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.561258e+02 |-4.600000e+01 | 82.04%
1245.05/1245.54 c 1240s| 1 | 0 |320132 | 155M| 0 | 957 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.559427e+02 |-4.600000e+01 | 82.03%
1261.64/1262.13 c 1257s| 1 | 0 |321467 | 154M| 0 | 957 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.556928e+02 |-4.600000e+01 | 82.01%
1277.33/1277.85 c 1273s| 1 | 0 |322771 | 152M| 0 | 959 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.553743e+02 |-4.600000e+01 | 81.99%
1292.24/1292.72 c 1287s| 1 | 0 |323961 | 151M| 0 | 955 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.549683e+02 |-4.600000e+01 | 81.96%
1307.13/1307.65 c 1302s| 1 | 0 |325099 | 150M| 0 | 961 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.546234e+02 |-4.600000e+01 | 81.93%
1321.42/1321.96 c 1317s| 1 | 0 |326137 | 148M| 0 | 962 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.543768e+02 |-4.600000e+01 | 81.92%
1335.31/1335.83 c 1330s| 1 | 0 |326919 | 148M| 0 | 959 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.541854e+02 |-4.600000e+01 | 81.90%
1352.11/1352.60 c 1347s| 1 | 0 |328057 | 145M| 0 | 959 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.539334e+02 |-4.600000e+01 | 81.89%
1366.71/1367.25 c 1362s| 1 | 0 |329099 | 145M| 0 | 965 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.536938e+02 |-4.600000e+01 | 81.87%
1381.20/1381.71 c 1376s| 1 | 0 |329924 | 145M| 0 | 969 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.534926e+02 |-4.600000e+01 | 81.85%
1395.19/1395.80 c 1390s| 1 | 0 |330754 | 145M| 0 | 964 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.533083e+02 |-4.600000e+01 | 81.84%
1410.59/1411.13 c 1405s| 1 | 0 |331901 | 145M| 0 | 963 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.530199e+02 |-4.600000e+01 | 81.82%
1425.18/1425.72 c 1420s| 1 | 0 |332835 | 144M| 0 | 957 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.528648e+02 |-4.600000e+01 | 81.81%
1439.88/1440.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.88/1440.45 c 1435s| 1 | 0 |333519 | 144M| 0 | 965 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.526864e+02 |-4.600000e+01 | 81.80%
1453.87/1454.42 c 1449s| 1 | 0 |334129 | 144M| 0 | 966 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.525698e+02 |-4.600000e+01 | 81.79%
1470.36/1470.92 c 1465s| 1 | 0 |335651 | 144M| 0 | 963 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.522104e+02 |-4.600000e+01 | 81.76%
1484.66/1485.27 c 1479s| 1 | 0 |336633 | 144M| 0 | 971 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.519758e+02 |-4.600000e+01 | 81.74%
1497.86/1498.48 c 1493s| 1 | 0 |337112 | 144M| 0 | 967 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.519058e+02 |-4.600000e+01 | 81.74%
1512.25/1512.89 c 1507s| 1 | 0 |338004 | 143M| 0 | 967 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.517273e+02 |-4.600000e+01 | 81.73%
1527.74/1528.38 c 1522s| 1 | 0 |338859 | 143M| 0 | 969 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.515507e+02 |-4.600000e+01 | 81.71%
1542.14/1542.76 c 1537s| 1 | 0 |339608 | 143M| 0 | 967 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.513915e+02 |-4.600000e+01 | 81.70%
1555.14/1555.74 c 1550s| 1 | 0 |339954 | 143M| 0 | 979 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.513342e+02 |-4.600000e+01 | 81.70%
1569.33/1569.94 c 1564s| 1 | 0 |340710 | 143M| 0 | 982 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.511146e+02 |-4.600000e+01 | 81.68%
1582.93/1583.59 c 1577s| 1 | 0 |341364 | 143M| 0 | 978 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.510096e+02 |-4.600000e+01 | 81.67%
1597.02/1597.68 c 1591s| 1 | 0 |341973 | 143M| 0 | 979 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.508493e+02 |-4.600000e+01 | 81.66%
1611.62/1612.29 c 1606s| 1 | 0 |342484 | 143M| 0 | 977 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.507563e+02 |-4.600000e+01 | 81.66%
1626.11/1626.71 c 1620s| 1 | 0 |343079 | 143M| 0 | 984 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.506513e+02 |-4.600000e+01 | 81.65%
1640.30/1640.90 c 1635s| 1 | 0 |343904 | 143M| 0 | 980 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.504428e+02 |-4.600000e+01 | 81.63%
1655.10/1655.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.10/1655.70 c 1649s| 1 | 0 |344853 | 143M| 0 | 985 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.502386e+02 |-4.600000e+01 | 81.62%
1670.30/1670.95 c 1665s| 1 | 0 |345833 | 143M| 0 | 988 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.500533e+02 |-4.600000e+01 | 81.60%
1685.79/1686.46 c 1680s| 1 | 0 |346789 | 143M| 0 | 987 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.498862e+02 |-4.600000e+01 | 81.59%
1700.58/1701.29 c 1695s| 1 | 0 |347329 | 143M| 0 | 983 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.497973e+02 |-4.600000e+01 | 81.59%
1715.08/1715.78 c 1709s| 1 | 0 |348020 | 143M| 0 | 985 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.496600e+02 |-4.600000e+01 | 81.57%
1730.58/1731.30 c 1725s| 1 | 0 |348916 | 143M| 0 | 983 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.494559e+02 |-4.600000e+01 | 81.56%
1743.97/1744.61 c 1738s| 1 | 0 |349287 | 143M| 0 | 990 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.493762e+02 |-4.600000e+01 | 81.55%
1758.46/1759.13 c 1753s| 1 | 0 |349994 | 143M| 0 | 993 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.492394e+02 |-4.600000e+01 | 81.54%
1772.65/1773.36 c 1767s| 1 | 0 |350438 | 143M| 0 | 990 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.491663e+02 |-4.600000e+01 | 81.54%
1788.84/1789.52 c 1783s| 1 | 0 |351203 | 143M| 0 | 987 |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.490015e+02 |-4.600000e+01 | 81.53%
1797.04/1797.76 c 1791s| 1 | 0 |351203 | 143M| 0 | - |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.490015e+02 |-4.600000e+01 | 81.53%
1797.04/1797.77 c 1791s| 1 | 2 |351203 | 143M| 0 | - |1000 | 37k| 37k|1000 | 10k| 23k| 0 | 0 |-2.490015e+02 |-4.600000e+01 | 81.53%
1797.04/1797.77 c
1797.04/1797.77 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.77 c Solving Time (sec) : 1791.05
1797.04/1797.77 c Solving Nodes : 1
1797.04/1797.77 c Primal Bound : -4.60000000000000e+01 (2 solutions)
1797.04/1797.77 c Dual Bound : -2.49001539794275e+02
1797.04/1797.77 c Gap : 81.53 %
1797.14/1797.85 c NODE 1
1797.14/1797.85 c DUAL BOUND -249.002
1797.14/1797.85 c PRIMAL BOUND -46
1797.14/1797.85 c GAP 0.815262
1797.14/1797.85 s SATISFIABLE
1797.14/1797.85 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
1797.14/1797.85 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1797.14/1797.85 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
1797.14/1797.85 v x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
1797.14/1797.85 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896
1797.14/1797.85 v x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1797.14/1797.85 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
1797.14/1797.85 v -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1797.14/1797.85 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1797.14/1797.85 v -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1797.14/1797.85 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
1797.14/1797.85 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
1797.14/1797.85 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
1797.14/1797.85 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
1797.14/1797.85 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1797.14/1797.85 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
1797.14/1797.85 v -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1797.14/1797.85 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1797.14/1797.85 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1797.14/1797.85 v -x602 x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1797.14/1797.85 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
1797.14/1797.85 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541
1797.14/1797.85 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
1797.14/1797.85 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502 -x501 -x500 -x499
1797.14/1797.85 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
1797.14/1797.85 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
1797.14/1797.85 v -x456 -x455 -x454 x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436
1797.14/1797.85 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415
1797.14/1797.85 v -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394
1797.14/1797.85 v -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373
1797.14/1797.85 v -x372 -x371 -x370 -x369 x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1797.14/1797.85 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1797.14/1797.85 v x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1797.14/1797.85 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
1797.14/1797.85 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268
1797.14/1797.85 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1797.14/1797.85 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1797.14/1797.85 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 x207 -x206 -x205
1797.14/1797.85 v -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1797.14/1797.85 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1797.14/1797.85 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
1797.14/1797.85 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122
1797.14/1797.85 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 x101 x100
1797.14/1797.85 v -x99 -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
1797.14/1797.85 v -x73 -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
1797.14/1797.85 v -x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
1797.14/1797.85 v -x22 -x21 x20 -x19 x18 -x17 x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 x6 -x5 -x4 x3 -x2 -x1
1797.14/1797.85 c SCIP Status : solving was interrupted [time limit reached]
1797.14/1797.85 c Solving Time : 1791.05
1797.14/1797.85 c Original Problem :
1797.14/1797.85 c Problem name : HOME/instance-1870343-1245198705.opb
1797.14/1797.85 c Variables : 38647 (38647 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.85 c Constraints : 38647 initial, 38647 maximal
1797.14/1797.85 c Presolved Problem :
1797.14/1797.85 c Problem name : t_HOME/instance-1870343-1245198705.opb
1797.14/1797.85 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.85 c Constraints : 37647 initial, 37647 maximal
1797.14/1797.85 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.14/1797.85 c trivial : 0.01 0 0 0 0 0 0 0 0
1797.14/1797.85 c dualfix : 0.01 0 0 0 0 0 0 0 0
1797.14/1797.85 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.14/1797.85 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.14/1797.85 c implics : 0.00 0 0 0 0 0 0 0 0
1797.14/1797.85 c probing : 2.27 0 0 0 0 0 0 0 0
1797.14/1797.85 c and : 0.98 0 0 0 0 0 0 0 0
1797.14/1797.85 c linear : 0.26 37647 0 0 37647 0 1000 0 0
1797.14/1797.85 c root node : - 0 - - 0 - - - -
1797.14/1797.85 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.14/1797.85 c integral : 0 0 0 0 0 0 0 0 0 0
1797.14/1797.85 c and : 37647 234 201 0 1 0 0 30971 0 0
1797.14/1797.85 c countsols : 0 0 0 0 1 0 0 0 0 0
1797.14/1797.85 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.14/1797.85 c integral : 0.00 0.00 0.00 0.00 0.00
1797.14/1797.85 c and : 13.37 11.62 1.75 0.00 0.00
1797.14/1797.85 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.14/1797.85 c Propagators : Time Calls Cutoffs DomReds
1797.14/1797.85 c rootredcost : 0.00 0 0 0
1797.14/1797.85 c pseudoobj : 0.02 234 0 0
1797.14/1797.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.14/1797.86 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.14/1797.86 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.14/1797.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.14/1797.86 c applied globally : - - - 0 0.0 - - -
1797.14/1797.86 c applied locally : - - - 0 0.0 - - -
1797.14/1797.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.14/1797.86 c cut pool : 1.43 233 - - 3814 - (maximal pool size: 13350)
1797.14/1797.86 c redcost : 0.01 234 0 0 0 0
1797.14/1797.86 c impliedbounds : 0.88 231 0 0 22588 0
1797.14/1797.86 c intobj : 0.00 0 0 0 0 0
1797.14/1797.86 c gomory : 978.00 231 0 0 82665 0
1797.14/1797.86 c strongcg : 4.41 20 0 0 10000 0
1797.14/1797.86 c cmir : 4.48 10 0 0 0 0
1797.14/1797.86 c flowcover : 3.90 10 0 0 0 0
1797.14/1797.86 c clique : 13.67 230 0 0 2067 0
1797.14/1797.86 c zerohalf : 0.00 0 0 0 0 0
1797.14/1797.86 c mcf : 0.09 1 0 0 0 0
1797.14/1797.86 c Pricers : Time Calls Vars
1797.14/1797.86 c problem variables: 0.00 0 0
1797.14/1797.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.14/1797.86 c relpscost : 0.00 0 0 0 0 0 0
1797.14/1797.86 c pscost : 0.00 0 0 0 0 0 0
1797.14/1797.86 c inference : 0.00 1 0 0 0 0 2
1797.14/1797.86 c mostinf : 0.00 0 0 0 0 0 0
1797.14/1797.86 c leastinf : 0.00 0 0 0 0 0 0
1797.14/1797.86 c fullstrong : 0.00 0 0 0 0 0 0
1797.14/1797.86 c allfullstrong : 0.00 0 0 0 0 0 0
1797.14/1797.86 c random : 0.00 0 0 0 0 0 0
1797.14/1797.86 c Primal Heuristics : Time Calls Found
1797.14/1797.86 c LP solutions : 0.00 - 0
1797.14/1797.86 c pseudo solutions : 0.00 - 0
1797.14/1797.86 c simplerounding : 0.00 0 0
1797.14/1797.86 c rounding : 4.79 234 1
1797.14/1797.86 c shifting : 4.98 200 1
1797.14/1797.86 c intshifting : 0.00 0 0
1797.14/1797.86 c oneopt : 0.01 1 0
1797.14/1797.86 c fixandinfer : 0.00 0 0
1797.14/1797.86 c feaspump : 0.00 0 0
1797.14/1797.86 c coefdiving : 0.00 0 0
1797.14/1797.86 c pscostdiving : 0.00 0 0
1797.14/1797.86 c fracdiving : 0.00 0 0
1797.14/1797.86 c veclendiving : 0.00 0 0
1797.14/1797.86 c intdiving : 0.00 0 0
1797.14/1797.86 c actconsdiving : 0.00 0 0
1797.14/1797.86 c objpscostdiving : 0.00 0 0
1797.14/1797.86 c rootsoldiving : 0.00 0 0
1797.14/1797.86 c linesearchdiving : 0.00 0 0
1797.14/1797.86 c guideddiving : 0.00 0 0
1797.14/1797.86 c octane : 0.00 0 0
1797.14/1797.86 c rens : 0.00 0 0
1797.14/1797.86 c rins : 0.00 0 0
1797.14/1797.86 c localbranching : 0.00 0 0
1797.14/1797.86 c mutation : 0.00 0 0
1797.14/1797.86 c crossover : 0.00 0 0
1797.14/1797.86 c dins : 0.00 0 0
1797.14/1797.86 c LP : Time Calls Iterations Iter/call Iter/sec
1797.14/1797.86 c primal LP : 19.05 0 0 0.00 0.00
1797.14/1797.86 c dual LP : 727.86 234 351203 1500.87 482.51
1797.14/1797.86 c barrier LP : 0.00 0 0 0.00 -
1797.14/1797.86 c diving/probing LP: 0.00 0 0 0.00 -
1797.14/1797.86 c strong branching : 0.00 0 0 0.00 -
1797.14/1797.86 c (at root node) : - 0 0 0.00 -
1797.14/1797.86 c conflict analysis: 0.00 0 0 0.00 -
1797.14/1797.86 c B&B Tree :
1797.14/1797.86 c number of runs : 1
1797.14/1797.86 c nodes : 1
1797.14/1797.86 c nodes (total) : 1
1797.14/1797.86 c nodes left : 2
1797.14/1797.86 c max depth : 0
1797.14/1797.86 c max depth (total): 0
1797.14/1797.86 c backtracks : 0 (0.0%)
1797.14/1797.86 c delayed cutoffs : 0
1797.14/1797.86 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.14/1797.86 c avg switch length: 1.00
1797.14/1797.86 c switching time : 0.00
1797.14/1797.86 c Solution :
1797.14/1797.86 c Solutions found : 2 (1 improvements)
1797.14/1797.86 c Primal Bound : -4.60000000000000e+01 (in run 1, after 1 nodes, 4.71 seconds, depth 0, found by <rounding>)
1797.14/1797.86 c Dual Bound : -2.49001539794275e+02
1797.14/1797.86 c Gap : 81.53 %
1797.14/1797.86 c Root Dual Bound : -2.49001539794275e+02
1797.54/1798.21 c Time complete: 1797.54.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870343-1245198705/watcher-1870343-1245198705 -o /tmp/evaluation-result-1870343-1245198705/solver-1870343-1245198705 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870343-1245198705.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3410
/proc/meminfo: memFree=1824168/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=5812 CPUtime=0
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 187470955 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 1453 501 332 1256 0 192 0
[startup+0.0270679 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3410
/proc/meminfo: memFree=1824168/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=13472 CPUtime=0.01
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 2287 0 0 0 1 0 0 0 18 0 1 0 187470955 13795328 2271 1992294400 4194304 9342243 548682068736 18446744073709551615 8251536 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 3368 2271 378 1256 0 2107 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13472
[startup+0.101081 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3410
/proc/meminfo: memFree=1824168/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=23932 CPUtime=0.09
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 4899 0 0 0 8 1 0 0 18 0 1 0 187470955 24506368 4883 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 5983 4883 378 1256 0 4722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23932
[startup+0.301113 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3410
/proc/meminfo: memFree=1824168/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=43952 CPUtime=0.29
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 9931 0 0 0 26 3 0 0 19 0 1 0 187470955 45006848 9915 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 10988 9915 378 1256 0 9727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43952
[startup+0.702182 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3410
/proc/meminfo: memFree=1824168/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=102624 CPUtime=0.69
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 25033 0 0 0 59 10 0 0 22 0 1 0 187470955 105086976 24589 1992294400 4194304 9342243 548682068736 18446744073709551615 4685941 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 25656 24589 426 1256 0 24395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102624
[startup+1.50132 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3411
/proc/meminfo: memFree=1723552/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=116636 CPUtime=1.49
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 28303 0 0 0 135 14 0 0 25 0 1 0 187470955 119435264 27859 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 29159 27859 446 1256 0 27898 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116636
[startup+3.10158 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3411
/proc/meminfo: memFree=1710624/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=122116 CPUtime=3.09
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 30464 0 0 0 277 32 0 0 25 0 1 0 187470955 125046784 29266 1992294400 4194304 9342243 548682068736 18446744073709551615 4903340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 30529 29266 475 1256 0 29268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 122116
[startup+6.30113 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3411
/proc/meminfo: memFree=1634208/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=219092 CPUtime=6.29
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 51593 0 0 0 586 43 0 0 25 0 1 0 187470955 224350208 48464 1992294400 4194304 9342243 548682068736 18446744073709551615 8247743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 54773 48464 622 1256 0 53512 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 219092
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3411
/proc/meminfo: memFree=1624808/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=221108 CPUtime=12.69
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 53749 0 0 0 1221 48 0 0 25 0 1 0 187470955 226414592 50620 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 55277 50620 642 1256 0 54016 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221108
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3411
/proc/meminfo: memFree=1617960/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=222924 CPUtime=25.48
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 55209 0 0 0 2498 50 0 0 25 0 1 0 187470955 228274176 52080 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 55731 52080 643 1256 0 54470 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 222924
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3411
/proc/meminfo: memFree=1614568/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=220596 CPUtime=51.07
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 57129 0 0 0 5053 54 0 0 25 0 1 0 187470955 225890304 53609 1992294400 4194304 9342243 548682068736 18446744073709551615 6951651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 55149 53609 659 1256 0 53888 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 220596
[startup+102.305 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 3411
/proc/meminfo: memFree=1606504/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=226100 CPUtime=102.26
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 58452 0 0 0 10166 60 0 0 25 0 1 0 187470955 231526400 54932 1992294400 4194304 9342243 548682068736 18446744073709551615 6959735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 56525 54932 659 1256 0 55264 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 226100
[startup+162.301 s]
/proc/loadavg: 1.12 1.03 1.01 2/65 3411
/proc/meminfo: memFree=1602216/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=236432 CPUtime=162.23
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 74383 0 0 0 16146 77 0 0 25 0 1 0 187470955 242106368 56230 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 59108 56230 659 1256 0 57847 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 236432
[startup+222.302 s]
/proc/loadavg: 1.18 1.07 1.02 2/65 3411
/proc/meminfo: memFree=1598568/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=239008 CPUtime=222.21
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 75066 0 0 0 22136 85 0 0 25 0 1 0 187470955 244744192 56913 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 59752 56913 659 1256 0 58491 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 239008
[startup+282.302 s]
/proc/loadavg: 1.07 1.05 1.01 2/65 3411
/proc/meminfo: memFree=1571112/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=272040 CPUtime=282.2
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 90188 0 0 0 28118 102 0 0 25 0 1 0 187470955 278568960 63669 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68010 63669 659 1256 0 66749 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 272040
[startup+342.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 3411
/proc/meminfo: memFree=1568296/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=273440 CPUtime=342.17
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 135644 0 0 0 34077 140 0 0 25 0 1 0 187470955 280002560 64259 1992294400 4194304 9342243 548682068736 18446744073709551615 6959589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68360 64259 659 1256 0 67099 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 273440
[startup+402.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 3411
/proc/meminfo: memFree=1568488/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=268804 CPUtime=402.15
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 163827 0 0 0 40049 166 0 0 25 0 1 0 187470955 275255296 63996 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67201 63996 659 1256 0 65940 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 268804
[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3411
/proc/meminfo: memFree=1568616/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=271048 CPUtime=462.13
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 181913 0 0 0 46025 188 0 0 25 0 1 0 187470955 277553152 64133 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67762 64133 659 1256 0 66501 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 271048
[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.00 3/65 3411
/proc/meminfo: memFree=1568232/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=269372 CPUtime=522.11
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 199929 0 0 0 52003 208 0 0 25 0 1 0 187470955 275836928 64415 1992294400 4194304 9342243 548682068736 18446744073709551615 6939137 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67343 64415 659 1256 0 66082 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 269372
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3411
/proc/meminfo: memFree=1569576/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=269196 CPUtime=582.09
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 212349 0 0 0 57985 224 0 0 25 0 1 0 187470955 275656704 64055 1992294400 4194304 9342243 548682068736 18446744073709551615 4338420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67299 64055 659 1256 0 66038 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 269196
[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3411
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=271144 CPUtime=642.07
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 226608 0 0 0 63966 241 0 0 25 0 1 0 187470955 277651456 64467 1992294400 4194304 9342243 548682068736 18446744073709551615 6978102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67786 64467 659 1256 0 66525 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 271144
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1568552/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=272596 CPUtime=1121.89
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 366676 0 0 0 111784 405 0 0 25 0 1 0 187470955 279138304 64269 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68149 64269 668 1256 0 66888 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 272596
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3411
/proc/meminfo: memFree=1568424/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=272548 CPUtime=1181.87
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 380455 0 0 0 117767 420 0 0 25 0 1 0 187470955 279089152 64300 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68137 64300 668 1256 0 66876 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 272548
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568424/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=272704 CPUtime=1241.85
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 392494 0 0 0 123751 434 0 0 25 0 1 0 187470955 279248896 64296 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68176 64296 668 1256 0 66915 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 272704
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568296/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=272760 CPUtime=1301.83
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 405546 0 0 0 129730 453 0 0 25 0 1 0 187470955 279306240 64312 1992294400 4194304 9342243 548682068736 18446744073709551615 7537463 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68190 64312 668 1256 0 66929 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 272760
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568168/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=272768 CPUtime=1361.8
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 417901 0 0 0 135710 470 0 0 25 0 1 0 187470955 279314432 64346 1992294400 4194304 9342243 548682068736 18446744073709551615 4339084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68192 64346 668 1256 0 66931 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 272768
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568104/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=274944 CPUtime=1421.79
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 429963 0 0 0 141693 486 0 0 25 0 1 0 187470955 281542656 64345 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68736 64345 668 1256 0 67475 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 274944
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568040/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=273928 CPUtime=1481.76
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 442579 0 0 0 147676 500 0 0 25 0 1 0 187470955 280502272 64390 1992294400 4194304 9342243 548682068736 18446744073709551615 6942883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 68482 64390 668 1256 0 67221 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 273928
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1566952/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270816 CPUtime=1541.74
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 453185 0 0 0 153661 513 0 0 25 0 1 0 187470955 277315584 64288 1992294400 4194304 9342243 548682068736 18446744073709551615 6944026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67704 64288 668 1256 0 66443 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 270816
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568232/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=271964 CPUtime=1601.72
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 459573 0 0 0 159647 525 0 0 25 0 1 0 187470955 278491136 64291 1992294400 4194304 9342243 548682068736 18446744073709551615 4342694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67991 64291 668 1256 0 66730 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 271964
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568296/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270924 CPUtime=1661.7
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 466612 0 0 0 165633 537 0 0 25 0 1 0 187470955 277426176 64285 1992294400 4194304 9342243 548682068736 18446744073709551615 4345380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67731 64285 668 1256 0 66470 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 270924
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3413
/proc/meminfo: memFree=1568232/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=271988 CPUtime=1721.67
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 474554 0 0 0 171616 551 0 0 25 0 1 0 187470955 278515712 64295 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67997 64295 668 1256 0 66736 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 271988
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1568104/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270988 CPUtime=1781.65
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 480576 0 0 0 177600 565 0 0 25 0 1 0 187470955 277491712 64302 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67747 64302 668 1256 0 66486 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 270988
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270956 CPUtime=1791.24
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482535 0 0 0 178556 568 0 0 25 0 1 0 187470955 277458944 64335 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67739 64335 668 1256 0 66478 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 270956
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270956 CPUtime=1794.45
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482535 0 0 0 178876 569 0 0 25 0 1 0 187470955 277458944 64335 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67739 64335 668 1256 0 66478 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 270956
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270956 CPUtime=1796.04
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482535 0 0 0 179035 569 0 0 25 0 1 0 187470955 277458944 64335 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67739 64335 668 1256 0 66478 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 270956
[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270956 CPUtime=1796.84
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482535 0 0 0 179115 569 0 0 25 0 1 0 187470955 277458944 64335 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3410/statm: 67739 64335 668 1256 0 66478 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 270956
[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270956 CPUtime=1797.23
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482539 0 0 0 179154 569 0 0 25 0 1 0 187470955 277458944 64339 1992294400 4194304 9342243 548682068736 18446744073709551615 4303044 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 67739 64339 672 1256 0 66478 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 270956
[startup+1798.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=270956 CPUtime=1797.43
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482542 0 0 0 179174 569 0 0 25 0 1 0 187470955 277458944 64342 1992294400 4194304 9342243 548682068736 18446744073709551615 4813634 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 67739 64342 675 1256 0 66478 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 270956
[startup+1798.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3419
/proc/meminfo: memFree=1567976/2055920 swapFree=4192812/4192956
[pid=3410] ppid=3408 vsize=96620 CPUtime=1797.54
/proc/3410/stat : 3410 (pbscip.linux.x8) R 3408 3410 2553 0 -1 4194304 482543 0 0 0 179181 573 0 0 25 0 1 0 187470955 98938880 23233 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/3410/statm: 24155 23233 10019 1256 0 22894 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 96620
Child status: 0
Real time (s): 1798.21
CPU time (s): 1797.56
CPU user time (s): 1791.82
CPU system time (s): 5.74113
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 275016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.82
system time used= 5.74113
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482548
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= 2
involuntary context switches= 3219
runsolver used 1.58876 second user time and 3.44948 second system time
The end
Begin job on node15 at 2009-06-17 02:31:46
IDJOB=1870343
IDBENCH=48170
IDSOLVER=684
FILE ID=node15/1870343-1245198705
PBS_JOBID= 9368294
Free space on /tmp= 66300 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870343-1245198705/watcher-1870343-1245198705 -o /tmp/evaluation-result-1870343-1245198705/solver-1870343-1245198705 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870343-1245198705.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c
RANDOM SEED=1716498717
node15.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1824648 kB
Buffers: 47856 kB
Cached: 112216 kB
SwapCached: 0 kB
Active: 99344 kB
Inactive: 74196 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1824648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 12680 kB
Writeback: 0 kB
Mapped: 23248 kB
Slab: 43692 kB
Committed_AS: 194044 kB
PageTables: 1460 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66292 MiB
End job on node15 at 2009-06-17 03:01:44