0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666880-1276617753.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
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.02 c (round 2) 1 del vars, 6 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 1 deleted vars, 6 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 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 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 - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
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 = 10000
0.00/0.02 c
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 = 1800
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 = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 24 | - | 234k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 90 | - | 318k| 0 | 9 | 40 | 36 | 40 | 9 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 92 | - | 340k| 0 | 11 | 40 | 36 | 40 | 12 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 97 | - | 354k| 0 | 13 | 40 | 36 | 40 | 15 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 107 | - | 377k| 0 | 13 | 40 | 36 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 118 | - | 399k| 0 | 15 | 40 | 36 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 128 | - | 409k| 0 | 19 | 40 | 36 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 2 | 128 | - | 409k| 0 | 19 | 40 | 36 | 40 | 23 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
4.40/4.40 c 4.0s| 10000 | 3629 | 21893 | 2.2 |3896k| 36 | 5 | 40 |3377 | 40 | 19 | 18 |4671 | 419 | 0.000000e+00 | -- | Inf
8.69/8.70 c 7.9s| 20000 | 6878 | 43456 | 2.2 |5761k| 36 | 5 | 40 |2532 | 40 | 19 | 18 |9566 | 546 | 0.000000e+00 | -- | Inf
12.99/13.02 c 11.9s| 30000 | 10117 | 65380 | 2.2 |7892k| 36 | 5 | 40 |3008 | 40 | 19 | 18 | 14k| 663 | 0.000000e+00 | -- | Inf
17.49/17.51 c 16.1s| 40000 | 13316 | 86708 | 2.2 |9925k| 36 | 5 | 40 |3243 | 40 | 19 | 18 | 19k| 751 | 0.000000e+00 | -- | Inf
22.08/22.18 c 20.3s| 50000 | 16419 |107965 | 2.2 | 12M| 36 | 5 | 40 |3638 | 40 | 19 | 18 | 24k| 798 | 0.000000e+00 | -- | Inf
26.68/26.72 c 24.5s| 60000 | 19973 |129583 | 2.2 | 14M| 36 | 5 | 40 |4462 | 40 | 19 | 18 | 29k| 848 | 0.000000e+00 | -- | Inf
31.78/31.82 c 29.2s| 70000 | 22957 |150062 | 2.1 | 16M| 36 | - | 40 |4341 | 40 | 19 | 18 | 34k| 884 | 0.000000e+00 | -- | Inf
37.18/37.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.18/37.25 c 34.2s| 80000 | 25806 |171303 | 2.1 | 18M| 36 | 5 | 40 |4518 | 40 | 19 | 18 | 39k| 916 | 0.000000e+00 | -- | Inf
42.48/42.56 c 39.2s| 90000 | 28969 |193191 | 2.1 | 20M| 36 | 5 | 40 |4855 | 40 | 19 | 18 | 44k| 960 | 0.000000e+00 | -- | Inf
48.07/48.17 c 44.4s|100000 | 31990 |214040 | 2.1 | 22M| 36 | 5 | 40 |5252 | 40 | 19 | 18 | 50k| 994 | 0.000000e+00 | -- | Inf
53.97/54.02 c 49.9s|110000 | 34729 |234596 | 2.1 | 24M| 36 | - | 40 |5423 | 0 | 0 | 18 | 55k|1037 | 0.000000e+00 | -- | Inf
59.87/59.97 c 55.5s|120000 | 37386 |255250 | 2.1 | 26M| 36 | 5 | 40 |5517 | 40 | 19 | 18 | 60k|1064 | 0.000000e+00 | -- | Inf
65.77/65.80 c 60.9s|130000 | 40313 |277033 | 2.1 | 28M| 36 | - | 40 |6097 | 40 | 19 | 18 | 66k|1098 | 0.000000e+00 | -- | Inf
72.07/72.17 c 66.9s|140000 | 42943 |298504 | 2.1 | 30M| 36 | 5 | 40 |5683 | 40 | 19 | 18 | 71k|1152 | 0.000000e+00 | -- | Inf
77.76/77.84 c 72.2s|150000 | 45744 |319843 | 2.1 | 32M| 36 | - | 40 |6525 | 40 | 19 | 18 | 77k|1181 | 0.000000e+00 | -- | Inf
84.26/84.37 c 78.3s|160000 | 48055 |340589 | 2.1 | 34M| 36 | 5 | 40 |7269 | 40 | 19 | 18 | 82k|1195 | 0.000000e+00 | -- | Inf
90.95/91.02 c 84.5s|170000 | 50546 |361473 | 2.1 | 36M| 36 | 5 | 40 |7502 | 40 | 19 | 18 | 88k|1220 | 0.000000e+00 | -- | Inf
98.75/98.81 c 91.9s|180000 | 52543 |381650 | 2.1 | 37M| 36 | 5 | 40 |7123 | 40 | 19 | 18 | 94k|1248 | 0.000000e+00 | -- | Inf
104.75/104.87 c 97.6s|190000 | 54980 |402580 | 2.1 | 39M| 36 | - | 40 |8462 | 40 | 19 | 18 | 100k|1263 | 0.000000e+00 | -- | Inf
111.45/111.55 c 104s|200000 | 57500 |422770 | 2.1 | 42M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 105k|1285 | 0.000000e+00 | -- | Inf
119.55/119.69 c 112s|210000 | 59538 |443959 | 2.1 | 43M| 36 | - | 40 |8430 | 40 | 19 | 18 | 111k|1306 | 0.000000e+00 | -- | Inf
128.14/128.21 c 120s|220000 | 61308 |464471 | 2.1 | 44M| 36 | - | 40 |7994 | 40 | 19 | 18 | 117k|1324 | 0.000000e+00 | -- | Inf
135.94/136.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.94/136.06 c 127s|230000 | 63131 |485432 | 2.1 | 46M| 36 | - | 40 |7734 | 40 | 19 | 18 | 123k|1345 | 0.000000e+00 | -- | Inf
143.33/143.46 c 134s|240000 | 65223 |506783 | 2.1 | 48M| 36 | 5 | 40 |9120 | 40 | 19 | 18 | 129k|1376 | 0.000000e+00 | -- | Inf
151.33/151.46 c 142s|250000 | 67105 |527304 | 2.1 | 49M| 36 | - | 40 |8323 | 40 | 19 | 18 | 135k|1393 | 0.000000e+00 | -- | Inf
159.23/159.36 c 149s|260000 | 69039 |548273 | 2.1 | 51M| 36 | 5 | 40 |9694 | 40 | 19 | 18 | 142k|1407 | 0.000000e+00 | -- | Inf
168.03/168.19 c 158s|270000 | 70882 |569013 | 2.1 | 52M| 36 | 5 | 40 |8551 | 40 | 19 | 18 | 148k|1426 | 0.000000e+00 | -- | Inf
176.22/176.33 c 166s|280000 | 72684 |589696 | 2.1 | 54M| 36 | 5 | 40 |8839 | 40 | 19 | 18 | 154k|1446 | 0.000000e+00 | -- | Inf
183.42/183.55 c 172s|290000 | 74667 |610102 | 2.1 | 56M| 36 | - | 40 | 10k| 40 | 19 | 18 | 160k|1459 | 0.000000e+00 | -- | Inf
192.91/193.09 c 182s|300000 | 76338 |630521 | 2.1 | 57M| 36 | 5 | 40 |8689 | 40 | 19 | 18 | 167k|1475 | 0.000000e+00 | -- | Inf
202.12/202.29 c 190s|310000 | 78022 |651357 | 2.1 | 59M| 36 | 5 | 40 |8949 | 40 | 19 | 18 | 173k|1507 | 0.000000e+00 | -- | Inf
211.12/211.28 c 199s|320000 | 79793 |672049 | 2.1 | 60M| 36 | - | 40 |8734 | 40 | 19 | 18 | 179k|1532 | 0.000000e+00 | -- | Inf
218.82/218.93 c 206s|330000 | 81620 |692359 | 2.1 | 62M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 186k|1559 | 0.000000e+00 | -- | Inf
226.52/226.64 c 214s|340000 | 83864 |713731 | 2.1 | 64M| 36 | - | 40 | 12k| 40 | 19 | 18 | 192k|1576 | 0.000000e+00 | -- | Inf
236.00/236.13 c 223s|350000 | 85719 |733595 | 2.1 | 66M| 36 | - | 40 | 12k| 40 | 19 | 18 | 197k|1594 | 0.000000e+00 | -- | Inf
244.90/245.02 c 231s|360000 | 87889 |754470 | 2.1 | 67M| 36 | - | 40 | 11k| 40 | 19 | 18 | 203k|1609 | 0.000000e+00 | -- | Inf
254.59/254.76 c 240s|370000 | 89493 |775478 | 2.1 | 69M| 36 | - | 40 | 10k| 40 | 19 | 18 | 210k|1632 | 0.000000e+00 | -- | Inf
264.29/264.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
264.29/264.43 c 250s|380000 | 91215 |795784 | 2.1 | 70M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 216k|1653 | 0.000000e+00 | -- | Inf
274.08/274.27 c 259s|390000 | 92990 |816279 | 2.1 | 72M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 223k|1666 | 0.000000e+00 | -- | Inf
282.98/283.11 c 268s|400000 | 94812 |836492 | 2.1 | 73M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 229k|1677 | 0.000000e+00 | -- | Inf
290.88/291.09 c 275s|410000 | 96977 |855948 | 2.1 | 75M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 234k|1689 | 0.000000e+00 | -- | Inf
301.88/302.03 c 286s|420000 | 98514 |876119 | 2.1 | 76M| 36 | - | 40 | 10k| 40 | 19 | 18 | 241k|1706 | 0.000000e+00 | -- | Inf
312.18/312.32 c 296s|430000 | 99944 |896534 | 2.1 | 77M| 36 | 5 | 40 |9421 | 40 | 19 | 18 | 247k|1725 | 0.000000e+00 | -- | Inf
321.76/321.98 c 305s|440000 |101518 |917773 | 2.1 | 79M| 36 | 5 | 40 |9903 | 40 | 19 | 18 | 254k|1739 | 0.000000e+00 | -- | Inf
331.06/331.25 c 314s|450000 |103153 |938099 | 2.1 | 81M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 260k|1755 | 0.000000e+00 | -- | Inf
339.06/339.20 c 321s|460000 |105111 |959415 | 2.1 | 82M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 266k|1766 | 0.000000e+00 | -- | Inf
349.66/349.84 c 332s|470000 |106454 |979567 | 2.1 | 83M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 273k|1778 | 0.000000e+00 | -- | Inf
357.95/358.10 c 339s|480000 |108393 | 1000k| 2.1 | 85M| 36 | - | 40 | 11k| 40 | 19 | 18 | 279k|1791 | 0.000000e+00 | -- | Inf
368.95/369.18 c 350s|490000 |109716 | 1020k| 2.1 | 86M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 286k|1809 | 0.000000e+00 | -- | Inf
379.04/379.23 c 360s|500000 |111282 | 1041k| 2.1 | 88M| 36 | 5 | 40 | 10k| 40 | 19 | 18 | 292k|1827 | 0.000000e+00 | -- | Inf
388.84/389.09 c 369s|510000 |112779 | 1062k| 2.1 | 89M| 36 | - | 40 | 10k| 40 | 19 | 18 | 299k|1848 | 0.000000e+00 | -- | Inf
399.14/399.39 c 379s|520000 |114255 | 1082k| 2.1 | 91M| 36 | - | 40 | 11k| 40 | 19 | 18 | 305k|1856 | 0.000000e+00 | -- | Inf
409.43/409.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.43/409.65 c 389s|530000 |115750 | 1102k| 2.1 | 92M| 36 | - | 40 | 11k| 40 | 19 | 18 | 312k|1877 | 0.000000e+00 | -- | Inf
420.63/420.80 c 400s|540000 |116945 | 1123k| 2.1 | 93M| 36 | - | 40 | 11k| 40 | 19 | 18 | 319k|1887 | 0.000000e+00 | -- | Inf
430.83/431.07 c 410s|550000 |118376 | 1143k| 2.1 | 95M| 36 | - | 40 | 10k| 40 | 19 | 18 | 325k|1904 | 0.000000e+00 | -- | Inf
439.92/440.19 c 418s|560000 |120046 | 1163k| 2.1 | 97M| 36 | - | 40 | 12k| 40 | 19 | 18 | 331k|1916 | 0.000000e+00 | -- | Inf
449.62/449.86 c 428s|570000 |121590 | 1184k| 2.1 | 98M| 36 | - | 40 | 12k| 40 | 19 | 18 | 338k|1926 | 0.000000e+00 | -- | Inf
461.12/461.34 c 439s|580000 |122846 | 1205k| 2.1 | 99M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 345k|1942 | 0.000000e+00 | -- | Inf
470.70/470.92 c 448s|590000 |124427 | 1225k| 2.1 | 101M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 351k|1952 | 0.000000e+00 | -- | Inf
482.40/482.68 c 459s|600000 |125657 | 1246k| 2.1 | 102M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 358k|1964 | 0.000000e+00 | -- | Inf
493.61/493.81 c 470s|610000 |127126 | 1266k| 2.1 | 103M| 36 | - | 40 | 12k| 40 | 19 | 18 | 364k|1984 | 0.000000e+00 | -- | Inf
506.10/506.37 c 482s|620000 |128241 | 1286k| 2.1 | 104M| 36 | - | 40 | 10k| 40 | 19 | 18 | 371k|1997 | 0.000000e+00 | -- | Inf
515.89/516.17 c 491s|630000 |129774 | 1307k| 2.1 | 106M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 378k|2012 | 0.000000e+00 | -- | Inf
527.19/527.43 c 502s|640000 |130956 | 1327k| 2.1 | 107M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 385k|2033 | 0.000000e+00 | -- | Inf
540.48/540.71 c 515s|650000 |132062 | 1348k| 2.1 | 108M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 392k|2047 | 0.000000e+00 | -- | Inf
552.27/552.52 c 527s|660000 |133241 | 1369k| 2.1 | 109M| 36 | 5 | 40 | 11k| 40 | 19 | 18 | 398k|2063 | 0.000000e+00 | -- | Inf
562.67/562.98 c 537s|670000 |134531 | 1388k| 2.1 | 111M| 36 | 5 | 40 | 12k| 40 | 19 | 18 | 405k|2075 | 0.000000e+00 | -- | Inf
572.88/573.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.88/573.19 c 546s|680000 |136257 | 1409k| 2.1 | 113M| 36 | 5 | 40 | 13k| 40 | 19 | 18 | 411k|2093 | 0.000000e+00 | -- | Inf
581.47/581.78 c 555s|690000 |138383 | 1430k| 2.1 | 115M| 36 | - | 40 | 15k| 40 | 19 | 18 | 417k|2101 | 0.000000e+00 | -- | Inf
591.86/592.10 c 565s|700000 |139901 | 1450k| 2.1 | 116M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 423k|2116 | 0.000000e+00 | -- | Inf
602.36/602.61 c 575s|710000 |141541 | 1471k| 2.1 | 117M| 36 | - | 40 | 15k| 0 | 0 | 18 | 430k|2122 | 0.000000e+00 | -- | Inf
612.86/613.12 c 585s|720000 |142961 | 1491k| 2.1 | 119M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 436k|2133 | 0.000000e+00 | -- | Inf
624.25/624.50 c 596s|730000 |144152 | 1511k| 2.1 | 120M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 442k|2144 | 0.000000e+00 | -- | Inf
639.04/639.32 c 610s|740000 |145218 | 1531k| 2.1 | 120M| 36 | - | 40 | 12k| 40 | 19 | 18 | 449k|2161 | 0.000000e+00 | -- | Inf
649.85/650.13 c 621s|750000 |146655 | 1552k| 2.1 | 122M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 455k|2176 | 0.000000e+00 | -- | Inf
661.43/661.76 c 632s|760000 |147985 | 1572k| 2.1 | 124M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 462k|2187 | 0.000000e+00 | -- | Inf
670.73/671.01 c 641s|770000 |149990 | 1594k| 2.1 | 126M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 468k|2200 | 0.000000e+00 | -- | Inf
680.64/680.94 c 650s|780000 |152161 | 1615k| 2.1 | 128M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 474k|2209 | 0.000000e+00 | -- | Inf
691.82/692.18 c 661s|790000 |153975 | 1636k| 2.1 | 130M| 36 | - | 40 | 19k| 40 | 19 | 18 | 481k|2215 | 0.000000e+00 | -- | Inf
704.52/704.83 c 673s|800000 |155498 | 1658k| 2.1 | 131M| 36 | - | 40 | 19k| 40 | 19 | 18 | 487k|2232 | 0.000000e+00 | -- | Inf
716.71/717.08 c 685s|810000 |157026 | 1678k| 2.1 | 132M| 36 | - | 40 | 20k| 40 | 19 | 18 | 493k|2241 | 0.000000e+00 | -- | Inf
729.91/730.26 c 698s|820000 |158415 | 1699k| 2.1 | 133M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 500k|2251 | 0.000000e+00 | -- | Inf
744.50/744.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.50/744.84 c 712s|830000 |159733 | 1719k| 2.1 | 134M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 507k|2262 | 0.000000e+00 | -- | Inf
757.00/757.30 c 724s|840000 |161091 | 1739k| 2.1 | 135M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 513k|2276 | 0.000000e+00 | -- | Inf
771.09/771.48 c 738s|850000 |162209 | 1760k| 2.1 | 136M| 36 | - | 40 | 13k| 40 | 19 | 18 | 520k|2293 | 0.000000e+00 | -- | Inf
780.99/781.38 c 748s|860000 |163752 | 1781k| 2.1 | 138M| 36 | - | 40 | 16k| 0 | 0 | 18 | 527k|2310 | 0.000000e+00 | -- | Inf
794.68/795.08 c 761s|870000 |164984 | 1801k| 2.1 | 139M| 36 | - | 40 | 15k| 0 | 0 | 18 | 534k|2318 | 0.000000e+00 | -- | Inf
807.97/808.35 c 774s|880000 |166253 | 1821k| 2.1 | 140M| 36 | - | 40 | 15k| 40 | 19 | 18 | 540k|2332 | 0.000000e+00 | -- | Inf
819.67/820.02 c 785s|890000 |167918 | 1842k| 2.1 | 142M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 547k|2340 | 0.000000e+00 | -- | Inf
831.27/831.61 c 796s|900000 |169307 | 1863k| 2.1 | 144M| 36 | - | 40 | 16k| 40 | 19 | 18 | 554k|2343 | 0.000000e+00 | -- | Inf
846.27/846.69 c 811s|910000 |170479 | 1883k| 2.1 | 144M| 36 | - | 40 | 14k| 0 | 0 | 18 | 560k|2353 | 0.000000e+00 | -- | Inf
856.56/856.94 c 821s|920000 |172004 | 1904k| 2.1 | 146M| 36 | - | 40 | 16k| 40 | 19 | 18 | 567k|2373 | 0.000000e+00 | -- | Inf
870.06/870.46 c 834s|930000 |173374 | 1925k| 2.1 | 147M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 574k|2387 | 0.000000e+00 | -- | Inf
881.44/881.87 c 845s|940000 |174754 | 1945k| 2.1 | 149M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 581k|2396 | 0.000000e+00 | -- | Inf
895.74/896.12 c 859s|950000 |175817 | 1966k| 2.1 | 150M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 588k|2412 | 0.000000e+00 | -- | Inf
908.34/908.74 c 871s|960000 |177101 | 1986k| 2.1 | 151M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 594k|2422 | 0.000000e+00 | -- | Inf
921.63/922.02 c 884s|970000 |178283 | 2007k| 2.1 | 152M| 36 | - | 40 | 14k| 0 | 0 | 18 | 601k|2436 | 0.000000e+00 | -- | Inf
935.03/935.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
935.03/935.43 c 897s|980000 |179497 | 2028k| 2.1 | 153M| 36 | 5 | 40 | 13k| 40 | 19 | 18 | 608k|2450 | 0.000000e+00 | -- | Inf
949.42/949.88 c 911s|990000 |180570 | 2048k| 2.1 | 154M| 36 | - | 40 | 13k| 40 | 19 | 18 | 615k|2462 | 0.000000e+00 | -- | Inf
961.72/962.16 c 923s| 1000k|181825 | 2068k| 2.1 | 156M| 36 | 5 | 40 | 14k| 40 | 19 | 18 | 621k|2470 | 0.000000e+00 | -- | Inf
972.51/972.99 c 933s| 1010k|183032 | 2088k| 2.1 | 158M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 628k|2480 | 0.000000e+00 | -- | Inf
986.71/987.15 c 947s| 1020k|184167 | 2108k| 2.1 | 159M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 635k|2489 | 0.000000e+00 | -- | Inf
999.70/1000.17 c 959s| 1030k|185490 | 2128k| 2.1 | 160M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 641k|2497 | 0.000000e+00 | -- | Inf
1013.90/1014.39 c 973s| 1040k|186449 | 2148k| 2.1 | 161M| 36 | - | 40 | 15k| 0 | 0 | 18 | 648k|2507 | 0.000000e+00 | -- | Inf
1025.60/1026.00 c 984s| 1050k|187641 | 2169k| 2.1 | 163M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 655k|2518 | 0.000000e+00 | -- | Inf
1038.99/1039.43 c 997s| 1060k|188977 | 2189k| 2.1 | 164M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 662k|2533 | 0.000000e+00 | -- | Inf
1052.08/1052.52 c 1010s| 1070k|190276 | 2210k| 2.1 | 165M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 668k|2541 | 0.000000e+00 | -- | Inf
1067.48/1067.93 c 1025s| 1080k|191230 | 2231k| 2.1 | 166M| 36 | - | 40 | 15k| 40 | 19 | 18 | 675k|2551 | 0.000000e+00 | -- | Inf
1080.18/1080.67 c 1037s| 1090k|192461 | 2251k| 2.1 | 168M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 682k|2565 | 0.000000e+00 | -- | Inf
1096.97/1097.40 c 1054s| 1100k|193384 | 2271k| 2.1 | 168M| 36 | - | 40 | 14k| 40 | 19 | 18 | 689k|2574 | 0.000000e+00 | -- | Inf
1110.26/1110.71 c 1067s| 1110k|194607 | 2292k| 2.1 | 170M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 696k|2583 | 0.000000e+00 | -- | Inf
1125.26/1125.74 c 1081s| 1120k|195640 | 2312k| 2.1 | 170M| 36 | - | 40 | 13k| 40 | 19 | 18 | 703k|2590 | 0.000000e+00 | -- | Inf
1139.16/1139.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.16/1139.69 c 1095s| 1130k|196650 | 2333k| 2.1 | 172M| 36 | - | 40 | 14k| 40 | 19 | 18 | 710k|2602 | 0.000000e+00 | -- | Inf
1151.25/1151.78 c 1107s| 1140k|197748 | 2353k| 2.1 | 174M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 717k|2616 | 0.000000e+00 | -- | Inf
1161.34/1161.80 c 1116s| 1150k|199206 | 2373k| 2.1 | 176M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 723k|2629 | 0.000000e+00 | -- | Inf
1178.14/1178.67 c 1133s| 1160k|200154 | 2394k| 2.1 | 176M| 36 | - | 40 | 16k| 40 | 19 | 18 | 730k|2637 | 0.000000e+00 | -- | Inf
1191.63/1192.18 c 1146s| 1170k|201367 | 2416k| 2.1 | 177M| 36 | - | 40 | 17k| 40 | 19 | 18 | 737k|2647 | 0.000000e+00 | -- | Inf
1202.83/1203.38 c 1157s| 1180k|202726 | 2438k| 2.1 | 179M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 744k|2657 | 0.000000e+00 | -- | Inf
1216.52/1217.00 c 1170s| 1190k|203997 | 2459k| 2.1 | 181M| 36 | - | 40 | 20k| 40 | 19 | 18 | 751k|2672 | 0.000000e+00 | -- | Inf
1233.72/1234.23 c 1187s| 1200k|205042 | 2480k| 2.1 | 181M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 758k|2684 | 0.000000e+00 | -- | Inf
1249.80/1250.40 c 1202s| 1210k|205958 | 2500k| 2.1 | 182M| 36 | 5 | 40 | 15k| 40 | 19 | 18 | 765k|2694 | 0.000000e+00 | -- | Inf
1263.20/1263.78 c 1215s| 1220k|207029 | 2521k| 2.1 | 184M| 36 | - | 40 | 17k| 40 | 19 | 18 | 772k|2706 | 0.000000e+00 | -- | Inf
1278.70/1279.23 c 1230s| 1230k|208075 | 2541k| 2.1 | 185M| 36 | - | 40 | 16k| 40 | 19 | 18 | 779k|2715 | 0.000000e+00 | -- | Inf
1293.10/1293.67 c 1244s| 1240k|209185 | 2562k| 2.1 | 186M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 786k|2726 | 0.000000e+00 | -- | Inf
1304.28/1304.85 c 1255s| 1250k|211044 | 2583k| 2.1 | 188M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 792k|2734 | 0.000000e+00 | -- | Inf
1315.68/1316.20 c 1266s| 1260k|213033 | 2605k| 2.1 | 190M| 36 | 5 | 40 | 19k| 40 | 19 | 18 | 798k|2742 | 0.000000e+00 | -- | Inf
1328.58/1329.19 c 1279s| 1270k|214477 | 2627k| 2.1 | 191M| 36 | - | 40 | 20k| 0 | 0 | 18 | 805k|2749 | 0.000000e+00 | -- | Inf
1342.48/1343.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.48/1343.10 c 1292s| 1280k|215779 | 2649k| 2.1 | 193M| 36 | - | 40 | 20k| 40 | 19 | 18 | 811k|2757 | 0.000000e+00 | -- | Inf
1357.57/1358.17 c 1307s| 1290k|216690 | 2670k| 2.1 | 194M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 818k|2768 | 0.000000e+00 | -- | Inf
1371.36/1371.98 c 1320s| 1300k|218159 | 2692k| 2.1 | 195M| 36 | 5 | 40 | 21k| 40 | 19 | 18 | 825k|2778 | 0.000000e+00 | -- | Inf
1384.36/1384.92 c 1333s| 1310k|220046 | 2714k| 2.1 | 197M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 831k|2788 | 0.000000e+00 | -- | Inf
1397.65/1398.23 c 1346s| 1320k|222083 | 2735k| 2.1 | 199M| 36 | - | 40 | 23k| 40 | 19 | 18 | 837k|2797 | 0.000000e+00 | -- | Inf
1412.55/1413.16 c 1360s| 1330k|223581 | 2756k| 2.1 | 200M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 843k|2808 | 0.000000e+00 | -- | Inf
1427.93/1428.55 c 1375s| 1340k|224914 | 2777k| 2.1 | 201M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 850k|2817 | 0.000000e+00 | -- | Inf
1443.74/1444.31 c 1391s| 1350k|226166 | 2799k| 2.1 | 203M| 36 | - | 40 | 23k| 40 | 19 | 18 | 856k|2824 | 0.000000e+00 | -- | Inf
1458.72/1459.33 c 1405s| 1360k|227427 | 2820k| 2.1 | 204M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 863k|2831 | 0.000000e+00 | -- | Inf
1476.11/1476.72 c 1422s| 1370k|228246 | 2841k| 2.1 | 205M| 36 | 5 | 40 | 21k| 40 | 19 | 18 | 870k|2840 | 0.000000e+00 | -- | Inf
1491.11/1491.76 c 1437s| 1380k|229284 | 2861k| 2.1 | 206M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 877k|2845 | 0.000000e+00 | -- | Inf
1510.60/1511.26 c 1456s| 1390k|230181 | 2882k| 2.1 | 206M| 36 | - | 40 | 18k| 0 | 0 | 18 | 884k|2855 | 0.000000e+00 | -- | Inf
1526.21/1526.84 c 1471s| 1400k|231325 | 2902k| 2.1 | 207M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 891k|2867 | 0.000000e+00 | -- | Inf
1540.20/1540.84 c 1485s| 1410k|232527 | 2923k| 2.1 | 208M| 36 | 5 | 40 | 17k| 40 | 19 | 18 | 898k|2878 | 0.000000e+00 | -- | Inf
1553.69/1554.39 c 1498s| 1420k|233698 | 2943k| 2.1 | 210M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 904k|2889 | 0.000000e+00 | -- | Inf
1569.58/1570.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.58/1570.29 c 1513s| 1430k|234848 | 2963k| 2.1 | 211M| 36 | - | 40 | 19k| 0 | 0 | 18 | 911k|2897 | 0.000000e+00 | -- | Inf
1584.28/1584.95 c 1528s| 1440k|235975 | 2983k| 2.1 | 212M| 36 | 5 | 40 | 18k| 40 | 19 | 18 | 918k|2909 | 0.000000e+00 | -- | Inf
1594.28/1594.93 c 1537s| 1450k|238046 | 3005k| 2.1 | 214M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 924k|2919 | 0.000000e+00 | -- | Inf
1605.97/1606.61 c 1548s| 1460k|239465 | 3025k| 2.1 | 216M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 931k|2924 | 0.000000e+00 | -- | Inf
1618.96/1619.61 c 1561s| 1470k|240545 | 3045k| 2.1 | 217M| 36 | 5 | 40 | 22k| 40 | 19 | 18 | 938k|2932 | 0.000000e+00 | -- | Inf
1630.46/1631.15 c 1572s| 1480k|242454 | 3066k| 2.1 | 219M| 36 | - | 40 | 23k| 0 | 0 | 18 | 944k|2944 | 0.000000e+00 | -- | Inf
1644.46/1645.12 c 1586s| 1490k|243634 | 3086k| 2.1 | 220M| 36 | - | 40 | 24k| 40 | 19 | 18 | 951k|2951 | 0.000000e+00 | -- | Inf
1659.55/1660.25 c 1600s| 1500k|244652 | 3106k| 2.1 | 221M| 36 | - | 40 | 23k| 40 | 19 | 18 | 958k|2958 | 0.000000e+00 | -- | Inf
1673.85/1674.58 c 1614s| 1510k|245832 | 3127k| 2.1 | 223M| 36 | - | 40 | 24k| 40 | 19 | 18 | 965k|2969 | 0.000000e+00 | -- | Inf
1690.04/1690.78 c 1630s| 1520k|246724 | 3147k| 2.1 | 224M| 36 | - | 40 | 24k| 40 | 19 | 18 | 972k|2975 | 0.000000e+00 | -- | Inf
1707.43/1708.14 c 1647s| 1530k|247466 | 3166k| 2.1 | 225M| 36 | 5 | 40 | 23k| 40 | 19 | 18 | 979k|2982 | 0.000000e+00 | -- | Inf
1725.93/1726.69 c 1665s| 1540k|248262 | 3186k| 2.1 | 225M| 36 | 5 | 40 | 20k| 40 | 19 | 18 | 986k|2992 | 0.000000e+00 | -- | Inf
1745.22/1745.90 c 1684s| 1550k|249098 | 3207k| 2.1 | 225M| 36 | 5 | 40 | 16k| 40 | 19 | 18 | 993k|3003 | 0.000000e+00 | -- | Inf
1761.21/1761.97 c 1700s| 1560k|250035 | 3227k| 2.1 | 226M| 36 | 5 | 40 | 16k| 40 | 19 | 18 |1000k|3014 | 0.000000e+00 | -- | Inf
1779.21/1779.99 c 1717s| 1570k|250705 | 3247k| 2.1 | 227M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1008k|3021 | 0.000000e+00 | -- | Inf
1799.10/1799.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.10/1799.86 c 1737s| 1580k|251307 | 3268k| 2.1 | 228M| 36 | 5 | 40 | 15k| 40 | 19 | 18 |1015k|3034 | 0.000000e+00 | -- | Inf
1800.01/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.71 c
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time (sec) : 1737.51
1800.01/1800.71 c Solving Nodes : 1580707
1800.01/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.71 c Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Gap : infinite
1800.01/1800.71 s UNKNOWN
1800.01/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.71 c Solving Time : 1737.51
1800.01/1800.71 c Original Problem :
1800.01/1800.71 c Problem name : HOME/instance-2666880-1276617753.opb
1800.01/1800.71 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71 c Constraints : 11 initial, 11 maximal
1800.01/1800.71 c Presolved Problem :
1800.01/1800.71 c Problem name : t_HOME/instance-2666880-1276617753.opb
1800.01/1800.71 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.71 c Constraints : 5 initial, 26061 maximal
1800.01/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.71 c linear : 0.00 0 0 0 0 0 6 0 0
1800.01/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.71 c root node : - 0 - - 0 - - - -
1800.01/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.71 c integral : 0 0 0 946350 0 448 1201 0 0 1889442
1800.01/1800.71 c linear : 5+ 7 3791744 0 0 132106 1297628 0 0 0
1800.01/1800.71 c logicor : 0+ 0 1894231 0 0 5106 736083 0 0 0
1800.01/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.71 c integral : 12.54 0.00 0.00 12.54 0.00
1800.01/1800.71 c linear : 132.89 0.00 132.89 0.00 0.00
1800.01/1800.71 c logicor : 671.66 0.00 671.66 0.00 0.00
1800.01/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.71 c vbounds : 2.10 2 0 0
1800.01/1800.71 c rootredcost : 2.07 0 0 0
1800.01/1800.71 c pseudoobj : 1.70 0 0 0
1800.01/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.71 c propagation : 9.33 137212 111986 384859 29.3 29 25.2 -
1800.01/1800.71 c infeasible LP : 35.36 550270 550247 1056221 19.2 8545 23.5 0
1800.01/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.71 c applied globally : - - - 1007089 18.9 - - -
1800.01/1800.71 c applied locally : - - - 8710 31.4 - - -
1800.01/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.71 c cut pool : 0.00 5 - - 67 - (maximal pool size: 93)
1800.01/1800.71 c redcost : 2.05 946355 0 0 0 0
1800.01/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.71 c intobj : 0.00 0 0 0 0 0
1800.01/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.71 c gomory : 0.00 6 0 0 0 0
1800.01/1800.71 c strongcg : 0.00 6 0 0 16 0
1800.01/1800.71 c cmir : 0.03 6 0 0 44 0
1800.01/1800.71 c flowcover : 0.00 6 0 0 55 0
1800.01/1800.71 c clique : 0.00 1 0 0 0 0
1800.01/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.71 c mcf : 0.00 1 0 0 0 0
1800.01/1800.71 c rapidlearning : 0.07 1 0 0 0 31
1800.01/1800.71 c Pricers : Time Calls Vars
1800.01/1800.71 c problem variables: 0.00 0 0
1800.01/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.71 c relpscost : 11.12 946350 448 1201 0 0 1889442
1800.01/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.71 c random : 0.00 0 0 0 0 0 0
1800.01/1800.71 c Primal Heuristics : Time Calls Found
1800.01/1800.71 c LP solutions : 0.00 - 0
1800.01/1800.71 c pseudo solutions : 0.00 - 0
1800.01/1800.71 c oneopt : 1.69 0 0
1800.01/1800.71 c crossover : 1.21 0 0
1800.01/1800.71 c guideddiving : 0.17 0 0
1800.01/1800.71 c veclendiving : 0.16 52 0
1800.01/1800.71 c linesearchdiving : 0.11 53 0
1800.01/1800.71 c coefdiving : 0.20 53 0
1800.01/1800.71 c pscostdiving : 0.15 53 0
1800.01/1800.71 c fracdiving : 0.25 53 0
1800.01/1800.71 c rootsoldiving : 0.14 27 0
1800.01/1800.71 c objpscostdiving : 0.21 27 0
1800.01/1800.71 c feaspump : 0.15 27 0
1800.01/1800.71 c trivial : 0.00 2 0
1800.01/1800.71 c simplerounding : 0.51 0 0
1800.01/1800.71 c zirounding : 0.93 1000 0
1800.01/1800.71 c rounding : 1.16 13687 0
1800.01/1800.71 c shifting : 2.27 4258 0
1800.01/1800.71 c intshifting : 0.06 0 0
1800.01/1800.71 c twoopt : 0.00 0 0
1800.01/1800.71 c fixandinfer : 0.00 0 0
1800.01/1800.71 c intdiving : 0.00 0 0
1800.01/1800.71 c actconsdiving : 0.00 0 0
1800.01/1800.71 c octane : 0.00 0 0
1800.01/1800.71 c rens : 0.04 1 0
1800.01/1800.71 c rins : 0.00 0 0
1800.01/1800.71 c localbranching : 0.00 0 0
1800.01/1800.71 c mutation : 0.00 0 0
1800.01/1800.71 c dins : 0.00 0 0
1800.01/1800.71 c undercover : 0.00 0 0
1800.01/1800.71 c nlp : 0.89 0 0
1800.01/1800.71 c trysol : 1.19 0 0
1800.01/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.71 c dual LP : 134.18 1435994 3268400 2.28 24358.32
1800.01/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.71 c diving/probing LP: 0.09 815 1508 1.85 16755.56
1800.01/1800.71 c strong branching : 0.52 3034 12215 4.03 23490.38
1800.01/1800.71 c (at root node) : - 9 460 51.11 -
1800.01/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.71 c B&B Tree :
1800.01/1800.71 c number of runs : 1
1800.01/1800.71 c nodes : 1580707
1800.01/1800.71 c nodes (total) : 1580707
1800.01/1800.71 c nodes left : 251477
1800.01/1800.71 c max depth : 36
1800.01/1800.71 c max depth (total): 36
1800.01/1800.71 c backtracks : 285355 (18.1%)
1800.01/1800.71 c delayed cutoffs : 57259
1800.01/1800.71 c repropagations : 1343227 (1033195 domain reductions, 51308 cutoffs)
1800.01/1800.71 c avg switch length: 5.37
1800.01/1800.71 c switching time : 474.61
1800.01/1800.71 c Solution :
1800.01/1800.71 c Solutions found : 0 (0 improvements)
1800.01/1800.71 c Primal Bound : -
1800.01/1800.71 c Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Gap : infinite
1800.01/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.71 c Root Iterations : 128
1801.49/1802.25 c Time complete: 1801.55.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666880-1276617753/watcher-2666880-1276617753 -o /tmp/evaluation-result-2666880-1276617753/solver-2666880-1276617753 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666880-1276617753.opb -t 1800 -m 1800
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.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=7724 CPUtime=0
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 37378805 7909376 950 1992294400 4194304 8223781 140733509804896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 1931 960 348 984 0 944 0
[startup+0.0630241 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=19492 CPUtime=0.05
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 4872 0 0 0 4 1 0 0 20 0 1 0 37378805 19959808 3646 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4873 3646 568 984 0 3886 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19492
[startup+0.101032 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=19492 CPUtime=0.09
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 4876 0 0 0 7 2 0 0 20 0 1 0 37378805 19959808 3650 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4873 3650 568 984 0 3886 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19492
[startup+0.301069 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=13300 CPUtime=0.29
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 8137 0 0 0 24 5 0 0 20 0 1 0 37378805 13619200 2470 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 3325 2470 588 984 0 2338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13300
[startup+0.701142 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 5443
/proc/meminfo: memFree=1778352/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=13480 CPUtime=0.69
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 8156 0 0 0 60 9 0 0 21 0 1 0 37378805 13803520 2489 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 3370 2489 588 984 0 2383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13480
[startup+1.50129 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5444
/proc/meminfo: memFree=1770036/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=14852 CPUtime=1.49
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 8500 0 0 0 133 16 0 0 23 0 1 0 37378805 15208448 2833 1992294400 4194304 8223781 140733509804896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 3713 2833 588 984 0 2726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14852
[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5444
/proc/meminfo: memFree=1767928/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=17080 CPUtime=3.08
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 9082 0 0 0 278 30 0 0 25 0 1 0 37378805 17489920 3415 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4270 3415 588 984 0 3283 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17080
[startup+6.30118 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5446
/proc/meminfo: memFree=1764828/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=19144 CPUtime=6.29
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 9566 0 0 0 575 54 0 0 25 0 1 0 37378805 19603456 3899 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210300 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 4786 3899 588 984 0 3799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19144
[startup+12.7004 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5446
/proc/meminfo: memFree=1761356/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=22988 CPUtime=12.68
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 10562 0 0 0 1163 105 0 0 25 0 1 0 37378805 23539712 4895 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 5747 4895 588 984 0 4760 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22988
[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5446
/proc/meminfo: memFree=1754412/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=29868 CPUtime=25.48
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 12330 0 0 0 2337 211 0 0 25 0 1 0 37378805 30584832 6663 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 7467 6663 588 984 0 6480 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29868
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5446
/proc/meminfo: memFree=1743996/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=39600 CPUtime=51.07
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 14738 0 0 0 4717 390 0 0 25 0 1 0 37378805 40550400 9071 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 9900 9071 588 984 0 8913 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39600
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 5448
/proc/meminfo: memFree=1725892/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=57316 CPUtime=102.26
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 19201 0 0 0 9520 706 0 0 25 0 1 0 37378805 58691584 13534 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 14329 13534 588 984 0 13342 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 57316
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5450
/proc/meminfo: memFree=1710392/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=74652 CPUtime=162.23
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 23007 0 0 0 15226 997 0 0 25 0 1 0 37378805 76443648 17340 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 18663 17340 588 984 0 17676 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 74652
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 5450
/proc/meminfo: memFree=1698116/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=86756 CPUtime=222.21
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 26105 0 0 0 20942 1279 0 0 25 0 1 0 37378805 88838144 20438 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 21689 20438 588 984 0 20702 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 86756
[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 5452
/proc/meminfo: memFree=1686956/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=97624 CPUtime=282.19
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 28875 0 0 0 26687 1532 0 0 25 0 1 0 37378805 99966976 23208 1992294400 4194304 8223781 140733509804896 18446744073709551615 6207757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 24406 23208 588 984 0 23419 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 97624
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 5454
/proc/meminfo: memFree=1677780/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=106648 CPUtime=342.16
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 31116 0 0 0 32432 1784 0 0 25 0 1 0 37378805 109207552 25449 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 26662 25449 588 984 0 25675 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 106648
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 5456
/proc/meminfo: memFree=1668108/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=116188 CPUtime=402.13
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 33519 0 0 0 38193 2020 0 0 25 0 1 0 37378805 118976512 27852 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 29047 27852 588 984 0 28060 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 116188
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 5458
/proc/meminfo: memFree=1661288/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=122684 CPUtime=462.11
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 35175 0 0 0 43951 2260 0 0 25 0 1 0 37378805 125628416 29508 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 30671 29508 588 984 0 29684 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 122684
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 5458
/proc/meminfo: memFree=1651492/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=132248 CPUtime=522.09
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 37598 0 0 0 49740 2469 0 0 25 0 1 0 37378805 135421952 31931 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 33062 31931 588 984 0 32075 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 132248
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5460
/proc/meminfo: memFree=1643804/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=139840 CPUtime=582.07
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 39505 0 0 0 55516 2691 0 0 25 0 1 0 37378805 143196160 33838 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 34960 33838 588 984 0 33973 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 139840
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5462
/proc/meminfo: memFree=1633016/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=151180 CPUtime=642.05
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 42183 0 0 0 61311 2894 0 0 25 0 1 0 37378805 154808320 36516 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 37795 36516 588 984 0 36808 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 151180
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5475
/proc/meminfo: memFree=1592716/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=190804 CPUtime=1001.9
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 52095 0 0 0 96151 4039 0 0 25 0 1 0 37378805 195383296 46428 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 47701 46428 588 984 0 46714 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 190804
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5477
/proc/meminfo: memFree=1587632/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=195780 CPUtime=1061.87
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 53369 0 0 0 101975 4212 0 0 25 0 1 0 37378805 200478720 47702 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 48945 47702 588 984 0 47958 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 195780
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5477
/proc/meminfo: memFree=1582672/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=200500 CPUtime=1121.86
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 54580 0 0 0 107798 4388 0 0 25 0 1 0 37378805 205312000 48913 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 50125 48913 588 984 0 49138 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 200500
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5479
/proc/meminfo: memFree=1576224/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=210764 CPUtime=1181.83
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 56177 0 0 0 113618 4565 0 0 25 0 1 0 37378805 215822336 50510 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 52691 50510 588 984 0 51704 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 210764
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5481
/proc/meminfo: memFree=1570520/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=216268 CPUtime=1241.81
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 57524 0 0 0 119437 4744 0 0 25 0 1 0 37378805 221458432 51857 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 54067 51857 588 984 0 53080 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 216268
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5483
/proc/meminfo: memFree=1566056/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=220540 CPUtime=1301.79
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 58655 0 0 0 125268 4911 0 0 25 0 1 0 37378805 225832960 52988 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 55135 52988 588 984 0 54148 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 220540
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5485
/proc/meminfo: memFree=1557376/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=229012 CPUtime=1361.76
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 60800 0 0 0 131083 5093 0 0 25 0 1 0 37378805 234508288 55133 1992294400 4194304 8223781 140733509804896 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 57253 55133 588 984 0 56266 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 229012
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5485
/proc/meminfo: memFree=1552292/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=234052 CPUtime=1421.75
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 62066 0 0 0 136910 5265 0 0 25 0 1 0 37378805 239669248 56399 1992294400 4194304 8223781 140733509804896 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 58513 56399 588 984 0 57526 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 234052
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5487
/proc/meminfo: memFree=1547456/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=238708 CPUtime=1481.71
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 63262 0 0 0 142751 5420 0 0 25 0 1 0 37378805 244436992 57595 1992294400 4194304 8223781 140733509804896 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 59677 57595 588 984 0 58690 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 238708
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5489
/proc/meminfo: memFree=1543240/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=243272 CPUtime=1541.7
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 64310 0 0 0 148600 5570 0 0 25 0 1 0 37378805 249110528 58643 1992294400 4194304 8223781 140733509804896 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 60818 58643 588 984 0 59831 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 243272
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5491
/proc/meminfo: memFree=1536172/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=250060 CPUtime=1601.67
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 66017 0 0 0 154418 5749 0 0 25 0 1 0 37378805 256061440 60350 1992294400 4194304 8223781 140733509804896 18446744073709551615 4431710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 62515 60350 588 984 0 61528 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 250060
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5493
/proc/meminfo: memFree=1528608/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=257372 CPUtime=1661.65
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 67913 0 0 0 160239 5926 0 0 25 0 1 0 37378805 263548928 62246 1992294400 4194304 8223781 140733509804896 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 64343 62246 588 984 0 63356 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 257372
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5493
/proc/meminfo: memFree=1523772/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=262448 CPUtime=1721.63
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 69124 0 0 0 166086 6077 0 0 25 0 1 0 37378805 268746752 63457 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 65612 63457 588 984 0 64625 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 262448
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5495
/proc/meminfo: memFree=1520424/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=265412 CPUtime=1781.61
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 69874 0 0 0 171950 6211 0 0 25 0 1 0 37378805 271781888 64207 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 66353 64207 588 984 0 65366 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 265412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5495
/proc/meminfo: memFree=1519184/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=266572 CPUtime=1800.01
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70168 0 0 0 173751 6250 0 0 25 0 1 0 37378805 272969728 64501 1992294400 4194304 8223781 140733509804896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5443/statm: 66643 64501 588 984 0 65656 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 266572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5495
/proc/meminfo: memFree=1519184/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=266572 CPUtime=1800.69
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70169 0 0 0 173819 6250 0 0 25 0 1 0 37378805 272969728 64502 1992294400 4194304 8223781 140733509804896 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 66643 64502 589 984 0 65656 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (KiB) 266572
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5496
/proc/meminfo: memFree=1519176/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=266572 CPUtime=1801.1
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70169 0 0 0 173860 6250 0 0 25 0 1 0 37378805 272969728 64502 1992294400 4194304 8223781 140733509804896 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 66643 64502 589 984 0 65656 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 266572
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5496
/proc/meminfo: memFree=1519176/2059040 swapFree=4140360/4192956
[pid=5443] ppid=5441 vsize=206560 CPUtime=1801.49
/proc/5443/stat : 5443 (pbscip.linux.x8) R 5441 5443 4839 0 -1 4202496 70169 0 0 0 173898 6251 0 0 25 0 1 0 37378805 211517440 49499 1992294400 4194304 8223781 140733509804896 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5443/statm: 51640 49499 589 984 0 50653 0
Current children cumulated CPU time (s) 1801.49
Current children cumulated vsize (KiB) 206560
Child status: 0
Real time (s): 1802.26
CPU time (s): 1801.56
CPU user time (s): 1739.02
CPU system time (s): 62.5425
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 266572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.02
system time used= 62.5425
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70173
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= 1
involuntary context switches= 4702
runsolver used 3.15452 second user time and 8.33773 second system time
The end