0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869483-1245174139.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 4 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 4 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 90 variables (90 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c OPT-LIN
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = c 1620
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = c 1791
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = c 10000
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving problem
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 13 | 325k| 0 | 4 | 90 | 4 | 4 | 90 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 94 | 376k| 0 | 7 | 90 | 4 | 4 | 90 | 8 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.03 c 0.0s| 1 | 0 | 101 | 414k| 0 | 9 | 90 | 4 | 4 | 90 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.04 c 0.0s| 1 | 0 | 107 | 453k| 0 | 9 | 90 | 4 | 4 | 90 | 18 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.05 c 0.0s| 1 | 0 | 110 | 488k| 0 | 10 | 90 | 4 | 4 | 90 | 22 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 0 | 115 | 547k| 0 | 11 | 90 | 4 | 4 | 90 | 28 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.09 c 0.1s| 1 | 0 | 122 | 581k| 0 | 10 | 90 | 4 | 4 | 90 | 32 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 2 | 122 | 581k| 0 | 10 | 90 | 4 | 4 | 90 | 32 | 28 | 0 | 10 | 0.000000e+00 | -- | Inf
0.09/0.16 o 341
0.09/0.16 c c 0.1s| 25 | 24 | 212 | 601k| 23 | - | 90 | 4 | 0 | 90 | 14 | 28 | 0 | 115 | 0.000000e+00 | 3.410000e+02 | Inf
0.09/0.18 o 219
0.09/0.18 c p 0.2s| 40 | 32 | 272 | 608k| 23 | - | 90 | 4 | 2 | 90 | 14 | 28 | 0 | 152 | 0.000000e+00 | 2.190000e+02 | Inf
0.19/0.21 o 171
0.19/0.21 c f 0.2s| 54 | 45 | 361 | 619k| 23 | - | 90 | 4 | 2 | 90 | 14 | 28 | 0 | 209 | 0.000000e+00 | 1.710000e+02 | Inf
0.19/0.22 o 169
0.19/0.22 c v 0.2s| 67 | 58 | 389 | 625k| 26 | - | 90 | 4 | 0 | 90 | 14 | 28 | 2 | 243 | 0.000000e+00 | 1.690000e+02 | Inf
0.19/0.29 o 168
0.19/0.29 c p 0.3s| 168 | 156 | 822 | 669k| 29 | - | 90 | 5 | 0 | 90 | 14 | 28 | 4 | 321 | 0.000000e+00 | 1.680000e+02 | Inf
0.29/0.30 o 167
0.29/0.30 c v 0.3s| 197 | 185 | 922 | 691k| 29 | - | 90 | 5 | 0 | 90 | 14 | 28 | 7 | 339 | 0.000000e+00 | 1.670000e+02 | Inf
0.29/0.35 o 47
0.29/0.35 c c 0.3s| 270 | 200 | 1227 | 696k| 29 | - | 90 | 5 | 3 | 90 | 14 | 28 | 7 | 354 | 0.000000e+00 | 4.700000e+01 | Inf
0.29/0.37 o 46
0.29/0.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c * 0.3s| 318 | 242 | 1367 | 712k| 29 | - | 90 | 7 | 0 | 90 | 14 | 28 | 11 | 361 | 0.000000e+00 | 4.600000e+01 | Inf
0.39/0.49 o 36
0.39/0.49 c g 0.5s| 540 | 393 | 2029 | 786k| 29 | - | 90 | 14 | 1 | 90 | 14 | 28 | 22 | 383 | 0.000000e+00 | 3.600000e+01 | Inf
0.49/0.54 o 34
0.49/0.54 c f 0.5s| 631 | 472 | 2326 | 815k| 29 | - | 90 | 16 | 0 | 90 | 14 | 28 | 26 | 391 | 0.000000e+00 | 3.400000e+01 | Inf
0.49/0.55 o 32
0.49/0.55 c v 0.5s| 647 | 483 | 2382 | 823k| 29 | - | 90 | 16 | 0 | 90 | 14 | 28 | 26 | 393 | 0.000000e+00 | 3.200000e+01 | Inf
0.49/0.55 o 28
0.49/0.55 c l 0.5s| 647 | 478 | 2382 | 823k| 29 | - | 90 | 17 | 0 | 90 | 14 | 28 | 27 | 393 | 0.000000e+00 | 2.800000e+01 | Inf
0.59/0.61 o 24
0.59/0.61 c * 0.6s| 774 | 577 | 2811 | 870k| 29 | - | 90 | 31 | 1 | 90 | 14 | 28 | 43 | 408 | 0.000000e+00 | 2.400000e+01 | Inf
0.59/0.68 o 23
0.59/0.68 c * 0.6s| 873 | 662 | 3304 | 912k| 29 | - | 90 | 46 | 1 | 90 | 14 | 28 | 59 | 409 | 0.000000e+00 | 2.300000e+01 | Inf
0.59/0.69 o 21
0.59/0.69 c p 0.7s| 897 | 678 | 3441 | 924k| 29 | - | 90 | 49 | 7 | 90 | 14 | 28 | 62 | 410 | 0.000000e+00 | 2.100000e+01 | Inf
0.79/0.83 o 16
0.79/0.83 c f 0.8s| 1047 | 794 | 4434 | 985k| 29 | - | 90 | 75 | 11 | 90 | 14 | 28 | 95 | 412 | 0.000000e+00 | 1.600000e+01 | Inf
1.10/1.16 o 14
1.10/1.16 c * 1.1s| 1442 | 1061 | 7053 |1132k| 29 | - | 90 | 167 | 15 | 90 | 14 | 28 | 190 | 438 | 0.000000e+00 | 1.400000e+01 | Inf
1.29/1.35 o 13
1.29/1.35 c l 1.3s| 1661 | 1210 | 8379 |1218k| 29 | - | 90 | 220 | 6 | 90 | 14 | 28 | 245 | 444 | 0.000000e+00 | 1.300000e+01 | Inf
1.39/1.45 o 12
1.39/1.45 c * 1.4s| 1805 | 1293 | 9188 |1262k| 29 | - | 90 | 239 | 11 | 90 | 14 | 28 | 268 | 448 | 0.000000e+00 | 1.200000e+01 | Inf
1.99/2.03 o 11
1.99/2.03 c * 1.9s| 2700 | 1792 | 13403 |1550k| 29 | - | 90 | 387 | 20 | 90 | 14 | 28 | 432 | 470 | 0.000000e+00 | 1.100000e+01 | Inf
2.59/2.60 o 10
2.59/2.60 c * 2.5s| 3776 | 2195 | 17767 |1815k| 29 | - | 90 | 511 | 4 | 90 | 14 | 28 | 570 | 496 | 0.000000e+00 | 1.000000e+01 | Inf
2.59/2.60 o 8
2.59/2.60 c * 2.5s| 3777 | 2166 | 17768 |1796k| 29 | - | 90 | 511 | 4 | 90 | 14 | 28 | 570 | 496 | 0.000000e+00 | 8.000000e+00 | Inf
3.09/3.12 o 7
3.09/3.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.12 c f 3.0s| 4031 | 2248 | 18776 |1847k| 29 | - | 90 | 529 | 10 | 90 | 14 | 28 | 600 | 499 | 0.000000e+00 | 7.000000e+00 | Inf
5.59/5.61 o 6
5.59/5.61 c * 5.3s| 9969 | 3087 | 39672 |2558k| 29 | - | 90 | 972 | 0 | 90 | 14 | 28 |1065 | 599 | 0.000000e+00 | 6.000000e+00 | Inf
5.59/5.62 c 5.3s| 10000 | 3091 | 39783 |2559k| 29 | - | 90 | 974 | 5 | 90 | 14 | 28 |1067 | 599 | 0.000000e+00 | 6.000000e+00 | Inf
10.29/10.34 c 9.8s| 20000 | 4074 | 75715 |3462k| 29 | 4 | 90 |1405 | 72 | 90 | 14 | 28 |1713 | 740 | 0.000000e+00 | 6.000000e+00 | Inf
14.79/14.84 c 14.2s| 30000 | 4344 |110070 |3921k| 29 | - | 90 |1645 | 13 | 90 | 14 | 28 |2347 | 874 | 0.000000e+00 | 6.000000e+00 | Inf
15.08/15.12 o 4
15.08/15.12 c *14.4s| 30590 | 4273 |112113 |3880k| 29 | - | 90 |1661 | 30 | 90 | 14 | 28 |2400 | 882 | 0.000000e+00 | 4.000000e+00 | Inf
18.69/18.76 o 2
18.69/18.76 c *17.9s| 38673 | 4047 |139441 |3976k| 29 | - | 90 |2019 | 0 | 90 | 14 | 28 |3033 | 929 | 0.000000e+00 | 2.000000e+00 | Inf
19.58/19.67 c 18.8s| 40000 | 4475 |143992 |4218k| 29 | 4 | 90 |2055 | 43 | 90 | 14 | 28 |3132 | 929 | 0.000000e+00 | 2.000000e+00 | Inf
23.79/23.86 c 22.8s| 50000 | 6027 |176329 |5196k| 29 | 4 | 90 |2416 | 11 | 90 | 14 | 28 |3652 | 937 | 0.000000e+00 | 2.000000e+00 | Inf
28.59/28.63 c 27.3s| 60000 | 6067 |205988 |5468k| 29 | - | 90 |2431 | 17 | 90 | 14 | 28 |4129 | 940 | 0.000000e+00 | 2.000000e+00 | Inf
32.89/32.99 c 31.5s| 70000 | 6353 |235860 |5697k| 29 | 4 | 90 |2302 | 6 | 90 | 14 | 28 |4680 | 943 | 0.000000e+00 | 2.000000e+00 | Inf
37.08/37.13 c 35.5s| 80000 | 7187 |264985 |6433k| 29 | 4 | 90 |2733 | 137 | 90 | 14 | 28 |5299 | 948 | 0.000000e+00 | 2.000000e+00 | Inf
41.48/41.53 c 39.7s| 90000 | 7015 |292053 |6456k| 29 | 4 | 90 |2529 | 58 | 90 | 14 | 28 |5927 | 953 | 0.000000e+00 | 2.000000e+00 | Inf
45.78/45.80 c 43.8s|100000 | 7199 |320456 |6513k| 29 | 4 | 90 |2108 | 9 | 90 | 14 | 28 |6485 | 971 | 0.000000e+00 | 2.000000e+00 | Inf
49.87/49.97 c 47.8s|110000 | 6942 |349200 |6362k| 29 | - | 90 |1899 | 5 | 90 | 14 | 28 |6975 |1006 | 0.000000e+00 | 2.000000e+00 | Inf
53.98/54.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.98/54.09 c 51.7s|120000 | 6525 |378072 |6054k| 29 | - | 90 |1667 | 4 | 90 | 14 | 28 |7447 |1015 | 0.000000e+00 | 2.000000e+00 | Inf
57.77/57.83 c 55.3s|130000 | 7347 |406831 |6665k| 29 | - | 90 |1880 | 43 | 90 | 14 | 28 |7944 |1019 | 0.000000e+00 | 2.000000e+00 | Inf
61.48/61.52 c 58.8s|140000 | 6745 |433675 |6397k| 29 | - | 90 |1902 | 4 | 90 | 14 | 28 |8362 |1019 | 0.000000e+00 | 2.000000e+00 | Inf
65.27/65.32 c 62.5s|150000 | 6583 |461748 |6206k| 29 | 4 | 90 |1615 | 131 | 90 | 14 | 28 |8914 |1058 | 0.000000e+00 | 2.000000e+00 | Inf
68.98/69.04 c 66.0s|160000 | 6487 |490717 |6123k| 29 | 4 | 90 |1423 | 100 | 90 | 14 | 28 |9411 |1058 | 0.000000e+00 | 2.000000e+00 | Inf
72.67/72.74 c 69.5s|170000 | 6576 |519964 |6245k| 29 | - | 90 |1373 | 17 | 90 | 14 | 28 | 10k|1061 | 0.000000e+00 | 2.000000e+00 | Inf
76.27/76.36 c 73.0s|180000 | 7058 |548553 |6659k| 29 | - | 90 |1546 | 4 | 0 | 0 | 28 | 10k|1063 | 0.000000e+00 | 2.000000e+00 | Inf
79.87/79.90 c 76.4s|190000 | 6669 |575038 |6385k| 29 | - | 90 |1451 | 4 | 0 | 0 | 28 | 11k|1076 | 4.547474e-13 | 2.000000e+00 | Inf
83.17/83.29 c 79.6s|200000 | 6695 |602799 |6499k| 29 | - | 90 |1683 | 5 | 90 | 14 | 28 | 12k|1078 | 4.547474e-13 | 2.000000e+00 | Inf
86.67/86.78 c 82.9s|210000 | 6180 |630324 |5919k| 29 | - | 90 |1136 | 9 | 90 | 14 | 28 | 12k|1082 | 4.547474e-13 | 2.000000e+00 | Inf
89.97/90.09 c 86.1s|220000 | 6038 |657905 |5863k| 29 | - | 90 |1268 | 13 | 90 | 14 | 28 | 13k|1138 | 4.547474e-13 | 2.000000e+00 | Inf
93.37/93.46 c 89.3s|230000 | 5814 |686696 |5621k| 29 | 4 | 90 | 969 | 16 | 90 | 14 | 28 | 13k|1140 | 4.547474e-13 | 2.000000e+00 | Inf
96.56/96.66 c 92.4s|240000 | 5734 |714571 |5644k| 29 | 4 | 90 |1118 | 19 | 90 | 14 | 28 | 14k|1141 | 4.547474e-13 | 2.000000e+00 | Inf
99.96/100.01 c 95.6s|250000 | 5736 |742638 |5714k| 29 | 4 | 90 |1255 | 13 | 90 | 14 | 28 | 14k|1141 | 4.547474e-13 | 2.000000e+00 | Inf
103.27/103.37 c 98.8s|260000 | 5642 |768851 |5692k| 29 | 4 | 90 |1401 | 5 | 90 | 14 | 28 | 15k|1142 | 4.547474e-13 | 2.000000e+00 | Inf
106.67/106.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.67/106.74 c 102s|270000 | 5587 |794724 |5724k| 29 | 4 | 90 |1504 | 14 | 90 | 14 | 28 | 15k|1145 | 4.547474e-13 | 2.000000e+00 | Inf
110.17/110.24 c 105s|280000 | 5183 |822498 |5238k| 29 | - | 90 | 906 | 5 | 90 | 14 | 28 | 16k|1159 | 4.547474e-13 | 2.000000e+00 | Inf
113.56/113.61 c 108s|290000 | 4817 |851495 |4985k| 29 | - | 90 | 843 | 18 | 0 | 0 | 28 | 17k|1161 | 4.547474e-13 | 2.000000e+00 | Inf
116.77/116.89 c 112s|300000 | 4550 |880127 |4802k| 29 | 4 | 90 | 838 | 25 | 90 | 14 | 28 | 17k|1169 | 4.547474e-13 | 2.000000e+00 | Inf
120.06/120.17 c 115s|310000 | 4458 |909432 |4712k| 29 | - | 90 | 872 | 5 | 0 | 0 | 28 | 18k|1181 | 4.547474e-13 | 2.000000e+00 | Inf
123.36/123.49 c 118s|320000 | 4135 |937196 |4512k| 29 | 4 | 90 | 907 | 14 | 90 | 14 | 28 | 18k|1433 | 4.547474e-13 | 2.000000e+00 | Inf
126.55/126.65 c 121s|330000 | 3929 |965019 |4344k| 29 | - | 90 | 876 | 4 | 90 | 14 | 28 | 19k|1440 | 4.547474e-13 | 2.000000e+00 | Inf
129.85/129.90 c 124s|340000 | 3898 |992761 |4311k| 29 | - | 90 | 924 | 28 | 0 | 0 | 28 | 19k|1442 | 4.547474e-13 | 2.000000e+00 | Inf
133.16/133.21 c 127s|350000 | 3981 | 1020k|4511k| 29 | 4 | 90 |1182 | 9 | 90 | 14 | 28 | 20k|1448 | 4.547474e-13 | 2.000000e+00 | Inf
136.56/136.70 c 130s|360000 | 4063 | 1050k|4592k| 29 | 4 | 90 |1092 | 4 | 90 | 14 | 28 | 20k|1793 | 4.547474e-13 | 2.000000e+00 | Inf
139.85/139.96 c 133s|370000 | 3822 | 1077k|4389k| 29 | - | 90 |1129 | 13 | 90 | 14 | 28 | 21k|1793 | 4.547474e-13 | 2.000000e+00 | Inf
143.15/143.29 c 137s|380000 | 3158 | 1105k|3599k| 29 | 4 | 90 | 723 | 8 | 90 | 14 | 28 | 21k|1793 | 4.547474e-13 | 2.000000e+00 | Inf
146.45/146.57 c 140s|390000 | 2955 | 1133k|3480k| 29 | 4 | 90 | 862 | 4 | 90 | 14 | 28 | 22k|1796 | 4.547474e-13 | 2.000000e+00 | Inf
149.65/149.74 c 143s|400000 | 3262 | 1159k|3770k| 29 | 4 | 90 | 978 | 11 | 90 | 14 | 28 | 22k|1798 | 4.547474e-13 | 2.000000e+00 | Inf
152.95/153.09 c 146s|410000 | 3065 | 1187k|3694k| 29 | - | 90 |1034 | 8 | 90 | 14 | 28 | 23k|1799 | 4.547474e-13 | 2.000000e+00 | Inf
156.25/156.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.25/156.36 c 149s|420000 | 2796 | 1213k|3503k| 29 | - | 90 | 993 | 7 | 90 | 14 | 28 | 24k|1800 | 4.547474e-13 | 2.000000e+00 | Inf
159.64/159.71 c 152s|430000 | 2859 | 1241k|3512k| 29 | - | 90 |1140 | 29 | 90 | 14 | 28 | 24k|1801 | 4.547474e-13 | 2.000000e+00 | Inf
162.75/162.89 c 155s|440000 | 2409 | 1268k|3181k| 29 | - | 90 |1037 | 6 | 90 | 14 | 28 | 25k|1801 | 4.547474e-13 | 2.000000e+00 | Inf
166.45/166.51 c 159s|450000 | 2901 | 1296k|3412k| 29 | 4 | 90 |1037 | 26 | 90 | 14 | 28 | 26k|1830 | 4.547474e-13 | 2.000000e+00 | Inf
169.74/169.85 c 162s|460000 | 4316 | 1324k|4188k| 29 | 4 | 90 | 974 | 8 | 90 | 14 | 28 | 26k|1830 | 4.547474e-13 | 2.000000e+00 | Inf
173.14/173.20 c 165s|470000 | 5394 | 1352k|4860k| 29 | 4 | 90 |1039 | 17 | 90 | 14 | 28 | 27k|1831 | 4.547474e-13 | 2.000000e+00 | Inf
176.34/176.44 c 168s|480000 | 5961 | 1378k|5299k| 29 | 4 | 90 | 997 | 5 | 90 | 14 | 28 | 27k|1831 | 4.547474e-13 | 2.000000e+00 | Inf
179.44/179.58 c 171s|490000 | 6571 | 1405k|5770k| 29 | 4 | 90 |1076 | 4 | 90 | 14 | 28 | 28k|1832 | 4.547474e-13 | 2.000000e+00 | Inf
182.64/182.74 c 174s|500000 | 6338 | 1430k|5767k| 29 | - | 90 | 965 | 6 | 0 | 0 | 28 | 28k|1832 | 4.547474e-13 | 2.000000e+00 | Inf
185.74/185.85 c 177s|510000 | 6686 | 1455k|6091k| 29 | - | 90 |1078 | 11 | 90 | 14 | 28 | 29k|1832 | 4.547474e-13 | 2.000000e+00 | Inf
188.84/188.95 c 180s|520000 | 6299 | 1479k|5932k| 29 | 4 | 90 | 870 | 7 | 90 | 14 | 28 | 29k|1833 | 4.547474e-13 | 2.000000e+00 | Inf
191.94/192.06 c 183s|530000 | 5654 | 1504k|5673k| 29 | - | 90 | 875 | 30 | 90 | 14 | 28 | 29k|1834 | 4.547474e-13 | 2.000000e+00 | Inf
195.04/195.19 c 186s|540000 | 5267 | 1528k|5531k| 29 | - | 90 | 898 | 6 | 90 | 14 | 28 | 30k|1835 | 4.547474e-13 | 2.000000e+00 | Inf
198.14/198.25 c 189s|550000 | 4736 | 1553k|5245k| 29 | 4 | 90 | 888 | 7 | 90 | 14 | 28 | 30k|1835 | 4.547474e-13 | 2.000000e+00 | Inf
201.14/201.26 c 192s|560000 | 4624 | 1577k|5310k| 29 | - | 90 |1125 | 21 | 90 | 14 | 28 | 31k|1835 | 4.547474e-13 | 2.000000e+00 | Inf
204.14/204.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.14/204.29 c 194s|570000 | 4269 | 1600k|5086k| 29 | 4 | 90 |1060 | 5 | 90 | 14 | 28 | 31k|1835 | 4.547474e-13 | 2.000000e+00 | Inf
207.23/207.36 c 197s|580000 | 4008 | 1623k|4885k| 29 | 4 | 90 | 983 | 4 | 90 | 14 | 28 | 32k|1835 | 4.547474e-13 | 2.000000e+00 | Inf
210.23/210.31 c 200s|590000 | 4339 | 1647k|5118k| 29 | 4 | 90 |1062 | 8 | 90 | 14 | 28 | 32k|1836 | 4.547474e-13 | 2.000000e+00 | Inf
213.24/213.39 c 203s|600000 | 3527 | 1671k|4548k| 29 | - | 90 | 943 | 382 | 0 | 0 | 28 | 33k|1836 | 4.547474e-13 | 2.000000e+00 | Inf
216.34/216.44 c 206s|610000 | 3047 | 1695k|4090k| 29 | 4 | 90 | 959 | 6 | 90 | 14 | 28 | 33k|1836 | 4.547474e-13 | 2.000000e+00 | Inf
219.44/219.59 c 209s|620000 | 2212 | 1719k|3052k| 29 | - | 90 | 936 | 4 | 90 | 14 | 28 | 34k|1836 | 4.547474e-13 | 2.000000e+00 | Inf
222.53/222.65 c 212s|630000 | 2197 | 1742k|3057k| 29 | 4 | 90 | 973 | 6 | 90 | 14 | 28 | 34k|1836 | 4.547474e-13 | 2.000000e+00 | Inf
225.63/225.76 c 215s|640000 | 2648 | 1767k|3491k| 29 | 4 | 90 |1165 | 8 | 90 | 14 | 28 | 35k|1836 | 4.547474e-13 | 2.000000e+00 | Inf
228.93/229.03 c 218s|650000 | 2656 | 1794k|3462k| 29 | - | 90 |1255 | 6 | 90 | 14 | 28 | 36k|1838 | 4.547474e-13 | 2.000000e+00 | Inf
232.13/232.28 c 221s|660000 | 2027 | 1821k|2974k| 29 | - | 90 | 990 | 24 | 90 | 14 | 28 | 36k|1839 | 4.547474e-13 | 2.000000e+00 | Inf
235.23/235.37 c 224s|670000 | 1804 | 1847k|2757k| 29 | 4 | 90 | 734 | 8 | 90 | 14 | 28 | 37k|1841 | 4.547474e-13 | 2.000000e+00 | Inf
238.13/238.28 c 227s|680000 | 1710 | 1872k|2739k| 29 | 4 | 90 | 800 | 4 | 90 | 14 | 28 | 37k|1842 | 4.547474e-13 | 2.000000e+00 | Inf
241.13/241.23 c 229s|690000 | 1784 | 1897k|2832k| 29 | - | 90 | 826 | 7 | 90 | 14 | 28 | 37k|1843 | 4.547474e-13 | 2.000000e+00 | Inf
244.03/244.19 c 232s|700000 | 1669 | 1920k|2836k| 29 | - | 90 |1038 | 5 | 90 | 14 | 28 | 38k|1844 | 4.547474e-13 | 2.000000e+00 | Inf
247.13/247.22 c 235s|710000 | 1622 | 1943k|2787k| 29 | 4 | 90 |1080 | 6 | 90 | 14 | 28 | 38k|1844 | 4.547474e-13 | 2.000000e+00 | Inf
250.12/250.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.12/250.21 c 238s|720000 | 1528 | 1967k|2750k| 29 | 4 | 90 |1136 | 39 | 90 | 14 | 28 | 39k|1844 | 4.547474e-13 | 2.000000e+00 | Inf
253.12/253.20 c 241s|730000 | 1539 | 1991k|2828k| 29 | - | 90 |1297 | 14 | 90 | 14 | 28 | 39k|1845 | 4.547474e-13 | 2.000000e+00 | Inf
256.23/256.35 c 244s|740000 | 1739 | 2016k|2942k| 29 | 4 | 90 |1254 | 9 | 90 | 14 | 28 | 40k|1847 | 4.547474e-13 | 2.000000e+00 | Inf
259.32/259.47 c 247s|750000 | 1580 | 2040k|2926k| 29 | - | 90 |1445 | 4 | 90 | 14 | 28 | 40k|1847 | 4.547474e-13 | 2.000000e+00 | Inf
262.52/262.61 c 250s|760000 | 1397 | 2064k|2712k| 29 | 4 | 90 |1252 | 4 | 90 | 14 | 28 | 40k|1848 | 4.547474e-13 | 2.000000e+00 | Inf
265.52/265.64 c 253s|770000 | 1432 | 2088k|2771k| 29 | - | 90 |1350 | 5 | 90 | 14 | 28 | 41k|1848 | 4.547474e-13 | 2.000000e+00 | Inf
268.62/268.75 c 256s|780000 | 1379 | 2113k|2651k| 29 | 4 | 90 |1077 | 7 | 90 | 14 | 28 | 41k|1848 | 4.547474e-13 | 2.000000e+00 | Inf
271.62/271.77 c 258s|790000 | 1602 | 2138k|2856k| 29 | - | 90 |1139 | 4 | 90 | 14 | 28 | 42k|1850 | 4.547474e-13 | 2.000000e+00 | Inf
274.72/274.83 c 261s|800000 | 1451 | 2163k|2705k| 29 | 4 | 90 | 994 | 5 | 90 | 14 | 28 | 42k|1851 | 4.547474e-13 | 2.000000e+00 | Inf
277.72/277.82 c 264s|810000 | 1382 | 2188k|2618k| 29 | 4 | 90 | 931 | 5 | 90 | 14 | 28 | 42k|1853 | 4.547474e-13 | 2.000000e+00 | Inf
280.62/280.78 c 267s|820000 | 1251 | 2213k|2558k| 29 | 4 | 90 |1033 | 9 | 90 | 14 | 28 | 43k|1853 | 4.547474e-13 | 2.000000e+00 | Inf
283.62/283.78 c 270s|830000 | 1744 | 2237k|2849k| 29 | 4 | 90 | 961 | 28 | 90 | 14 | 28 | 43k|1854 | 4.547474e-13 | 2.000000e+00 | Inf
286.71/286.87 c 273s|840000 | 1779 | 2262k|2966k| 29 | - | 90 |1041 | 6 | 90 | 14 | 28 | 44k|1855 | 4.547474e-13 | 2.000000e+00 | Inf
289.81/289.92 c 276s|850000 | 1637 | 2285k|2937k| 29 | 4 | 90 |1116 | 34 | 90 | 14 | 28 | 44k|1856 | 4.547474e-13 | 2.000000e+00 | Inf
292.81/292.95 c 279s|860000 | 1374 | 2307k|2724k| 29 | 4 | 90 |1101 | 12 | 90 | 14 | 28 | 45k|1859 | 4.547474e-13 | 2.000000e+00 | Inf
295.91/296.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.91/296.01 c 281s|870000 | 1320 | 2331k|2641k| 29 | 4 | 90 |1014 | 11 | 90 | 14 | 28 | 45k|1861 | 4.547474e-13 | 2.000000e+00 | Inf
298.91/299.04 c 284s|880000 | 1273 | 2356k|2579k| 29 | - | 90 | 954 | 23 | 0 | 0 | 28 | 46k|1862 | 4.547474e-13 | 2.000000e+00 | Inf
301.91/302.06 c 287s|890000 | 1238 | 2381k|2484k| 29 | 4 | 90 | 873 | 4 | 90 | 14 | 28 | 46k|1862 | 4.547474e-13 | 2.000000e+00 | Inf
304.91/305.02 c 290s|900000 | 1399 | 2405k|2715k| 29 | 4 | 90 |1068 | 38 | 90 | 14 | 28 | 47k|1864 | 4.547474e-13 | 2.000000e+00 | Inf
307.92/308.05 c 293s|910000 | 1100 | 2429k|2433k| 29 | - | 90 | 885 | 6 | 90 | 14 | 28 | 47k|1864 | 4.547474e-13 | 2.000000e+00 | Inf
311.01/311.11 c 296s|920000 | 1700 | 2455k|2848k| 29 | 4 | 90 | 942 | 5 | 90 | 14 | 28 | 47k|1865 | 4.547474e-13 | 2.000000e+00 | Inf
314.10/314.20 c 299s|930000 | 1517 | 2480k|2826k| 29 | 4 | 90 |1023 | 84 | 90 | 14 | 28 | 48k|1867 | 4.547474e-13 | 2.000000e+00 | Inf
317.10/317.24 c 302s|940000 | 1364 | 2503k|2773k| 29 | - | 90 |1103 | 126 | 0 | 0 | 28 | 49k|1868 | 4.547474e-13 | 2.000000e+00 | Inf
320.11/320.29 c 304s|950000 | 1100 | 2525k|2482k| 29 | - | 90 |1014 | 105 | 90 | 14 | 28 | 49k|1868 | 4.547474e-13 | 2.000000e+00 | Inf
323.21/323.31 c 307s|960000 | 1049 | 2549k|2444k| 29 | - | 90 |1004 | 4 | 90 | 14 | 28 | 50k|1869 | 4.547474e-13 | 2.000000e+00 | Inf
326.20/326.33 c 310s|970000 | 1156 | 2573k|2643k| 29 | 4 | 90 |1301 | 10 | 90 | 14 | 28 | 51k|1869 | 4.547474e-13 | 2.000000e+00 | Inf
329.30/329.49 c 313s|980000 | 1030 | 2597k|2618k| 29 | - | 90 |1488 | 11 | 90 | 14 | 28 | 51k|1869 | 4.547474e-13 | 2.000000e+00 | Inf
332.50/332.65 c 316s|990000 | 1339 | 2621k|2531k| 29 | - | 90 | 845 | 4 | 0 | 0 | 28 | 52k|1870 | 4.547474e-13 | 2.000000e+00 | Inf
335.50/335.68 c 319s| 1000k| 1401 | 2645k|2671k| 29 | - | 90 | 907 | 10 | 90 | 14 | 28 | 52k|1870 | 4.547474e-13 | 2.000000e+00 | Inf
338.50/338.66 c 322s| 1010k| 1282 | 2668k|2707k| 29 | - | 90 |1139 | 18 | 90 | 14 | 28 | 53k|1870 | 4.547474e-13 | 2.000000e+00 | Inf
341.50/341.67 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.50/341.67 c 325s| 1020k| 1117 | 2691k|2634k| 29 | - | 90 |1247 | 7 | 0 | 0 | 28 | 53k|1870 | 4.547474e-13 | 2.000000e+00 | Inf
344.60/344.74 c 328s| 1030k| 1081 | 2716k|2572k| 29 | 4 | 90 |1149 | 5 | 90 | 14 | 28 | 54k|1870 | 4.547474e-13 | 2.000000e+00 | Inf
347.60/347.77 c 331s| 1040k| 994 | 2738k|2546k| 29 | - | 90 |1234 | 4 | 90 | 14 | 28 | 54k|1871 | 4.547474e-13 | 2.000000e+00 | Inf
350.71/350.90 c 334s| 1050k| 915 | 2763k|2315k| 29 | - | 90 | 875 | 7 | 0 | 0 | 28 | 55k|1873 | 4.547474e-13 | 2.000000e+00 | Inf
353.80/353.91 c 336s| 1060k| 1123 | 2786k|2597k| 29 | 4 | 90 |1191 | 6 | 90 | 14 | 28 | 55k|1875 | 4.547474e-13 | 2.000000e+00 | Inf
356.90/357.06 c 339s| 1070k| 963 | 2811k|2538k| 29 | - | 90 |1271 | 5 | 90 | 14 | 28 | 56k|1875 | 4.547474e-13 | 2.000000e+00 | Inf
360.00/360.14 c 342s| 1080k| 1043 | 2834k|2595k| 29 | 4 | 90 |1369 | 6 | 90 | 14 | 28 | 56k|1878 | 4.547474e-13 | 2.000000e+00 | Inf
363.10/363.29 c 345s| 1090k| 1141 | 2858k|2721k| 29 | - | 90 |1513 | 6 | 90 | 14 | 28 | 57k|1878 | 4.547474e-13 | 2.000000e+00 | Inf
366.20/366.39 c 348s| 1100k| 919 | 2881k|2668k| 29 | 4 | 90 |1686 | 4 | 90 | 14 | 28 | 57k|1879 | 4.547474e-13 | 2.000000e+00 | Inf
369.40/369.56 c 351s| 1110k| 797 | 2905k|2412k| 29 | 4 | 90 |1327 | 4 | 90 | 14 | 28 | 58k|1880 | 4.547474e-13 | 2.000000e+00 | Inf
372.50/372.62 c 354s| 1120k| 702 | 2928k|2378k| 29 | - | 90 |1388 | 6 | 90 | 14 | 28 | 59k|1880 | 4.547474e-13 | 2.000000e+00 | Inf
375.59/375.74 c 357s| 1130k| 710 | 2953k|2370k| 29 | 4 | 90 |1324 | 6 | 90 | 14 | 28 | 59k|1881 | 4.547474e-13 | 2.000000e+00 | Inf
378.69/378.88 c 360s| 1140k| 553 | 2977k|2112k| 29 | - | 90 | 955 | 5 | 0 | 0 | 28 | 60k|1882 | 4.547474e-13 | 2.000000e+00 | Inf
381.69/381.87 c 363s| 1150k| 612 | 3001k|2156k| 29 | - | 90 | 909 | 5 | 90 | 14 | 28 | 60k|1882 | 4.547474e-13 | 2.000000e+00 | Inf
384.69/384.86 c 366s| 1160k| 488 | 3025k|2097k| 29 | - | 90 | 988 | 12 | 90 | 14 | 28 | 61k|1883 | 4.547474e-13 | 2.000000e+00 | Inf
387.69/387.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
387.69/387.89 c 369s| 1170k| 448 | 3050k|2053k| 29 | 6 | 90 | 923 | 65 | 90 | 14 | 28 | 61k|1884 | 4.547474e-13 | 2.000000e+00 | Inf
390.69/390.88 c 371s| 1180k| 434 | 3076k|2141k| 29 | - | 90 |1206 | 6 | 90 | 14 | 28 | 62k|1885 | 4.547474e-13 | 2.000000e+00 | Inf
393.79/393.97 c 374s| 1190k| 317 | 3100k|1982k| 29 | 4 | 90 |1059 | 6 | 90 | 14 | 28 | 62k|1885 | 4.547474e-13 | 2.000000e+00 | Inf
396.99/397.15 c 377s| 1200k| 387 | 3124k|2018k| 29 | 4 | 90 |1069 | 6 | 90 | 14 | 28 | 63k|1886 | 4.547474e-13 | 2.000000e+00 | Inf
399.99/400.13 c 380s| 1210k| 364 | 3149k|1992k| 29 | - | 90 | 941 | 4 | 0 | 0 | 28 | 63k|1887 | 4.547474e-13 | 2.000000e+00 | Inf
402.89/403.08 c 383s| 1220k| 453 | 3172k|1998k| 29 | 4 | 90 | 968 | 7 | 90 | 14 | 28 | 64k|1888 | 4.547474e-13 | 2.000000e+00 | Inf
405.88/406.08 c 386s| 1230k| 826 | 3196k|2280k| 29 | - | 90 |1085 | 8 | 90 | 14 | 28 | 64k|1888 | 4.547474e-13 | 2.000000e+00 | Inf
408.98/409.18 c 389s| 1240k| 757 | 3220k|2389k| 29 | 4 | 90 |1200 | 33 | 90 | 14 | 28 | 65k|1888 | 4.547474e-13 | 2.000000e+00 | Inf
412.08/412.29 c 392s| 1250k| 623 | 3243k|2348k| 29 | - | 90 |1291 | 6 | 90 | 14 | 28 | 65k|1890 | 4.547474e-13 | 2.000000e+00 | Inf
415.28/415.43 c 395s| 1260k| 330 | 3267k|2106k| 29 | 4 | 90 |1312 | 12 | 90 | 14 | 28 | 66k|1891 | 4.547474e-13 | 2.000000e+00 | Inf
418.28/418.45 c 398s| 1270k| 513 | 3290k|2315k| 29 | - | 90 |1488 | 154 | 0 | 0 | 28 | 66k|1891 | 4.547474e-13 | 2.000000e+00 | Inf
421.38/421.58 c 401s| 1280k| 185 | 3314k|1866k| 29 | 4 | 90 |1068 | 11 | 90 | 14 | 28 | 67k|1893 | 4.547474e-13 | 2.000000e+00 | Inf
424.28/424.50 c 403s| 1290k| 281 | 3337k|1917k| 29 | - | 90 |1020 | 104 | 0 | 0 | 28 | 67k|1894 | 4.547474e-13 | 2.000000e+00 | Inf
427.18/427.39 c 406s| 1300k| 197 | 3360k|1909k| 29 | 4 | 90 |1196 | 6 | 90 | 14 | 28 | 67k|1894 | 4.547474e-13 | 2.000000e+00 | Inf
430.28/430.46 c 409s| 1310k| 157 | 3384k|1874k| 29 | 4 | 90 |1251 | 4 | 90 | 14 | 28 | 68k|1896 | 4.547474e-13 | 2.000000e+00 | Inf
433.38/433.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.38/433.58 c 412s| 1320k| 268 | 3409k|1970k| 29 | - | 90 |1268 | 19 | 0 | 0 | 28 | 68k|1897 | 4.547474e-13 | 2.000000e+00 | Inf
436.48/436.67 c 415s| 1330k| 165 | 3432k|1952k| 29 | 4 | 90 |1390 | 7 | 90 | 14 | 28 | 69k|1898 | 4.547474e-13 | 2.000000e+00 | Inf
439.58/439.75 c 418s| 1340k| 84 | 3456k|1741k| 29 | - | 90 |1026 | 43 | 0 | 0 | 28 | 70k|1898 | 4.547474e-13 | 2.000000e+00 | Inf
442.48/442.67 c 421s| 1350k| 111 | 3477k|1824k| 29 | - | 90 |1234 | 7 | 90 | 14 | 28 | 70k|1899 | 4.547474e-13 | 2.000000e+00 | Inf
444.38/444.58 c
444.38/444.58 c SCIP Status : problem is solved [optimal solution found]
444.38/444.58 c Solving Time (sec) : 422.39
444.38/444.58 c Solving Nodes : 1356431
444.38/444.58 c Primal Bound : +2.00000000000000e+00 (26 solutions)
444.38/444.58 c Dual Bound : +2.00000000000000e+00
444.38/444.58 c Gap : 0.00 %
444.38/444.58 c NODE 1356431
444.38/444.58 c DUAL BOUND 2
444.38/444.58 c PRIMAL BOUND 2
444.38/444.58 c GAP 0
444.38/444.58 s OPTIMUM FOUND
444.38/444.58 v x94 x93 -x92 x91 -x90 x89 -x88 x87 x86 x85 -x84 -x83 -x82 -x81 -x80 x79 x78 -x77 x76 -x75 -x74 x73 -x72 -x71 x70 x69 x68 x67 -x66
444.38/444.58 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
444.38/444.58 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
444.38/444.58 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
444.38/444.58 c SCIP Status : problem is solved [optimal solution found]
444.38/444.58 c Solving Time : 422.39
444.38/444.58 c Original Problem :
444.38/444.58 c Problem name : HOME/instance-1869483-1245174139.opb
444.38/444.58 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
444.38/444.58 c Constraints : 8 initial, 8 maximal
444.38/444.58 c Presolved Problem :
444.38/444.58 c Problem name : t_HOME/instance-1869483-1245174139.opb
444.38/444.58 c Variables : 90 (90 binary, 0 integer, 0 implicit integer, 0 continuous)
444.38/444.58 c Constraints : 4 initial, 2787 maximal
444.38/444.58 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
444.38/444.58 c trivial : 0.00 0 0 0 0 0 0 0 0
444.38/444.58 c dualfix : 0.00 0 0 0 0 0 0 0 0
444.38/444.58 c boundshift : 0.00 0 0 0 0 0 0 0 0
444.38/444.58 c inttobinary : 0.00 0 0 0 0 0 0 0 0
444.38/444.58 c implics : 0.00 0 0 0 0 0 0 0 0
444.38/444.58 c probing : 0.01 0 0 0 0 0 0 0 0
444.38/444.58 c linear : 0.00 0 4 0 0 0 4 0 0
444.38/444.58 c logicor : 0.00 0 0 0 0 0 0 0 0
444.38/444.58 c root node : - 57 - - 57 - - - -
444.38/444.58 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
444.38/444.58 c integral : 0 0 0 686008 0 76 627 0 0 1370600
444.38/444.58 c linear : 4 6 1706310 0 0 293142 1867925 15 0 0
444.38/444.58 c logicor : 0+ 0 843828 0 0 1011 32130 0 0 0
444.38/444.58 c countsols : 0 0 0 11 0 0 0 0 0 0
444.38/444.58 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
444.38/444.58 c integral : 7.23 0.00 0.00 7.23 0.00
444.38/444.58 c linear : 64.41 0.00 64.41 0.00 0.00
444.38/444.58 c logicor : 21.89 0.00 21.89 0.00 0.00
444.38/444.58 c countsols : 0.00 0.00 0.00 0.00 0.00
444.38/444.58 c Propagators : Time Calls Cutoffs DomReds
444.38/444.58 c rootredcost : 0.70 26 0 48
444.38/444.58 c pseudoobj : 8.94 1715404 9246 63667
444.38/444.58 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
444.38/444.58 c propagation : 12.08 303399 68877 100566 23.3 0 0.0 -
444.38/444.58 c infeasible LP : 1.94 398437 1 1 12.0 0 0.0 0
444.38/444.58 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
444.38/444.58 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
444.38/444.58 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
444.38/444.58 c applied globally : - - - 70842 23.1 - - -
444.38/444.58 c applied locally : - - - 143 31.8 - - -
444.38/444.58 c Separators : Time Calls Cutoffs DomReds Cuts Conss
444.38/444.58 c cut pool : 0.00 5 - - 14 - (maximal pool size: 113)
444.38/444.58 c redcost : 4.26 714832 0 263061 0 0
444.38/444.58 c impliedbounds : 0.00 6 0 0 0 0
444.38/444.58 c intobj : 0.00 0 0 0 0 0
444.38/444.58 c gomory : 0.01 6 0 0 0 0
444.38/444.58 c strongcg : 0.01 6 0 0 49 0
444.38/444.58 c cmir : 0.02 6 0 0 20 0
444.38/444.58 c flowcover : 0.02 6 0 0 38 0
444.38/444.58 c clique : 0.00 1 0 0 0 0
444.38/444.58 c zerohalf : 0.00 0 0 0 0 0
444.38/444.58 c mcf : 0.00 1 0 0 0 0
444.38/444.58 c Pricers : Time Calls Vars
444.38/444.58 c problem variables: 0.00 0 0
444.38/444.58 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
444.38/444.58 c relpscost : 6.45 685997 76 627 0 0 1370600
444.38/444.58 c pscost : 0.00 0 0 0 0 0 0
444.38/444.58 c inference : 0.00 0 0 0 0 0 0
444.38/444.58 c mostinf : 0.00 0 0 0 0 0 0
444.38/444.58 c leastinf : 0.00 0 0 0 0 0 0
444.38/444.58 c fullstrong : 0.00 0 0 0 0 0 0
444.38/444.58 c allfullstrong : 0.00 0 0 0 0 0 0
444.38/444.58 c random : 0.00 0 0 0 0 0 0
444.38/444.58 c Primal Heuristics : Time Calls Found
444.38/444.58 c LP solutions : 0.00 - 11
444.38/444.58 c pseudo solutions : 0.00 - 0
444.38/444.58 c feaspump : 0.07 1 0
444.38/444.58 c oneopt : 0.67 25 0
444.38/444.58 c crossover : 2.14 8 0
444.38/444.58 c linesearchdiving : 1.35 1213 2
444.38/444.58 c guideddiving : 1.44 1213 1
444.38/444.58 c pscostdiving : 1.36 1213 3
444.38/444.58 c fracdiving : 1.47 1213 4
444.38/444.58 c veclendiving : 1.59 1213 3
444.38/444.58 c rootsoldiving : 1.33 607 0
444.38/444.58 c coefdiving : 1.32 1214 2
444.38/444.58 c objpscostdiving : 1.28 608 0
444.38/444.58 c simplerounding : 0.38 0 0
444.38/444.58 c rounding : 0.58 11847 0
444.38/444.58 c shifting : 2.90 4607 0
444.38/444.58 c intshifting : 0.07 0 0
444.38/444.58 c fixandinfer : 0.00 0 0
444.38/444.58 c intdiving : 0.00 0 0
444.38/444.58 c actconsdiving : 0.00 0 0
444.38/444.58 c octane : 0.00 0 0
444.38/444.58 c rens : 0.03 1 0
444.38/444.58 c rins : 0.00 0 0
444.38/444.58 c localbranching : 0.00 0 0
444.38/444.58 c mutation : 0.00 0 0
444.38/444.58 c dins : 0.00 0 0
444.38/444.58 c LP : Time Calls Iterations Iter/call Iter/sec
444.38/444.58 c primal LP : 0.00 0 0 0.00 -
444.38/444.58 c dual LP : 192.27 1104742 3409835 3.09 17734.62
444.38/444.58 c barrier LP : 0.00 0 0 0.00 -
444.38/444.58 c diving/probing LP: 6.21 34275 82436 2.41 13274.72
444.38/444.58 c strong branching : 0.43 1899 10648 5.61 24762.79
444.38/444.58 c (at root node) : - 10 167 16.70 -
444.38/444.58 c conflict analysis: 0.00 0 0 0.00 -
444.38/444.58 c B&B Tree :
444.38/444.58 c number of runs : 1
444.38/444.58 c nodes : 1356431
444.38/444.58 c nodes (total) : 1356431
444.38/444.58 c nodes left : 0
444.38/444.58 c max depth : 29
444.38/444.58 c max depth (total): 29
444.38/444.58 c backtracks : 377702 (27.8%)
444.38/444.58 c delayed cutoffs : 13672
444.38/444.58 c repropagations : 40124 (86370 domain reductions, 13106 cutoffs)
444.38/444.58 c avg switch length: 4.49
444.38/444.58 c switching time : 47.80
444.38/444.58 c Solution :
444.38/444.58 c Solutions found : 26 (26 improvements)
444.38/444.58 c Primal Bound : +2.00000000000000e+00 (in run 1, after 38673 nodes, 17.90 seconds, depth 20, found by <relaxation>)
444.38/444.58 c Dual Bound : +2.00000000000000e+00
444.38/444.58 c Gap : 0.00 %
444.38/444.58 c Root Dual Bound : +0.00000000000000e+00
444.38/444.59 c Time complete: 444.46.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869483-1245174139/watcher-1869483-1245174139 -o /tmp/evaluation-result-1869483-1245174139/solver-1869483-1245174139 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869483-1245174139.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.94 1.04 1.01 3/65 6250
/proc/meminfo: memFree=1845536/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=5816 CPUtime=0
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 532 0 0 0 0 0 0 0 18 0 1 0 185013359 5955584 516 1992294400 4194304 9342243 548682068736 18446744073709551615 8203029 0 0 4096 0 0 0 0 17 1 0 0
/proc/6250/statm: 1454 520 348 1256 0 193 0
[startup+0.0374529 s]
/proc/loadavg: 0.94 1.04 1.01 3/65 6250
/proc/meminfo: memFree=1845536/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=14500 CPUtime=0.03
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 2714 0 0 0 2 1 0 0 18 0 1 0 185013359 14848000 2344 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 3625 2344 667 1256 0 2364 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14500
[startup+0.101461 s]
/proc/loadavg: 0.94 1.04 1.01 3/65 6250
/proc/meminfo: memFree=1845536/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=19940 CPUtime=0.09
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 4114 0 0 0 8 1 0 0 18 0 1 0 185013359 20418560 3743 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 4985 3751 667 1256 0 3724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19940
[startup+0.301483 s]
/proc/loadavg: 0.94 1.04 1.01 3/65 6250
/proc/meminfo: memFree=1845536/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=15996 CPUtime=0.29
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 4578 0 0 0 28 1 0 0 19 0 1 0 185013359 16379904 2592 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 3999 2592 698 1256 0 2738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15996
[startup+0.701528 s]
/proc/loadavg: 0.94 1.04 1.01 3/65 6250
/proc/meminfo: memFree=1845536/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=16344 CPUtime=0.69
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 5320 0 0 0 65 4 0 0 22 0 1 0 185013359 16736256 2652 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 4086 2652 698 1256 0 2825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16344
[startup+1.50163 s]
/proc/loadavg: 0.94 1.04 1.01 2/66 6251
/proc/meminfo: memFree=1834840/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=16900 CPUtime=1.49
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 6759 0 0 0 142 7 0 0 25 0 1 0 185013359 17305600 2757 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 4225 2757 698 1256 0 2964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16900
[startup+3.1018 s]
/proc/loadavg: 0.94 1.04 1.01 2/66 6251
/proc/meminfo: memFree=1834072/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=25280 CPUtime=3.09
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 9402 0 0 0 293 16 0 0 25 0 1 0 185013359 25886720 4724 1992294400 4194304 9342243 548682068736 18446744073709551615 5854901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6320 4724 698 1256 0 5059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25280
[startup+6.30116 s]
/proc/loadavg: 0.94 1.04 1.01 2/66 6251
/proc/meminfo: memFree=1832472/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=19832 CPUtime=6.29
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 10738 0 0 0 597 32 0 0 25 0 1 0 185013359 20307968 3539 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 4958 3539 698 1256 0 3697 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19832
[startup+12.7019 s]
/proc/loadavg: 0.95 1.04 1.01 2/66 6251
/proc/meminfo: memFree=1830368/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=22040 CPUtime=12.68
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 11621 0 0 0 1209 59 0 0 25 0 1 0 185013359 22568960 4422 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 5510 4422 698 1256 0 4249 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22040
[startup+25.5013 s]
/proc/loadavg: 0.96 1.04 1.01 2/66 6251
/proc/meminfo: memFree=1828960/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=22892 CPUtime=25.48
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 17789 0 0 0 2432 116 0 0 25 0 1 0 185013359 23441408 4712 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 5723 4712 699 1256 0 4462 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22892
[startup+51.1012 s]
/proc/loadavg: 0.97 1.03 1.00 2/66 6251
/proc/meminfo: memFree=1828128/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=25368 CPUtime=51.07
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 19962 0 0 0 4885 222 0 0 25 0 1 0 185013359 25976832 4959 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6342 4959 699 1256 0 5081 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25368
[startup+102.305 s]
/proc/loadavg: 0.99 1.02 1.00 2/66 6251
/proc/meminfo: memFree=1826016/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=102.27
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 21836 0 0 0 9774 453 0 0 25 0 1 0 185013359 27107328 5513 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5513 700 1256 0 5357 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26472
[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/66 6251
/proc/meminfo: memFree=1825952/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=162.25
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 21836 0 0 0 15463 762 0 0 25 0 1 0 185013359 27107328 5513 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5513 700 1256 0 5357 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26472
[startup+222.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/66 6251
/proc/meminfo: memFree=1827232/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=25372 CPUtime=222.23
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 22840 0 0 0 21151 1072 0 0 25 0 1 0 185013359 25980928 5147 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6343 5147 700 1256 0 5082 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25372
[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/66 6251
/proc/meminfo: memFree=1827168/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=25688 CPUtime=282.21
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 22842 0 0 0 26838 1383 0 0 25 0 1 0 185013359 26304512 5149 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6422 5149 700 1256 0 5161 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25688
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825376/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=342.2
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 32538 1682 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 26472
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825312/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=402.18
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 38225 1993 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 26472
Solver just ended. Dumping a history of the last processes samples
[startup+409.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825312/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=409.39
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 38909 2030 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 409.39
Current children cumulated vsize (KiB) 26472
[startup+422.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825312/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=422.18
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 40126 2092 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 422.18
Current children cumulated vsize (KiB) 26472
[startup+435.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=434.97
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 41340 2157 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 434.97
Current children cumulated vsize (KiB) 26472
[startup+441.501 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=441.37
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 41948 2189 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 441.37
Current children cumulated vsize (KiB) 26472
[startup+443.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=442.98
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 42100 2198 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 442.98
Current children cumulated vsize (KiB) 26472
[startup+443.902 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=443.77
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 42175 2202 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 443.77
Current children cumulated vsize (KiB) 26472
[startup+444.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=444.18
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 42213 2205 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 444.18
Current children cumulated vsize (KiB) 26472
[startup+444.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 6251
/proc/meminfo: memFree=1825184/2055920 swapFree=4191900/4192956
[pid=6250] ppid=6248 vsize=26472 CPUtime=444.38
/proc/6250/stat : 6250 (pbscip.linux.x8) R 6248 6250 6213 0 -1 4194304 23312 0 0 0 42232 2206 0 0 25 0 1 0 185013359 27107328 5619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6250/statm: 6618 5619 700 1256 0 5357 0
Current children cumulated CPU time (s) 444.38
Current children cumulated vsize (KiB) 26472
Child status: 0
Real time (s): 444.596
CPU time (s): 444.473
CPU user time (s): 422.404
CPU system time (s): 22.0696
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 32200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 422.404
system time used= 22.0696
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23316
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= 589
runsolver used 0.514921 second user time and 0.938857 second system time
The end
Begin job on node32 at 2009-06-16 19:42:19
IDJOB=1869483
IDBENCH=2896
IDSOLVER=684
FILE ID=node32/1869483-1245174139
PBS_JOBID= 9363917
Free space on /tmp= 66344 MiB
SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_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-1869483-1245174139/watcher-1869483-1245174139 -o /tmp/evaluation-result-1869483-1245174139/solver-1869483-1245174139 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869483-1245174139.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1931939612
node32.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.234
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 : 5914.62
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.234
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: 1846016 kB
Buffers: 46368 kB
Cached: 87672 kB
SwapCached: 260 kB
Active: 51800 kB
Inactive: 96464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1846016 kB
SwapTotal: 4192956 kB
SwapFree: 4191900 kB
Dirty: 11852 kB
Writeback: 0 kB
Mapped: 23636 kB
Slab: 47436 kB
Committed_AS: 163460 kB
PageTables: 1492 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66332 MiB
End job on node32 at 2009-06-16 19:49:44