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-1869485-1245174255.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 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) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (3 rounds):
0.00/0.01 c 1 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.01 c 4 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c OPT-LIN
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = c 1620
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = c 1791
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = c 10000
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving problem
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 19 | 172k| 0 | 4 | 30 | 4 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 61 | 188k| 0 | 7 | 30 | 4 | 4 | 30 | 8 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 66 | 207k| 0 | 11 | 30 | 4 | 4 | 30 | 11 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 71 | 222k| 0 | 9 | 30 | 4 | 4 | 30 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 76 | 239k| 0 | 10 | 30 | 4 | 4 | 30 | 17 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 83 | 254k| 0 | 9 | 30 | 4 | 4 | 30 | 19 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 91 | 279k| 0 | 10 | 30 | 4 | 4 | 30 | 22 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.07 c 0.1s| 1 | 2 | 91 | 280k| 0 | 10 | 30 | 4 | 4 | 30 | 22 | 18 | 0 | 10 | 0.000000e+00 | -- | Inf
2.59/2.69 c 2.5s| 10000 | 1731 | 16154 |1334k| 26 | 4 | 30 | 295 | 51 | 30 | 10 | 18 | 293 | 403 | 0.000000e+00 | -- | Inf
5.18/5.26 c 4.9s| 20000 | 2679 | 31094 |2027k| 26 | - | 30 | 533 | 63 | 0 | 0 | 18 | 574 | 527 | 0.000000e+00 | -- | Inf
7.78/7.83 c 7.3s| 30000 | 3410 | 45553 |2583k| 26 | 4 | 30 | 649 | 48 | 30 | 10 | 18 | 808 | 616 | 0.000000e+00 | -- | Inf
10.48/10.53 c 9.9s| 40000 | 4206 | 61029 |3201k| 26 | - | 30 | 856 | 13 | 30 | 10 | 18 |1195 | 732 | 0.000000e+00 | -- | Inf
13.18/13.24 c 12.4s| 50000 | 5140 | 75999 |3859k| 26 | 4 | 30 |1076 | 5 | 30 | 10 | 18 |1590 | 787 | 0.000000e+00 | -- | Inf
15.87/15.92 c 15.0s| 60000 | 6528 | 92531 |4690k| 26 | - | 30 |1247 | 5 | 30 | 10 | 18 |1791 | 881 | 0.000000e+00 | -- | Inf
18.77/18.83 c 17.7s| 70000 | 6990 |108856 |5123k| 26 | 4 | 30 |1276 | 13 | 30 | 10 | 18 |2083 | 959 | 0.000000e+00 | -- | Inf
21.67/21.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.67/21.77 c 20.5s| 80000 | 7508 |124940 |5468k| 26 | - | 30 |1175 | 34 | 0 | 0 | 18 |2347 |1025 | 0.000000e+00 | -- | Inf
24.57/24.65 c 23.2s| 90000 | 7828 |140628 |5718k| 27 | 4 | 30 |1061 | 7 | 30 | 10 | 18 |2593 |1083 | 0.000000e+00 | -- | Inf
27.38/27.44 c 25.9s|100000 | 8676 |157628 |6307k| 27 | 4 | 30 |1263 | 7 | 30 | 10 | 18 |2988 |1132 | 0.000000e+00 | -- | Inf
30.17/30.29 c 28.6s|110000 | 9071 |173125 |6600k| 27 | 4 | 30 |1179 | 18 | 30 | 10 | 18 |3357 |1205 | 0.000000e+00 | -- | Inf
33.06/33.13 c 31.2s|120000 | 9606 |189302 |7016k| 27 | - | 30 |1209 | 4 | 0 | 0 | 18 |3590 |1251 | 0.000000e+00 | -- | Inf
35.96/36.06 c 34.0s|130000 | 9799 |205374 |7181k| 27 | 4 | 30 | 979 | 122 | 30 | 10 | 18 |4030 |1296 | 0.000000e+00 | -- | Inf
38.75/38.83 c 36.6s|140000 | 9821 |220364 |7221k| 27 | - | 30 | 685 | 6 | 0 | 0 | 18 |4306 |1339 | 0.000000e+00 | -- | Inf
41.36/41.45 c 39.1s|150000 | 10019 |235358 |7369k| 27 | 4 | 30 | 528 | 5 | 30 | 10 | 18 |4571 |1379 | 0.000000e+00 | -- | Inf
43.96/44.05 c 41.5s|160000 | 10032 |250320 |7449k| 27 | - | 30 | 413 | 351 | 0 | 0 | 18 |4871 |1407 | 0.000000e+00 | -- | Inf
46.55/46.63 c 44.0s|170000 | 9882 |264862 |7492k| 27 | 4 | 30 | 415 | 13 | 30 | 10 | 18 |5196 |1449 | 0.000000e+00 | -- | Inf
49.05/49.18 c 46.4s|180000 | 9743 |279105 |7518k| 27 | 4 | 30 | 417 | 7 | 30 | 10 | 18 |5477 |1483 | 0.000000e+00 | -- | Inf
51.56/51.62 c 48.7s|190000 | 9833 |293105 |7662k| 27 | 4 | 30 | 459 | 95 | 30 | 10 | 18 |5746 |1510 | 0.000000e+00 | -- | Inf
54.05/54.18 c 51.1s|200000 | 9622 |308235 |7594k| 27 | - | 30 | 325 | 4 | 30 | 10 | 18 |5944 |1547 | 0.000000e+00 | -- | Inf
56.65/56.70 c 53.4s|210000 | 9527 |322944 |7665k| 27 | 4 | 30 | 401 | 6 | 30 | 10 | 18 |6299 |1599 | 0.000000e+00 | -- | Inf
59.16/59.26 c 55.8s|220000 | 9387 |337898 |7623k| 27 | 4 | 30 | 349 | 7 | 30 | 10 | 18 |6630 |1636 | 0.000000e+00 | -- | Inf
61.75/61.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.75/61.87 c 58.3s|230000 | 9899 |353669 |8120k| 27 | 4 | 30 | 680 | 8 | 30 | 10 | 18 |7192 |1656 | 0.000000e+00 | -- | Inf
64.44/64.55 c 60.8s|240000 | 9882 |369810 |8146k| 27 | 4 | 30 | 592 | 4 | 30 | 10 | 18 |7637 |1686 | 0.000000e+00 | -- | Inf
67.14/67.22 c 63.3s|250000 | 9671 |385411 |8046k| 27 | 4 | 30 | 418 | 6 | 30 | 10 | 18 |8055 |1722 | 0.000000e+00 | -- | Inf
69.64/69.78 c 65.7s|260000 | 9727 |400880 |8212k| 27 | 4 | 30 | 589 | 4 | 30 | 10 | 18 |8601 |1750 | 0.000000e+00 | -- | Inf
72.14/72.29 c 68.1s|270000 | 9819 |415523 |8300k| 27 | 4 | 30 | 502 | 28 | 30 | 10 | 18 |8973 |1769 | 0.000000e+00 | -- | Inf
74.75/74.85 c 70.5s|280000 | 9449 |430687 |8065k| 27 | - | 30 | 282 | 4 | 0 | 0 | 18 |9273 |1807 | 0.000000e+00 | -- | Inf
77.24/77.33 c 72.8s|290000 | 10201 |445859 |8580k| 27 | 4 | 30 | 462 | 4 | 30 | 10 | 18 |9686 |1836 | 0.000000e+00 | -- | Inf
79.84/79.94 c 75.3s|300000 | 10254 |461143 |8726k| 27 | 4 | 30 | 515 | 12 | 30 | 10 | 18 | 10k|1863 | 0.000000e+00 | -- | Inf
82.44/82.55 c 77.7s|310000 | 10245 |475850 |8821k| 27 | 4 | 30 | 617 | 18 | 30 | 10 | 18 | 10k|1899 | 0.000000e+00 | -- | Inf
85.14/85.21 c 80.2s|320000 | 9920 |491165 |8567k| 27 | - | 30 | 293 | 4 | 30 | 10 | 18 | 11k|1937 | 0.000000e+00 | -- | Inf
87.64/87.72 c 82.6s|330000 | 9755 |506690 |8507k| 27 | 4 | 30 | 263 | 5 | 30 | 10 | 18 | 11k|1961 | 0.000000e+00 | -- | Inf
90.24/90.31 c 85.0s|340000 | 9072 |522434 |8113k| 27 | - | 30 | 217 | 70 | 0 | 0 | 18 | 11k|2000 | 0.000000e+00 | -- | Inf
92.73/92.84 c 87.4s|350000 | 8687 |537906 |7933k| 27 | - | 30 | 330 | 4 | 30 | 10 | 18 | 12k|2020 | 0.000000e+00 | -- | Inf
95.33/95.40 c 89.8s|360000 | 8433 |553549 |7814k| 27 | - | 30 | 327 | 4 | 30 | 10 | 18 | 12k|2044 | 0.000000e+00 | -- | Inf
97.84/97.97 c 92.2s|370000 | 8205 |569517 |7702k| 27 | - | 30 | 298 | 4 | 30 | 10 | 18 | 13k|2070 | 0.000000e+00 | -- | Inf
100.33/100.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.33/100.48 c 94.6s|380000 | 7886 |584077 |7522k| 27 | 4 | 30 | 306 | 5 | 30 | 10 | 18 | 13k|2088 | 0.000000e+00 | -- | Inf
102.83/102.93 c 96.9s|390000 | 7665 |598126 |7453k| 27 | - | 30 | 435 | 4 | 0 | 0 | 18 | 13k|2106 | 0.000000e+00 | -- | Inf
105.44/105.57 c 99.4s|400000 | 7419 |613469 |7316k| 27 | 4 | 30 | 409 | 6 | 30 | 10 | 18 | 14k|2120 | 0.000000e+00 | -- | Inf
107.93/108.06 c 102s|410000 | 7127 |627701 |7144k| 27 | - | 30 | 357 | 38 | 30 | 10 | 18 | 14k|2138 | 0.000000e+00 | -- | Inf
110.52/110.63 c 104s|420000 | 6516 |642946 |6699k| 27 | - | 30 | 247 | 4 | 30 | 10 | 18 | 15k|2161 | 0.000000e+00 | -- | Inf
113.02/113.12 c 106s|430000 | 6719 |658677 |6815k| 27 | 4 | 30 | 374 | 4 | 30 | 10 | 18 | 15k|2181 | 0.000000e+00 | -- | Inf
115.52/115.61 c 109s|440000 | 7417 |674516 |7282k| 27 | - | 30 | 435 | 26 | 0 | 0 | 18 | 15k|2196 | 0.000000e+00 | -- | Inf
117.92/118.06 c 111s|450000 | 7956 |690173 |7660k| 27 | - | 30 | 440 | 4 | 30 | 10 | 18 | 15k|2218 | 0.000000e+00 | -- | Inf
120.52/120.67 c 114s|460000 | 7840 |706681 |7735k| 27 | 4 | 30 | 471 | 9 | 30 | 10 | 18 | 16k|2245 | 0.000000e+00 | -- | Inf
123.12/123.26 c 116s|470000 | 7415 |722817 |7555k| 27 | - | 30 | 449 | 5 | 30 | 10 | 18 | 16k|2268 | 0.000000e+00 | -- | Inf
125.72/125.85 c 118s|480000 | 7257 |739168 |7518k| 27 | 4 | 30 | 550 | 21 | 30 | 10 | 18 | 16k|2296 | 0.000000e+00 | -- | Inf
128.32/128.43 c 121s|490000 | 7084 |755503 |7446k| 27 | - | 30 | 548 | 5 | 0 | 0 | 18 | 16k|2323 | 0.000000e+00 | -- | Inf
130.92/131.02 c 123s|500000 | 6573 |771112 |7006k| 27 | 4 | 30 | 323 | 5 | 30 | 10 | 18 | 16k|2344 | 0.000000e+00 | -- | Inf
133.42/133.54 c 126s|510000 | 6293 |786329 |6824k| 27 | 4 | 30 | 360 | 5 | 30 | 10 | 18 | 17k|2358 | 0.000000e+00 | -- | Inf
135.91/136.09 c 128s|520000 | 5795 |801674 |6455k| 27 | - | 30 | 332 | 4 | 0 | 0 | 18 | 17k|2382 | 0.000000e+00 | -- | Inf
138.52/138.68 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.52/138.68 c 130s|530000 | 5806 |817744 |6458k| 27 | 4 | 30 | 355 | 6 | 30 | 10 | 18 | 17k|2402 | 0.000000e+00 | -- | Inf
141.22/141.31 c 133s|540000 | 5506 |833205 |6309k| 27 | 4 | 30 | 446 | 4 | 30 | 10 | 18 | 18k|2442 | 0.000000e+00 | -- | Inf
143.71/143.88 c 135s|550000 | 5063 |848573 |5933k| 27 | - | 30 | 312 | 6 | 0 | 0 | 18 | 18k|2466 | 0.000000e+00 | -- | Inf
146.31/146.41 c 138s|560000 | 6283 |865537 |6593k| 27 | - | 30 | 451 | 4 | 30 | 10 | 18 | 18k|2480 | 0.000000e+00 | -- | Inf
148.82/148.94 c 140s|570000 | 7488 |882943 |7283k| 27 | - | 30 | 538 | 5 | 0 | 0 | 18 | 18k|2498 | 0.000000e+00 | -- | Inf
151.41/151.53 c 143s|580000 | 8163 |900839 |7704k| 27 | - | 30 | 484 | 4 | 30 | 10 | 18 | 19k|2521 | 0.000000e+00 | -- | Inf
154.00/154.17 c 145s|590000 | 8507 |917936 |7994k| 27 | 4 | 30 | 490 | 6 | 30 | 10 | 18 | 19k|2536 | 0.000000e+00 | -- | Inf
156.50/156.69 c 147s|600000 | 9000 |934972 |8336k| 27 | 4 | 30 | 463 | 4 | 30 | 10 | 18 | 19k|2558 | 0.000000e+00 | -- | Inf
159.11/159.23 c 150s|610000 | 9139 |951848 |8523k| 27 | 4 | 30 | 471 | 6 | 30 | 10 | 18 | 19k|2584 | 0.000000e+00 | -- | Inf
161.60/161.77 c 152s|620000 | 9203 |968804 |8670k| 27 | - | 30 | 493 | 4 | 30 | 10 | 18 | 19k|2593 | 0.000000e+00 | -- | Inf
164.20/164.34 c 155s|630000 | 9212 |985733 |8785k| 27 | - | 30 | 526 | 3 | 0 | 0 | 18 | 19k|2607 | 0.000000e+00 | -- | Inf
166.80/166.98 c 157s|640000 | 8996 | 1003k|8767k| 27 | 4 | 30 | 496 | 6 | 30 | 10 | 18 | 19k|2631 | 0.000000e+00 | -- | Inf
169.40/169.55 c 160s|650000 | 8552 | 1020k|8596k| 27 | 4 | 30 | 490 | 8 | 30 | 10 | 18 | 20k|2646 | 0.000000e+00 | -- | Inf
171.90/172.07 c 162s|660000 | 8521 | 1036k|8635k| 27 | - | 30 | 526 | 9 | 30 | 10 | 18 | 20k|2666 | 0.000000e+00 | -- | Inf
174.30/174.49 c 164s|670000 | 9635 | 1052k|9272k| 27 | 4 | 30 | 552 | 4 | 30 | 10 | 18 | 20k|2681 | 0.000000e+00 | -- | Inf
176.79/176.92 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.79/176.92 c 166s|680000 | 10190 | 1068k|9675k| 27 | 4 | 30 | 578 | 4 | 30 | 10 | 18 | 20k|2700 | 0.000000e+00 | -- | Inf
179.21/179.34 c 169s|690000 | 10907 | 1083k| 10M| 27 | 4 | 30 | 605 | 4 | 30 | 10 | 18 | 20k|2716 | 0.000000e+00 | -- | Inf
181.70/181.82 c 171s|700000 | 10929 | 1099k| 10M| 27 | - | 30 | 618 | 8 | 30 | 10 | 18 | 20k|2727 | 0.000000e+00 | -- | Inf
184.20/184.33 c 173s|710000 | 11056 | 1114k| 10M| 27 | 4 | 30 | 576 | 11 | 30 | 10 | 18 | 20k|2753 | 0.000000e+00 | -- | Inf
186.60/186.80 c 176s|720000 | 11213 | 1130k| 10M| 27 | - | 30 | 591 | 3 | 0 | 0 | 18 | 20k|2770 | 0.000000e+00 | -- | Inf
189.10/189.30 c 178s|730000 | 10878 | 1145k| 10M| 27 | 4 | 30 | 577 | 4 | 30 | 10 | 18 | 20k|2776 | 0.000000e+00 | -- | Inf
191.70/191.82 c 180s|740000 | 11048 | 1162k| 10M| 27 | - | 30 | 602 | 5 | 0 | 0 | 18 | 20k|2791 | 0.000000e+00 | -- | Inf
194.30/194.42 c 183s|750000 | 11244 | 1179k| 10M| 27 | - | 30 | 751 | 3 | 0 | 0 | 18 | 21k|2806 | 0.000000e+00 | -- | Inf
196.88/197.03 c 185s|760000 | 11094 | 1196k| 10M| 27 | - | 30 | 684 | 10 | 30 | 10 | 18 | 21k|2825 | 0.000000e+00 | -- | Inf
199.48/199.60 c 188s|770000 | 10834 | 1212k| 10M| 27 | - | 30 | 623 | 4 | 0 | 0 | 18 | 21k|2836 | 0.000000e+00 | -- | Inf
201.88/202.09 c 190s|780000 | 10708 | 1227k| 10M| 27 | - | 30 | 624 | 14 | 0 | 0 | 18 | 21k|2842 | 0.000000e+00 | -- | Inf
204.59/204.72 c 193s|790000 | 10173 | 1243k| 10M| 27 | - | 30 | 582 | 4 | 30 | 10 | 18 | 21k|2855 | 0.000000e+00 | -- | Inf
207.19/207.34 c 195s|800000 | 9845 | 1260k| 10M| 27 | 4 | 30 | 639 | 19 | 30 | 10 | 18 | 21k|2866 | 0.000000e+00 | -- | Inf
209.79/209.90 c 197s|810000 | 9747 | 1276k| 10M| 27 | - | 30 | 694 | 4 | 30 | 10 | 18 | 21k|2879 | 0.000000e+00 | -- | Inf
212.39/212.50 c 200s|820000 | 9223 | 1292k|9870k| 27 | - | 30 | 646 | 5 | 30 | 10 | 18 | 22k|2890 | 0.000000e+00 | -- | Inf
214.99/215.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.99/215.11 c 202s|830000 | 8778 | 1308k|9585k| 27 | - | 30 | 684 | 15 | 30 | 10 | 18 | 22k|2904 | 0.000000e+00 | -- | Inf
217.48/217.70 c 205s|840000 | 8336 | 1325k|9267k| 27 | 4 | 30 | 647 | 5 | 30 | 10 | 18 | 22k|2917 | 0.000000e+00 | -- | Inf
220.09/220.30 c 207s|850000 | 8061 | 1341k|9094k| 27 | 4 | 30 | 699 | 5 | 30 | 10 | 18 | 22k|2930 | 0.000000e+00 | -- | Inf
222.78/222.92 c 210s|860000 | 7413 | 1356k|8527k| 27 | 4 | 30 | 501 | 4 | 30 | 10 | 18 | 22k|2943 | 0.000000e+00 | -- | Inf
225.39/225.52 c 212s|870000 | 7216 | 1372k|8220k| 27 | 4 | 30 | 381 | 4 | 30 | 10 | 18 | 23k|2953 | 0.000000e+00 | -- | Inf
227.97/228.15 c 215s|880000 | 6866 | 1390k|8081k| 27 | 4 | 30 | 437 | 6 | 30 | 10 | 18 | 23k|2967 | 0.000000e+00 | -- | Inf
230.58/230.76 c 217s|890000 | 7032 | 1407k|8199k| 27 | 4 | 30 | 526 | 8 | 30 | 10 | 18 | 23k|2981 | 0.000000e+00 | -- | Inf
233.18/233.39 c 220s|900000 | 6843 | 1424k|8030k| 27 | 4 | 30 | 458 | 8 | 30 | 10 | 18 | 23k|3000 | 0.000000e+00 | -- | Inf
235.88/236.00 c 222s|910000 | 6501 | 1439k|7856k| 27 | 4 | 30 | 552 | 4 | 30 | 10 | 18 | 24k|3015 | 0.000000e+00 | -- | Inf
238.37/238.56 c 224s|920000 | 6419 | 1455k|7741k| 27 | - | 30 | 466 | 5 | 0 | 0 | 18 | 24k|3034 | 0.000000e+00 | -- | Inf
241.07/241.22 c 227s|930000 | 6368 | 1471k|7760k| 27 | 4 | 30 | 539 | 5 | 30 | 10 | 18 | 24k|3045 | 0.000000e+00 | -- | Inf
243.77/243.90 c 229s|940000 | 6082 | 1488k|7480k| 27 | - | 30 | 467 | 5 | 0 | 0 | 18 | 25k|3062 | 0.000000e+00 | -- | Inf
246.37/246.57 c 232s|950000 | 5397 | 1504k|6872k| 27 | 4 | 30 | 357 | 4 | 30 | 10 | 18 | 25k|3079 | 0.000000e+00 | -- | Inf
248.97/249.14 c 234s|960000 | 6254 | 1520k|7423k| 27 | - | 30 | 491 | 4 | 30 | 10 | 18 | 25k|3088 | 0.000000e+00 | -- | Inf
251.57/251.76 c 237s|970000 | 6222 | 1537k|7574k| 27 | - | 30 | 652 | 6 | 30 | 10 | 18 | 26k|3100 | 0.000000e+00 | -- | Inf
254.27/254.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.27/254.47 c 239s|980000 | 5866 | 1553k|7459k| 27 | 4 | 30 | 787 | 17 | 30 | 10 | 18 | 26k|3115 | 0.000000e+00 | -- | Inf
257.07/257.27 c 242s|990000 | 5307 | 1570k|6945k| 27 | 4 | 30 | 644 | 4 | 30 | 10 | 18 | 27k|3135 | 0.000000e+00 | -- | Inf
259.66/259.86 c 244s| 1000k| 5122 | 1585k|6750k| 27 | 4 | 30 | 641 | 6 | 30 | 10 | 18 | 27k|3141 | 0.000000e+00 | -- | Inf
262.37/262.58 c 247s| 1010k| 4627 | 1600k|6269k| 27 | 4 | 30 | 481 | 5 | 30 | 10 | 18 | 27k|3155 | 0.000000e+00 | -- | Inf
265.06/265.20 c 250s| 1020k| 4202 | 1616k|5847k| 27 | - | 30 | 381 | 4 | 0 | 0 | 18 | 28k|3171 | 0.000000e+00 | -- | Inf
267.56/267.79 c 252s| 1030k| 3995 | 1632k|5660k| 27 | - | 30 | 424 | 4 | 0 | 0 | 18 | 28k|3180 | 0.000000e+00 | -- | Inf
270.27/270.45 c 254s| 1040k| 3299 | 1649k|4933k| 27 | 4 | 30 | 289 | 6 | 30 | 10 | 18 | 28k|3186 | 0.000000e+00 | -- | Inf
272.86/273.01 c 257s| 1050k| 2807 | 1665k|4429k| 27 | 4 | 30 | 276 | 5 | 30 | 10 | 18 | 29k|3204 | 0.000000e+00 | -- | Inf
275.36/275.53 c 259s| 1060k| 2416 | 1681k|3934k| 27 | - | 30 | 314 | 10 | 30 | 10 | 18 | 29k|3210 | 0.000000e+00 | -- | Inf
277.86/278.07 c 262s| 1070k| 2001 | 1696k|3573k| 27 | 4 | 30 | 364 | 46 | 30 | 10 | 18 | 29k|3226 | 0.000000e+00 | -- | Inf
280.46/280.64 c 264s| 1080k| 2067 | 1711k|3544k| 27 | 4 | 30 | 589 | 5 | 30 | 10 | 18 | 30k|3238 | 0.000000e+00 | -- | Inf
283.16/283.30 c 266s| 1090k| 1945 | 1726k|3678k| 27 | 4 | 30 | 910 | 4 | 30 | 10 | 18 | 30k|3253 | 0.000000e+00 | -- | Inf
285.86/286.04 c 269s| 1100k| 1368 | 1741k|2943k| 27 | 4 | 30 | 688 | 9 | 30 | 10 | 18 | 31k|3259 | 0.000000e+00 | -- | Inf
288.46/288.64 c 272s| 1110k| 1844 | 1756k|3277k| 27 | 4 | 30 | 757 | 6 | 30 | 10 | 18 | 31k|3269 | 0.000000e+00 | -- | Inf
291.05/291.28 c 274s| 1120k| 1386 | 1772k|3004k| 27 | 4 | 30 | 812 | 4 | 30 | 10 | 18 | 32k|3302 | 0.000000e+00 | -- | Inf
293.65/293.89 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.65/293.89 c 276s| 1130k| 1061 | 1787k|2524k| 27 | 4 | 30 | 559 | 27 | 30 | 10 | 18 | 32k|3312 | 0.000000e+00 | -- | Inf
296.25/296.43 c 279s| 1140k| 1158 | 1803k|2567k| 27 | 4 | 30 | 653 | 5 | 30 | 10 | 18 | 32k|3318 | 0.000000e+00 | -- | Inf
298.85/299.06 c 281s| 1150k| 960 | 1819k|2499k| 27 | 4 | 30 | 872 | 11 | 30 | 10 | 18 | 33k|3323 | 0.000000e+00 | -- | Inf
301.44/301.69 c 284s| 1160k| 378 | 1834k|1481k| 27 | 4 | 30 | 366 | 7 | 30 | 10 | 18 | 33k|3340 | 0.000000e+00 | -- | Inf
304.05/304.24 c 286s| 1170k| 1231 | 1850k|1740k| 27 | 4 | 30 | 394 | 12 | 30 | 10 | 18 | 33k|3350 | 0.000000e+00 | -- | Inf
306.65/306.80 c 289s| 1180k| 1857 | 1865k|2204k| 27 | 4 | 30 | 476 | 6 | 30 | 10 | 18 | 34k|3358 | 0.000000e+00 | -- | Inf
309.15/309.38 c 291s| 1190k| 1875 | 1881k|2356k| 27 | 4 | 30 | 513 | 4 | 30 | 10 | 18 | 34k|3366 | 0.000000e+00 | -- | Inf
311.84/312.01 c 293s| 1200k| 2140 | 1897k|2659k| 27 | - | 30 | 667 | 5 | 0 | 0 | 18 | 34k|3375 | 0.000000e+00 | -- | Inf
314.45/314.62 c 296s| 1210k| 2106 | 1913k|2750k| 27 | - | 30 | 650 | 4 | 0 | 0 | 18 | 35k|3380 | 0.000000e+00 | -- | Inf
317.14/317.30 c 299s| 1220k| 1505 | 1928k|2387k| 27 | - | 30 | 532 | 4 | 30 | 10 | 18 | 35k|3394 | 0.000000e+00 | -- | Inf
319.74/319.94 c 301s| 1230k| 1459 | 1944k|2432k| 27 | 4 | 30 | 645 | 4 | 30 | 10 | 18 | 35k|3409 | 0.000000e+00 | -- | Inf
322.44/322.60 c 304s| 1240k| 1085 | 1959k|2214k| 27 | 4 | 30 | 724 | 7 | 30 | 10 | 18 | 36k|3424 | 0.000000e+00 | -- | Inf
325.14/325.30 c 306s| 1250k| 852 | 1974k|1969k| 27 | - | 30 | 746 | 4 | 30 | 10 | 18 | 36k|3445 | 0.000000e+00 | -- | Inf
327.84/328.03 c 309s| 1260k| 750 | 1989k|2045k| 27 | 4 | 30 |1000 | 5 | 30 | 10 | 18 | 37k|3461 | 0.000000e+00 | -- | Inf
330.54/330.77 c 311s| 1270k| 159 | 2004k|1228k| 27 | - | 30 | 638 | 14 | 0 | 0 | 18 | 37k|3473 | 0.000000e+00 | -- | Inf
333.14/333.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.14/333.32 c 314s| 1280k| 396 | 2019k|1343k| 27 | - | 30 | 728 | 8 | 30 | 10 | 18 | 38k|3482 | 0.000000e+00 | -- | Inf
335.73/335.90 c 316s| 1290k| 467 | 2035k|1383k| 27 | 4 | 30 | 713 | 8 | 30 | 10 | 18 | 38k|3498 | 0.000000e+00 | -- | Inf
338.23/338.41 c 318s| 1300k| 497 | 2050k|1511k| 27 | - | 30 | 740 | 3 | 0 | 0 | 18 | 38k|3507 | 0.000000e+00 | -- | Inf
340.83/341.02 c 321s| 1310k| 649 | 2066k|1341k| 27 | 4 | 30 | 704 | 5 | 30 | 10 | 18 | 38k|3522 | 0.000000e+00 | -- | Inf
343.43/343.60 c 323s| 1320k| 1174 | 2082k|1734k| 27 | - | 30 | 746 | 4 | 30 | 10 | 18 | 38k|3537 | 0.000000e+00 | -- | Inf
346.03/346.26 c 326s| 1330k| 1457 | 2098k|2075k| 27 | 4 | 30 | 969 | 4 | 30 | 10 | 18 | 39k|3545 | 0.000000e+00 | -- | Inf
348.73/348.98 c 328s| 1340k| 1442 | 2114k|2148k| 27 | 4 | 30 | 971 | 4 | 30 | 10 | 18 | 39k|3564 | 0.000000e+00 | -- | Inf
351.43/351.65 c 331s| 1350k| 1261 | 2130k|2077k| 27 | 4 | 30 | 906 | 28 | 30 | 10 | 18 | 39k|3581 | 0.000000e+00 | -- | Inf
354.13/354.30 c 333s| 1360k| 1021 | 2145k|1924k| 27 | 4 | 30 | 929 | 4 | 30 | 10 | 18 | 40k|3594 | 0.000000e+00 | -- | Inf
356.73/356.95 c 336s| 1370k| 1685 | 2160k|2445k| 27 | 4 | 30 |1130 | 13 | 30 | 10 | 18 | 40k|3607 | 0.000000e+00 | -- | Inf
359.53/359.79 c 339s| 1380k| 1493 | 2175k|2479k| 27 | - | 30 |1236 | 4 | 0 | 0 | 18 | 41k|3613 | 0.000000e+00 | -- | Inf
362.32/362.57 c 341s| 1390k| 1342 | 2191k|2350k| 27 | 4 | 30 |1068 | 4 | 30 | 10 | 18 | 41k|3622 | 0.000000e+00 | -- | Inf
365.03/365.21 c 344s| 1400k| 1628 | 2205k|2641k| 27 | - | 30 |1233 | 4 | 30 | 10 | 18 | 41k|3632 | 0.000000e+00 | -- | Inf
367.72/367.91 c 346s| 1410k| 1536 | 2219k|2678k| 27 | 4 | 30 |1319 | 15 | 30 | 10 | 18 | 42k|3654 | 0.000000e+00 | -- | Inf
370.42/370.67 c 349s| 1420k| 1185 | 2234k|2301k| 27 | 4 | 30 |1024 | 6 | 30 | 10 | 18 | 42k|3665 | 0.000000e+00 | -- | Inf
373.12/373.30 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.12/373.30 c 351s| 1430k| 1370 | 2250k|2511k| 27 | 4 | 30 |1162 | 4 | 30 | 10 | 18 | 42k|3683 | 0.000000e+00 | -- | Inf
375.82/376.03 c 354s| 1440k| 1358 | 2266k|2399k| 27 | - | 30 |1068 | 4 | 30 | 10 | 18 | 43k|3693 | 0.000000e+00 | -- | Inf
378.51/378.78 c 356s| 1450k| 1239 | 2283k|2479k| 27 | - | 30 |1232 | 4 | 0 | 0 | 18 | 43k|3710 | 0.000000e+00 | -- | Inf
381.22/381.49 c 359s| 1460k| 786 | 2298k|2100k| 27 | - | 30 |1208 | 4 | 30 | 10 | 18 | 43k|3716 | 0.000000e+00 | -- | Inf
384.11/384.36 c 362s| 1470k| 391 | 2314k|1648k| 27 | - | 30 |1268 | 4 | 30 | 10 | 18 | 44k|3722 | 0.000000e+00 | -- | Inf
386.71/386.99 c 364s| 1480k| 773 | 2328k|1962k| 27 | - | 30 |1303 | 5 | 0 | 0 | 18 | 44k|3738 | 0.000000e+00 | -- | Inf
389.41/389.66 c 367s| 1490k| 528 | 2344k|1846k| 27 | - | 30 |1315 | 9 | 30 | 10 | 18 | 44k|3745 | 0.000000e+00 | -- | Inf
391.01/391.20 c
391.01/391.20 c SCIP Status : problem is solved [infeasible]
391.01/391.20 c Solving Time (sec) : 368.20
391.01/391.20 c Solving Nodes : 1495234
391.01/391.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
391.01/391.20 c Dual Bound : +1.00000000000000e+20
391.01/391.20 c Gap : 0.00 %
391.01/391.20 c NODE 1495234
391.01/391.20 c DUAL BOUND 1e+20
391.01/391.20 c PRIMAL BOUND 1e+20
391.01/391.20 c GAP 0
391.01/391.20 s UNSATISFIABLE
391.01/391.20 c SCIP Status : problem is solved [infeasible]
391.01/391.20 c Solving Time : 368.20
391.01/391.20 c Original Problem :
391.01/391.20 c Problem name : HOME/instance-1869485-1245174255.opb
391.01/391.20 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
391.01/391.20 c Constraints : 9 initial, 9 maximal
391.01/391.20 c Presolved Problem :
391.01/391.20 c Problem name : t_HOME/instance-1869485-1245174255.opb
391.01/391.20 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
391.01/391.20 c Constraints : 4 initial, 1411 maximal
391.01/391.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
391.01/391.20 c trivial : 0.00 0 0 0 0 0 0 0 0
391.01/391.20 c dualfix : 0.00 1 0 0 0 0 0 0 0
391.01/391.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
391.01/391.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
391.01/391.20 c implics : 0.00 0 0 0 0 0 0 0 0
391.01/391.20 c probing : 0.00 0 0 0 0 0 0 0 0
391.01/391.20 c linear : 0.00 0 0 0 0 0 5 0 0
391.01/391.20 c logicor : 0.00 0 0 0 0 0 0 0 0
391.01/391.20 c root node : - 2 - - 2 - - - -
391.01/391.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
391.01/391.20 c integral : 0 0 0 757340 0 735 1769 0 0 1509844
391.01/391.20 c linear : 4 6 1981655 0 0 362049 2637680 0 0 0
391.01/391.20 c logicor : 0+ 0 850010 0 0 344 27517 0 0 0
391.01/391.20 c countsols : 0 0 0 0 0 0 0 0 0 0
391.01/391.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
391.01/391.20 c integral : 6.66 0.00 0.00 6.66 0.00
391.01/391.20 c linear : 53.96 0.00 53.96 0.00 0.00
391.01/391.20 c logicor : 12.17 0.00 12.17 0.00 0.00
391.01/391.20 c countsols : 0.00 0.00 0.00 0.00 0.00
391.01/391.20 c Propagators : Time Calls Cutoffs DomReds
391.01/391.20 c rootredcost : 0.80 0 0 0
391.01/391.20 c pseudoobj : 0.41 0 0 0
391.01/391.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
391.01/391.20 c propagation : 12.55 362393 41469 68131 23.1 0 0.0 -
391.01/391.20 c infeasible LP : 2.49 393265 2014 2265 12.7 0 0.0 0
391.01/391.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
391.01/391.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
391.01/391.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
391.01/391.20 c applied globally : - - - 44684 22.2 - - -
391.01/391.20 c applied locally : - - - 0 0.0 - - -
391.01/391.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
391.01/391.20 c cut pool : 0.00 5 - - 10 - (maximal pool size: 99)
391.01/391.20 c redcost : 0.89 757345 0 0 0 0
391.01/391.20 c impliedbounds : 0.00 6 0 0 0 0
391.01/391.20 c intobj : 0.00 0 0 0 0 0
391.01/391.20 c gomory : 0.00 6 0 0 2 0
391.01/391.20 c strongcg : 0.00 6 0 0 56 0
391.01/391.20 c cmir : 0.01 6 0 0 23 0
391.01/391.20 c flowcover : 0.02 6 0 0 34 0
391.01/391.20 c clique : 0.00 1 0 0 0 0
391.01/391.20 c zerohalf : 0.00 0 0 0 0 0
391.01/391.20 c mcf : 0.00 1 0 0 0 0
391.01/391.20 c Pricers : Time Calls Vars
391.01/391.20 c problem variables: 0.00 0 0
391.01/391.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
391.01/391.20 c relpscost : 6.08 757340 735 1769 0 0 1509844
391.01/391.20 c pscost : 0.00 0 0 0 0 0 0
391.01/391.20 c inference : 0.00 0 0 0 0 0 0
391.01/391.20 c mostinf : 0.00 0 0 0 0 0 0
391.01/391.20 c leastinf : 0.00 0 0 0 0 0 0
391.01/391.20 c fullstrong : 0.00 0 0 0 0 0 0
391.01/391.20 c allfullstrong : 0.00 0 0 0 0 0 0
391.01/391.20 c random : 0.00 0 0 0 0 0 0
391.01/391.20 c Primal Heuristics : Time Calls Found
391.01/391.20 c LP solutions : 0.00 - 0
391.01/391.20 c pseudo solutions : 0.00 - 0
391.01/391.20 c oneopt : 0.77 0 0
391.01/391.20 c crossover : 0.40 0 0
391.01/391.20 c guideddiving : 0.08 0 0
391.01/391.20 c coefdiving : 0.06 134 0
391.01/391.20 c fracdiving : 0.08 134 0
391.01/391.20 c veclendiving : 0.16 134 0
391.01/391.20 c pscostdiving : 0.13 134 0
391.01/391.20 c linesearchdiving : 0.12 135 0
391.01/391.20 c feaspump : 0.15 68 0
391.01/391.20 c objpscostdiving : 0.11 68 0
391.01/391.20 c rootsoldiving : 0.12 68 0
391.01/391.20 c simplerounding : 0.29 0 0
391.01/391.20 c rounding : 0.59 12292 0
391.01/391.20 c shifting : 1.92 5107 0
391.01/391.20 c intshifting : 0.05 0 0
391.01/391.20 c fixandinfer : 0.00 0 0
391.01/391.20 c intdiving : 0.00 0 0
391.01/391.20 c actconsdiving : 0.00 0 0
391.01/391.20 c octane : 0.00 0 0
391.01/391.20 c rens : 0.02 1 0
391.01/391.20 c rins : 0.00 0 0
391.01/391.20 c localbranching : 0.00 0 0
391.01/391.20 c mutation : 0.00 0 0
391.01/391.20 c dins : 0.00 0 0
391.01/391.20 c LP : Time Calls Iterations Iter/call Iter/sec
391.01/391.20 c primal LP : 0.00 0 0 0.00 -
391.01/391.20 c dual LP : 199.68 1133021 2350767 2.07 11772.67
391.01/391.20 c barrier LP : 0.00 0 0 0.00 -
391.01/391.20 c diving/probing LP: 0.20 1159 1661 1.43 8305.00
391.01/391.20 c strong branching : 0.49 3748 15069 4.02 30753.06
391.01/391.20 c (at root node) : - 10 131 13.10 -
391.01/391.20 c conflict analysis: 0.00 0 0 0.00 -
391.01/391.20 c B&B Tree :
391.01/391.20 c number of runs : 1
391.01/391.20 c nodes : 1495234
391.01/391.20 c nodes (total) : 1495234
391.01/391.20 c nodes left : 0
391.01/391.20 c max depth : 27
391.01/391.20 c max depth (total): 27
391.01/391.20 c backtracks : 395983 (26.5%)
391.01/391.20 c delayed cutoffs : 14611
391.01/391.20 c repropagations : 33077 (87153 domain reductions, 14560 cutoffs)
391.01/391.20 c avg switch length: 4.79
391.01/391.20 c switching time : 36.89
391.01/391.20 c Solution :
391.01/391.20 c Solutions found : 0 (0 improvements)
391.01/391.20 c Primal Bound : infeasible
391.01/391.20 c Dual Bound : -
391.01/391.20 c Gap : 0.00 %
391.01/391.20 c Root Dual Bound : +0.00000000000000e+00
391.01/391.21 c Time complete: 391.02.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869485-1245174255/watcher-1869485-1245174255 -o /tmp/evaluation-result-1869485-1245174255/solver-1869485-1245174255 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869485-1245174255.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.03 0.99 3/64 6821
/proc/meminfo: memFree=1848568/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=7616 CPUtime=0
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 624 0 0 0 0 0 0 0 18 0 1 0 185022374 7798784 608 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/6821/statm: 1904 618 353 1256 0 643 0
[startup+0.057945 s]
/proc/loadavg: 0.94 1.03 0.99 3/64 6821
/proc/meminfo: memFree=1848568/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=21244 CPUtime=0.05
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 4062 0 0 0 4 1 0 0 18 0 1 0 185022374 21753856 3692 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 5311 3702 659 1256 0 4050 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21244
[startup+0.101949 s]
/proc/loadavg: 0.94 1.03 0.99 3/64 6821
/proc/meminfo: memFree=1848568/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=15556 CPUtime=0.09
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 4288 0 0 0 8 1 0 0 18 0 1 0 185022374 15929344 2442 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 3889 2442 692 1256 0 2628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15556
[startup+0.30197 s]
/proc/loadavg: 0.94 1.03 0.99 3/64 6821
/proc/meminfo: memFree=1848568/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=15720 CPUtime=0.29
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 4316 0 0 0 26 3 0 0 19 0 1 0 185022374 16097280 2470 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 3930 2470 692 1256 0 2669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15720
[startup+0.702015 s]
/proc/loadavg: 0.94 1.03 0.99 3/64 6821
/proc/meminfo: memFree=1848568/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=15720 CPUtime=0.69
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 4369 0 0 0 64 5 0 0 23 0 1 0 185022374 16097280 2523 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 3930 2523 692 1256 0 2669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15720
[startup+1.5011 s]
/proc/loadavg: 0.94 1.03 0.99 2/65 6822
/proc/meminfo: memFree=1840944/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=16604 CPUtime=1.49
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 4489 0 0 0 138 11 0 0 25 0 1 0 185022374 17002496 2643 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 4151 2643 692 1256 0 2890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16604
[startup+3.10129 s]
/proc/loadavg: 0.94 1.03 0.99 2/65 6822
/proc/meminfo: memFree=1840112/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=17584 CPUtime=3.09
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 4710 0 0 0 288 21 0 0 25 0 1 0 185022374 18006016 2864 1992294400 4194304 9342243 548682068736 18446744073709551615 6039499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6821/statm: 4396 2864 692 1256 0 3135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17584
[startup+6.30163 s]
/proc/loadavg: 0.94 1.03 0.99 2/65 6822
/proc/meminfo: memFree=1838768/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=18540 CPUtime=6.29
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 5023 0 0 0 590 39 0 0 25 0 1 0 185022374 18984960 3177 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 4635 3177 692 1256 0 3374 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18540
[startup+12.7013 s]
/proc/loadavg: 0.95 1.03 0.99 2/65 6822
/proc/meminfo: memFree=1837432/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=20944 CPUtime=12.68
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 5443 0 0 0 1192 76 0 0 25 0 1 0 185022374 21446656 3597 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 5236 3597 692 1256 0 3975 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20944
[startup+25.5018 s]
/proc/loadavg: 0.96 1.03 0.99 2/65 6822
/proc/meminfo: memFree=1834680/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=23016 CPUtime=25.47
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 6034 0 0 0 2401 146 0 0 25 0 1 0 185022374 23568384 4188 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 5754 4188 692 1256 0 4493 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23016
[startup+51.1016 s]
/proc/loadavg: 0.97 1.02 0.99 2/65 6822
/proc/meminfo: memFree=1832504/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=25112 CPUtime=51.06
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 6554 0 0 0 4816 290 0 0 25 0 1 0 185022374 25714688 4708 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 6278 4708 692 1256 0 5017 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 25112
[startup+102.305 s]
/proc/loadavg: 0.99 1.02 0.99 2/65 6822
/proc/meminfo: memFree=1831288/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=26168 CPUtime=102.24
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 6796 0 0 0 9632 592 0 0 25 0 1 0 185022374 26796032 4950 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 6542 4950 692 1256 0 5281 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 26168
[startup+162.302 s]
/proc/loadavg: 0.99 1.01 0.99 2/65 6822
/proc/meminfo: memFree=1831160/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=26168 CPUtime=162.21
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 6798 0 0 0 15273 948 0 0 25 0 1 0 185022374 26796032 4952 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 6542 4952 692 1256 0 5281 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 26168
[startup+222.301 s]
/proc/loadavg: 0.99 1.01 0.99 2/65 6822
/proc/meminfo: memFree=1828600/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=222.18
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7420 0 0 0 20913 1305 0 0 25 0 1 0 185022374 29700096 5574 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5574 692 1256 0 5990 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 29004
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828472/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=282.16
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7421 0 0 0 26554 1662 0 0 25 0 1 0 185022374 29700096 5575 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5575 692 1256 0 5990 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 29004
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828344/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=342.13
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7421 0 0 0 32207 2006 0 0 25 0 1 0 185022374 29700096 5575 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5575 692 1256 0 5990 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 29004
Solver just ended. Dumping a history of the last processes samples
[startup+358.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828344/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=358.12
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7421 0 0 0 33715 2097 0 0 25 0 1 0 185022374 29700096 5575 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5575 692 1256 0 5990 0
Current children cumulated CPU time (s) 358.12
Current children cumulated vsize (KiB) 29004
[startup+371.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=370.93
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 34919 2174 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 370.93
Current children cumulated vsize (KiB) 29004
[startup+383.905 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=383.72
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36130 2242 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 383.72
Current children cumulated vsize (KiB) 29004
[startup+387.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=386.91
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36433 2258 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 386.91
Current children cumulated vsize (KiB) 29004
[startup+388.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=388.51
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36583 2268 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 388.51
Current children cumulated vsize (KiB) 29004
[startup+390.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=390.12
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36735 2277 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 390.12
Current children cumulated vsize (KiB) 29004
[startup+390.701 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=390.52
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36773 2279 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 390.52
Current children cumulated vsize (KiB) 29004
[startup+391.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=390.91
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36810 2281 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 390.91
Current children cumulated vsize (KiB) 29004
[startup+391.201 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6822
/proc/meminfo: memFree=1828280/2055920 swapFree=4192812/4192956
[pid=6821] ppid=6819 vsize=29004 CPUtime=391.01
/proc/6821/stat : 6821 (pbscip.linux.x8) R 6819 6821 6693 0 -1 4194304 7423 0 0 0 36820 2281 0 0 25 0 1 0 185022374 29700096 5577 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6821/statm: 7251 5577 692 1256 0 5990 0
Current children cumulated CPU time (s) 391.01
Current children cumulated vsize (KiB) 29004
Child status: 0
Real time (s): 391.215
CPU time (s): 391.035
CPU user time (s): 368.214
CPU system time (s): 22.8205
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 29004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 368.214
system time used= 22.8205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7427
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= 1519
runsolver used 0.45393 second user time and 0.989849 second system time
The end
Begin job on node42 at 2009-06-16 19:44:15
IDJOB=1869485
IDBENCH=2897
IDSOLVER=684
FILE ID=node42/1869485-1245174255
PBS_JOBID= 9363900
Free space on /tmp= 66148 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-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-1869485-1245174255/watcher-1869485-1245174255 -o /tmp/evaluation-result-1869485-1245174255/solver-1869485-1245174255 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869485-1245174255.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d2b3af71376059fa940b007abcee01cc
RANDOM SEED=284221124
node42.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.214
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.214
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: 1849056 kB
Buffers: 27704 kB
Cached: 105236 kB
SwapCached: 0 kB
Active: 31636 kB
Inactive: 115212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1849056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 11728 kB
Writeback: 0 kB
Mapped: 23704 kB
Slab: 46032 kB
Committed_AS: 167944 kB
PageTables: 1392 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= 66136 MiB
End job on node42 at 2009-06-16 19:50:47