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-2666873-1276601876.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 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, 7 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, 7 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 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 | 30 | - | 273k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 103 | - | 302k| 0 | 9 | 50 | 6 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 107 | - | 321k| 0 | 10 | 50 | 6 | 50 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 114 | - | 344k| 0 | 13 | 50 | 6 | 50 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 124 | - | 363k| 0 | 15 | 50 | 6 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 128 | - | 369k| 0 | 16 | 50 | 6 | 50 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 131 | - | 374k| 0 | 18 | 50 | 6 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 2 | 131 | - | 375k| 0 | 18 | 50 | 6 | 50 | 24 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
4.40/4.49 c 4.0s| 10000 | 4265 | 27385 | 2.7 |4044k| 44 | 6 | 50 |3052 | 50 | 18 | 18 |4084 | 581 | 0.000000e+00 | -- | Inf
8.99/9.06 c 8.2s| 20000 | 7418 | 53456 | 2.7 |6061k| 44 | 6 | 50 |2273 | 50 | 18 | 18 |8917 | 780 | 0.000000e+00 | -- | Inf
13.49/13.52 c 12.3s| 30000 | 10243 | 79148 | 2.6 |8184k| 44 | - | 50 |2580 | 50 | 18 | 18 | 13k| 925 | 0.000000e+00 | -- | Inf
17.99/18.06 c 16.4s| 40000 | 13188 |104975 | 2.6 | 10M| 44 | 6 | 50 |3360 | 50 | 18 | 18 | 18k|1044 | 0.000000e+00 | -- | Inf
22.79/22.84 c 20.8s| 50000 | 15988 |130991 | 2.6 | 12M| 44 | 6 | 50 |3359 | 50 | 18 | 18 | 23k|1149 | 0.000000e+00 | -- | Inf
27.79/27.86 c 25.4s| 60000 | 18413 |156047 | 2.6 | 14M| 44 | 6 | 50 |3659 | 50 | 18 | 18 | 29k|1218 | 0.000000e+00 | -- | Inf
32.78/32.82 c 30.0s| 70000 | 21018 |181800 | 2.6 | 16M| 44 | 6 | 50 |4253 | 50 | 18 | 18 | 34k|1301 | 0.000000e+00 | -- | Inf
37.87/37.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.87/37.94 c 34.8s| 80000 | 23985 |207868 | 2.6 | 18M| 44 | - | 50 |4620 | 50 | 18 | 18 | 39k|1378 | 0.000000e+00 | -- | Inf
43.38/43.41 c 39.8s| 90000 | 26510 |233873 | 2.6 | 20M| 44 | 6 | 50 |4653 | 50 | 18 | 18 | 45k|1447 | 0.000000e+00 | -- | Inf
48.88/48.98 c 45.0s|100000 | 28971 |259596 | 2.6 | 22M| 44 | 6 | 50 |4614 | 50 | 18 | 18 | 50k|1517 | 0.000000e+00 | -- | Inf
54.28/54.37 c 49.9s|110000 | 31532 |285082 | 2.6 | 24M| 44 | 6 | 50 |4926 | 50 | 18 | 18 | 55k|1571 | 0.000000e+00 | -- | Inf
59.67/59.75 c 54.9s|120000 | 34234 |309962 | 2.6 | 26M| 44 | 6 | 50 |4889 | 50 | 18 | 18 | 60k|1612 | 0.000000e+00 | -- | Inf
65.27/65.31 c 60.1s|130000 | 36814 |335101 | 2.6 | 28M| 44 | - | 50 |4866 | 50 | 18 | 18 | 66k|1664 | 0.000000e+00 | -- | Inf
70.57/70.67 c 65.0s|140000 | 39501 |360631 | 2.6 | 30M| 44 | 6 | 50 |4904 | 50 | 18 | 18 | 71k|1716 | 0.000000e+00 | -- | Inf
76.27/76.32 c 70.3s|150000 | 41854 |386222 | 2.6 | 32M| 44 | - | 50 |5353 | 0 | 0 | 18 | 76k|1779 | 0.000000e+00 | -- | Inf
81.87/81.97 c 75.5s|160000 | 44466 |411861 | 2.6 | 34M| 44 | 6 | 50 |5151 | 50 | 18 | 18 | 81k|1829 | 0.000000e+00 | -- | Inf
87.77/87.83 c 81.0s|170000 | 46826 |437065 | 2.6 | 36M| 44 | 6 | 50 |5088 | 50 | 18 | 18 | 87k|1855 | 0.000000e+00 | -- | Inf
93.17/93.27 c 86.0s|180000 | 49328 |463524 | 2.6 | 38M| 44 | 6 | 50 |5715 | 50 | 18 | 18 | 92k|1899 | 0.000000e+00 | -- | Inf
99.26/99.36 c 91.7s|190000 | 51770 |489229 | 2.6 | 40M| 45 | 6 | 50 |5222 | 50 | 18 | 18 | 97k|1953 | 0.000000e+00 | -- | Inf
104.96/105.05 c 97.0s|200000 | 54305 |514919 | 2.6 | 42M| 45 | 6 | 50 |5748 | 50 | 18 | 18 | 103k|1990 | 0.000000e+00 | -- | Inf
110.96/111.03 c 103s|210000 | 56709 |540378 | 2.6 | 44M| 45 | - | 50 |5764 | 50 | 18 | 18 | 108k|2030 | 0.000000e+00 | -- | Inf
116.96/117.07 c 108s|220000 | 59142 |565126 | 2.6 | 46M| 45 | 6 | 50 |5598 | 50 | 18 | 18 | 113k|2074 | 0.000000e+00 | -- | Inf
122.95/123.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.95/123.00 c 114s|230000 | 61708 |590192 | 2.6 | 48M| 45 | 6 | 50 |5880 | 50 | 18 | 18 | 119k|2109 | 0.000000e+00 | -- | Inf
128.75/128.80 c 119s|240000 | 64413 |616430 | 2.6 | 50M| 45 | - | 50 |6663 | 50 | 18 | 18 | 124k|2151 | 0.000000e+00 | -- | Inf
135.15/135.23 c 125s|250000 | 66885 |641783 | 2.6 | 52M| 45 | - | 50 |6011 | 50 | 18 | 18 | 129k|2192 | 0.000000e+00 | -- | Inf
141.35/141.41 c 131s|260000 | 69358 |667671 | 2.6 | 54M| 45 | 6 | 50 |6373 | 50 | 18 | 18 | 135k|2225 | 0.000000e+00 | -- | Inf
147.55/147.60 c 137s|270000 | 71964 |693602 | 2.6 | 56M| 45 | 6 | 50 |6511 | 50 | 18 | 18 | 140k|2258 | 0.000000e+00 | -- | Inf
154.05/154.18 c 143s|280000 | 74392 |718841 | 2.6 | 58M| 45 | 6 | 50 |6011 | 50 | 18 | 18 | 145k|2292 | 0.000000e+00 | -- | Inf
160.15/160.23 c 149s|290000 | 76913 |744029 | 2.6 | 60M| 45 | - | 50 |6354 | 0 | 0 | 18 | 151k|2328 | 0.000000e+00 | -- | Inf
166.64/166.71 c 155s|300000 | 79300 |770229 | 2.6 | 62M| 45 | - | 50 |6602 | 0 | 0 | 18 | 156k|2361 | 0.000000e+00 | -- | Inf
173.34/173.43 c 161s|310000 | 81564 |795625 | 2.6 | 64M| 45 | - | 50 |6789 | 0 | 0 | 18 | 162k|2375 | 0.000000e+00 | -- | Inf
180.04/180.13 c 167s|320000 | 83838 |820702 | 2.6 | 65M| 45 | - | 50 |6505 | 50 | 18 | 18 | 167k|2398 | 0.000000e+00 | -- | Inf
186.74/186.83 c 174s|330000 | 86139 |846563 | 2.6 | 67M| 45 | - | 50 |6676 | 50 | 18 | 18 | 173k|2429 | 0.000000e+00 | -- | Inf
193.13/193.29 c 180s|340000 | 88632 |872187 | 2.6 | 69M| 45 | 6 | 50 |6919 | 50 | 18 | 18 | 178k|2473 | 0.000000e+00 | -- | Inf
199.63/199.73 c 186s|350000 | 91175 |897903 | 2.6 | 71M| 45 | 6 | 50 |7419 | 50 | 18 | 18 | 184k|2498 | 0.000000e+00 | -- | Inf
206.43/206.53 c 192s|360000 | 93647 |922865 | 2.6 | 73M| 45 | 6 | 50 |7559 | 50 | 18 | 18 | 189k|2525 | 0.000000e+00 | -- | Inf
213.14/213.23 c 198s|370000 | 96080 |948609 | 2.6 | 75M| 45 | - | 50 |7566 | 50 | 18 | 18 | 194k|2550 | 0.000000e+00 | -- | Inf
220.33/220.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.33/220.42 c 205s|380000 | 98327 |974307 | 2.6 | 77M| 45 | 6 | 50 |7079 | 50 | 18 | 18 | 200k|2590 | 0.000000e+00 | -- | Inf
226.63/226.78 c 211s|390000 |100933 |999845 | 2.6 | 79M| 45 | - | 50 |7827 | 50 | 18 | 18 | 205k|2615 | 0.000000e+00 | -- | Inf
233.62/233.78 c 218s|400000 |103487 | 1025k| 2.6 | 81M| 45 | 6 | 50 |7903 | 50 | 18 | 18 | 211k|2647 | 0.000000e+00 | -- | Inf
241.12/241.24 c 225s|410000 |105755 | 1050k| 2.6 | 83M| 45 | - | 50 |7006 | 50 | 18 | 18 | 216k|2673 | 0.000000e+00 | -- | Inf
247.52/247.66 c 231s|420000 |108398 | 1076k| 2.6 | 85M| 45 | - | 50 |8184 | 50 | 18 | 18 | 222k|2705 | 0.000000e+00 | -- | Inf
254.82/254.92 c 238s|430000 |110656 | 1102k| 2.6 | 87M| 45 | - | 50 |7314 | 50 | 18 | 18 | 227k|2729 | 0.000000e+00 | -- | Inf
262.02/262.18 c 244s|440000 |113043 | 1128k| 2.6 | 89M| 45 | 6 | 50 |7125 | 50 | 18 | 18 | 232k|2751 | 0.000000e+00 | -- | Inf
269.12/269.23 c 251s|450000 |115334 | 1153k| 2.6 | 91M| 45 | - | 50 |7419 | 50 | 18 | 18 | 238k|2781 | 0.000000e+00 | -- | Inf
276.21/276.31 c 258s|460000 |117651 | 1178k| 2.6 | 93M| 45 | - | 50 |7588 | 50 | 18 | 18 | 244k|2810 | 0.000000e+00 | -- | Inf
283.81/283.96 c 265s|470000 |119797 | 1204k| 2.6 | 94M| 45 | - | 50 |7361 | 0 | 0 | 18 | 249k|2847 | 0.000000e+00 | -- | Inf
291.11/291.20 c 272s|480000 |122265 | 1230k| 2.6 | 96M| 45 | 6 | 50 |7467 | 50 | 18 | 18 | 254k|2864 | 0.000000e+00 | -- | Inf
298.32/298.48 c 279s|490000 |124524 | 1255k| 2.6 | 98M| 45 | - | 50 |7214 | 50 | 18 | 18 | 260k|2900 | 0.000000e+00 | -- | Inf
305.41/305.55 c 285s|500000 |126766 | 1281k| 2.6 | 100M| 45 | - | 50 |7616 | 50 | 18 | 18 | 265k|2931 | 0.000000e+00 | -- | Inf
312.11/312.28 c 292s|510000 |129184 | 1307k| 2.6 | 102M| 45 | 6 | 50 |9037 | 50 | 18 | 18 | 271k|2954 | 0.000000e+00 | -- | Inf
320.30/320.45 c 299s|520000 |131333 | 1332k| 2.6 | 104M| 45 | 6 | 50 |8213 | 50 | 18 | 18 | 277k|2982 | 0.000000e+00 | -- | Inf
327.50/327.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.50/327.62 c 306s|530000 |133869 | 1357k| 2.6 | 106M| 45 | - | 50 |8378 | 50 | 18 | 18 | 282k|3000 | 0.000000e+00 | -- | Inf
335.31/335.48 c 314s|540000 |136073 | 1383k| 2.6 | 108M| 45 | 6 | 50 |7878 | 50 | 18 | 18 | 287k|3038 | 0.000000e+00 | -- | Inf
343.00/343.16 c 321s|550000 |138265 | 1408k| 2.6 | 109M| 45 | - | 50 |7850 | 0 | 0 | 18 | 293k|3063 | 0.000000e+00 | -- | Inf
351.00/351.17 c 329s|560000 |140403 | 1434k| 2.6 | 111M| 45 | - | 50 |7583 | 50 | 18 | 18 | 298k|3086 | 0.000000e+00 | -- | Inf
358.10/358.25 c 335s|570000 |142807 | 1458k| 2.6 | 113M| 45 | 6 | 50 |7875 | 50 | 18 | 18 | 304k|3102 | 0.000000e+00 | -- | Inf
365.69/365.83 c 342s|580000 |145065 | 1484k| 2.6 | 115M| 45 | 6 | 50 |7965 | 50 | 18 | 18 | 309k|3123 | 0.000000e+00 | -- | Inf
373.19/373.37 c 349s|590000 |147403 | 1509k| 2.6 | 117M| 45 | - | 50 |7849 | 50 | 18 | 18 | 315k|3145 | 0.000000e+00 | -- | Inf
380.50/380.61 c 356s|600000 |149638 | 1534k| 2.6 | 119M| 45 | - | 50 |8294 | 50 | 18 | 18 | 320k|3166 | 0.000000e+00 | -- | Inf
387.99/388.13 c 363s|610000 |152010 | 1560k| 2.6 | 121M| 45 | - | 50 |8238 | 50 | 18 | 18 | 326k|3191 | 0.000000e+00 | -- | Inf
394.69/394.88 c 370s|620000 |154908 | 1586k| 2.6 | 123M| 45 | 6 | 50 |8931 | 50 | 18 | 18 | 331k|3210 | 0.000000e+00 | -- | Inf
402.09/402.28 c 377s|630000 |157333 | 1612k| 2.6 | 125M| 45 | - | 50 |9388 | 50 | 18 | 18 | 336k|3232 | 0.000000e+00 | -- | Inf
410.59/410.76 c 385s|640000 |159418 | 1637k| 2.6 | 127M| 45 | - | 50 |8611 | 0 | 0 | 18 | 342k|3246 | 0.000000e+00 | -- | Inf
418.68/418.88 c 393s|650000 |161484 | 1662k| 2.6 | 128M| 45 | 6 | 50 |8336 | 50 | 18 | 18 | 347k|3266 | 0.000000e+00 | -- | Inf
426.08/426.22 c 400s|660000 |163783 | 1687k| 2.6 | 130M| 45 | - | 50 |8821 | 50 | 18 | 18 | 353k|3279 | 0.000000e+00 | -- | Inf
433.88/434.09 c 407s|670000 |166141 | 1713k| 2.6 | 132M| 45 | 6 | 50 |8732 | 50 | 18 | 18 | 358k|3298 | 0.000000e+00 | -- | Inf
441.57/441.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.57/441.70 c 414s|680000 |168407 | 1738k| 2.6 | 134M| 45 | 6 | 50 |9352 | 50 | 18 | 18 | 364k|3326 | 0.000000e+00 | -- | Inf
449.57/449.70 c 422s|690000 |170677 | 1764k| 2.6 | 136M| 45 | - | 50 |9785 | 50 | 18 | 18 | 369k|3345 | 0.000000e+00 | -- | Inf
456.57/456.78 c 429s|700000 |173462 | 1789k| 2.6 | 138M| 45 | - | 50 |9982 | 0 | 0 | 18 | 374k|3361 | 0.000000e+00 | -- | Inf
465.67/465.80 c 437s|710000 |175531 | 1815k| 2.6 | 140M| 45 | 6 | 50 |8577 | 50 | 18 | 18 | 380k|3377 | 0.000000e+00 | -- | Inf
473.27/473.45 c 444s|720000 |177727 | 1840k| 2.6 | 142M| 45 | 6 | 50 |9152 | 50 | 18 | 18 | 386k|3396 | 0.000000e+00 | -- | Inf
479.96/480.14 c 451s|730000 |180558 | 1866k| 2.6 | 144M| 45 | 6 | 50 |9998 | 50 | 18 | 18 | 391k|3409 | 0.000000e+00 | -- | Inf
488.36/488.55 c 459s|740000 |182685 | 1892k| 2.6 | 146M| 45 | - | 50 |8958 | 50 | 18 | 18 | 396k|3422 | 0.000000e+00 | -- | Inf
496.76/496.92 c 467s|750000 |184703 | 1917k| 2.6 | 148M| 45 | 6 | 50 |8906 | 50 | 18 | 18 | 402k|3438 | 0.000000e+00 | -- | Inf
504.36/504.51 c 474s|760000 |187167 | 1943k| 2.6 | 150M| 45 | 6 | 50 |9487 | 50 | 18 | 18 | 407k|3453 | 0.000000e+00 | -- | Inf
512.25/512.44 c 481s|770000 |189429 | 1969k| 2.6 | 151M| 45 | 6 | 50 |9196 | 50 | 18 | 18 | 413k|3478 | 0.000000e+00 | -- | Inf
520.55/520.79 c 489s|780000 |191516 | 1994k| 2.6 | 153M| 45 | 6 | 50 |8890 | 50 | 18 | 18 | 419k|3495 | 0.000000e+00 | -- | Inf
527.76/528.00 c 496s|790000 |193991 | 2020k| 2.6 | 155M| 45 | 6 | 50 |9656 | 50 | 18 | 18 | 424k|3506 | 0.000000e+00 | -- | Inf
536.16/536.37 c 504s|800000 |196102 | 2046k| 2.6 | 157M| 45 | - | 50 |9360 | 0 | 0 | 18 | 430k|3526 | 0.000000e+00 | -- | Inf
544.95/545.14 c 513s|810000 |198101 | 2071k| 2.6 | 159M| 45 | - | 50 |8879 | 50 | 18 | 18 | 435k|3548 | 0.000000e+00 | -- | Inf
553.85/554.08 c 521s|820000 |200098 | 2096k| 2.6 | 160M| 45 | 6 | 50 |8664 | 50 | 18 | 18 | 441k|3569 | 0.000000e+00 | -- | Inf
562.14/562.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.14/562.35 c 529s|830000 |202191 | 2122k| 2.6 | 162M| 45 | 6 | 50 |8967 | 50 | 18 | 18 | 447k|3582 | 0.000000e+00 | -- | Inf
570.65/570.89 c 537s|840000 |204094 | 2147k| 2.6 | 164M| 45 | - | 50 |9026 | 0 | 0 | 18 | 453k|3598 | 0.000000e+00 | -- | Inf
579.24/579.43 c 545s|850000 |206096 | 2173k| 2.6 | 166M| 45 | - | 50 |9398 | 50 | 18 | 18 | 458k|3620 | 0.000000e+00 | -- | Inf
587.25/587.46 c 553s|860000 |208362 | 2198k| 2.6 | 168M| 45 | 6 | 50 |9507 | 50 | 18 | 18 | 464k|3635 | 0.000000e+00 | -- | Inf
595.44/595.62 c 561s|870000 |210494 | 2223k| 2.6 | 170M| 45 | - | 50 |9685 | 0 | 0 | 18 | 470k|3650 | 0.000000e+00 | -- | Inf
603.54/603.73 c 568s|880000 |212780 | 2249k| 2.6 | 171M| 45 | 6 | 50 |9643 | 50 | 18 | 18 | 475k|3670 | 0.000000e+00 | -- | Inf
610.63/610.85 c 575s|890000 |215620 | 2275k| 2.6 | 174M| 45 | - | 50 | 10k| 50 | 18 | 18 | 480k|3689 | 0.000000e+00 | -- | Inf
617.83/618.00 c 582s|900000 |218567 | 2299k| 2.6 | 176M| 45 | - | 50 | 10k| 50 | 18 | 18 | 485k|3711 | 0.000000e+00 | -- | Inf
626.13/626.30 c 590s|910000 |221068 | 2325k| 2.6 | 178M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 490k|3730 | 0.000000e+00 | -- | Inf
634.73/634.96 c 598s|920000 |223206 | 2350k| 2.6 | 179M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 496k|3750 | 0.000000e+00 | -- | Inf
643.83/644.03 c 607s|930000 |225378 | 2377k| 2.6 | 181M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 502k|3766 | 0.000000e+00 | -- | Inf
652.92/653.18 c 615s|940000 |227499 | 2402k| 2.6 | 183M| 45 | 6 | 50 |9718 | 50 | 18 | 18 | 507k|3788 | 0.000000e+00 | -- | Inf
660.22/660.40 c 622s|950000 |230506 | 2428k| 2.6 | 185M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 512k|3803 | 0.000000e+00 | -- | Inf
667.02/667.21 c 629s|960000 |233360 | 2454k| 2.6 | 187M| 45 | - | 50 | 11k| 50 | 18 | 18 | 518k|3824 | 0.000000e+00 | -- | Inf
677.22/677.41 c 638s|970000 |235329 | 2480k| 2.6 | 189M| 45 | - | 50 |9668 | 50 | 18 | 18 | 523k|3837 | 0.000000e+00 | -- | Inf
685.62/685.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.62/685.87 c 646s|980000 |237537 | 2505k| 2.6 | 191M| 45 | - | 50 |9752 | 0 | 0 | 18 | 529k|3847 | 0.000000e+00 | -- | Inf
694.31/694.51 c 655s|990000 |239773 | 2530k| 2.6 | 193M| 45 | - | 50 | 10k| 50 | 18 | 18 | 534k|3863 | 0.000000e+00 | -- | Inf
702.01/702.29 c 662s| 1000k|242152 | 2555k| 2.6 | 195M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 540k|3883 | 0.000000e+00 | -- | Inf
711.21/711.45 c 671s| 1010k|244207 | 2581k| 2.6 | 196M| 45 | 6 | 50 |9620 | 50 | 18 | 18 | 545k|3892 | 0.000000e+00 | -- | Inf
719.31/719.55 c 679s| 1020k|246815 | 2606k| 2.6 | 198M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 551k|3903 | 0.000000e+00 | -- | Inf
727.90/728.16 c 687s| 1030k|249116 | 2632k| 2.6 | 200M| 45 | - | 50 | 10k| 50 | 18 | 18 | 556k|3918 | 0.000000e+00 | -- | Inf
737.40/737.64 c 696s| 1040k|251157 | 2658k| 2.6 | 202M| 45 | 6 | 50 |9487 | 50 | 18 | 18 | 562k|3936 | 0.000000e+00 | -- | Inf
746.89/747.10 c 705s| 1050k|253216 | 2683k| 2.6 | 203M| 45 | - | 50 |9348 | 50 | 18 | 18 | 568k|3956 | 0.000000e+00 | -- | Inf
755.59/755.90 c 713s| 1060k|255402 | 2708k| 2.6 | 205M| 45 | 6 | 50 |9636 | 50 | 18 | 18 | 573k|3975 | 0.000000e+00 | -- | Inf
764.99/765.24 c 722s| 1070k|257469 | 2733k| 2.6 | 207M| 45 | - | 50 |9533 | 50 | 18 | 18 | 579k|3995 | 0.000000e+00 | -- | Inf
774.20/774.41 c 731s| 1080k|259518 | 2759k| 2.6 | 209M| 45 | - | 50 |9203 | 50 | 18 | 18 | 585k|4018 | 0.000000e+00 | -- | Inf
782.59/782.88 c 739s| 1090k|261656 | 2784k| 2.6 | 211M| 45 | 6 | 50 |9516 | 50 | 18 | 18 | 590k|4030 | 0.000000e+00 | -- | Inf
791.49/791.77 c 747s| 1100k|263827 | 2809k| 2.6 | 212M| 45 | - | 50 |9426 | 50 | 18 | 18 | 596k|4050 | 0.000000e+00 | -- | Inf
798.68/798.94 c 754s| 1110k|266447 | 2835k| 2.6 | 215M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 601k|4070 | 0.000000e+00 | -- | Inf
806.79/807.06 c 762s| 1120k|268882 | 2862k| 2.6 | 217M| 45 | - | 50 | 11k| 50 | 18 | 18 | 607k|4083 | 0.000000e+00 | -- | Inf
816.08/816.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.08/816.37 c 771s| 1130k|270802 | 2887k| 2.6 | 218M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 612k|4102 | 0.000000e+00 | -- | Inf
825.08/825.38 c 779s| 1140k|272938 | 2912k| 2.6 | 220M| 45 | - | 50 | 11k| 50 | 18 | 18 | 618k|4113 | 0.000000e+00 | -- | Inf
833.49/833.78 c 788s| 1150k|275231 | 2938k| 2.6 | 222M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 624k|4125 | 0.000000e+00 | -- | Inf
843.67/843.93 c 797s| 1160k|277453 | 2964k| 2.6 | 224M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 629k|4142 | 0.000000e+00 | -- | Inf
853.17/853.41 c 806s| 1170k|279408 | 2990k| 2.6 | 226M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 635k|4158 | 0.000000e+00 | -- | Inf
862.57/862.84 c 815s| 1180k|281618 | 3016k| 2.6 | 228M| 45 | - | 50 | 10k| 50 | 18 | 18 | 641k|4178 | 0.000000e+00 | -- | Inf
872.67/872.98 c 825s| 1190k|283521 | 3042k| 2.6 | 229M| 45 | - | 50 | 11k| 0 | 0 | 18 | 646k|4190 | 0.000000e+00 | -- | Inf
882.17/882.40 c 834s| 1200k|285625 | 3068k| 2.6 | 231M| 45 | - | 50 | 11k| 50 | 18 | 18 | 652k|4211 | 0.000000e+00 | -- | Inf
890.16/890.43 c 842s| 1210k|288328 | 3093k| 2.6 | 233M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 657k|4224 | 0.000000e+00 | -- | Inf
898.96/899.23 c 850s| 1220k|290635 | 3119k| 2.6 | 235M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 663k|4244 | 0.000000e+00 | -- | Inf
907.65/907.94 c 858s| 1230k|292965 | 3144k| 2.6 | 237M| 45 | - | 50 | 11k| 50 | 18 | 18 | 668k|4256 | 0.000000e+00 | -- | Inf
917.45/917.70 c 868s| 1240k|295114 | 3169k| 2.6 | 239M| 45 | - | 50 | 11k| 50 | 18 | 18 | 674k|4270 | 0.000000e+00 | -- | Inf
927.55/927.83 c 877s| 1250k|297108 | 3195k| 2.6 | 240M| 45 | - | 50 | 11k| 50 | 18 | 18 | 680k|4284 | 0.000000e+00 | -- | Inf
937.65/937.90 c 887s| 1260k|299218 | 3220k| 2.6 | 242M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 685k|4296 | 0.000000e+00 | -- | Inf
947.44/947.70 c 897s| 1270k|301232 | 3245k| 2.6 | 244M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 691k|4311 | 0.000000e+00 | -- | Inf
956.15/956.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
956.15/956.45 c 905s| 1280k|303712 | 3271k| 2.6 | 246M| 45 | - | 50 | 10k| 0 | 0 | 18 | 696k|4326 | 0.000000e+00 | -- | Inf
965.56/965.87 c 914s| 1290k|306115 | 3296k| 2.6 | 248M| 45 | - | 50 | 10k| 50 | 18 | 18 | 702k|4342 | 0.000000e+00 | -- | Inf
975.04/975.34 c 923s| 1300k|308235 | 3321k| 2.6 | 250M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 707k|4357 | 0.000000e+00 | -- | Inf
985.14/985.45 c 933s| 1310k|310275 | 3347k| 2.6 | 251M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 713k|4367 | 0.000000e+00 | -- | Inf
994.23/994.57 c 941s| 1320k|312731 | 3372k| 2.6 | 253M| 45 | - | 50 | 10k| 50 | 18 | 18 | 718k|4385 | 0.000000e+00 | -- | Inf
1004.04/1004.35 c 951s| 1330k|314825 | 3398k| 2.6 | 255M| 45 | - | 50 | 10k| 50 | 18 | 18 | 724k|4396 | 0.000000e+00 | -- | Inf
1013.94/1014.23 c 960s| 1340k|316947 | 3423k| 2.6 | 257M| 45 | - | 50 | 10k| 0 | 0 | 18 | 729k|4411 | 0.000000e+00 | -- | Inf
1023.73/1024.03 c 970s| 1350k|318987 | 3448k| 2.6 | 258M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 735k|4423 | 0.000000e+00 | -- | Inf
1031.02/1031.35 c 977s| 1360k|321674 | 3473k| 2.6 | 261M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 740k|4433 | 0.000000e+00 | -- | Inf
1040.13/1040.44 c 985s| 1370k|323872 | 3498k| 2.6 | 263M| 45 | - | 50 | 12k| 50 | 18 | 18 | 745k|4447 | 0.000000e+00 | -- | Inf
1050.52/1050.84 c 995s| 1380k|325976 | 3523k| 2.6 | 264M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 751k|4458 | 0.000000e+00 | -- | Inf
1061.32/1061.64 c 1006s| 1390k|327920 | 3549k| 2.6 | 266M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 757k|4485 | 0.000000e+00 | -- | Inf
1069.71/1070.02 c 1014s| 1400k|330104 | 3575k| 2.6 | 268M| 45 | - | 50 | 12k| 50 | 18 | 18 | 762k|4508 | 0.000000e+00 | -- | Inf
1080.51/1080.89 c 1024s| 1410k|332141 | 3601k| 2.6 | 270M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 768k|4523 | 0.000000e+00 | -- | Inf
1090.92/1091.25 c 1034s| 1420k|334085 | 3626k| 2.6 | 271M| 45 | - | 50 | 11k| 0 | 0 | 18 | 774k|4539 | 0.000000e+00 | -- | Inf
1101.21/1101.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.21/1101.55 c 1044s| 1430k|336080 | 3651k| 2.6 | 273M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 779k|4551 | 0.000000e+00 | -- | Inf
1111.21/1111.54 c 1054s| 1440k|338045 | 3676k| 2.6 | 275M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 785k|4566 | 0.000000e+00 | -- | Inf
1120.11/1120.40 c 1062s| 1450k|340259 | 3701k| 2.6 | 277M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 791k|4584 | 0.000000e+00 | -- | Inf
1130.10/1130.41 c 1072s| 1460k|342334 | 3726k| 2.6 | 279M| 45 | - | 50 | 11k| 50 | 18 | 18 | 796k|4596 | 0.000000e+00 | -- | Inf
1139.80/1140.12 c 1081s| 1470k|344427 | 3752k| 2.6 | 280M| 45 | - | 50 | 11k| 0 | 0 | 18 | 802k|4615 | 0.000000e+00 | -- | Inf
1149.40/1149.78 c 1090s| 1480k|346504 | 3778k| 2.6 | 282M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 808k|4626 | 0.000000e+00 | -- | Inf
1158.29/1158.66 c 1099s| 1490k|348915 | 3803k| 2.6 | 284M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 813k|4639 | 0.000000e+00 | -- | Inf
1168.90/1169.25 c 1109s| 1500k|351114 | 3829k| 2.6 | 286M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 819k|4660 | 0.000000e+00 | -- | Inf
1179.09/1179.49 c 1119s| 1510k|353347 | 3855k| 2.6 | 288M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 824k|4676 | 0.000000e+00 | -- | Inf
1188.79/1189.10 c 1128s| 1520k|355372 | 3881k| 2.6 | 290M| 45 | - | 50 | 12k| 50 | 18 | 18 | 830k|4685 | 0.000000e+00 | -- | Inf
1200.19/1200.57 c 1139s| 1530k|357328 | 3906k| 2.6 | 291M| 45 | - | 50 | 11k| 50 | 18 | 18 | 836k|4702 | 0.000000e+00 | -- | Inf
1209.78/1210.16 c 1148s| 1540k|359640 | 3931k| 2.6 | 293M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 841k|4718 | 0.000000e+00 | -- | Inf
1218.58/1218.97 c 1157s| 1550k|361993 | 3958k| 2.6 | 295M| 45 | - | 50 | 12k| 50 | 18 | 18 | 847k|4732 | 0.000000e+00 | -- | Inf
1230.67/1231.02 c 1168s| 1560k|363805 | 3984k| 2.6 | 297M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 853k|4746 | 0.000000e+00 | -- | Inf
1239.18/1239.55 c 1176s| 1570k|366140 | 4009k| 2.6 | 299M| 45 | - | 50 | 13k| 50 | 18 | 18 | 859k|4762 | 0.000000e+00 | -- | Inf
1247.27/1247.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1247.27/1247.68 c 1184s| 1580k|368955 | 4035k| 2.6 | 301M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 864k|4781 | 0.000000e+00 | -- | Inf
1256.77/1257.18 c 1193s| 1590k|371390 | 4061k| 2.6 | 303M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 869k|4793 | 0.000000e+00 | -- | Inf
1266.27/1266.67 c 1202s| 1600k|373565 | 4087k| 2.6 | 305M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 875k|4806 | 0.000000e+00 | -- | Inf
1276.57/1276.99 c 1212s| 1610k|375678 | 4114k| 2.6 | 306M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 881k|4821 | 0.000000e+00 | -- | Inf
1287.96/1288.33 c 1223s| 1620k|377675 | 4139k| 2.6 | 308M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 887k|4832 | 0.000000e+00 | -- | Inf
1297.86/1298.21 c 1233s| 1630k|379984 | 4165k| 2.6 | 310M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 892k|4841 | 0.000000e+00 | -- | Inf
1307.57/1307.92 c 1242s| 1640k|382140 | 4191k| 2.6 | 312M| 45 | - | 50 | 13k| 50 | 18 | 18 | 898k|4853 | 0.000000e+00 | -- | Inf
1319.75/1320.16 c 1254s| 1650k|383959 | 4217k| 2.6 | 313M| 45 | - | 50 | 11k| 50 | 18 | 18 | 904k|4865 | 0.000000e+00 | -- | Inf
1330.25/1330.63 c 1264s| 1660k|385920 | 4243k| 2.6 | 315M| 45 | - | 50 | 12k| 0 | 0 | 18 | 909k|4879 | 0.000000e+00 | -- | Inf
1341.05/1341.41 c 1274s| 1670k|387870 | 4268k| 2.6 | 317M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 915k|4888 | 0.000000e+00 | -- | Inf
1352.24/1352.64 c 1285s| 1680k|389754 | 4294k| 2.6 | 318M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 921k|4908 | 0.000000e+00 | -- | Inf
1362.94/1363.34 c 1295s| 1690k|391753 | 4319k| 2.6 | 320M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 927k|4920 | 0.000000e+00 | -- | Inf
1373.14/1373.50 c 1305s| 1700k|393761 | 4344k| 2.6 | 322M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 932k|4928 | 0.000000e+00 | -- | Inf
1382.94/1383.35 c 1315s| 1710k|395802 | 4369k| 2.6 | 324M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 938k|4938 | 0.000000e+00 | -- | Inf
1393.03/1393.44 c 1324s| 1720k|398308 | 4395k| 2.6 | 326M| 45 | - | 50 | 13k| 50 | 18 | 18 | 943k|4946 | 0.000000e+00 | -- | Inf
1401.83/1402.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.83/1402.21 c 1333s| 1730k|400695 | 4419k| 2.6 | 328M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 949k|4957 | 0.000000e+00 | -- | Inf
1413.63/1414.09 c 1344s| 1740k|402769 | 4445k| 2.6 | 330M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 954k|4963 | 0.000000e+00 | -- | Inf
1422.23/1422.62 c 1352s| 1750k|405310 | 4470k| 2.6 | 332M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 959k|4974 | 0.000000e+00 | -- | Inf
1430.32/1430.73 c 1360s| 1760k|407642 | 4496k| 2.6 | 334M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 965k|4988 | 0.000000e+00 | -- | Inf
1442.82/1443.23 c 1372s| 1770k|409714 | 4521k| 2.6 | 335M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 971k|4997 | 0.000000e+00 | -- | Inf
1455.51/1455.98 c 1385s| 1780k|411562 | 4547k| 2.6 | 337M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 976k|5007 | 0.000000e+00 | -- | Inf
1466.51/1466.97 c 1395s| 1790k|413603 | 4571k| 2.6 | 338M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 982k|5017 | 0.000000e+00 | -- | Inf
1477.81/1478.23 c 1406s| 1800k|415315 | 4596k| 2.6 | 340M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 988k|5026 | 0.000000e+00 | -- | Inf
1489.20/1489.63 c 1417s| 1810k|417276 | 4622k| 2.6 | 342M| 45 | - | 50 | 11k| 50 | 18 | 18 | 994k|5043 | 0.000000e+00 | -- | Inf
1499.60/1500.07 c 1427s| 1820k|419490 | 4647k| 2.6 | 344M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 999k|5055 | 0.000000e+00 | -- | Inf
1509.40/1509.82 c 1436s| 1830k|421570 | 4673k| 2.6 | 346M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1005k|5067 | 0.000000e+00 | -- | Inf
1517.79/1518.25 c 1444s| 1840k|424103 | 4699k| 2.6 | 348M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1010k|5081 | 0.000000e+00 | -- | Inf
1529.19/1529.65 c 1455s| 1850k|426173 | 4724k| 2.6 | 350M| 45 | - | 50 | 13k| 0 | 0 | 18 |1016k|5089 | 0.000000e+00 | -- | Inf
1540.59/1541.02 c 1466s| 1860k|428195 | 4750k| 2.6 | 351M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1021k|5104 | 0.000000e+00 | -- | Inf
1551.89/1552.38 c 1477s| 1870k|430330 | 4775k| 2.6 | 353M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1027k|5115 | 0.000000e+00 | -- | Inf
1562.38/1562.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.38/1562.80 c 1487s| 1880k|432714 | 4801k| 2.6 | 355M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1033k|5128 | 0.000000e+00 | -- | Inf
1570.68/1571.16 c 1495s| 1890k|435309 | 4826k| 2.6 | 357M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1038k|5136 | 0.000000e+00 | -- | Inf
1581.39/1581.87 c 1506s| 1900k|437417 | 4851k| 2.6 | 359M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1043k|5148 | 0.000000e+00 | -- | Inf
1592.48/1592.93 c 1516s| 1910k|439473 | 4877k| 2.6 | 360M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1049k|5160 | 0.000000e+00 | -- | Inf
1602.98/1603.47 c 1526s| 1920k|441464 | 4902k| 2.6 | 362M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1055k|5169 | 0.000000e+00 | -- | Inf
1612.57/1613.04 c 1536s| 1930k|443680 | 4928k| 2.6 | 364M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1061k|5181 | 0.000000e+00 | -- | Inf
1623.37/1623.85 c 1546s| 1940k|445819 | 4953k| 2.6 | 366M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1066k|5196 | 0.000000e+00 | -- | Inf
1633.37/1633.83 c 1556s| 1950k|447981 | 4979k| 2.6 | 368M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1072k|5204 | 0.000000e+00 | -- | Inf
1642.57/1643.09 c 1564s| 1960k|450334 | 5004k| 2.6 | 370M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1077k|5219 | 0.000000e+00 | -- | Inf
1654.36/1654.82 c 1576s| 1970k|452547 | 5031k| 2.6 | 372M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1083k|5229 | 0.000000e+00 | -- | Inf
1667.45/1667.96 c 1588s| 1980k|454382 | 5056k| 2.6 | 373M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1089k|5242 | 0.000000e+00 | -- | Inf
1677.55/1678.00 c 1598s| 1990k|456592 | 5081k| 2.6 | 375M| 45 | - | 50 | 13k| 0 | 0 | 18 |1094k|5256 | 0.000000e+00 | -- | Inf
1685.46/1685.92 c 1606s| 2000k|459128 | 5108k| 2.6 | 377M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1100k|5265 | 0.000000e+00 | -- | Inf
1693.75/1694.30 c 1614s| 2010k|461443 | 5135k| 2.6 | 380M| 45 | - | 50 | 15k| 50 | 18 | 18 |1105k|5276 | 0.000000e+00 | -- | Inf
1704.65/1705.17 c 1624s| 2020k|463741 | 5161k| 2.6 | 381M| 45 | - | 50 | 14k| 50 | 18 | 18 |1111k|5284 | 0.000000e+00 | -- | Inf
1714.75/1715.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.75/1715.22 c 1634s| 2030k|466208 | 5186k| 2.6 | 383M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1116k|5295 | 0.000000e+00 | -- | Inf
1726.25/1726.74 c 1645s| 2040k|468613 | 5212k| 2.6 | 385M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1122k|5310 | 0.000000e+00 | -- | Inf
1738.74/1739.20 c 1657s| 2050k|470469 | 5237k| 2.6 | 387M| 45 | - | 50 | 13k| 50 | 18 | 18 |1128k|5322 | 0.000000e+00 | -- | Inf
1751.24/1751.74 c 1669s| 2060k|472309 | 5263k| 2.6 | 388M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1134k|5334 | 0.000000e+00 | -- | Inf
1762.74/1763.25 c 1680s| 2070k|474365 | 5288k| 2.6 | 390M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1139k|5349 | 0.000000e+00 | -- | Inf
1771.13/1771.64 c 1688s| 2080k|477061 | 5314k| 2.6 | 392M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1145k|5361 | 0.000000e+00 | -- | Inf
1782.83/1783.34 c 1699s| 2090k|479261 | 5339k| 2.6 | 394M| 45 | - | 50 | 13k| 50 | 18 | 18 |1150k|5371 | 0.000000e+00 | -- | Inf
1792.73/1793.29 c 1709s| 2100k|481516 | 5365k| 2.6 | 396M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1156k|5381 | 0.000000e+00 | -- | Inf
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.51 c
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time (sec) : 1715.87
1800.04/1800.51 c Solving Nodes : 2106422
1800.04/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.51 c Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Gap : infinite
1800.04/1800.51 s UNKNOWN
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1715.87
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2666873-1276601876.opb
1800.04/1800.51 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 13 initial, 13 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2666873-1276601876.opb
1800.04/1800.51 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 6 initial, 16053 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.51 c linear : 0.00 0 0 0 0 0 7 0 0
1800.04/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 0 - - 0 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 1314834 0 549 2334 0 0 2624114
1800.04/1800.51 c linear : 6 6 4910749 0 0 157905 2561266 0 0 0
1800.04/1800.51 c logicor : 0+ 0 2146146 0 0 3427 736347 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 17.63 0.00 0.00 17.63 0.00
1800.04/1800.51 c linear : 212.65 0.00 212.65 0.00 0.00
1800.04/1800.51 c logicor : 573.48 0.00 573.48 0.00 0.00
1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 2.66 2 0 0
1800.04/1800.51 c rootredcost : 2.61 0 0 0
1800.04/1800.51 c pseudoobj : 2.28 0 0 0
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 16.72 161332 130002 479500 35.5 15 30.1 -
1800.04/1800.51 c infeasible LP : 43.55 662242 662232 1272856 23.4 7450 28.0 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.51 c applied globally : - - - 1016305 21.0 - - -
1800.04/1800.51 c applied locally : - - - 143507 33.7 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.00 5 - - 12 - (maximal pool size: 70)
1800.04/1800.51 c redcost : 3.24 1314837 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 0.01 6 0 0 0 0
1800.04/1800.51 c strongcg : 0.01 6 0 0 22 0
1800.04/1800.51 c cmir : 0.01 6 0 0 26 0
1800.04/1800.51 c flowcover : 0.01 6 0 0 34 0
1800.04/1800.51 c clique : 0.01 1 0 0 0 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.00 1 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.06 1 0 0 0 0
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c relpscost : 15.65 1314834 549 2334 0 0 2624114
1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c random : 0.00 0 0 0 0 0 0
1800.04/1800.51 c Primal Heuristics : Time Calls Found
1800.04/1800.51 c LP solutions : 0.00 - 0
1800.04/1800.51 c pseudo solutions : 0.00 - 0
1800.04/1800.51 c oneopt : 2.07 0 0
1800.04/1800.51 c crossover : 1.14 0 0
1800.04/1800.51 c guideddiving : 0.15 0 0
1800.04/1800.51 c objpscostdiving : 0.15 22 0
1800.04/1800.51 c rootsoldiving : 0.13 22 0
1800.04/1800.51 c coefdiving : 0.21 44 0
1800.04/1800.51 c linesearchdiving : 0.10 44 0
1800.04/1800.51 c pscostdiving : 0.13 44 0
1800.04/1800.51 c fracdiving : 0.13 44 0
1800.04/1800.51 c veclendiving : 0.17 44 0
1800.04/1800.51 c feaspump : 0.09 23 0
1800.04/1800.51 c trivial : 0.00 2 0
1800.04/1800.51 c simplerounding : 0.77 0 0
1800.04/1800.51 c zirounding : 1.06 1000 0
1800.04/1800.51 c rounding : 1.70 16169 0
1800.04/1800.51 c shifting : 3.38 5178 0
1800.04/1800.51 c intshifting : 0.04 0 0
1800.04/1800.51 c twoopt : 0.00 0 0
1800.04/1800.51 c fixandinfer : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 0.05 1 0
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 1.10 0 0
1800.04/1800.51 c trysol : 1.56 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.51 c dual LP : 208.09 1931175 5380045 2.79 25854.41
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 0.15 994 1992 2.00 13280.00
1800.04/1800.51 c strong branching : 0.98 5388 21405 3.97 21841.84
1800.04/1800.51 c (at root node) : - 9 292 32.44 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 2106422
1800.04/1800.51 c nodes (total) : 2106422
1800.04/1800.51 c nodes left : 482828
1800.04/1800.51 c max depth : 45
1800.04/1800.51 c max depth (total): 45
1800.04/1800.51 c backtracks : 273514 (13.0%)
1800.04/1800.51 c delayed cutoffs : 34865
1800.04/1800.51 c repropagations : 1807754 (974552 domain reductions, 29237 cutoffs)
1800.04/1800.51 c avg switch length: 5.60
1800.04/1800.51 c switching time : 379.54
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 0 (0 improvements)
1800.04/1800.51 c Primal Bound : -
1800.04/1800.51 c Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Gap : infinite
1800.04/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Root Iterations : 131
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666873-1276601876/watcher-2666873-1276601876 -o /tmp/evaluation-result-2666873-1276601876/solver-2666873-1276601876 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666873-1276601876.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: 0.92 0.98 0.99 3/106 3047
/proc/meminfo: memFree=1779388/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=6692 CPUtime=0
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 978 0 0 0 0 0 0 0 20 0 1 0 35773979 6852608 897 1992294400 4194304 8223781 140735625286128 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3047/statm: 1674 898 343 984 0 687 0
[startup+0.0482019 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 3047
/proc/meminfo: memFree=1779388/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=19596 CPUtime=0.04
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 4876 0 0 0 2 2 0 0 20 0 1 0 35773979 20066304 3649 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 4899 3649 563 984 0 3912 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19596
[startup+0.101208 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 3047
/proc/meminfo: memFree=1779388/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=19596 CPUtime=0.09
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 4906 0 0 0 6 3 0 0 20 0 1 0 35773979 20066304 3679 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 4899 3679 568 984 0 3912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19596
[startup+0.301228 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 3047
/proc/meminfo: memFree=1779388/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=13104 CPUtime=0.29
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 7890 0 0 0 24 5 0 0 20 0 1 0 35773979 13418496 2426 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 3276 2426 588 984 0 2289 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13104
[startup+0.701269 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 3047
/proc/meminfo: memFree=1779388/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=13248 CPUtime=0.7
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 7896 0 0 0 61 9 0 0 21 0 1 0 35773979 13565952 2432 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 3312 2432 588 984 0 2325 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13248
[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 3048
/proc/meminfo: memFree=1771196/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=14176 CPUtime=1.49
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 8152 0 0 0 132 17 0 0 23 0 1 0 35773979 14516224 2688 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 3544 2688 588 984 0 2557 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14176
[startup+3.10151 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 3048
/proc/meminfo: memFree=1769336/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=16528 CPUtime=3.09
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 8749 0 0 0 277 32 0 0 25 0 1 0 35773979 16924672 3285 1992294400 4194304 8223781 140735625286128 18446744073709551615 4561346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 4132 3285 588 984 0 3145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16528
[startup+6.30083 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 3048
/proc/meminfo: memFree=1765740/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=19444 CPUtime=6.29
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 9447 0 0 0 571 58 0 0 25 0 1 0 35773979 19910656 3983 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 4861 3983 588 984 0 3874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19444
[startup+12.7005 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 3048
/proc/meminfo: memFree=1762020/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=23092 CPUtime=12.69
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 10405 0 0 0 1158 111 0 0 25 0 1 0 35773979 23646208 4941 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 5773 4941 588 984 0 4786 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23092
[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 3048
/proc/meminfo: memFree=1754828/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=29744 CPUtime=25.49
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 12072 0 0 0 2326 223 0 0 25 0 1 0 35773979 30457856 6608 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 7436 6608 588 984 0 6449 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29744
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 3048
/proc/meminfo: memFree=1743544/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=40856 CPUtime=51.07
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 14886 0 0 0 4690 417 0 0 25 0 1 0 35773979 41836544 9422 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 10214 9422 588 984 0 9227 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40856
[startup+102.308 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 3050
/proc/meminfo: memFree=1723084/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=61144 CPUtime=102.27
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 19956 0 0 0 9447 780 0 0 25 0 1 0 35773979 62611456 14492 1992294400 4194304 8223781 140735625286128 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 15286 14492 588 984 0 14299 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 61144
[startup+162.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 3052
/proc/meminfo: memFree=1702500/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=83080 CPUtime=162.24
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 25040 0 0 0 15048 1176 0 0 25 0 1 0 35773979 85073920 19576 1992294400 4194304 8223781 140735625286128 18446744073709551615 4983312 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 20770 19576 588 984 0 19783 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83080
[startup+222.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 3054
/proc/meminfo: memFree=1682908/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=102336 CPUtime=222.23
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 29930 0 0 0 20699 1524 0 0 25 0 1 0 35773979 104792064 24466 1992294400 4194304 8223781 140735625286128 18446744073709551615 5000130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 25584 24466 588 984 0 24597 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 102336
[startup+282.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 3054
/proc/meminfo: memFree=1665424/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=119440 CPUtime=282.21
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 34262 0 0 0 26341 1880 0 0 25 0 1 0 35773979 122306560 28798 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 29860 28798 588 984 0 28873 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 119440
[startup+342.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 3056
/proc/meminfo: memFree=1650544/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=133940 CPUtime=342.2
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 37938 0 0 0 32019 2201 0 0 25 0 1 0 35773979 137154560 32474 1992294400 4194304 8223781 140735625286128 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 33485 32474 588 984 0 32498 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 133940
[startup+402.302 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 3058
/proc/meminfo: memFree=1630580/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=154024 CPUtime=402.18
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 42928 0 0 0 37684 2534 0 0 25 0 1 0 35773979 157720576 37464 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 38506 37464 588 984 0 37519 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 154024
[startup+462.301 s]
/proc/loadavg: 1.16 1.07 1.01 2/107 3060
/proc/meminfo: memFree=1614088/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=169980 CPUtime=462.17
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 47002 0 0 0 43384 2833 0 0 25 0 1 0 35773979 174059520 41538 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 42495 41538 588 984 0 41508 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 169980
[startup+522.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 3062
/proc/meminfo: memFree=1599704/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=184380 CPUtime=522.15
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 50583 0 0 0 49084 3131 0 0 25 0 1 0 35773979 188805120 45119 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 46095 45119 588 984 0 45108 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 184380
[startup+582.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 3062
/proc/meminfo: memFree=1586932/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=200648 CPUtime=582.13
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 53720 0 0 0 54800 3413 0 0 25 0 1 0 35773979 205463552 48256 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 50162 48256 588 984 0 49175 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 200648
[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 3064
/proc/meminfo: memFree=1571060/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=216304 CPUtime=642.13
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 57672 0 0 0 60503 3710 0 0 25 0 1 0 35773979 221495296 52208 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 54076 52208 588 984 0 53089 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 216304
[startup+702.301 s]
################
# More data... #
################
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 79832 0 0 0 100638 5564 0 0 25 0 1 0 35773979 310714368 74368 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 75858 74368 588 984 0 74871 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 303432
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3078
/proc/meminfo: memFree=1467892/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=316780 CPUtime=1122.01
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 83244 0 0 0 106395 5806 0 0 25 0 1 0 35773979 324382720 77780 1992294400 4194304 8223781 140735625286128 18446744073709551615 4431494 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 79195 77780 588 984 0 78208 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 316780
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3078
/proc/meminfo: memFree=1459832/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=325052 CPUtime=1181.98
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 85283 0 0 0 112149 6049 0 0 25 0 1 0 35773979 332853248 79819 1992294400 4194304 8223781 140735625286128 18446744073709551615 4981223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 81263 79819 588 984 0 80276 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 325052
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3080
/proc/meminfo: memFree=1447680/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=336616 CPUtime=1241.97
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 88222 0 0 0 117908 6289 0 0 25 0 1 0 35773979 344694784 82758 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 84154 82758 588 984 0 83167 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 336616
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3082
/proc/meminfo: memFree=1435528/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=348704 CPUtime=1301.96
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 91220 0 0 0 123665 6531 0 0 25 0 1 0 35773979 357072896 85756 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 87176 85756 588 984 0 86189 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 348704
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3084
/proc/meminfo: memFree=1427716/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=356204 CPUtime=1361.95
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 93174 0 0 0 129447 6748 0 0 25 0 1 0 35773979 364752896 87710 1992294400 4194304 8223781 140735625286128 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 89051 87710 588 984 0 88064 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 356204
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3095
/proc/meminfo: memFree=1414324/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=369180 CPUtime=1421.93
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 96460 0 0 0 135208 6985 0 0 25 0 1 0 35773979 378040320 90996 1992294400 4194304 8223781 140735625286128 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 92295 90996 588 984 0 91308 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 369180
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3095
/proc/meminfo: memFree=1406512/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=376764 CPUtime=1481.91
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 98410 0 0 0 140981 7210 0 0 25 0 1 0 35773979 385806336 92946 1992294400 4194304 8223781 140735625286128 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 94191 92946 588 984 0 93204 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 376764
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3097
/proc/meminfo: memFree=1395352/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=388332 CPUtime=1541.89
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 101174 0 0 0 146760 7429 0 0 25 0 1 0 35773979 397651968 95710 1992294400 4194304 8223781 140735625286128 18446744073709551615 6002744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 97083 95710 588 984 0 96096 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 388332
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3099
/proc/meminfo: memFree=1381960/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=401412 CPUtime=1601.88
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 104521 0 0 0 152527 7661 0 0 25 0 1 0 35773979 411045888 99057 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 100353 99057 588 984 0 99366 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 401412
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3101
/proc/meminfo: memFree=1373156/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=409964 CPUtime=1661.86
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 106728 0 0 0 158296 7890 0 0 25 0 1 0 35773979 419803136 101264 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 102491 101264 588 984 0 101504 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 409964
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3103
/proc/meminfo: memFree=1360632/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=430360 CPUtime=1721.84
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 109840 0 0 0 164048 8136 0 0 25 0 1 0 35773979 440688640 104376 1992294400 4194304 8223781 140735625286128 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 107590 104376 588 984 0 106603 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 430360
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3103
/proc/meminfo: memFree=1351456/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=438896 CPUtime=1781.83
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 112051 0 0 0 169833 8350 0 0 25 0 1 0 35773979 449429504 106587 1992294400 4194304 8223781 140735625286128 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 109724 106587 588 984 0 108737 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 438896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 3105
/proc/meminfo: memFree=1348852/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=441424 CPUtime=1800.04
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 112705 0 0 0 171587 8417 0 0 25 0 1 0 35773979 452018176 107241 1992294400 4194304 8223781 140735625286128 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3047/statm: 110356 107241 588 984 0 109369 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 441424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -3047
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3106
/proc/meminfo: memFree=1348844/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=441424 CPUtime=1800.93
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 112706 0 0 0 171676 8417 0 0 25 0 1 0 35773979 452018176 107242 1992294400 4194304 8223781 140735625286128 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3047/statm: 110356 107242 589 984 0 109369 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 441424
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3106
/proc/meminfo: memFree=1348844/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=441424 CPUtime=1801.73
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 112706 0 0 0 171756 8417 0 0 25 0 1 0 35773979 452018176 107242 1992294400 4194304 8223781 140735625286128 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3047/statm: 110356 107242 589 984 0 109369 0
Current children cumulated CPU time (s) 1801.73
Current children cumulated vsize (KiB) 441424
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3106
/proc/meminfo: memFree=1348844/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=441424 CPUtime=1801.93
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 112706 0 0 0 171776 8417 0 0 25 0 1 0 35773979 452018176 107242 1992294400 4194304 8223781 140735625286128 18446744073709551615 4212060 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3047/statm: 110356 107242 589 984 0 109369 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 441424
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 3106
/proc/meminfo: memFree=1348844/2059040 swapFree=4134608/4192956
[pid=3047] ppid=3045 vsize=441424 CPUtime=1802.03
/proc/3047/stat : 3047 (pbscip.linux.x8) R 3045 3047 2403 0 -1 4202496 112706 0 0 0 171786 8417 0 0 25 0 1 0 35773979 452018176 107242 1992294400 4194304 8223781 140735625286128 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3047/statm: 110356 107242 589 984 0 109369 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 441424
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.09
CPU user time (s): 1717.87
CPU system time (s): 84.2172
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 441424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1717.87
system time used= 84.2172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112706
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= 4876
runsolver used 2.98355 second user time and 8.5177 second system time
The end