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-1869523-1245176282.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 | 16 | 325k| 0 | 4 | 90 | 4 | 4 | 90 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 56 | 368k| 0 | 8 | 90 | 4 | 4 | 90 | 8 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.03 c 0.0s| 1 | 0 | 60 | 407k| 0 | 11 | 90 | 4 | 4 | 90 | 14 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.04 c 0.0s| 1 | 0 | 71 | 449k| 0 | 11 | 90 | 4 | 4 | 90 | 19 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.0s| 1 | 0 | 74 | 467k| 0 | 13 | 90 | 4 | 4 | 90 | 23 | 19 | 0 | 0 | 4.547474e-13 | -- | Inf
0.00/0.07 c 0.1s| 1 | 0 | 79 | 484k| 0 | 16 | 90 | 4 | 4 | 90 | 26 | 22 | 0 | 0 | 4.547474e-13 | -- | Inf
0.08/0.09 c 0.1s| 1 | 0 | 90 | 491k| 0 | 13 | 90 | 4 | 4 | 90 | 28 | 24 | 0 | 0 | 4.547474e-13 | -- | Inf
0.09/0.13 c 0.1s| 1 | 2 | 90 | 492k| 0 | 13 | 90 | 4 | 4 | 90 | 28 | 24 | 0 | 13 | 4.547474e-13 | -- | Inf
0.19/0.28 o 476
0.19/0.28 c c 0.2s| 155 | 140 | 612 | 567k| 32 | - | 90 | 4 | 2 | 90 | 16 | 24 | 1 | 362 | 4.547474e-13 | 4.760000e+02 | Inf
0.29/0.30 o 250
0.29/0.30 c p 0.3s| 183 | 133 | 731 | 572k| 32 | - | 90 | 4 | 1 | 90 | 16 | 24 | 1 | 372 | 4.547474e-13 | 2.500000e+02 | Inf
0.29/0.33 o 249
0.29/0.33 c l 0.3s| 225 | 173 | 867 | 585k| 32 | - | 90 | 4 | 0 | 90 | 16 | 24 | 2 | 385 | 4.547474e-13 | 2.490000e+02 | Inf
0.29/0.33 o 245
0.29/0.33 c g 0.3s| 239 | 186 | 908 | 593k| 32 | - | 90 | 4 | 0 | 90 | 16 | 24 | 2 | 385 | 4.547474e-13 | 2.450000e+02 | Inf
0.29/0.37 o 212
0.29/0.37 c p 0.3s| 299 | 238 | 1163 | 611k| 32 | - | 90 | 4 | 3 | 90 | 16 | 24 | 2 | 402 | 4.547474e-13 | 2.120000e+02 | Inf
0.29/0.38 o 206
0.29/0.38 c f 0.3s| 313 | 251 | 1202 | 620k| 32 | - | 90 | 4 | 3 | 90 | 16 | 24 | 2 | 406 | 4.547474e-13 | 2.060000e+02 | Inf
0.29/0.39 o 203
0.29/0.39 c v 0.3s| 334 | 267 | 1241 | 630k| 32 | - | 90 | 4 | 1 | 90 | 16 | 24 | 3 | 421 | 4.547474e-13 | 2.030000e+02 | Inf
0.29/0.39 o 202
0.29/0.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.39 c * 0.4s| 348 | 279 | 1272 | 637k| 32 | - | 90 | 4 | 0 | 90 | 16 | 24 | 3 | 432 | 4.547474e-13 | 2.020000e+02 | Inf
0.39/0.41 o 98
0.39/0.41 c g 0.4s| 380 | 245 | 1394 | 633k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 7 | 436 | 4.547474e-13 | 9.800000e+01 | Inf
0.39/0.43 o 96
0.39/0.43 c * 0.4s| 411 | 273 | 1484 | 638k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 8 | 442 | 4.547474e-13 | 9.600000e+01 | Inf
0.39/0.44 o 95
0.39/0.44 c * 0.4s| 423 | 280 | 1507 | 643k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 9 | 454 | 4.547474e-13 | 9.500000e+01 | Inf
0.39/0.44 o 93
0.39/0.44 c * 0.4s| 424 | 273 | 1508 | 641k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 9 | 454 | 4.547474e-13 | 9.300000e+01 | Inf
0.39/0.44 o 89
0.39/0.44 c * 0.4s| 434 | 273 | 1527 | 643k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 9 | 460 | 4.547474e-13 | 8.900000e+01 | Inf
0.39/0.45 o 85
0.39/0.45 c * 0.4s| 448 | 276 | 1560 | 647k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 10 | 462 | 4.547474e-13 | 8.500000e+01 | Inf
0.39/0.46 o 84
0.39/0.46 c * 0.4s| 476 | 300 | 1644 | 658k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 10 | 470 | 4.547474e-13 | 8.400000e+01 | Inf
0.39/0.49 o 82
0.39/0.49 c l 0.5s| 536 | 351 | 1823 | 688k| 32 | - | 90 | 6 | 0 | 90 | 16 | 24 | 16 | 476 | 4.547474e-13 | 8.200000e+01 | Inf
0.49/0.52 o 53
0.49/0.52 c c 0.5s| 577 | 350 | 2066 | 691k| 32 | - | 90 | 6 | 1 | 90 | 16 | 24 | 18 | 476 | 4.547474e-13 | 5.300000e+01 | Inf
0.49/0.54 o 51
0.49/0.54 c p 0.5s| 612 | 373 | 2146 | 695k| 32 | - | 90 | 8 | 0 | 90 | 16 | 24 | 21 | 487 | 4.547474e-13 | 5.100000e+01 | Inf
0.49/0.58 o 41
0.49/0.58 c g 0.5s| 688 | 418 | 2401 | 723k| 32 | - | 90 | 14 | 3 | 90 | 16 | 24 | 30 | 493 | 4.547474e-13 | 4.100000e+01 | Inf
0.69/0.76 o 40
0.69/0.76 c g 0.7s| 982 | 668 | 3517 | 853k| 32 | - | 90 | 45 | 0 | 90 | 16 | 24 | 74 | 498 | 4.547474e-13 | 4.000000e+01 | Inf
0.79/0.80 o 36
0.79/0.80 c g 0.8s| 1036 | 689 | 3802 | 862k| 32 | - | 90 | 48 | 1 | 90 | 16 | 24 | 86 | 498 | 4.547474e-13 | 3.600000e+01 | Inf
0.79/0.84 o 15
0.79/0.84 c g 0.8s| 1113 | 615 | 4075 | 828k| 32 | - | 90 | 51 | 1 | 90 | 16 | 24 | 90 | 499 | 4.547474e-13 | 1.500000e+01 | Inf
1.19/1.27 o 13
1.19/1.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.27 c c 1.2s| 1631 | 904 | 6829 |1006k| 32 | - | 90 | 172 | 6 | 90 | 16 | 24 | 215 | 507 | 4.547474e-13 | 1.300000e+01 | Inf
1.59/1.65 o 12
1.59/1.65 c * 1.6s| 2395 | 1178 | 9582 |1195k| 32 | - | 90 | 292 | 10 | 90 | 16 | 24 | 346 | 525 | 4.547474e-13 | 1.200000e+01 | Inf
2.00/2.02 o 11
2.00/2.02 c * 1.9s| 3229 | 1398 | 12262 |1364k| 32 | - | 90 | 405 | 13 | 90 | 16 | 24 | 467 | 532 | 4.547474e-13 | 1.100000e+01 | Inf
2.00/2.02 o 9
2.00/2.02 c * 1.9s| 3231 | 1371 | 12264 |1353k| 32 | - | 90 | 405 | 12 | 90 | 16 | 24 | 467 | 532 | 4.547474e-13 | 9.000000e+00 | Inf
2.00/2.02 o 7
2.00/2.02 c * 1.9s| 3232 | 1343 | 12264 |1338k| 32 | - | 90 | 405 | 12 | 90 | 16 | 24 | 467 | 532 | 4.547474e-13 | 7.000000e+00 | Inf
3.49/3.53 o 6
3.49/3.53 c * 3.4s| 6656 | 1878 | 22727 |1821k| 32 | - | 90 | 849 | 0 | 90 | 16 | 24 | 915 | 563 | 4.547474e-13 | 6.000000e+00 | Inf
3.59/3.68 o 3
3.59/3.68 c * 3.5s| 7060 | 1833 | 24082 |1823k| 32 | - | 90 | 899 | 3 | 90 | 16 | 24 | 967 | 565 | 4.547474e-13 | 3.000000e+00 | Inf
4.69/4.74 c 4.5s| 10000 | 1853 | 33041 |2060k| 32 | - | 90 |1236 | 7 | 90 | 16 | 24 |1311 | 572 | 4.547474e-13 | 3.000000e+00 | Inf
8.48/8.59 c 8.2s| 20000 | 1870 | 63599 |2735k| 32 | 4 | 90 |2465 | 24 | 90 | 16 | 24 |2599 | 583 | 4.547474e-13 | 3.000000e+00 | Inf
13.19/13.27 c 12.7s| 30000 | 1830 | 96962 |3053k| 32 | - | 90 |2881 | 24 | 0 | 0 | 24 |3748 | 626 | 4.547474e-13 | 3.000000e+00 | Inf
17.79/17.87 c 17.1s| 40000 | 2236 |128571 |3434k| 32 | 4 | 90 |3072 | 81 | 90 | 16 | 24 |4968 | 634 | 4.547474e-13 | 3.000000e+00 | Inf
22.28/22.36 c 21.4s| 50000 | 2533 |162177 |3650k| 32 | - | 90 |2844 | 16 | 90 | 16 | 24 |5973 | 639 | 4.547474e-13 | 3.000000e+00 | Inf
26.78/26.83 c 25.7s| 60000 | 2731 |195801 |3875k| 32 | 4 | 90 |2927 | 12 | 90 | 16 | 24 |7080 | 644 | 4.547474e-13 | 3.000000e+00 | Inf
31.18/31.24 c 29.9s| 70000 | 2541 |228291 |3651k| 32 | 4 | 90 |2496 | 8 | 90 | 16 | 24 |8111 | 649 | 4.547474e-13 | 3.000000e+00 | Inf
35.38/35.41 o 2
35.38/35.41 c *34.0s| 79837 | 2307 |260009 |3543k| 32 | - | 90 |2602 | 6 | 90 | 16 | 24 |9406 | 693 | 4.547474e-13 | 2.000000e+00 | Inf
35.38/35.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.38/35.47 c 34.0s| 80000 | 2294 |260388 |3249k| 32 | 4 | 90 |1810 | 23 | 90 | 16 | 24 |9424 | 693 | 4.547474e-13 | 2.000000e+00 | Inf
39.08/39.11 c 37.5s| 90000 | 2028 |287679 |3025k| 32 | - | 90 |1722 | 550 | 0 | 0 | 24 | 10k| 703 | 4.547474e-13 | 2.000000e+00 | Inf
42.68/42.71 c 40.9s|100000 | 2182 |313976 |3143k| 32 | - | 90 |1748 | 11 | 90 | 16 | 24 | 11k| 789 | 4.547474e-13 | 2.000000e+00 | Inf
46.18/46.28 c 44.3s|110000 | 2274 |340902 |3203k| 32 | - | 90 |1930 | 5 | 90 | 16 | 24 | 13k| 790 | 4.547474e-13 | 2.000000e+00 | Inf
49.87/50.00 c 47.9s|120000 | 2087 |367070 |3213k| 32 | - | 90 |2068 | 4 | 0 | 0 | 24 | 14k| 790 | 4.547474e-13 | 2.000000e+00 | Inf
53.78/53.82 c 51.6s|130000 | 1844 |393370 |3213k| 32 | 4 | 90 |2709 | 23 | 90 | 16 | 24 | 15k| 791 | 4.547474e-13 | 2.000000e+00 | Inf
58.38/58.43 c 56.0s|140000 | 1920 |419973 |3411k| 32 | 4 | 90 |3083 | 11 | 90 | 16 | 24 | 16k| 793 | 4.547474e-13 | 2.000000e+00 | Inf
62.28/62.37 c 59.8s|150000 | 1959 |446880 |3236k| 32 | 4 | 90 |2331 | 4 | 90 | 16 | 24 | 18k| 794 | 4.547474e-13 | 2.000000e+00 | Inf
66.07/66.17 c 63.4s|160000 | 1771 |474272 |3156k| 32 | 4 | 90 |2525 | 15 | 90 | 16 | 24 | 19k| 794 | 4.547474e-13 | 2.000000e+00 | Inf
69.97/70.08 c 67.2s|170000 | 1851 |501197 |3290k| 32 | 4 | 90 |2680 | 8 | 90 | 16 | 24 | 20k| 797 | 4.547474e-13 | 2.000000e+00 | Inf
74.07/74.16 c 71.1s|180000 | 1831 |528295 |3519k| 32 | 4 | 90 |3252 | 46 | 90 | 16 | 24 | 22k| 800 | 4.547474e-13 | 2.000000e+00 | Inf
78.47/78.50 c 75.2s|190000 | 1729 |555429 |2772k| 32 | - | 90 |1538 | 32 | 0 | 0 | 24 | 23k|1410 | 4.547474e-13 | 2.000000e+00 | Inf
81.96/82.04 c 78.6s|200000 | 2106 |582403 |3072k| 32 | - | 90 |1551 | 5 | 90 | 16 | 24 | 24k|1411 | 4.547474e-13 | 2.000000e+00 | Inf
85.46/85.52 c 81.9s|210000 | 2342 |608457 |3353k| 32 | 4 | 90 |1798 | 32 | 90 | 16 | 24 | 25k|1411 | 4.547474e-13 | 2.000000e+00 | Inf
88.97/89.07 c 85.3s|220000 | 2373 |634796 |3324k| 32 | 4 | 90 |1699 | 29 | 90 | 16 | 24 | 26k|1411 | 4.547474e-13 | 2.000000e+00 | Inf
92.46/92.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.46/92.51 c 88.6s|230000 | 2246 |659888 |3407k| 32 | 4 | 90 |1989 | 19 | 90 | 16 | 24 | 27k|1411 | 4.547474e-13 | 2.000000e+00 | Inf
96.16/96.29 c 92.2s|240000 | 1952 |685802 |3152k| 32 | - | 90 |1960 | 168 | 0 | 0 | 24 | 28k|1415 | 4.547474e-13 | 2.000000e+00 | Inf
99.76/99.85 c 95.6s|250000 | 2034 |709839 |3380k| 32 | 4 | 90 |2334 | 237 | 90 | 16 | 24 | 29k|1415 | 4.547474e-13 | 2.000000e+00 | Inf
103.37/103.42 c 99.0s|260000 | 1962 |735837 |3334k| 32 | 4 | 90 |2391 | 31 | 90 | 16 | 24 | 30k|1415 | 4.547474e-13 | 2.000000e+00 | Inf
107.06/107.12 c 103s|270000 | 1813 |761442 |3208k| 32 | - | 90 |2379 | 6 | 0 | 0 | 24 | 31k|1417 | 4.547474e-13 | 2.000000e+00 | Inf
110.66/110.70 c 106s|280000 | 1801 |786890 |3331k| 32 | 4 | 90 |2717 | 18 | 90 | 16 | 24 | 32k|1418 | 4.547474e-13 | 2.000000e+00 | Inf
114.46/114.56 c 110s|290000 | 2166 |812759 |3419k| 32 | 4 | 90 |2388 | 41 | 90 | 16 | 24 | 32k|1419 | 4.547474e-13 | 2.000000e+00 | Inf
118.26/118.34 c 113s|300000 | 2024 |837354 |3427k| 32 | 4 | 90 |2456 | 54 | 90 | 16 | 24 | 33k|1421 | 4.547474e-13 | 2.000000e+00 | Inf
121.96/122.02 c 117s|310000 | 1761 |861829 |3302k| 32 | - | 90 |2584 | 9 | 0 | 0 | 24 | 34k|1421 | 4.547474e-13 | 2.000000e+00 | Inf
125.56/125.65 c 120s|320000 | 1946 |886392 |3566k| 32 | - | 90 |3058 | 5 | 90 | 16 | 24 | 35k|1422 | 4.547474e-13 | 2.000000e+00 | Inf
129.45/129.52 c 124s|330000 | 1717 |910652 |3586k| 32 | 4 | 90 |3519 | 19 | 90 | 16 | 24 | 36k|1422 | 4.547474e-13 | 2.000000e+00 | Inf
133.46/133.51 c 128s|340000 | 1672 |935735 |3634k| 32 | - | 90 |3715 | 39 | 90 | 16 | 24 | 37k|1422 | 4.547474e-13 | 2.000000e+00 | Inf
137.55/137.61 c 132s|350000 | 1975 |959773 |3983k| 32 | 4 | 90 |4170 | 14 | 90 | 16 | 24 | 38k|1422 | 4.547474e-13 | 2.000000e+00 | Inf
141.95/142.04 c 136s|360000 | 2094 |983886 |3941k| 32 | 4 | 90 |3685 | 4 | 90 | 16 | 24 | 39k|1423 | 4.547474e-13 | 2.000000e+00 | Inf
146.25/146.31 c 140s|370000 | 2146 | 1007k|4037k| 32 | 4 | 90 |3752 | 101 | 90 | 16 | 24 | 40k|1423 | 4.547474e-13 | 2.000000e+00 | Inf
150.44/150.59 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.44/150.59 c 144s|380000 | 1801 | 1031k|3814k| 32 | - | 90 |3850 | 21 | 0 | 0 | 24 | 42k|1423 | 4.547474e-13 | 2.000000e+00 | Inf
154.75/154.88 c 148s|390000 | 1701 | 1055k|3890k| 32 | - | 90 |4318 | 5 | 90 | 16 | 24 | 43k|1423 | 4.547474e-13 | 2.000000e+00 | Inf
159.24/159.34 c 153s|400000 | 1768 | 1080k|4055k| 32 | - | 90 |4657 | 5 | 90 | 16 | 24 | 44k|1423 | 4.547474e-13 | 2.000000e+00 | Inf
163.94/164.00 c 157s|410000 | 1805 | 1104k|4252k| 32 | - | 90 |5063 | 4 | 0 | 0 | 24 | 45k|1424 | 4.547474e-13 | 2.000000e+00 | Inf
168.74/168.89 c 162s|420000 | 1825 | 1127k|4136k| 32 | - | 90 |4478 | 20 | 0 | 0 | 24 | 46k|1424 | 4.547474e-13 | 2.000000e+00 | Inf
173.34/173.41 c 166s|430000 | 1781 | 1152k|4119k| 32 | 4 | 90 |4566 | 6 | 90 | 16 | 24 | 47k|1424 | 4.547474e-13 | 2.000000e+00 | Inf
177.84/177.93 c 171s|440000 | 1813 | 1177k|4090k| 32 | - | 90 |4432 | 6 | 90 | 16 | 24 | 48k|1431 | 4.547474e-13 | 2.000000e+00 | Inf
181.74/181.81 o 1
181.74/181.81 c * 174s|448913 | 1754 | 1200k|4099k| 32 | - | 90 |4489 | 2 | 90 | 16 | 24 | 49k|1431 | 4.547474e-13 | 1.000000e+00 | Inf
182.24/182.31 c 175s|450000 | 1691 | 1202k|4000k| 32 | - | 90 |4382 | 46 | 0 | 0 | 24 | 49k|1431 | 4.547474e-13 | 1.000000e+00 | Inf
186.34/186.44 c 179s|460000 | 1668 | 1227k|3988k| 32 | 4 | 90 |4369 | 12 | 90 | 16 | 24 | 50k|1431 | 4.547474e-13 | 1.000000e+00 | Inf
191.34/191.45 c 184s|470000 | 1580 | 1251k|3793k| 32 | 4 | 90 |3923 | 93 | 90 | 16 | 24 | 51k|1452 | 4.547474e-13 | 1.000000e+00 | Inf
195.53/195.60 c 188s|480000 | 1680 | 1276k|3559k| 32 | 4 | 90 |3042 | 16 | 90 | 16 | 24 | 53k|1486 | 4.547474e-13 | 1.000000e+00 | Inf
199.53/199.62 c 191s|490000 | 1547 | 1301k|3236k| 32 | - | 90 |2370 | 33 | 90 | 16 | 24 | 54k|1492 | 4.547474e-13 | 1.000000e+00 | Inf
203.23/203.30 c 195s|500000 | 1609 | 1327k|2977k| 32 | 4 | 90 |1610 | 4 | 90 | 16 | 24 | 55k|1640 | 4.547474e-13 | 1.000000e+00 | Inf
206.64/206.80 c 198s|510000 | 1596 | 1352k|3302k| 32 | - | 90 |2393 | 29 | 90 | 16 | 24 | 56k|1640 | 4.547474e-13 | 1.000000e+00 | Inf
210.53/210.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.53/210.65 c 202s|520000 | 1327 | 1376k|2826k| 32 | - | 90 |1518 | 3 | 0 | 0 | 24 | 57k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
214.13/214.23 c 205s|530000 | 1937 | 1403k|3353k| 32 | 4 | 90 |1866 | 7 | 90 | 16 | 24 | 58k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
217.83/217.93 c 209s|540000 | 1655 | 1429k|3218k| 32 | - | 90 |1827 | 106 | 0 | 0 | 24 | 59k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
221.43/221.51 c 212s|550000 | 1416 | 1455k|3131k| 32 | - | 90 |2133 | 4 | 0 | 0 | 24 | 61k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
225.23/225.36 c 216s|560000 | 1706 | 1482k|3351k| 32 | 4 | 90 |2606 | 27 | 90 | 16 | 24 | 62k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
229.13/229.20 c 220s|570000 | 2556 | 1508k|4010k| 32 | - | 90 |2859 | 6 | 0 | 0 | 24 | 63k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
233.13/233.20 c 224s|580000 | 2461 | 1533k|4181k| 32 | 4 | 90 |3099 | 37 | 90 | 16 | 24 | 64k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
237.02/237.16 c 227s|590000 | 2278 | 1558k|4177k| 32 | 4 | 90 |3188 | 7 | 90 | 16 | 24 | 65k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
241.12/241.27 c 231s|600000 | 1774 | 1582k|3869k| 32 | - | 90 |3217 | 12 | 90 | 16 | 24 | 66k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
245.22/245.38 c 235s|610000 | 1365 | 1606k|3568k| 32 | - | 90 |3444 | 10 | 0 | 0 | 24 | 68k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
249.52/249.61 c 239s|620000 | 1913 | 1633k|3749k| 32 | 4 | 90 |3253 | 233 | 90 | 16 | 24 | 69k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
253.81/253.90 c 243s|630000 | 1709 | 1659k|3702k| 32 | 4 | 90 |3146 | 91 | 90 | 16 | 24 | 70k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
258.01/258.10 c 247s|640000 | 1407 | 1685k|3580k| 32 | - | 90 |3373 | 82 | 0 | 0 | 24 | 72k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
262.11/262.29 c 251s|650000 | 1215 | 1712k|3420k| 32 | - | 90 |3377 | 11 | 90 | 16 | 24 | 73k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
266.22/266.34 c 255s|660000 | 1367 | 1736k|3444k| 32 | - | 90 |3019 | 15 | 90 | 16 | 24 | 74k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
270.11/270.27 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.11/270.27 c 259s|670000 | 1487 | 1759k|3662k| 32 | 4 | 90 |3461 | 11 | 90 | 16 | 24 | 76k|1729 | 4.547474e-13 | 1.000000e+00 | Inf
274.41/274.59 c 263s|680000 | 1450 | 1782k|3335k| 32 | - | 90 |2763 | 9 | 90 | 16 | 24 | 77k|1744 | 4.547474e-13 | 1.000000e+00 | Inf
278.21/278.36 c 267s|690000 | 1222 | 1806k|3273k| 32 | 4 | 90 |2879 | 14 | 90 | 16 | 24 | 78k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
282.21/282.31 c 271s|700000 | 1044 | 1830k|2820k| 32 | - | 90 |1874 | 5 | 90 | 16 | 24 | 79k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
285.71/285.90 c 274s|710000 | 1244 | 1855k|2903k| 32 | 4 | 90 |1700 | 7 | 90 | 16 | 24 | 81k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
289.21/289.37 c 277s|720000 | 1197 | 1880k|3086k| 32 | - | 90 |2147 | 33 | 90 | 16 | 24 | 82k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
293.00/293.13 c 281s|730000 | 1171 | 1905k|3017k| 32 | - | 90 |2232 | 5 | 0 | 0 | 24 | 83k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
296.81/296.96 c 285s|740000 | 1094 | 1929k|3277k| 32 | - | 90 |2992 | 12 | 0 | 0 | 24 | 84k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
300.90/301.07 c 289s|750000 | 1192 | 1955k|3356k| 32 | 4 | 90 |3042 | 7 | 90 | 16 | 24 | 85k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
304.91/305.03 c 292s|760000 | 1701 | 1981k|3268k| 32 | 4 | 90 |2005 | 37 | 90 | 16 | 24 | 86k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
308.50/308.67 c 296s|770000 | 1687 | 2005k|3467k| 32 | 4 | 90 |2176 | 4 | 90 | 16 | 24 | 88k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
312.21/312.36 c 299s|780000 | 1203 | 2029k|3133k| 32 | - | 90 |2072 | 897 | 0 | 0 | 24 | 89k|1753 | 4.547474e-13 | 1.000000e+00 | Inf
315.90/316.07 c 303s|790000 | 923 | 2053k|2813k| 32 | - | 90 |2056 | 18 | 90 | 16 | 24 | 90k|1792 | 4.547474e-13 | 1.000000e+00 | Inf
319.70/319.80 c 306s|800000 | 1234 | 2079k|3051k| 32 | 4 | 90 |2285 | 34 | 90 | 16 | 24 | 91k|1792 | 4.547474e-13 | 1.000000e+00 | Inf
323.39/323.55 c 310s|810000 | 1316 | 2103k|3294k| 32 | 4 | 90 |2517 | 67 | 90 | 16 | 24 | 93k|1792 | 4.547474e-13 | 1.000000e+00 | Inf
327.30/327.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.30/327.41 c 314s|820000 | 901 | 2126k|2959k| 32 | 4 | 90 |2469 | 9 | 90 | 16 | 24 | 94k|1792 | 4.547474e-13 | 1.000000e+00 | Inf
330.99/331.14 c 317s|830000 | 1025 | 2152k|2892k| 32 | - | 90 |2062 | 20 | 90 | 16 | 24 | 95k|1796 | 4.547474e-13 | 1.000000e+00 | Inf
334.59/334.73 c 321s|840000 | 882 | 2177k|2619k| 32 | - | 90 |1584 | 10 | 90 | 16 | 24 | 96k|1804 | 4.547474e-13 | 1.000000e+00 | Inf
337.99/338.19 c 324s|850000 | 811 | 2200k|2650k| 32 | 4 | 90 |1824 | 27 | 90 | 16 | 24 | 97k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
341.59/341.73 c 327s|860000 | 804 | 2223k|2963k| 32 | 4 | 90 |2678 | 13 | 90 | 16 | 24 | 98k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
345.29/345.46 c 331s|870000 | 746 | 2247k|3084k| 32 | - | 90 |3066 | 10 | 90 | 16 | 24 | 99k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
349.29/349.41 c 335s|880000 | 718 | 2271k|3208k| 32 | 4 | 90 |3434 | 57 | 90 | 16 | 24 | 100k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
353.39/353.57 c 339s|890000 | 696 | 2296k|3272k| 32 | - | 90 |3575 | 189 | 90 | 16 | 24 | 101k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
357.68/357.86 c 343s|900000 | 736 | 2320k|3093k| 32 | 4 | 90 |3042 | 4 | 90 | 16 | 24 | 102k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
361.78/361.93 c 347s|910000 | 766 | 2344k|3255k| 32 | - | 90 |3434 | 44 | 0 | 0 | 24 | 103k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
365.99/366.11 c 351s|920000 | 702 | 2368k|3160k| 32 | - | 90 |3148 | 54 | 90 | 16 | 24 | 104k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
369.99/370.10 c 355s|930000 | 886 | 2391k|3284k| 32 | 4 | 90 |3087 | 12 | 90 | 16 | 24 | 106k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
374.08/374.29 c 359s|940000 | 803 | 2413k|3218k| 32 | - | 90 |3144 | 6 | 90 | 16 | 24 | 107k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
378.48/378.62 c 363s|950000 | 979 | 2437k|3594k| 32 | - | 90 |3708 | 25 | 90 | 16 | 24 | 108k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
382.68/382.84 c 367s|960000 | 721 | 2461k|3301k| 32 | 4 | 90 |3452 | 10 | 90 | 16 | 24 | 109k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
386.99/387.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.99/387.13 c 371s|970000 | 886 | 2484k|3612k| 32 | - | 90 |4016 | 7 | 90 | 16 | 24 | 111k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
391.48/391.68 c 375s|980000 | 652 | 2508k|3651k| 32 | 4 | 90 |4605 | 121 | 90 | 16 | 24 | 112k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
396.28/396.40 c 380s|990000 | 670 | 2532k|3576k| 32 | - | 90 |4247 | 351 | 0 | 0 | 24 | 113k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
400.67/400.83 c 384s| 1000k| 694 | 2557k|3793k| 32 | - | 90 |4733 | 10 | 0 | 0 | 24 | 114k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
405.47/405.66 c 389s| 1010k| 629 | 2579k|3708k| 32 | - | 90 |4591 | 32 | 90 | 16 | 24 | 116k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
409.97/410.14 c 393s| 1020k| 480 | 2602k|3414k| 32 | - | 90 |4018 | 35 | 0 | 0 | 24 | 117k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
414.37/414.53 c 397s| 1030k| 774 | 2626k|3845k| 32 | 4 | 90 |4535 | 9 | 90 | 16 | 24 | 118k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
419.06/419.23 c 402s| 1040k| 624 | 2651k|3785k| 32 | - | 90 |4630 | 7 | 90 | 16 | 24 | 119k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
423.77/423.93 c 406s| 1050k| 599 | 2675k|3715k| 32 | - | 90 |4588 | 7 | 90 | 16 | 24 | 120k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
428.46/428.69 c 411s| 1060k| 724 | 2698k|3971k| 32 | 4 | 90 |4977 | 5 | 90 | 16 | 24 | 121k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
433.27/433.48 c 416s| 1070k| 639 | 2721k|3836k| 32 | - | 90 |4825 | 30 | 90 | 16 | 24 | 122k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
438.36/438.54 c 420s| 1080k| 464 | 2743k|3729k| 32 | - | 90 |4892 | 5 | 0 | 0 | 24 | 123k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
442.96/443.17 c 425s| 1090k| 637 | 2767k|3835k| 32 | 4 | 90 |4701 | 8 | 90 | 16 | 24 | 125k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
447.76/447.93 c 430s| 1100k| 433 | 2789k|3687k| 32 | 4 | 90 |4773 | 37 | 90 | 16 | 24 | 126k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
452.46/452.70 c 434s| 1110k| 414 | 2812k|3616k| 32 | - | 90 |4537 | 40 | 0 | 0 | 24 | 128k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
457.95/458.10 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.95/458.10 c 439s| 1120k| 292 | 2835k|4088k| 32 | 4 | 90 |6109 | 5 | 90 | 16 | 24 | 131k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
464.45/464.66 c 446s| 1130k| 469 | 2859k|4596k| 32 | - | 90 |7055 | 13 | 0 | 0 | 24 | 134k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
471.95/472.17 c 453s| 1140k| 499 | 2882k|5225k| 32 | - | 90 |8616 | 4 | 90 | 16 | 24 | 137k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
480.15/480.33 c 461s| 1150k| 717 | 2907k|5671k| 32 | - | 90 |9276 | 7 | 0 | 0 | 24 | 140k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
488.95/489.18 c 470s| 1160k| 590 | 2931k|6102k| 32 | - | 90 | 10k| 7 | 0 | 0 | 24 | 143k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
498.65/498.82 c 479s| 1170k| 291 | 2957k|5406k| 32 | 4 | 90 |9109 | 13 | 90 | 16 | 24 | 146k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
507.14/507.36 c 487s| 1180k| 342 | 2981k|6136k| 32 | - | 90 | 11k| 8 | 90 | 16 | 24 | 149k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
516.93/517.12 c 497s| 1190k| 377 | 3006k|6736k| 32 | 4 | 90 | 12k| 31 | 90 | 16 | 24 | 152k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
527.13/527.39 c 507s| 1200k| 649 | 3032k|7442k| 32 | 4 | 90 | 13k| 19 | 90 | 16 | 24 | 154k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
539.13/539.34 c 519s| 1210k| 409 | 3059k|7615k| 32 | 4 | 90 | 14k| 13 | 90 | 16 | 24 | 157k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
551.43/551.60 c 531s| 1220k| 282 | 3086k|7613k| 32 | 4 | 90 | 14k| 79 | 90 | 16 | 24 | 159k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
564.92/565.18 c 544s| 1230k| 327 | 3112k|8309k| 32 | - | 90 | 16k| 5 | 0 | 0 | 24 | 162k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
580.52/580.70 c 560s| 1240k| 458 | 3135k|9127k| 32 | 4 | 90 | 18k| 9 | 90 | 16 | 24 | 166k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
597.71/597.94 c 577s| 1250k| 332 | 3159k|9502k| 32 | 4 | 90 | 19k| 9 | 90 | 16 | 24 | 169k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
615.71/615.96 c 594s| 1260k| 250 | 3182k|9777k| 32 | 4 | 90 | 19k| 924 | 90 | 16 | 24 | 172k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
628.51/628.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.51/628.70 c 607s| 1270k| 539 | 3207k|8413k| 32 | 4 | 90 | 13k| 20 | 90 | 16 | 24 | 175k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
640.40/640.61 c 619s| 1280k| 493 | 3233k|8531k| 32 | - | 90 | 13k| 6 | 90 | 16 | 24 | 177k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
652.10/652.32 c 630s| 1290k| 562 | 3259k|8897k| 32 | 4 | 90 | 14k| 15 | 90 | 16 | 24 | 179k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
664.59/664.82 c 643s| 1300k| 314 | 3286k|8824k| 32 | 4 | 90 | 15k| 10 | 90 | 16 | 24 | 181k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
677.49/677.74 c 655s| 1310k| 385 | 3311k|9041k| 32 | - | 90 | 15k| 11 | 90 | 16 | 24 | 183k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
690.39/690.68 c 668s| 1320k| 251 | 3335k|8371k| 32 | 4 | 90 | 13k| 34 | 90 | 16 | 24 | 186k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
701.18/701.40 c 679s| 1330k| 183 | 3359k|8120k| 32 | 4 | 90 | 12k| 22 | 90 | 16 | 24 | 189k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
710.78/711.09 c 688s| 1340k| 416 | 3384k|8192k| 32 | 4 | 90 | 12k| 10 | 90 | 16 | 24 | 191k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
720.58/720.84 c 698s| 1350k| 308 | 3408k|8392k| 32 | 4 | 90 | 13k| 14 | 90 | 16 | 24 | 194k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
731.18/731.48 c 708s| 1360k| 406 | 3433k|8902k| 32 | 4 | 90 | 14k| 5 | 90 | 16 | 24 | 197k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
742.37/742.69 c 719s| 1370k| 320 | 3459k|8937k| 32 | 4 | 90 | 14k| 4 | 90 | 16 | 24 | 199k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
753.96/754.20 c 730s| 1380k| 179 | 3485k|8943k| 32 | - | 90 | 14k| 16 | 90 | 16 | 24 | 201k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
764.56/764.85 c 741s| 1390k| 191 | 3509k|7939k| 32 | 4 | 90 | 11k| 11 | 90 | 16 | 24 | 204k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
775.16/775.44 c 751s| 1400k| 201 | 3533k|8019k| 32 | 4 | 90 | 12k| 75 | 90 | 16 | 24 | 207k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
787.06/787.35 c 763s| 1410k| 83 | 3558k|8330k| 32 | 4 | 90 | 13k| 7 | 90 | 16 | 24 | 211k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
796.45/796.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.45/796.75 c 772s| 1420k| 124 | 3582k|8068k| 32 | 4 | 90 | 12k| 7 | 90 | 16 | 24 | 213k|1812 | 9.094947e-13 | 1.000000e+00 | Inf
805.75/806.07 c
805.75/806.07 c SCIP Status : problem is solved [optimal solution found]
805.75/806.07 c Solving Time (sec) : 781.37
805.75/806.07 c Solving Nodes : 1429148
805.75/806.07 c Primal Bound : +1.00000000000000e+00 (31 solutions)
805.75/806.07 c Dual Bound : +1.00000000000000e+00
805.75/806.07 c Gap : 0.00 %
805.75/806.07 c NODE 1429148
805.75/806.07 c DUAL BOUND 1
805.75/806.07 c PRIMAL BOUND 1
805.75/806.07 c GAP 0
805.75/806.07 s OPTIMUM FOUND
805.75/806.07 v x69 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 x68 -x67 -x66
805.75/806.07 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
805.75/806.07 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
805.75/806.07 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
805.75/806.07 c SCIP Status : problem is solved [optimal solution found]
805.75/806.07 c Solving Time : 781.37
805.75/806.07 c Original Problem :
805.75/806.07 c Problem name : HOME/instance-1869523-1245176282.opb
805.75/806.07 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
805.75/806.07 c Constraints : 8 initial, 8 maximal
805.75/806.07 c Presolved Problem :
805.75/806.07 c Problem name : t_HOME/instance-1869523-1245176282.opb
805.75/806.07 c Variables : 90 (90 binary, 0 integer, 0 implicit integer, 0 continuous)
805.75/806.07 c Constraints : 4 initial, 19475 maximal
805.75/806.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
805.75/806.07 c trivial : 0.00 0 0 0 0 0 0 0 0
805.75/806.07 c dualfix : 0.00 0 0 0 0 0 0 0 0
805.75/806.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
805.75/806.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
805.75/806.07 c implics : 0.00 0 0 0 0 0 0 0 0
805.75/806.07 c probing : 0.01 0 0 0 0 0 0 0 0
805.75/806.07 c linear : 0.00 0 4 0 0 0 4 0 0
805.75/806.07 c logicor : 0.00 0 0 0 0 0 0 0 0
805.75/806.07 c root node : - 63 - - 63 - - - -
805.75/806.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
805.75/806.07 c integral : 0 0 0 739575 0 79 485 0 0 1478004
805.75/806.07 c linear : 4 6 1980363 1 0 312004 1956456 8 0 0
805.75/806.07 c logicor : 0+ 0 1060591 0 0 2559 125980 0 0 0
805.75/806.07 c countsols : 0 0 0 15 0 0 0 0 0 0
805.75/806.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
805.75/806.07 c integral : 8.73 0.00 0.00 8.73 0.00
805.75/806.07 c linear : 91.71 0.00 91.71 0.00 0.00
805.75/806.07 c logicor : 173.42 0.00 173.42 0.00 0.00
805.75/806.07 c countsols : 0.00 0.00 0.00 0.00 0.00
805.75/806.07 c Propagators : Time Calls Cutoffs DomReds
805.75/806.07 c rootredcost : 0.89 31 0 60
805.75/806.07 c pseudoobj : 11.20 1992986 12777 67122
805.75/806.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
805.75/806.07 c propagation : 13.41 327340 200737 300452 21.3 2 23.0 -
805.75/806.07 c infeasible LP : 2.54 437273 2 2 11.5 0 0.0 0
805.75/806.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
805.75/806.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
805.75/806.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
805.75/806.07 c applied globally : - - - 215926 21.0 - - -
805.75/806.07 c applied locally : - - - 66 32.9 - - -
805.75/806.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
805.75/806.07 c cut pool : 0.00 5 - - 20 - (maximal pool size: 70)
805.75/806.07 c redcost : 3.55 748660 0 93455 0 0
805.75/806.07 c impliedbounds : 0.00 6 0 0 0 0
805.75/806.07 c intobj : 0.00 0 0 0 0 0
805.75/806.07 c gomory : 0.00 6 0 0 0 0
805.75/806.07 c strongcg : 0.00 6 0 0 25 0
805.75/806.07 c cmir : 0.04 6 0 0 26 0
805.75/806.07 c flowcover : 0.01 6 0 0 33 0
805.75/806.07 c clique : 0.00 1 0 0 0 0
805.75/806.07 c zerohalf : 0.00 0 0 0 0 0
805.75/806.07 c mcf : 0.00 1 0 0 0 0
805.75/806.07 c Pricers : Time Calls Vars
805.75/806.07 c problem variables: 0.00 0 0
805.75/806.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
805.75/806.07 c relpscost : 8.00 739560 79 485 0 0 1478004
805.75/806.07 c pscost : 0.00 0 0 0 0 0 0
805.75/806.07 c inference : 0.00 0 0 0 0 0 0
805.75/806.07 c mostinf : 0.00 0 0 0 0 0 0
805.75/806.07 c leastinf : 0.00 0 0 0 0 0 0
805.75/806.07 c fullstrong : 0.00 0 0 0 0 0 0
805.75/806.07 c allfullstrong : 0.00 0 0 0 0 0 0
805.75/806.07 c random : 0.00 0 0 0 0 0 0
805.75/806.07 c Primal Heuristics : Time Calls Found
805.75/806.07 c LP solutions : 0.00 - 15
805.75/806.07 c pseudo solutions : 0.00 - 0
805.75/806.07 c feaspump : 0.13 1 0
805.75/806.07 c oneopt : 0.77 31 0
805.75/806.07 c crossover : 2.13 7 0
805.75/806.07 c coefdiving : 2.72 1932 3
805.75/806.07 c pscostdiving : 2.70 1932 3
805.75/806.07 c fracdiving : 2.76 1932 1
805.75/806.07 c veclendiving : 2.60 1932 1
805.75/806.07 c guideddiving : 2.53 1932 6
805.75/806.07 c linesearchdiving : 2.50 1932 2
805.75/806.07 c objpscostdiving : 1.32 967 0
805.75/806.07 c simplerounding : 0.47 0 0
805.75/806.07 c rounding : 0.78 12243 0
805.75/806.07 c shifting : 2.95 4982 0
805.75/806.07 c intshifting : 0.10 0 0
805.75/806.07 c fixandinfer : 0.00 0 0
805.75/806.07 c intdiving : 0.00 0 0
805.75/806.07 c actconsdiving : 0.00 0 0
805.75/806.07 c rootsoldiving : 2.06 967 0
805.75/806.07 c octane : 0.00 0 0
805.75/806.07 c rens : 0.03 1 0
805.75/806.07 c rins : 0.00 0 0
805.75/806.07 c localbranching : 0.00 0 0
805.75/806.07 c mutation : 0.00 0 0
805.75/806.07 c dins : 0.00 0 0
805.75/806.07 c LP : Time Calls Iterations Iter/call Iter/sec
805.75/806.07 c primal LP : 0.00 0 0 0.00 -
805.75/806.07 c dual LP : 207.57 1175252 3509972 2.99 16909.82
805.75/806.07 c barrier LP : 0.00 0 0 0.00 -
805.75/806.07 c diving/probing LP: 7.95 42859 95422 2.23 12002.77
805.75/806.07 c strong branching : 0.30 1812 8170 4.51 27233.33
805.75/806.07 c (at root node) : - 13 248 19.08 -
805.75/806.07 c conflict analysis: 0.00 0 0 0.00 -
805.75/806.07 c B&B Tree :
805.75/806.07 c number of runs : 1
805.75/806.07 c nodes : 1429148
805.75/806.07 c nodes (total) : 1429148
805.75/806.07 c nodes left : 0
805.75/806.07 c max depth : 32
805.75/806.07 c max depth (total): 32
805.75/806.07 c backtracks : 413377 (28.9%)
805.75/806.07 c delayed cutoffs : 48299
805.75/806.07 c repropagations : 158021 (344208 domain reductions, 46601 cutoffs)
805.75/806.07 c avg switch length: 4.38
805.75/806.07 c switching time : 158.56
805.75/806.07 c Solution :
805.75/806.07 c Solutions found : 31 (31 improvements)
805.75/806.07 c Primal Bound : +1.00000000000000e+00 (in run 1, after 448913 nodes, 174.41 seconds, depth 26, found by <relaxation>)
805.75/806.07 c Dual Bound : +1.00000000000000e+00
805.75/806.07 c Gap : 0.00 %
805.75/806.07 c Root Dual Bound : +4.54747350886464e-13
805.85/806.11 c Time complete: 805.86.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869523-1245176282/watcher-1869523-1245176282 -o /tmp/evaluation-result-1869523-1245176282/solver-1869523-1245176282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869523-1245176282.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 5882
/proc/meminfo: memFree=1867712/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=5812 CPUtime=0
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185228159 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5882/statm: 1453 507 336 1256 0 192 0
[startup+0.087482 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5882
/proc/meminfo: memFree=1867712/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=14832 CPUtime=0.08
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 2913 0 0 0 7 1 0 0 18 0 1 0 185228159 15187968 2543 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 3708 2543 668 1256 0 2447 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14832
[startup+0.101483 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5882
/proc/meminfo: memFree=1867712/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=19596 CPUtime=0.09
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 4003 0 0 0 8 1 0 0 18 0 1 0 185228159 20066304 3632 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 4899 3641 668 1256 0 3638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19596
[startup+0.301506 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5882
/proc/meminfo: memFree=1867712/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=16076 CPUtime=0.29
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 4854 0 0 0 27 2 0 0 19 0 1 0 185228159 16461824 2656 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 4019 2656 699 1256 0 2758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16076
[startup+0.701551 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5882
/proc/meminfo: memFree=1867712/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=16236 CPUtime=0.69
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 4893 0 0 0 65 4 0 0 22 0 1 0 185228159 16625664 2695 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 4059 2695 699 1256 0 2798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16236
[startup+1.50164 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1859384/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=18168 CPUtime=1.49
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 7781 0 0 0 141 8 0 0 25 0 1 0 185228159 18604032 3369 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 4542 3369 699 1256 0 3281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18168
[startup+3.10182 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1858680/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=17704 CPUtime=3.09
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 10338 0 0 0 293 16 0 0 25 0 1 0 185228159 18128896 3006 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 4426 3006 699 1256 0 3165 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17704
[startup+6.30119 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1854392/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=20164 CPUtime=6.29
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 11268 0 0 0 597 32 0 0 25 0 1 0 185228159 20647936 3936 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 5041 3936 699 1256 0 3780 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20164
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1855544/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=20820 CPUtime=12.68
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 12364 0 0 0 1212 56 0 0 25 0 1 0 185228159 21319680 3705 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 5205 3705 699 1256 0 3944 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20820
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1854200/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=21716 CPUtime=25.48
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 13256 0 0 0 2445 103 0 0 25 0 1 0 185228159 22237184 4016 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 5429 4016 699 1256 0 4168 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21716
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1851000/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=23572 CPUtime=51.07
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 14899 0 0 0 4896 211 0 0 25 0 1 0 185228159 24137728 4808 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 5893 4808 700 1256 0 4632 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23572
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1850232/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=23968 CPUtime=102.26
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 15951 0 0 0 9792 434 0 0 25 0 1 0 185228159 24543232 4952 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 5992 4952 700 1256 0 4731 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23968
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1850232/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=23968 CPUtime=162.25
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 15955 0 0 0 15556 669 0 0 25 0 1 0 185228159 24543232 4956 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 5992 4956 700 1256 0 4731 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23968
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1848632/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=25480 CPUtime=222.22
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 18874 0 0 0 21311 911 0 0 25 0 1 0 185228159 26091520 5335 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 6370 5335 700 1256 0 5109 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 25480
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1848632/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=25480 CPUtime=282.21
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 18889 0 0 0 27059 1162 0 0 25 0 1 0 185228159 26091520 5350 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 6370 5350 700 1256 0 5109 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25480
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1848632/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=25480 CPUtime=342.19
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 18889 0 0 0 32788 1431 0 0 25 0 1 0 185228159 26091520 5350 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 6370 5350 700 1256 0 5109 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25480
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1848504/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=25480 CPUtime=402.17
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 18889 0 0 0 38548 1669 0 0 25 0 1 0 185228159 26091520 5350 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 6370 5350 700 1256 0 5109 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 25480
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1848504/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=25480 CPUtime=462.16
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 18889 0 0 0 44337 1879 0 0 25 0 1 0 185228159 26091520 5350 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 6370 5350 700 1256 0 5109 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 25480
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1846200/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=29028 CPUtime=522.13
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 19466 0 0 0 50206 2007 0 0 25 0 1 0 185228159 29724672 5926 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 7257 5926 700 1256 0 5996 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 29028
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1842680/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=32612 CPUtime=582.11
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 20306 0 0 0 56116 2095 0 0 25 0 1 0 185228159 33394688 6766 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 8153 6766 700 1256 0 6892 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 32612
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838840/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36328 CPUtime=642.1
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21248 0 0 0 62039 2171 0 0 25 0 1 0 185228159 37199872 7708 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9082 7708 700 1256 0 7821 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 36328
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838456/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36328 CPUtime=702.08
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21332 0 0 0 67946 2262 0 0 25 0 1 0 185228159 37199872 7792 1992294400 4194304 9342243 548682068736 18446744073709551615 5102375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9082 7792 700 1256 0 7821 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 36328
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838392/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36328 CPUtime=762.07
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21333 0 0 0 73844 2363 0 0 25 0 1 0 185228159 37199872 7793 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9082 7793 700 1256 0 7821 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 36328
Solver just ended. Dumping a history of the last processes samples
[startup+767.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838392/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36328 CPUtime=767.66
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21333 0 0 0 74391 2375 0 0 25 0 1 0 185228159 37199872 7793 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9082 7793 700 1256 0 7821 0
Current children cumulated CPU time (s) 767.66
Current children cumulated vsize (KiB) 36328
[startup+793.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838328/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=793.26
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21349 0 0 0 76905 2421 0 0 25 0 1 0 185228159 37445632 7809 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9142 7809 700 1256 0 7881 0
Current children cumulated CPU time (s) 793.26
Current children cumulated vsize (KiB) 36568
[startup+799.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838264/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=799.65
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21349 0 0 0 77531 2434 0 0 25 0 1 0 185228159 37445632 7809 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9142 7809 700 1256 0 7881 0
Current children cumulated CPU time (s) 799.65
Current children cumulated vsize (KiB) 36568
[startup+803.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838264/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=802.85
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21349 0 0 0 77847 2438 0 0 25 0 1 0 185228159 37445632 7809 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9142 7809 700 1256 0 7881 0
Current children cumulated CPU time (s) 802.85
Current children cumulated vsize (KiB) 36568
[startup+804.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838264/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=804.45
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21349 0 0 0 78003 2442 0 0 25 0 1 0 185228159 37445632 7809 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9142 7809 700 1256 0 7881 0
Current children cumulated CPU time (s) 804.45
Current children cumulated vsize (KiB) 36568
[startup+805.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838264/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=805.25
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21349 0 0 0 78081 2444 0 0 25 0 1 0 185228159 37445632 7809 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9142 7809 700 1256 0 7881 0
Current children cumulated CPU time (s) 805.25
Current children cumulated vsize (KiB) 36568
[startup+805.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838264/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=805.65
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21349 0 0 0 78120 2445 0 0 25 0 1 0 185228159 37445632 7809 1992294400 4194304 9342243 548682068736 18446744073709551615 4209539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5882/statm: 9142 7809 700 1256 0 7881 0
Current children cumulated CPU time (s) 805.65
Current children cumulated vsize (KiB) 36568
[startup+806.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5883
/proc/meminfo: memFree=1838264/2055920 swapFree=4182468/4192956
[pid=5882] ppid=5880 vsize=36568 CPUtime=805.85
/proc/5882/stat : 5882 (pbscip.linux.x8) R 5880 5882 5809 0 -1 4194304 21350 0 0 0 78140 2445 0 0 25 0 1 0 185228159 37445632 7810 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 0 0 0
/proc/5882/statm: 9142 7810 701 1256 0 7881 0
Current children cumulated CPU time (s) 805.85
Current children cumulated vsize (KiB) 36568
Child status: 0
Real time (s): 806.117
CPU time (s): 805.872
CPU user time (s): 781.412
CPU system time (s): 24.4603
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 36568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 781.412
system time used= 24.4603
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21353
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= 959
runsolver used 0.617906 second user time and 1.69574 second system time
The end
Begin job on node23 at 2009-06-16 20:18:02
IDJOB=1869523
IDBENCH=2916
IDSOLVER=684
FILE ID=node23/1869523-1245176282
PBS_JOBID= 9363923
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-opt-market-split_4_30_2.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-1869523-1245176282/watcher-1869523-1245176282 -o /tmp/evaluation-result-1869523-1245176282/solver-1869523-1245176282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869523-1245176282.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=641979139
node23.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.236
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.236
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: 1868192 kB
Buffers: 40984 kB
Cached: 84660 kB
SwapCached: 4304 kB
Active: 67460 kB
Inactive: 66028 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1868192 kB
SwapTotal: 4192956 kB
SwapFree: 4182468 kB
Dirty: 11740 kB
Writeback: 0 kB
Mapped: 14576 kB
Slab: 40300 kB
Committed_AS: 164668 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= 66260 MiB
End job on node23 at 2009-06-16 20:31:29