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-1869501-1245175317.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.01
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.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 | 20 | 172k| 0 | 4 | 30 | 4 | 4 | 30 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 58 | 189k| 0 | 8 | 30 | 4 | 4 | 30 | 9 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 0 | 66 | 209k| 0 | 9 | 30 | 4 | 4 | 30 | 12 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 73 | 225k| 0 | 11 | 30 | 4 | 4 | 30 | 15 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 82 | 242k| 0 | 12 | 30 | 4 | 4 | 30 | 18 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 88 | 256k| 0 | 12 | 30 | 4 | 4 | 30 | 21 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 92 | 269k| 0 | 14 | 30 | 4 | 4 | 30 | 24 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.06/0.10 c 0.1s| 1 | 2 | 92 | 269k| 0 | 14 | 30 | 4 | 4 | 30 | 24 | 20 | 0 | 14 | 0.000000e+00 | -- | Inf
2.89/2.98 c 2.8s| 10000 | 2189 | 15949 |1571k| 25 | 4 | 30 | 511 | 18 | 30 | 14 | 20 | 513 | 343 | 0.000000e+00 | -- | Inf
5.78/5.85 c 5.5s| 20000 | 3867 | 31285 |2567k| 26 | 4 | 30 | 811 | 6 | 30 | 14 | 20 | 853 | 436 | 0.000000e+00 | -- | Inf
8.79/8.81 c 8.4s| 30000 | 5223 | 46329 |3445k| 26 | 4 | 30 |1050 | 18 | 30 | 14 | 20 |1240 | 505 | 0.000000e+00 | -- | Inf
11.78/11.87 c 11.3s| 40000 | 6514 | 62147 |4215k| 26 | - | 30 |1127 | 7 | 0 | 0 | 20 |1616 | 574 | 0.000000e+00 | -- | Inf
14.89/14.93 c 14.2s| 50000 | 7349 | 77290 |4789k| 26 | - | 30 |1190 | 5 | 30 | 14 | 20 |2015 | 625 | 0.000000e+00 | -- | Inf
17.98/18.03 c 17.1s| 60000 | 8181 | 92769 |5347k| 26 | - | 30 |1194 | 114 | 0 | 0 | 20 |2407 | 675 | 0.000000e+00 | -- | Inf
21.18/21.27 c 20.2s| 70000 | 9223 |110242 |6081k| 26 | 4 | 30 |1443 | 8 | 30 | 14 | 20 |2979 | 724 | 0.000000e+00 | -- | Inf
24.38/24.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.38/24.45 c 23.2s| 80000 | 9919 |125024 |6512k| 26 | 4 | 30 |1277 | 13 | 30 | 14 | 20 |3316 | 751 | 0.000000e+00 | -- | Inf
27.49/27.51 c 26.1s| 90000 | 10797 |140962 |7012k| 26 | 4 | 30 |1122 | 6 | 30 | 14 | 20 |3602 | 777 | 0.000000e+00 | -- | Inf
30.28/30.40 c 28.9s|100000 | 11395 |155560 |7375k| 26 | 4 | 30 | 907 | 53 | 30 | 14 | 20 |3857 | 806 | 0.000000e+00 | -- | Inf
33.27/33.32 c 31.6s|110000 | 11797 |170363 |7663k| 26 | - | 30 | 760 | 41 | 0 | 0 | 20 |4175 | 823 | 0.000000e+00 | -- | Inf
36.08/36.14 c 34.3s|120000 | 12371 |185481 |8049k| 26 | - | 30 | 704 | 65 | 0 | 0 | 20 |4439 | 848 | 0.000000e+00 | -- | Inf
39.07/39.11 c 37.1s|130000 | 12813 |201411 |8406k| 26 | 4 | 30 | 752 | 4 | 30 | 14 | 20 |4909 | 873 | 0.000000e+00 | -- | Inf
42.07/42.11 c 39.9s|140000 | 13337 |217293 |8829k| 26 | 4 | 30 | 856 | 4 | 30 | 14 | 20 |5405 | 897 | 0.000000e+00 | -- | Inf
44.97/45.03 c 42.7s|150000 | 13764 |233230 |9101k| 26 | - | 30 | 656 | 38 | 0 | 0 | 20 |5618 | 926 | 0.000000e+00 | -- | Inf
47.77/47.88 c 45.4s|160000 | 14413 |250201 |9536k| 26 | - | 30 | 650 | 5 | 30 | 14 | 20 |5813 | 947 | 0.000000e+00 | -- | Inf
50.57/50.67 c 48.0s|170000 | 14682 |265309 |9775k| 26 | 4 | 30 | 534 | 5 | 30 | 14 | 20 |6156 | 968 | 0.000000e+00 | -- | Inf
53.36/53.44 c 50.7s|180000 | 15217 |280652 | 10M| 26 | - | 30 | 557 | 12 | 0 | 0 | 20 |6544 | 983 | 0.000000e+00 | -- | Inf
56.07/56.17 c 53.2s|190000 | 15453 |295227 | 10M| 26 | - | 30 | 454 | 4 | 30 | 14 | 20 |6825 |1002 | 0.000000e+00 | -- | Inf
58.86/58.98 c 55.9s|200000 | 15523 |310805 | 10M| 26 | - | 30 | 445 | 5 | 0 | 0 | 20 |7230 |1026 | 0.000000e+00 | -- | Inf
61.57/61.64 c 58.4s|210000 | 15896 |325722 | 10M| 26 | - | 30 | 384 | 6 | 0 | 0 | 20 |7428 |1047 | 0.000000e+00 | -- | Inf
64.26/64.34 c 60.9s|220000 | 16082 |341008 | 11M| 26 | 4 | 30 | 412 | 9 | 30 | 14 | 20 |7684 |1062 | 0.000000e+00 | -- | Inf
67.07/67.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.07/67.14 c 63.5s|230000 | 16187 |357086 | 11M| 26 | - | 30 | 360 | 4 | 0 | 0 | 20 |7978 |1079 | 0.000000e+00 | -- | Inf
69.66/69.80 c 66.0s|240000 | 16640 |372265 | 11M| 26 | 4 | 30 | 402 | 10 | 30 | 14 | 20 |8198 |1095 | 0.000000e+00 | -- | Inf
72.46/72.50 c 68.6s|250000 | 17054 |387717 | 11M| 26 | 4 | 30 | 421 | 5 | 30 | 14 | 20 |8430 |1114 | 0.000000e+00 | -- | Inf
75.36/75.42 c 71.3s|260000 | 17467 |406234 | 12M| 26 | - | 30 | 480 | 32 | 30 | 14 | 20 |8539 |1144 | 0.000000e+00 | -- | Inf
78.16/78.21 c 74.0s|270000 | 17524 |421166 | 12M| 26 | 4 | 30 | 525 | 4 | 30 | 14 | 20 |9013 |1156 | 0.000000e+00 | -- | Inf
80.95/81.03 c 76.6s|280000 | 17462 |436580 | 12M| 26 | - | 30 | 354 | 4 | 30 | 14 | 20 |9310 |1170 | 0.000000e+00 | -- | Inf
83.65/83.72 c 79.1s|290000 | 18035 |452170 | 12M| 26 | - | 30 | 360 | 8 | 0 | 0 | 20 |9527 |1181 | 0.000000e+00 | -- | Inf
86.35/86.48 c 81.7s|300000 | 19078 |469496 | 13M| 26 | 4 | 30 | 415 | 16 | 30 | 14 | 20 |9655 |1198 | 0.000000e+00 | -- | Inf
89.15/89.26 c 84.3s|310000 | 19139 |485812 | 13M| 26 | 4 | 30 | 408 | 5 | 30 | 14 | 20 |9797 |1217 | 0.000000e+00 | -- | Inf
91.85/91.91 c 86.8s|320000 | 19268 |501362 | 13M| 26 | - | 30 | 401 | 5 | 30 | 14 | 20 |9978 |1233 | 0.000000e+00 | -- | Inf
94.55/94.69 c 89.5s|330000 | 19608 |517758 | 14M| 26 | 4 | 30 | 495 | 4 | 30 | 14 | 20 | 10k|1249 | 0.000000e+00 | -- | Inf
97.45/97.54 c 92.2s|340000 | 19645 |533569 | 14M| 26 | 4 | 30 | 510 | 4 | 30 | 14 | 20 | 10k|1270 | 0.000000e+00 | -- | Inf
100.24/100.31 c 94.8s|350000 | 19611 |549309 | 14M| 26 | 4 | 30 | 318 | 4 | 30 | 14 | 20 | 11k|1285 | 0.000000e+00 | -- | Inf
102.95/103.08 c 97.4s|360000 | 19352 |564434 | 14M| 26 | - | 30 | 367 | 33 | 0 | 0 | 20 | 11k|1297 | 0.000000e+00 | -- | Inf
105.64/105.76 c 99.9s|370000 | 19473 |579817 | 14M| 26 | 4 | 30 | 336 | 5 | 30 | 14 | 20 | 11k|1308 | 0.000000e+00 | -- | Inf
108.34/108.44 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.34/108.44 c 102s|380000 | 19367 |594553 | 14M| 26 | - | 30 | 320 | 4 | 0 | 0 | 20 | 11k|1323 | 0.000000e+00 | -- | Inf
110.95/111.08 c 105s|390000 | 19377 |609486 | 14M| 26 | 4 | 30 | 307 | 4 | 30 | 14 | 20 | 12k|1343 | 0.000000e+00 | -- | Inf
113.84/113.90 c 108s|400000 | 20271 |626330 | 15M| 26 | 4 | 30 | 582 | 5 | 30 | 14 | 20 | 12k|1354 | 0.000000e+00 | -- | Inf
116.84/116.97 c 110s|410000 | 20868 |644610 | 15M| 26 | 4 | 30 | 870 | 40 | 30 | 14 | 20 | 13k|1371 | 0.000000e+00 | -- | Inf
120.14/120.21 c 114s|420000 | 20933 |663530 | 15M| 26 | - | 30 | 982 | 5 | 30 | 14 | 20 | 14k|1384 | 0.000000e+00 | -- | Inf
123.34/123.44 c 117s|430000 | 21356 |682264 | 16M| 26 | - | 30 |1168 | 9 | 30 | 14 | 20 | 15k|1399 | 0.000000e+00 | -- | Inf
126.64/126.72 c 120s|440000 | 21243 |699673 | 16M| 26 | 4 | 30 | 996 | 5 | 30 | 14 | 20 | 15k|1419 | 0.000000e+00 | -- | Inf
129.44/129.56 c 122s|450000 | 21032 |714399 | 16M| 26 | 4 | 30 | 587 | 38 | 30 | 14 | 20 | 16k|1433 | 0.000000e+00 | -- | Inf
132.24/132.37 c 125s|460000 | 20888 |729956 | 16M| 26 | 4 | 30 | 477 | 4 | 30 | 14 | 20 | 16k|1444 | 0.000000e+00 | -- | Inf
135.13/135.23 c 128s|470000 | 20630 |745855 | 15M| 26 | 4 | 30 | 439 | 4 | 30 | 14 | 20 | 16k|1455 | 0.000000e+00 | -- | Inf
137.93/138.04 c 130s|480000 | 20345 |761449 | 15M| 26 | 4 | 30 | 393 | 5 | 30 | 14 | 20 | 17k|1464 | 0.000000e+00 | -- | Inf
140.73/140.81 c 133s|490000 | 19874 |776777 | 15M| 26 | - | 30 | 332 | 14 | 0 | 0 | 20 | 17k|1472 | 0.000000e+00 | -- | Inf
143.33/143.46 c 135s|500000 | 19996 |791736 | 15M| 26 | 4 | 30 | 361 | 4 | 30 | 14 | 20 | 17k|1487 | 0.000000e+00 | -- | Inf
146.03/146.11 c 138s|510000 | 20554 |806559 | 16M| 26 | - | 30 | 616 | 6 | 0 | 0 | 20 | 18k|1497 | 0.000000e+00 | -- | Inf
148.73/148.84 c 140s|520000 | 20484 |821475 | 16M| 26 | 4 | 30 | 677 | 4 | 30 | 14 | 20 | 18k|1505 | 0.000000e+00 | -- | Inf
151.63/151.78 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.63/151.78 c 143s|530000 | 20087 |837445 | 16M| 26 | 4 | 30 | 491 | 4 | 30 | 14 | 20 | 18k|1519 | 0.000000e+00 | -- | Inf
154.43/154.54 c 146s|540000 | 20120 |852533 | 16M| 26 | 4 | 30 | 560 | 4 | 30 | 14 | 20 | 19k|1531 | 0.000000e+00 | -- | Inf
157.22/157.36 c 149s|550000 | 19743 |867936 | 16M| 26 | 4 | 30 | 489 | 26 | 30 | 14 | 20 | 19k|1542 | 0.000000e+00 | -- | Inf
159.93/160.01 c 151s|560000 | 20285 |882646 | 16M| 26 | 4 | 30 | 526 | 21 | 30 | 14 | 20 | 19k|1550 | 0.000000e+00 | -- | Inf
162.62/162.71 c 154s|570000 | 20074 |897147 | 16M| 26 | 4 | 30 | 549 | 21 | 30 | 14 | 20 | 19k|1559 | 0.000000e+00 | -- | Inf
165.42/165.51 c 156s|580000 | 19796 |912146 | 16M| 26 | 4 | 30 | 539 | 22 | 30 | 14 | 20 | 20k|1567 | 0.000000e+00 | -- | Inf
168.22/168.35 c 159s|590000 | 19525 |927846 | 16M| 26 | - | 30 | 461 | 4 | 30 | 14 | 20 | 20k|1577 | 0.000000e+00 | -- | Inf
171.02/171.19 c 162s|600000 | 19277 |943371 | 16M| 26 | 4 | 30 | 462 | 95 | 30 | 14 | 20 | 21k|1588 | 0.000000e+00 | -- | Inf
173.92/174.02 c 164s|610000 | 19031 |959298 | 16M| 26 | 4 | 30 | 448 | 4 | 30 | 14 | 20 | 21k|1597 | 0.000000e+00 | -- | Inf
176.52/176.67 c 167s|620000 | 19002 |973755 | 16M| 26 | - | 30 | 588 | 5 | 0 | 0 | 20 | 21k|1603 | 0.000000e+00 | -- | Inf
179.32/179.47 c 169s|630000 | 18688 |988668 | 15M| 26 | - | 30 | 491 | 5 | 30 | 14 | 20 | 21k|1619 | 0.000000e+00 | -- | Inf
182.11/182.23 c 172s|640000 | 18280 | 1003k| 15M| 26 | - | 30 | 443 | 4 | 30 | 14 | 20 | 22k|1625 | 0.000000e+00 | -- | Inf
184.92/185.02 c 175s|650000 | 17724 | 1018k| 15M| 26 | 4 | 30 | 472 | 20 | 30 | 14 | 20 | 22k|1637 | 0.000000e+00 | -- | Inf
187.52/187.63 c 177s|660000 | 18032 | 1033k| 15M| 26 | 4 | 30 | 529 | 4 | 30 | 14 | 20 | 22k|1648 | 0.000000e+00 | -- | Inf
190.11/190.30 c 180s|670000 | 18027 | 1048k| 15M| 26 | 4 | 30 | 602 | 6 | 30 | 14 | 20 | 23k|1659 | 0.000000e+00 | -- | Inf
193.01/193.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.01/193.20 c 182s|680000 | 17909 | 1065k| 15M| 26 | 4 | 30 | 670 | 8 | 30 | 14 | 20 | 23k|1672 | 0.000000e+00 | -- | Inf
195.81/195.94 c 185s|690000 | 17491 | 1079k| 15M| 26 | - | 30 | 473 | 4 | 30 | 14 | 20 | 23k|1682 | 0.000000e+00 | -- | Inf
198.51/198.61 c 187s|700000 | 18180 | 1094k| 15M| 26 | - | 30 | 552 | 4 | 30 | 14 | 20 | 23k|1690 | 0.000000e+00 | -- | Inf
201.11/201.28 c 190s|710000 | 18212 | 1108k| 16M| 26 | - | 30 | 568 | 4 | 0 | 0 | 20 | 24k|1699 | 0.000000e+00 | -- | Inf
203.91/204.04 c 193s|720000 | 17519 | 1122k| 15M| 26 | - | 30 | 476 | 29 | 30 | 14 | 20 | 24k|1708 | 0.000000e+00 | -- | Inf
206.91/207.00 c 195s|730000 | 17313 | 1139k| 15M| 26 | - | 30 | 634 | 4 | 30 | 14 | 20 | 24k|1720 | 0.000000e+00 | -- | Inf
209.71/209.88 c 198s|740000 | 16967 | 1154k| 15M| 26 | 4 | 30 | 611 | 10 | 30 | 14 | 20 | 25k|1727 | 0.000000e+00 | -- | Inf
212.71/212.80 c 201s|750000 | 16478 | 1169k| 15M| 26 | 4 | 30 | 564 | 9 | 30 | 14 | 20 | 25k|1735 | 0.000000e+00 | -- | Inf
215.51/215.62 c 203s|760000 | 16005 | 1184k| 14M| 26 | 4 | 30 | 579 | 4 | 30 | 14 | 20 | 25k|1742 | 0.000000e+00 | -- | Inf
218.31/218.47 c 206s|770000 | 15617 | 1200k| 14M| 26 | - | 30 | 495 | 6 | 30 | 14 | 20 | 26k|1752 | 0.000000e+00 | -- | Inf
221.01/221.19 c 209s|780000 | 15516 | 1215k| 14M| 26 | - | 30 | 584 | 5 | 30 | 14 | 20 | 26k|1758 | 0.000000e+00 | -- | Inf
223.90/224.00 c 211s|790000 | 15099 | 1229k| 14M| 26 | 4 | 30 | 531 | 16 | 30 | 14 | 20 | 26k|1768 | 0.000000e+00 | -- | Inf
226.60/226.71 c 214s|800000 | 14739 | 1244k| 14M| 26 | - | 30 | 481 | 4 | 0 | 0 | 20 | 27k|1777 | 0.000000e+00 | -- | Inf
229.10/229.28 c 216s|810000 | 14796 | 1258k| 14M| 26 | 4 | 30 | 606 | 10 | 30 | 14 | 20 | 27k|1786 | 0.000000e+00 | -- | Inf
231.80/231.99 c 219s|820000 | 14685 | 1273k| 14M| 26 | - | 30 | 567 | 4 | 30 | 14 | 20 | 27k|1798 | 0.000000e+00 | -- | Inf
234.69/234.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
234.69/234.88 c 222s|830000 | 14090 | 1288k| 13M| 26 | 4 | 30 | 482 | 4 | 30 | 14 | 20 | 27k|1806 | 0.000000e+00 | -- | Inf
237.60/237.73 c 224s|840000 | 14083 | 1305k| 14M| 26 | 4 | 30 | 850 | 187 | 30 | 14 | 20 | 28k|1817 | 0.000000e+00 | -- | Inf
240.70/240.88 c 227s|850000 | 13706 | 1321k| 13M| 26 | 4 | 30 | 975 | 28 | 30 | 14 | 20 | 29k|1830 | 0.000000e+00 | -- | Inf
243.59/243.72 c 230s|860000 | 13337 | 1336k| 13M| 26 | - | 30 | 558 | 5 | 30 | 14 | 20 | 29k|1837 | 0.000000e+00 | -- | Inf
246.30/246.45 c 233s|870000 | 13142 | 1351k| 13M| 26 | - | 30 | 657 | 4 | 0 | 0 | 20 | 29k|1843 | 0.000000e+00 | -- | Inf
249.19/249.34 c 235s|880000 | 12939 | 1367k| 13M| 26 | - | 30 | 673 | 7 | 30 | 14 | 20 | 29k|1851 | 0.000000e+00 | -- | Inf
251.99/252.13 c 238s|890000 | 12589 | 1382k| 13M| 26 | - | 30 | 636 | 3 | 0 | 0 | 20 | 30k|1859 | 0.000000e+00 | -- | Inf
254.69/254.83 c 240s|900000 | 12505 | 1397k| 12M| 26 | 4 | 30 | 576 | 8 | 30 | 14 | 20 | 30k|1867 | 0.000000e+00 | -- | Inf
257.49/257.62 c 243s|910000 | 11963 | 1412k| 12M| 26 | - | 30 | 498 | 5 | 0 | 0 | 20 | 30k|1878 | 0.000000e+00 | -- | Inf
260.29/260.43 c 246s|920000 | 11600 | 1428k| 12M| 26 | 4 | 30 | 484 | 7 | 30 | 14 | 20 | 30k|1889 | 0.000000e+00 | -- | Inf
263.09/263.21 c 248s|930000 | 11078 | 1442k| 11M| 26 | 4 | 30 | 454 | 5 | 30 | 14 | 20 | 31k|1895 | 0.000000e+00 | -- | Inf
265.89/266.05 c 251s|940000 | 10218 | 1457k| 11M| 26 | 4 | 30 | 463 | 5 | 30 | 14 | 20 | 31k|1905 | 0.000000e+00 | -- | Inf
268.68/268.84 c 254s|950000 | 10215 | 1473k| 11M| 26 | - | 30 | 585 | 4 | 30 | 14 | 20 | 31k|1907 | 0.000000e+00 | -- | Inf
271.39/271.50 c 256s|960000 | 10130 | 1488k| 11M| 26 | 4 | 30 | 673 | 4 | 30 | 14 | 20 | 32k|1912 | 0.000000e+00 | -- | Inf
273.98/274.18 c 259s|970000 | 9869 | 1502k| 11M| 26 | 4 | 30 | 702 | 103 | 30 | 14 | 20 | 32k|1919 | 0.000000e+00 | -- | Inf
276.78/276.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.78/276.94 c 261s|980000 | 9883 | 1517k| 11M| 26 | 4 | 30 | 668 | 6 | 30 | 14 | 20 | 32k|1929 | 0.000000e+00 | -- | Inf
279.88/280.00 c 264s|990000 | 10349 | 1535k| 11M| 26 | 4 | 30 | 998 | 5 | 30 | 14 | 20 | 33k|1939 | 0.000000e+00 | -- | Inf
283.08/283.27 c 267s| 1000k| 10093 | 1554k| 11M| 26 | 4 | 30 |1229 | 108 | 30 | 14 | 20 | 33k|1952 | 0.000000e+00 | -- | Inf
286.28/286.41 c 270s| 1010k| 9330 | 1570k| 10M| 26 | - | 30 | 617 | 23 | 0 | 0 | 20 | 34k|1962 | 0.000000e+00 | -- | Inf
288.98/289.16 c 273s| 1020k| 8854 | 1584k| 10M| 26 | - | 30 | 579 | 4 | 0 | 0 | 20 | 34k|1968 | 0.000000e+00 | -- | Inf
291.67/291.87 c 275s| 1030k| 8607 | 1600k| 10M| 26 | 4 | 30 | 647 | 8 | 30 | 14 | 20 | 34k|1975 | 0.000000e+00 | -- | Inf
294.47/294.66 c 278s| 1040k| 8120 | 1615k|9782k| 26 | - | 30 | 602 | 39 | 0 | 0 | 20 | 35k|1984 | 0.000000e+00 | -- | Inf
297.38/297.52 c 281s| 1050k| 7530 | 1630k|9261k| 26 | 4 | 30 | 566 | 17 | 30 | 14 | 20 | 35k|1993 | 0.000000e+00 | -- | Inf
300.17/300.34 c 283s| 1060k| 7164 | 1645k|8961k| 26 | 4 | 30 | 591 | 4 | 30 | 14 | 20 | 35k|2000 | 0.000000e+00 | -- | Inf
303.07/303.22 c 286s| 1070k| 6461 | 1660k|8334k| 26 | 4 | 30 | 585 | 9 | 30 | 14 | 20 | 36k|2006 | 0.000000e+00 | -- | Inf
305.77/305.98 c 289s| 1080k| 6031 | 1675k|7936k| 26 | 4 | 30 | 536 | 18 | 30 | 14 | 20 | 36k|2014 | 0.000000e+00 | -- | Inf
308.57/308.70 c 291s| 1090k| 5816 | 1690k|7797k| 26 | - | 30 | 661 | 9 | 0 | 0 | 20 | 36k|2026 | 0.000000e+00 | -- | Inf
311.37/311.51 c 294s| 1100k| 5191 | 1704k|7155k| 26 | - | 30 | 540 | 21 | 0 | 0 | 20 | 37k|2031 | 0.000000e+00 | -- | Inf
314.06/314.29 c 296s| 1110k| 4635 | 1719k|6621k| 26 | 4 | 30 | 556 | 4 | 30 | 14 | 20 | 37k|2037 | 0.000000e+00 | -- | Inf
316.87/317.04 c 299s| 1120k| 4985 | 1734k|6768k| 26 | - | 30 | 633 | 4 | 30 | 14 | 20 | 37k|2042 | 0.000000e+00 | -- | Inf
319.57/319.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
319.57/319.72 c 302s| 1130k| 5069 | 1749k|6938k| 26 | - | 30 | 678 | 4 | 30 | 14 | 20 | 37k|2042 | 0.000000e+00 | -- | Inf
322.27/322.45 c 304s| 1140k| 4476 | 1763k|6560k| 26 | - | 30 | 732 | 4 | 0 | 0 | 20 | 37k|2042 | 0.000000e+00 | -- | Inf
325.27/325.42 c 307s| 1150k| 3424 | 1777k|5359k| 26 | 4 | 30 | 517 | 6 | 30 | 14 | 20 | 38k|2062 | 0.000000e+00 | -- | Inf
328.06/328.23 c 310s| 1160k| 2538 | 1792k|4367k| 26 | - | 30 | 501 | 4 | 30 | 14 | 20 | 38k|2067 | 0.000000e+00 | -- | Inf
330.87/331.01 c 312s| 1170k| 1874 | 1807k|3479k| 26 | - | 30 | 493 | 8 | 0 | 0 | 20 | 38k|2073 | 0.000000e+00 | -- | Inf
333.66/333.83 c 315s| 1180k| 1191 | 1822k|2701k| 26 | - | 30 | 551 | 34 | 0 | 0 | 20 | 39k|2081 | 0.000000e+00 | -- | Inf
336.36/336.54 c 317s| 1190k| 954 | 1838k|2283k| 26 | - | 30 | 522 | 5 | 30 | 14 | 20 | 39k|2090 | 0.000000e+00 | -- | Inf
338.96/339.19 c 320s| 1200k| 1065 | 1852k|2476k| 26 | - | 30 | 658 | 4 | 0 | 0 | 20 | 39k|2095 | 0.000000e+00 | -- | Inf
341.65/341.89 c 322s| 1210k| 884 | 1867k|2329k| 26 | 4 | 30 | 725 | 8 | 30 | 14 | 20 | 39k|2105 | 0.000000e+00 | -- | Inf
344.56/344.74 c 325s| 1220k| 1296 | 1884k|2347k| 26 | - | 30 | 671 | 6 | 30 | 14 | 20 | 40k|2112 | 0.000000e+00 | -- | Inf
347.46/347.64 c 328s| 1230k| 1709 | 1902k|2673k| 26 | - | 30 | 712 | 4 | 0 | 0 | 20 | 40k|2122 | 0.000000e+00 | -- | Inf
350.25/350.50 c 331s| 1240k| 1815 | 1919k|2876k| 26 | - | 30 | 799 | 4 | 30 | 14 | 20 | 40k|2132 | 0.000000e+00 | -- | Inf
353.25/353.43 c 333s| 1250k| 1553 | 1937k|2782k| 26 | 4 | 30 | 786 | 5 | 30 | 14 | 20 | 40k|2140 | 0.000000e+00 | -- | Inf
356.16/356.36 c 336s| 1260k| 1183 | 1955k|2575k| 26 | 4 | 30 | 801 | 11 | 30 | 14 | 20 | 40k|2151 | 0.000000e+00 | -- | Inf
359.15/359.33 c 339s| 1270k| 936 | 1973k|2344k| 26 | 4 | 30 | 800 | 4 | 30 | 14 | 20 | 40k|2164 | 0.000000e+00 | -- | Inf
362.16/362.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.16/362.33 c 342s| 1280k| 717 | 1991k|2126k| 26 | 4 | 30 | 818 | 4 | 30 | 14 | 20 | 40k|2172 | 0.000000e+00 | -- | Inf
365.05/365.21 c 344s| 1290k| 732 | 2007k|2005k| 26 | - | 30 | 819 | 4 | 0 | 0 | 20 | 40k|2187 | 0.000000e+00 | -- | Inf
367.75/367.92 c 347s| 1300k| 755 | 2022k|2082k| 26 | - | 30 | 885 | 28 | 0 | 0 | 20 | 41k|2194 | 0.000000e+00 | -- | Inf
370.45/370.60 c 350s| 1310k| 694 | 2037k|2089k| 26 | 4 | 30 | 932 | 4 | 30 | 14 | 20 | 41k|2200 | 0.000000e+00 | -- | Inf
373.15/373.35 c 352s| 1320k| 657 | 2053k|2058k| 26 | 4 | 30 |1013 | 7 | 30 | 14 | 20 | 41k|2209 | 0.000000e+00 | -- | Inf
375.95/376.14 c 355s| 1330k| 679 | 2068k|1845k| 26 | - | 30 | 868 | 7 | 0 | 0 | 20 | 41k|2216 | 0.000000e+00 | -- | Inf
378.64/378.86 c 357s| 1340k| 1738 | 2083k|2473k| 26 | 4 | 30 | 924 | 5 | 30 | 14 | 20 | 41k|2221 | 0.000000e+00 | -- | Inf
381.45/381.61 c 360s| 1350k| 2235 | 2098k|2850k| 26 | - | 30 | 942 | 16 | 0 | 0 | 20 | 42k|2227 | 0.000000e+00 | -- | Inf
384.14/384.37 c 363s| 1360k| 2988 | 2113k|3332k| 26 | 4 | 30 | 982 | 4 | 30 | 14 | 20 | 42k|2235 | 0.000000e+00 | -- | Inf
387.05/387.25 c 365s| 1370k| 3065 | 2128k|3526k| 26 | 4 | 30 | 999 | 8 | 30 | 14 | 20 | 42k|2244 | 0.000000e+00 | -- | Inf
389.84/390.03 c 368s| 1380k| 3133 | 2142k|3671k| 26 | 4 | 30 |1021 | 4 | 30 | 14 | 20 | 42k|2251 | 0.000000e+00 | -- | Inf
392.64/392.80 c 370s| 1390k| 3189 | 2156k|3825k| 26 | - | 30 |1031 | 4 | 30 | 14 | 20 | 42k|2260 | 0.000000e+00 | -- | Inf
395.44/395.62 c 373s| 1400k| 2780 | 2171k|3670k| 26 | - | 30 |1042 | 4 | 30 | 14 | 20 | 42k|2266 | 0.000000e+00 | -- | Inf
398.24/398.41 c 376s| 1410k| 2720 | 2185k|3731k| 26 | 4 | 30 |1132 | 4 | 30 | 14 | 20 | 42k|2273 | 0.000000e+00 | -- | Inf
401.04/401.26 c 378s| 1420k| 2831 | 2200k|3880k| 26 | 4 | 30 |1170 | 6 | 30 | 14 | 20 | 43k|2280 | 0.000000e+00 | -- | Inf
403.94/404.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.94/404.14 c 381s| 1430k| 2184 | 2214k|3452k| 26 | - | 30 |1090 | 3 | 0 | 0 | 20 | 43k|2285 | 0.000000e+00 | -- | Inf
406.84/407.00 c 384s| 1440k| 1572 | 2229k|3021k| 26 | 4 | 30 |1082 | 4 | 30 | 14 | 20 | 43k|2291 | 0.000000e+00 | -- | Inf
409.63/409.86 c 387s| 1450k| 1274 | 2244k|2781k| 26 | - | 30 |1116 | 4 | 30 | 14 | 20 | 43k|2302 | 0.000000e+00 | -- | Inf
412.54/412.76 c 389s| 1460k| 469 | 2258k|1900k| 26 | - | 30 |1080 | 4 | 0 | 0 | 20 | 43k|2310 | 0.000000e+00 | -- | Inf
415.13/415.35 c
415.13/415.35 c SCIP Status : problem is solved [infeasible]
415.13/415.35 c Solving Time (sec) : 391.77
415.13/415.35 c Solving Nodes : 1469045
415.13/415.35 c Primal Bound : +1.00000000000000e+20 (0 solutions)
415.13/415.35 c Dual Bound : +1.00000000000000e+20
415.13/415.35 c Gap : 0.00 %
415.13/415.35 c NODE 1469045
415.13/415.35 c DUAL BOUND 1e+20
415.13/415.35 c PRIMAL BOUND 1e+20
415.13/415.35 c GAP 0
415.13/415.35 s UNSATISFIABLE
415.13/415.35 c SCIP Status : problem is solved [infeasible]
415.13/415.35 c Solving Time : 391.77
415.13/415.35 c Original Problem :
415.13/415.35 c Problem name : HOME/instance-1869501-1245175317.opb
415.13/415.35 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
415.13/415.35 c Constraints : 9 initial, 9 maximal
415.13/415.35 c Presolved Problem :
415.13/415.35 c Problem name : t_HOME/instance-1869501-1245175317.opb
415.13/415.35 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
415.13/415.35 c Constraints : 4 initial, 1515 maximal
415.13/415.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
415.13/415.35 c trivial : 0.00 0 0 0 0 0 0 0 0
415.13/415.35 c dualfix : 0.00 1 0 0 0 0 0 0 0
415.13/415.35 c boundshift : 0.00 0 0 0 0 0 0 0 0
415.13/415.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0
415.13/415.35 c implics : 0.00 0 0 0 0 0 0 0 0
415.13/415.35 c probing : 0.01 0 0 0 0 0 0 0 0
415.13/415.35 c linear : 0.00 0 0 0 0 0 5 0 0
415.13/415.35 c logicor : 0.00 0 0 0 0 0 0 0 0
415.13/415.35 c root node : - 1 - - 1 - - - -
415.13/415.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
415.13/415.35 c integral : 0 0 0 741041 0 168 803 0 0 1480170
415.13/415.35 c linear : 4 6 1964967 0 0 474359 3527894 0 0 0
415.13/415.35 c logicor : 0+ 0 762951 0 0 84 25749 0 0 0
415.13/415.35 c countsols : 0 0 0 0 0 0 0 0 0 0
415.13/415.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
415.13/415.35 c integral : 7.44 0.00 0.00 7.44 0.00
415.13/415.35 c linear : 65.64 0.00 65.64 0.00 0.00
415.13/415.35 c logicor : 14.36 0.00 14.36 0.00 0.00
415.13/415.35 c countsols : 0.00 0.00 0.00 0.00 0.00
415.13/415.35 c Propagators : Time Calls Cutoffs DomReds
415.13/415.35 c rootredcost : 0.70 0 0 0
415.13/415.35 c pseudoobj : 0.52 0 0 0
415.13/415.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
415.13/415.35 c propagation : 18.33 474443 41680 72317 21.1 0 0.0 -
415.13/415.35 c infeasible LP : 1.71 265790 1261 1447 12.4 0 0.0 0
415.13/415.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
415.13/415.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
415.13/415.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
415.13/415.35 c applied globally : - - - 43929 20.2 - - -
415.13/415.35 c applied locally : - - - 0 0.0 - - -
415.13/415.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss
415.13/415.35 c cut pool : 0.00 5 - - 14 - (maximal pool size: 90)
415.13/415.35 c redcost : 1.28 741044 0 0 0 0
415.13/415.35 c impliedbounds : 0.00 6 0 0 0 0
415.13/415.35 c intobj : 0.00 0 0 0 0 0
415.13/415.35 c gomory : 0.01 6 0 0 1 0
415.13/415.35 c strongcg : 0.00 6 0 0 35 0
415.13/415.35 c cmir : 0.01 6 0 0 33 0
415.13/415.35 c flowcover : 0.01 6 0 0 38 0
415.13/415.35 c clique : 0.00 1 0 0 0 0
415.13/415.35 c zerohalf : 0.00 0 0 0 0 0
415.13/415.35 c mcf : 0.00 1 0 0 0 0
415.13/415.35 c Pricers : Time Calls Vars
415.13/415.35 c problem variables: 0.00 0 0
415.13/415.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
415.13/415.35 c relpscost : 6.74 741041 168 803 0 0 1480170
415.13/415.35 c pscost : 0.00 0 0 0 0 0 0
415.13/415.35 c inference : 0.00 0 0 0 0 0 0
415.13/415.35 c mostinf : 0.00 0 0 0 0 0 0
415.13/415.35 c leastinf : 0.00 0 0 0 0 0 0
415.13/415.35 c fullstrong : 0.00 0 0 0 0 0 0
415.13/415.35 c allfullstrong : 0.00 0 0 0 0 0 0
415.13/415.35 c random : 0.00 0 0 0 0 0 0
415.13/415.35 c Primal Heuristics : Time Calls Found
415.13/415.35 c LP solutions : 0.00 - 0
415.13/415.35 c pseudo solutions : 0.00 - 0
415.13/415.35 c oneopt : 0.79 0 0
415.13/415.35 c crossover : 0.25 0 0
415.13/415.35 c guideddiving : 0.12 0 0
415.13/415.35 c fracdiving : 0.06 35 0
415.13/415.35 c veclendiving : 0.05 35 0
415.13/415.35 c linesearchdiving : 0.06 35 0
415.13/415.35 c rootsoldiving : 0.12 18 0
415.13/415.35 c coefdiving : 0.14 36 0
415.13/415.35 c pscostdiving : 0.13 36 0
415.13/415.35 c feaspump : 0.11 19 0
415.13/415.35 c objpscostdiving : 0.09 19 0
415.13/415.35 c simplerounding : 0.40 0 0
415.13/415.35 c rounding : 0.55 12151 0
415.13/415.35 c shifting : 2.19 5344 0
415.13/415.35 c intshifting : 0.02 0 0
415.13/415.35 c fixandinfer : 0.00 0 0
415.13/415.35 c intdiving : 0.00 0 0
415.13/415.35 c actconsdiving : 0.00 0 0
415.13/415.35 c octane : 0.00 0 0
415.13/415.35 c rens : 0.03 1 0
415.13/415.35 c rins : 0.00 0 0
415.13/415.35 c localbranching : 0.00 0 0
415.13/415.35 c mutation : 0.00 0 0
415.13/415.35 c dins : 0.00 0 0
415.13/415.35 c LP : Time Calls Iterations Iter/call Iter/sec
415.13/415.35 c primal LP : 0.00 0 0 0.00 -
415.13/415.35 c dual LP : 202.21 992262 2271055 2.29 11231.17
415.13/415.35 c barrier LP : 0.00 0 0 0.00 -
415.13/415.35 c diving/probing LP: 0.06 224 336 1.50 5600.00
415.13/415.35 c strong branching : 0.41 2317 7838 3.38 19117.07
415.13/415.35 c (at root node) : - 14 379 27.07 -
415.13/415.35 c conflict analysis: 0.00 0 0 0.00 -
415.13/415.35 c B&B Tree :
415.13/415.35 c number of runs : 1
415.13/415.35 c nodes : 1469045
415.13/415.35 c nodes (total) : 1469045
415.13/415.35 c nodes left : 0
415.13/415.35 c max depth : 26
415.13/415.35 c max depth (total): 26
415.13/415.35 c backtracks : 392533 (26.7%)
415.13/415.35 c delayed cutoffs : 11126
415.13/415.35 c repropagations : 36289 (88417 domain reductions, 11047 cutoffs)
415.13/415.35 c avg switch length: 4.86
415.13/415.35 c switching time : 42.69
415.13/415.35 c Solution :
415.13/415.35 c Solutions found : 0 (0 improvements)
415.13/415.35 c Primal Bound : infeasible
415.13/415.35 c Dual Bound : -
415.13/415.35 c Gap : 0.00 %
415.13/415.35 c Root Dual Bound : +0.00000000000000e+00
415.13/415.36 c Time complete: 415.2.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869501-1245175317/watcher-1869501-1245175317 -o /tmp/evaluation-result-1869501-1245175317/solver-1869501-1245175317 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869501-1245175317.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: 1.00 1.00 1.00 3/64 10078
/proc/meminfo: memFree=1852024/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=5812 CPUtime=0
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 513 0 0 0 0 0 0 0 18 0 1 0 185132564 5951488 497 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/10078/statm: 1453 498 332 1256 0 192 0
[startup+0.0720371 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10078
/proc/meminfo: memFree=1852024/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=22560 CPUtime=0.06
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 4245 0 0 0 5 1 0 0 18 0 1 0 185132564 23101440 3875 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 5640 3875 669 1256 0 4379 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22560
[startup+0.101042 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10078
/proc/meminfo: memFree=1852024/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=16952 CPUtime=0.09
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 4271 0 0 0 8 1 0 0 18 0 1 0 185132564 17358848 3043 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 4238 3043 1189 1256 0 2977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16952
[startup+0.301077 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10078
/proc/meminfo: memFree=1852024/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=15708 CPUtime=0.29
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 4327 0 0 0 26 3 0 0 19 0 1 0 185132564 16084992 2429 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 3927 2429 692 1256 0 2666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15708
[startup+0.701152 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10078
/proc/meminfo: memFree=1852024/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=15708 CPUtime=0.69
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 4371 0 0 0 64 5 0 0 22 0 1 0 185132564 16084992 2473 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 3927 2473 692 1256 0 2666 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15708
[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1844656/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=15708 CPUtime=1.49
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 4515 0 0 0 140 9 0 0 25 0 1 0 185132564 16084992 2617 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 3927 2617 692 1256 0 2666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15708
[startup+3.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1843632/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=17764 CPUtime=3.09
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 4800 0 0 0 293 16 0 0 25 0 1 0 185132564 18190336 2902 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 4441 2902 692 1256 0 3180 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17764
[startup+6.30119 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1841648/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=19696 CPUtime=6.28
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 5233 0 0 0 596 32 0 0 25 0 1 0 185132564 20168704 3335 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 4924 3335 692 1256 0 3663 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19696
[startup+12.7024 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1839536/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=21984 CPUtime=12.68
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 5758 0 0 0 1206 62 0 0 25 0 1 0 185132564 22511616 3860 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 5496 3860 692 1256 0 4235 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21984
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1837232/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=23832 CPUtime=25.48
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 6346 0 0 0 2421 127 0 0 25 0 1 0 185132564 24403968 4448 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 5958 4448 692 1256 0 4697 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23832
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1833840/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=26768 CPUtime=51.07
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 7102 0 0 0 4844 263 0 0 25 0 1 0 185132564 27410432 5204 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 6692 5204 692 1256 0 5431 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26768
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1829104/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=31576 CPUtime=102.25
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8266 0 0 0 9664 561 0 0 25 0 1 0 185132564 32333824 6368 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 7894 6368 692 1256 0 6633 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 31576
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1826544/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=33808 CPUtime=162.22
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8901 0 0 0 15320 902 0 0 25 0 1 0 185132564 34619392 7003 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8452 7003 692 1256 0 7191 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 33808
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1826160/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34476 CPUtime=222.2
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8989 0 0 0 20974 1246 0 0 25 0 1 0 185132564 35303424 7090 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8619 7090 692 1256 0 7358 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 34476
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1826096/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=282.18
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8996 0 0 0 26628 1590 0 0 25 0 1 0 185132564 35631104 7097 1992294400 4194304 9342243 548682068736 18446744073709551615 4243042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7097 692 1256 0 7438 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 34796
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1826032/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=342.16
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 32284 1932 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 34796
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=402.13
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 37947 2266 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 34796
Solver just ended. Dumping a history of the last processes samples
[startup+403.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=402.94
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 38022 2272 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 402.94
Current children cumulated vsize (KiB) 34796
[startup+409.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=409.33
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 38628 2305 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 409.33
Current children cumulated vsize (KiB) 34796
[startup+412.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=412.54
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 38929 2325 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 412.54
Current children cumulated vsize (KiB) 34796
[startup+414.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=414.13
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 39078 2335 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 414.13
Current children cumulated vsize (KiB) 34796
[startup+415.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=414.93
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 39153 2340 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 414.93
Current children cumulated vsize (KiB) 34796
[startup+415.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10079
/proc/meminfo: memFree=1825968/2055920 swapFree=4191904/4192956
[pid=10078] ppid=10076 vsize=34796 CPUtime=415.13
/proc/10078/stat : 10078 (pbscip.linux.x8) R 10076 10078 9997 0 -1 4194304 8998 0 0 0 39172 2341 0 0 25 0 1 0 185132564 35631104 7099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10078/statm: 8699 7099 692 1256 0 7438 0
Current children cumulated CPU time (s) 415.13
Current children cumulated vsize (KiB) 34796
Child status: 0
Real time (s): 415.366
CPU time (s): 415.207
CPU user time (s): 391.782
CPU system time (s): 23.4244
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 34796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 391.782
system time used= 23.4244
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9002
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= 608
runsolver used 0.340948 second user time and 0.830873 second system time
The end
Begin job on node7 at 2009-06-16 20:01:57
IDJOB=1869501
IDBENCH=2905
IDSOLVER=684
FILE ID=node7/1869501-1245175317
PBS_JOBID= 9363909
Free space on /tmp= 66272 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_1.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-1869501-1245175317/watcher-1869501-1245175317 -o /tmp/evaluation-result-1869501-1245175317/solver-1869501-1245175317 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869501-1245175317.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e
RANDOM SEED=1987778823
node7.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.274
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.274
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: 1852504 kB
Buffers: 43580 kB
Cached: 91120 kB
SwapCached: 416 kB
Active: 24276 kB
Inactive: 123860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1852504 kB
SwapTotal: 4192956 kB
SwapFree: 4191904 kB
Dirty: 11732 kB
Writeback: 0 kB
Mapped: 21784 kB
Slab: 41300 kB
Committed_AS: 164728 kB
PageTables: 1444 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= 66260 MiB
End job on node7 at 2009-06-16 20:08:53