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-2666877-1276613686.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 | 28 | - | 273k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 98 | - | 304k| 0 | 9 | 50 | 7 | 50 | 12 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 105 | - | 339k| 0 | 12 | 50 | 7 | 50 | 16 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 116 | - | 371k| 0 | 15 | 50 | 7 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 126 | - | 390k| 0 | 15 | 50 | 7 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 131 | - | 395k| 0 | 17 | 50 | 7 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 144 | - | 404k| 0 | 18 | 50 | 7 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 2 | 144 | - | 404k| 0 | 18 | 50 | 7 | 50 | 29 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
4.69/4.72 c 4.2s| 10000 | 3484 | 25352 | 2.5 |4023k| 43 | 6 | 50 |3358 | 50 | 18 | 23 |4652 | 590 | 0.000000e+00 | -- | Inf
9.59/9.63 c 8.8s| 20000 | 6206 | 49591 | 2.5 |6010k| 44 | - | 50 |3137 | 50 | 18 | 23 |9927 | 780 | 0.000000e+00 | -- | Inf
14.49/14.52 c 13.3s| 30000 | 8827 | 73523 | 2.4 |7996k| 44 | 6 | 50 |3507 | 50 | 18 | 23 | 15k| 921 | 0.000000e+00 | -- | Inf
19.39/19.47 c 17.9s| 40000 | 11330 | 97433 | 2.4 | 10M| 44 | 6 | 50 |4166 | 50 | 18 | 23 | 20k|1045 | 0.000000e+00 | -- | Inf
24.48/24.57 c 22.6s| 50000 | 13992 |120939 | 2.4 | 12M| 44 | - | 50 |4423 | 0 | 0 | 23 | 25k|1153 | 0.000000e+00 | -- | Inf
29.88/29.93 c 27.5s| 60000 | 16275 |144895 | 2.4 | 13M| 44 | 6 | 50 |4778 | 50 | 18 | 23 | 31k|1235 | 0.000000e+00 | -- | Inf
35.29/35.38 c 32.6s| 70000 | 18569 |169028 | 2.4 | 15M| 44 | - | 50 |4391 | 0 | 0 | 23 | 36k|1324 | 0.000000e+00 | -- | Inf
40.78/40.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.78/40.82 c 37.7s| 80000 | 21029 |193082 | 2.4 | 17M| 44 | - | 50 |4842 | 50 | 18 | 23 | 41k|1423 | 0.000000e+00 | -- | Inf
46.48/46.51 c 43.0s| 90000 | 23150 |216435 | 2.4 | 19M| 45 | - | 50 |5023 | 0 | 0 | 23 | 47k|1491 | 0.000000e+00 | -- | Inf
51.59/51.64 c 47.8s|100000 | 26049 |241052 | 2.4 | 22M| 45 | 6 | 50 |6405 | 50 | 18 | 23 | 52k|1550 | 0.000000e+00 | -- | Inf
57.57/57.64 c 53.4s|110000 | 28372 |264040 | 2.4 | 23M| 45 | 6 | 50 |5759 | 50 | 18 | 23 | 57k|1603 | 0.000000e+00 | -- | Inf
63.58/63.68 c 59.0s|120000 | 30573 |287676 | 2.4 | 25M| 45 | 6 | 50 |6231 | 50 | 18 | 23 | 63k|1667 | 0.000000e+00 | -- | Inf
69.77/69.80 c 64.8s|130000 | 32761 |311128 | 2.4 | 27M| 45 | - | 50 |5878 | 50 | 18 | 23 | 69k|1722 | 0.000000e+00 | -- | Inf
75.97/76.03 c 70.6s|140000 | 34833 |334613 | 2.4 | 29M| 45 | 6 | 50 |5989 | 50 | 18 | 23 | 74k|1775 | 0.000000e+00 | -- | Inf
82.07/82.14 c 76.3s|150000 | 36961 |358100 | 2.4 | 31M| 45 | 6 | 50 |5958 | 50 | 18 | 23 | 80k|1818 | 0.000000e+00 | -- | Inf
87.87/87.91 c 81.7s|160000 | 39347 |381560 | 2.4 | 33M| 45 | 6 | 50 |6689 | 50 | 18 | 23 | 85k|1863 | 0.000000e+00 | -- | Inf
93.87/93.93 c 87.3s|170000 | 41640 |404569 | 2.4 | 35M| 45 | 6 | 50 |6759 | 50 | 18 | 23 | 91k|1910 | 0.000000e+00 | -- | Inf
100.46/100.53 c 93.5s|180000 | 43761 |427969 | 2.4 | 36M| 45 | - | 50 |6544 | 50 | 18 | 23 | 96k|1961 | 0.000000e+00 | -- | Inf
107.16/107.20 c 99.8s|190000 | 45883 |451206 | 2.4 | 38M| 45 | - | 50 |6352 | 50 | 18 | 23 | 102k|2003 | 0.000000e+00 | -- | Inf
113.66/113.77 c 106s|200000 | 47837 |474703 | 2.4 | 40M| 45 | 6 | 50 |6907 | 50 | 18 | 23 | 107k|2035 | 0.000000e+00 | -- | Inf
120.15/120.21 c 112s|210000 | 50007 |498299 | 2.4 | 42M| 45 | 6 | 50 |6716 | 50 | 18 | 23 | 113k|2080 | 0.000000e+00 | -- | Inf
126.66/126.72 c 118s|220000 | 52136 |521844 | 2.4 | 44M| 45 | 6 | 50 |6834 | 50 | 18 | 23 | 118k|2114 | 0.000000e+00 | -- | Inf
132.96/133.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.96/133.00 c 124s|230000 | 54448 |545607 | 2.4 | 46M| 45 | 6 | 50 |7294 | 50 | 18 | 23 | 124k|2145 | 0.000000e+00 | -- | Inf
139.57/139.66 c 130s|240000 | 56575 |568634 | 2.4 | 47M| 45 | - | 50 |7790 | 50 | 18 | 23 | 129k|2179 | 0.000000e+00 | -- | Inf
146.16/146.24 c 136s|250000 | 58996 |592196 | 2.4 | 49M| 45 | - | 50 |7160 | 50 | 18 | 23 | 135k|2233 | 0.000000e+00 | -- | Inf
152.86/152.96 c 143s|260000 | 61089 |615955 | 2.4 | 51M| 45 | - | 50 |6916 | 50 | 18 | 23 | 140k|2267 | 0.000000e+00 | -- | Inf
159.55/159.67 c 149s|270000 | 63225 |639703 | 2.4 | 53M| 45 | - | 50 |7457 | 0 | 0 | 23 | 146k|2301 | 0.000000e+00 | -- | Inf
165.95/166.07 c 155s|280000 | 65640 |663404 | 2.4 | 55M| 45 | - | 50 |8052 | 50 | 18 | 23 | 151k|2326 | 0.000000e+00 | -- | Inf
172.65/172.74 c 161s|290000 | 67775 |686763 | 2.4 | 57M| 45 | 6 | 50 |8067 | 50 | 18 | 23 | 157k|2360 | 0.000000e+00 | -- | Inf
179.65/179.79 c 168s|300000 | 69721 |710026 | 2.4 | 58M| 45 | 6 | 50 |7234 | 50 | 18 | 23 | 163k|2388 | 0.000000e+00 | -- | Inf
186.04/186.15 c 174s|310000 | 71967 |733921 | 2.4 | 60M| 45 | 6 | 50 |8166 | 50 | 18 | 23 | 168k|2417 | 0.000000e+00 | -- | Inf
192.64/192.71 c 180s|320000 | 74176 |757639 | 2.4 | 62M| 45 | - | 50 |8377 | 50 | 18 | 23 | 174k|2437 | 0.000000e+00 | -- | Inf
199.94/200.07 c 187s|330000 | 76093 |780984 | 2.4 | 63M| 45 | - | 50 |7164 | 0 | 0 | 23 | 179k|2471 | 0.000000e+00 | -- | Inf
207.04/207.19 c 194s|340000 | 78097 |804566 | 2.4 | 65M| 45 | - | 50 |7257 | 0 | 0 | 23 | 185k|2505 | 0.000000e+00 | -- | Inf
213.73/213.88 c 200s|350000 | 80089 |828244 | 2.4 | 67M| 45 | - | 50 |7527 | 50 | 18 | 23 | 191k|2535 | 0.000000e+00 | -- | Inf
220.23/220.36 c 206s|360000 | 82133 |850665 | 2.4 | 69M| 45 | 6 | 50 |8021 | 50 | 18 | 23 | 196k|2561 | 0.000000e+00 | -- | Inf
227.53/227.68 c 213s|370000 | 83957 |873771 | 2.4 | 70M| 45 | - | 50 |7779 | 0 | 0 | 23 | 202k|2587 | 0.000000e+00 | -- | Inf
233.82/233.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.82/233.96 c 219s|380000 | 86343 |897431 | 2.4 | 73M| 45 | 6 | 50 |8763 | 50 | 18 | 23 | 207k|2611 | 0.000000e+00 | -- | Inf
241.43/241.54 c 226s|390000 | 88277 |920829 | 2.4 | 74M| 45 | - | 50 |8117 | 0 | 0 | 23 | 213k|2637 | 0.000000e+00 | -- | Inf
248.53/248.62 c 233s|400000 | 90325 |944574 | 2.4 | 76M| 45 | 6 | 50 |8613 | 50 | 18 | 23 | 219k|2665 | 0.000000e+00 | -- | Inf
255.22/255.37 c 239s|410000 | 92689 |968383 | 2.4 | 78M| 45 | - | 50 |9740 | 50 | 18 | 23 | 224k|2688 | 0.000000e+00 | -- | Inf
263.02/263.18 c 247s|420000 | 94641 |991804 | 2.4 | 80M| 45 | 6 | 50 |8435 | 50 | 18 | 23 | 230k|2712 | 0.000000e+00 | -- | Inf
269.21/269.37 c 252s|430000 | 97230 | 1015k| 2.4 | 82M| 45 | - | 50 | 10k| 50 | 18 | 23 | 235k|2735 | 0.000000e+00 | -- | Inf
277.31/277.46 c 260s|440000 | 99241 | 1038k| 2.4 | 83M| 45 | - | 50 |8732 | 50 | 18 | 23 | 240k|2760 | 0.000000e+00 | -- | Inf
284.72/284.87 c 267s|450000 |101295 | 1062k| 2.4 | 85M| 45 | 6 | 50 |8468 | 50 | 18 | 23 | 246k|2787 | 0.000000e+00 | -- | Inf
291.31/291.47 c 273s|460000 |103809 | 1086k| 2.4 | 87M| 45 | 6 | 50 |8653 | 50 | 18 | 23 | 252k|2801 | 0.000000e+00 | -- | Inf
298.71/298.89 c 280s|470000 |105800 | 1110k| 2.4 | 89M| 45 | - | 50 |7941 | 0 | 0 | 23 | 257k|2822 | 0.000000e+00 | -- | Inf
306.51/306.63 c 288s|480000 |107693 | 1133k| 2.4 | 90M| 45 | - | 50 |7459 | 50 | 18 | 23 | 263k|2845 | 0.000000e+00 | -- | Inf
313.31/313.41 c 294s|490000 |109739 | 1157k| 2.4 | 92M| 45 | 6 | 50 |7898 | 50 | 18 | 23 | 268k|2864 | 0.000000e+00 | -- | Inf
320.20/320.34 c 301s|500000 |111942 | 1180k| 2.4 | 94M| 45 | 6 | 50 |7971 | 50 | 18 | 23 | 274k|2882 | 0.000000e+00 | -- | Inf
327.40/327.57 c 308s|510000 |114008 | 1204k| 2.4 | 96M| 45 | 6 | 50 |8325 | 50 | 18 | 23 | 280k|2904 | 0.000000e+00 | -- | Inf
335.00/335.10 c 315s|520000 |115969 | 1227k| 2.4 | 97M| 45 | - | 50 |8094 | 50 | 18 | 23 | 285k|2920 | 0.000000e+00 | -- | Inf
342.19/342.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.19/342.32 c 322s|530000 |118067 | 1251k| 2.4 | 99M| 45 | 6 | 50 |8271 | 50 | 18 | 23 | 291k|2939 | 0.000000e+00 | -- | Inf
349.89/350.07 c 329s|540000 |119849 | 1274k| 2.4 | 101M| 45 | - | 50 |7781 | 0 | 0 | 23 | 297k|2960 | 0.000000e+00 | -- | Inf
357.09/357.21 c 336s|550000 |121926 | 1298k| 2.4 | 103M| 45 | - | 50 |8059 | 50 | 18 | 23 | 302k|2978 | 0.000000e+00 | -- | Inf
364.48/364.66 c 343s|560000 |123946 | 1321k| 2.4 | 104M| 45 | 6 | 50 |7795 | 50 | 18 | 23 | 308k|3001 | 0.000000e+00 | -- | Inf
371.79/371.95 c 350s|570000 |125946 | 1344k| 2.4 | 106M| 45 | 6 | 50 |7560 | 50 | 18 | 23 | 313k|3027 | 0.000000e+00 | -- | Inf
379.07/379.21 c 356s|580000 |127772 | 1367k| 2.4 | 108M| 45 | 6 | 50 |7512 | 50 | 18 | 23 | 319k|3052 | 0.000000e+00 | -- | Inf
385.46/385.60 c 362s|590000 |130058 | 1391k| 2.4 | 110M| 45 | 6 | 50 |8686 | 50 | 18 | 23 | 324k|3074 | 0.000000e+00 | -- | Inf
393.06/393.24 c 370s|600000 |131753 | 1414k| 2.4 | 111M| 45 | - | 50 |8274 | 50 | 18 | 23 | 330k|3098 | 0.000000e+00 | -- | Inf
399.76/399.93 c 376s|610000 |134117 | 1438k| 2.4 | 113M| 45 | - | 50 |8916 | 50 | 18 | 23 | 335k|3117 | 0.000000e+00 | -- | Inf
406.87/407.06 c 383s|620000 |136338 | 1462k| 2.4 | 115M| 45 | 6 | 50 |9944 | 50 | 18 | 23 | 341k|3132 | 0.000000e+00 | -- | Inf
414.96/415.18 c 390s|630000 |138241 | 1485k| 2.4 | 117M| 45 | - | 50 |9730 | 0 | 0 | 23 | 347k|3153 | 0.000000e+00 | -- | Inf
422.35/422.56 c 397s|640000 |140093 | 1509k| 2.4 | 119M| 45 | 6 | 50 |9532 | 50 | 18 | 23 | 352k|3187 | 0.000000e+00 | -- | Inf
430.15/430.32 c 405s|650000 |142241 | 1532k| 2.4 | 120M| 45 | 6 | 50 |8795 | 50 | 18 | 23 | 358k|3212 | 0.000000e+00 | -- | Inf
437.85/438.01 c 412s|660000 |144082 | 1555k| 2.4 | 122M| 45 | 6 | 50 |8735 | 50 | 18 | 23 | 364k|3228 | 0.000000e+00 | -- | Inf
445.65/445.86 c 419s|670000 |146039 | 1579k| 2.4 | 123M| 45 | - | 50 |8127 | 50 | 18 | 23 | 369k|3248 | 0.000000e+00 | -- | Inf
453.44/453.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.44/453.66 c 427s|680000 |147720 | 1602k| 2.4 | 125M| 45 | 6 | 50 |8000 | 50 | 18 | 23 | 375k|3265 | 0.000000e+00 | -- | Inf
461.04/461.29 c 434s|690000 |149576 | 1626k| 2.4 | 127M| 45 | - | 50 |8449 | 50 | 18 | 23 | 381k|3278 | 0.000000e+00 | -- | Inf
468.54/468.72 c 441s|700000 |151658 | 1650k| 2.4 | 129M| 45 | 6 | 50 |9169 | 50 | 18 | 23 | 387k|3292 | 0.000000e+00 | -- | Inf
476.34/476.56 c 449s|710000 |153442 | 1673k| 2.4 | 130M| 45 | 6 | 50 |9147 | 50 | 18 | 23 | 392k|3314 | 0.000000e+00 | -- | Inf
484.13/484.33 c 456s|720000 |155287 | 1697k| 2.4 | 132M| 45 | 6 | 50 |8751 | 50 | 18 | 23 | 398k|3333 | 0.000000e+00 | -- | Inf
492.13/492.30 c 464s|730000 |157017 | 1720k| 2.4 | 134M| 45 | 6 | 50 |8252 | 50 | 18 | 23 | 404k|3355 | 0.000000e+00 | -- | Inf
499.53/499.72 c 471s|740000 |158892 | 1743k| 2.4 | 135M| 45 | - | 50 |8620 | 50 | 18 | 23 | 410k|3378 | 0.000000e+00 | -- | Inf
506.84/507.02 c 478s|750000 |161007 | 1767k| 2.4 | 137M| 45 | - | 50 |8742 | 50 | 18 | 23 | 415k|3395 | 0.000000e+00 | -- | Inf
514.43/514.65 c 485s|760000 |162871 | 1790k| 2.4 | 139M| 45 | - | 50 |7994 | 50 | 18 | 23 | 421k|3414 | 0.000000e+00 | -- | Inf
521.82/522.03 c 492s|770000 |164815 | 1813k| 2.4 | 140M| 45 | 6 | 50 |8339 | 50 | 18 | 23 | 427k|3436 | 0.000000e+00 | -- | Inf
529.93/530.11 c 499s|780000 |166615 | 1837k| 2.4 | 142M| 45 | 6 | 50 |8520 | 50 | 18 | 23 | 433k|3456 | 0.000000e+00 | -- | Inf
538.32/538.52 c 507s|790000 |168216 | 1860k| 2.4 | 144M| 45 | - | 50 |8290 | 50 | 18 | 23 | 439k|3482 | 0.000000e+00 | -- | Inf
545.92/546.14 c 515s|800000 |170133 | 1884k| 2.4 | 146M| 45 | - | 50 |8578 | 50 | 18 | 23 | 444k|3497 | 0.000000e+00 | -- | Inf
554.12/554.35 c 522s|810000 |171756 | 1907k| 2.4 | 147M| 45 | 6 | 50 |8275 | 50 | 18 | 23 | 450k|3514 | 0.000000e+00 | -- | Inf
561.82/562.06 c 530s|820000 |173562 | 1931k| 2.4 | 149M| 45 | 6 | 50 |9030 | 50 | 18 | 23 | 456k|3535 | 0.000000e+00 | -- | Inf
569.52/569.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.52/569.78 c 537s|830000 |175407 | 1955k| 2.4 | 151M| 45 | - | 50 |8816 | 0 | 0 | 23 | 462k|3554 | 0.000000e+00 | -- | Inf
578.41/578.64 c 546s|840000 |177090 | 1978k| 2.4 | 152M| 45 | 6 | 50 |8248 | 50 | 18 | 23 | 468k|3572 | 0.000000e+00 | -- | Inf
586.20/586.45 c 553s|850000 |178891 | 2001k| 2.4 | 154M| 45 | 6 | 50 |8595 | 50 | 18 | 23 | 474k|3584 | 0.000000e+00 | -- | Inf
594.20/594.49 c 561s|860000 |180639 | 2025k| 2.4 | 155M| 45 | - | 50 |8532 | 0 | 0 | 23 | 480k|3600 | 0.000000e+00 | -- | Inf
602.20/602.47 c 568s|870000 |182410 | 2048k| 2.4 | 157M| 45 | 6 | 50 |8744 | 50 | 18 | 23 | 485k|3626 | 0.000000e+00 | -- | Inf
610.10/610.34 c 576s|880000 |184195 | 2071k| 2.4 | 159M| 45 | 6 | 50 |8981 | 50 | 18 | 23 | 491k|3640 | 0.000000e+00 | -- | Inf
618.60/618.89 c 584s|890000 |185860 | 2096k| 2.4 | 161M| 45 | 6 | 50 |9261 | 50 | 18 | 23 | 497k|3658 | 0.000000e+00 | -- | Inf
626.39/626.68 c 591s|900000 |187770 | 2119k| 2.4 | 162M| 45 | - | 50 |9308 | 50 | 18 | 23 | 503k|3674 | 0.000000e+00 | -- | Inf
634.59/634.85 c 599s|910000 |189575 | 2143k| 2.4 | 164M| 45 | 6 | 50 |9858 | 50 | 18 | 23 | 509k|3689 | 0.000000e+00 | -- | Inf
642.99/643.29 c 607s|920000 |191346 | 2166k| 2.4 | 166M| 45 | 6 | 50 |9382 | 50 | 18 | 23 | 514k|3698 | 0.000000e+00 | -- | Inf
650.68/650.92 c 614s|930000 |193085 | 2189k| 2.4 | 168M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 520k|3719 | 0.000000e+00 | -- | Inf
658.49/658.79 c 622s|940000 |195033 | 2213k| 2.4 | 169M| 45 | - | 50 | 10k| 0 | 0 | 23 | 526k|3736 | 0.000000e+00 | -- | Inf
666.88/667.12 c 630s|950000 |196851 | 2236k| 2.4 | 171M| 45 | 6 | 50 |9176 | 50 | 18 | 23 | 532k|3748 | 0.000000e+00 | -- | Inf
675.09/675.32 c 637s|960000 |198561 | 2259k| 2.4 | 172M| 45 | 6 | 50 |8806 | 50 | 18 | 23 | 538k|3766 | 0.000000e+00 | -- | Inf
683.28/683.55 c 645s|970000 |200354 | 2282k| 2.4 | 174M| 45 | - | 50 |8516 | 50 | 18 | 23 | 543k|3777 | 0.000000e+00 | -- | Inf
691.37/691.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.37/691.62 c 653s|980000 |202147 | 2306k| 2.4 | 176M| 45 | 6 | 50 |9629 | 50 | 18 | 23 | 549k|3792 | 0.000000e+00 | -- | Inf
700.38/700.62 c 661s|990000 |203729 | 2329k| 2.4 | 177M| 45 | - | 50 |9066 | 50 | 18 | 23 | 555k|3811 | 0.000000e+00 | -- | Inf
708.67/708.99 c 669s| 1000k|205390 | 2353k| 2.4 | 179M| 45 | 6 | 50 |9241 | 50 | 18 | 23 | 561k|3823 | 0.000000e+00 | -- | Inf
717.06/717.38 c 677s| 1010k|207138 | 2377k| 2.4 | 180M| 45 | 6 | 50 |9221 | 50 | 18 | 23 | 567k|3843 | 0.000000e+00 | -- | Inf
725.78/726.09 c 686s| 1020k|208904 | 2400k| 2.4 | 182M| 45 | 6 | 50 |8961 | 50 | 18 | 23 | 573k|3864 | 0.000000e+00 | -- | Inf
733.26/733.53 c 693s| 1030k|210782 | 2424k| 2.4 | 184M| 45 | - | 50 | 10k| 50 | 18 | 23 | 578k|3881 | 0.000000e+00 | -- | Inf
741.45/741.72 c 701s| 1040k|212556 | 2447k| 2.4 | 186M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 584k|3892 | 0.000000e+00 | -- | Inf
749.26/749.55 c 708s| 1050k|214496 | 2471k| 2.4 | 188M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 590k|3916 | 0.000000e+00 | -- | Inf
758.95/759.21 c 717s| 1060k|216077 | 2495k| 2.4 | 189M| 45 | 6 | 50 |9745 | 50 | 18 | 23 | 596k|3928 | 0.000000e+00 | -- | Inf
767.66/767.99 c 726s| 1070k|217809 | 2518k| 2.4 | 191M| 45 | - | 50 |9617 | 50 | 18 | 23 | 602k|3943 | 0.000000e+00 | -- | Inf
776.15/776.42 c 734s| 1080k|219468 | 2541k| 2.4 | 192M| 45 | 6 | 50 |9529 | 50 | 18 | 23 | 608k|3962 | 0.000000e+00 | -- | Inf
784.25/784.56 c 741s| 1090k|221375 | 2565k| 2.4 | 194M| 45 | 6 | 50 |9771 | 50 | 18 | 23 | 613k|3975 | 0.000000e+00 | -- | Inf
791.65/792.00 c 748s| 1100k|223643 | 2589k| 2.4 | 196M| 45 | - | 50 | 10k| 50 | 18 | 23 | 619k|3991 | 0.000000e+00 | -- | Inf
798.85/799.11 c 755s| 1110k|225959 | 2614k| 2.4 | 198M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 624k|4002 | 0.000000e+00 | -- | Inf
807.44/807.72 c 763s| 1120k|228129 | 2638k| 2.4 | 200M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 630k|4023 | 0.000000e+00 | -- | Inf
816.44/816.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.44/816.75 c 772s| 1130k|230016 | 2662k| 2.4 | 202M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 635k|4038 | 0.000000e+00 | -- | Inf
826.04/826.37 c 781s| 1140k|231731 | 2685k| 2.4 | 203M| 45 | - | 50 | 10k| 50 | 18 | 23 | 641k|4049 | 0.000000e+00 | -- | Inf
834.74/835.09 c 790s| 1150k|233464 | 2708k| 2.4 | 205M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 647k|4070 | 0.000000e+00 | -- | Inf
843.73/844.04 c 798s| 1160k|235229 | 2732k| 2.4 | 206M| 45 | - | 50 | 10k| 0 | 0 | 23 | 653k|4081 | 0.000000e+00 | -- | Inf
852.53/852.84 c 806s| 1170k|237048 | 2756k| 2.4 | 208M| 45 | - | 50 | 10k| 0 | 0 | 23 | 658k|4093 | 0.000000e+00 | -- | Inf
861.72/862.03 c 815s| 1180k|238775 | 2779k| 2.4 | 210M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 664k|4108 | 0.000000e+00 | -- | Inf
871.32/871.62 c 824s| 1190k|240384 | 2802k| 2.4 | 211M| 45 | - | 50 |9913 | 50 | 18 | 23 | 670k|4123 | 0.000000e+00 | -- | Inf
880.73/881.01 c 833s| 1200k|242097 | 2826k| 2.4 | 213M| 45 | - | 50 |9163 | 0 | 0 | 23 | 676k|4134 | 0.000000e+00 | -- | Inf
887.92/888.28 c 840s| 1210k|244091 | 2849k| 2.4 | 215M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 682k|4153 | 0.000000e+00 | -- | Inf
896.71/897.04 c 849s| 1220k|246074 | 2873k| 2.4 | 216M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 687k|4173 | 0.000000e+00 | -- | Inf
905.51/905.81 c 857s| 1230k|247980 | 2896k| 2.4 | 218M| 45 | - | 50 | 10k| 50 | 18 | 23 | 693k|4185 | 0.000000e+00 | -- | Inf
913.51/913.89 c 865s| 1240k|249883 | 2919k| 2.4 | 220M| 45 | - | 50 | 10k| 50 | 18 | 23 | 698k|4196 | 0.000000e+00 | -- | Inf
922.61/922.99 c 873s| 1250k|251767 | 2942k| 2.4 | 221M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 704k|4211 | 0.000000e+00 | -- | Inf
932.41/932.78 c 883s| 1260k|253356 | 2966k| 2.4 | 223M| 45 | - | 50 |9754 | 50 | 18 | 23 | 710k|4224 | 0.000000e+00 | -- | Inf
941.40/941.75 c 891s| 1270k|254984 | 2989k| 2.4 | 225M| 45 | - | 50 | 10k| 50 | 18 | 23 | 716k|4235 | 0.000000e+00 | -- | Inf
949.50/949.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.50/949.83 c 899s| 1280k|257148 | 3012k| 2.4 | 227M| 45 | - | 50 | 11k| 50 | 18 | 23 | 721k|4246 | 0.000000e+00 | -- | Inf
957.89/958.22 c 907s| 1290k|258972 | 3036k| 2.4 | 228M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 727k|4270 | 0.000000e+00 | -- | Inf
966.79/967.16 c 916s| 1300k|261037 | 3060k| 2.4 | 230M| 45 | - | 50 | 10k| 0 | 0 | 23 | 733k|4280 | 0.000000e+00 | -- | Inf
976.40/976.72 c 925s| 1310k|262877 | 3084k| 2.4 | 232M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 739k|4291 | 0.000000e+00 | -- | Inf
986.40/986.76 c 934s| 1320k|264424 | 3107k| 2.4 | 233M| 45 | 6 | 50 |9839 | 50 | 18 | 23 | 745k|4304 | 0.000000e+00 | -- | Inf
996.19/996.53 c 944s| 1330k|266015 | 3130k| 2.4 | 235M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 750k|4315 | 0.000000e+00 | -- | Inf
1005.48/1005.86 c 953s| 1340k|267819 | 3154k| 2.4 | 236M| 45 | 6 | 50 |9842 | 50 | 18 | 23 | 756k|4329 | 0.000000e+00 | -- | Inf
1012.98/1013.38 c 960s| 1350k|269820 | 3177k| 2.4 | 238M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 762k|4344 | 0.000000e+00 | -- | Inf
1021.59/1021.95 c 968s| 1360k|271712 | 3200k| 2.4 | 240M| 45 | - | 50 | 10k| 50 | 18 | 23 | 767k|4359 | 0.000000e+00 | -- | Inf
1031.38/1031.78 c 977s| 1370k|273215 | 3224k| 2.4 | 241M| 45 | - | 50 | 10k| 50 | 18 | 23 | 773k|4373 | 0.000000e+00 | -- | Inf
1040.87/1041.20 c 986s| 1380k|274847 | 3248k| 2.4 | 243M| 45 | 6 | 50 |9675 | 50 | 18 | 23 | 779k|4386 | 0.000000e+00 | -- | Inf
1049.27/1049.61 c 994s| 1390k|276619 | 3272k| 2.4 | 245M| 45 | - | 50 | 10k| 50 | 18 | 23 | 785k|4398 | 0.000000e+00 | -- | Inf
1057.88/1058.24 c 1003s| 1400k|278465 | 3296k| 2.4 | 247M| 45 | - | 50 | 11k| 0 | 0 | 23 | 791k|4412 | 0.000000e+00 | -- | Inf
1067.77/1068.18 c 1012s| 1410k|280148 | 3319k| 2.4 | 248M| 45 | 6 | 50 |9818 | 50 | 18 | 23 | 796k|4429 | 0.000000e+00 | -- | Inf
1075.96/1076.40 c 1020s| 1420k|282030 | 3342k| 2.4 | 250M| 45 | - | 50 | 10k| 50 | 18 | 23 | 802k|4442 | 0.000000e+00 | -- | Inf
1086.76/1087.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.76/1087.18 c 1030s| 1430k|283478 | 3366k| 2.4 | 251M| 45 | - | 50 |9340 | 50 | 18 | 23 | 808k|4453 | 0.000000e+00 | -- | Inf
1095.56/1095.91 c 1039s| 1440k|285259 | 3389k| 2.4 | 253M| 45 | - | 50 |9495 | 0 | 0 | 23 | 814k|4467 | 0.000000e+00 | -- | Inf
1104.76/1105.11 c 1047s| 1450k|286903 | 3413k| 2.4 | 254M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 820k|4479 | 0.000000e+00 | -- | Inf
1114.25/1114.63 c 1057s| 1460k|288633 | 3436k| 2.4 | 256M| 45 | - | 50 | 10k| 50 | 18 | 23 | 825k|4490 | 0.000000e+00 | -- | Inf
1122.45/1122.90 c 1064s| 1470k|290898 | 3459k| 2.4 | 258M| 45 | 6 | 50 | 10k| 50 | 18 | 23 | 831k|4558 | 0.000000e+00 | -- | Inf
1129.05/1129.44 c 1071s| 1480k|294357 | 3483k| 2.4 | 260M| 45 | - | 50 | 11k| 50 | 18 | 23 | 835k|4654 | 0.000000e+00 | -- | Inf
1136.55/1136.96 c 1078s| 1490k|297405 | 3507k| 2.4 | 262M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 840k|4705 | 0.000000e+00 | -- | Inf
1143.94/1144.37 c 1085s| 1500k|300100 | 3531k| 2.4 | 264M| 45 | 6 | 50 | 11k| 50 | 18 | 23 | 845k|4820 | 0.000000e+00 | -- | Inf
1151.35/1151.78 c 1092s| 1510k|303136 | 3554k| 2.4 | 266M| 45 | - | 50 | 12k| 50 | 18 | 23 | 850k|4929 | 0.000000e+00 | -- | Inf
1159.14/1159.53 c 1099s| 1520k|305938 | 3579k| 2.4 | 268M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 855k|4929 | 0.000000e+00 | -- | Inf
1167.13/1167.56 c 1107s| 1530k|308576 | 3603k| 2.4 | 271M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 860k|4929 | 0.000000e+00 | -- | Inf
1175.74/1176.11 c 1115s| 1540k|310979 | 3626k| 2.4 | 272M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 865k|4929 | 0.000000e+00 | -- | Inf
1183.73/1184.16 c 1123s| 1550k|313514 | 3650k| 2.4 | 274M| 45 | - | 50 | 12k| 0 | 0 | 23 | 870k|4929 | 0.000000e+00 | -- | Inf
1191.33/1191.70 c 1130s| 1560k|316448 | 3673k| 2.4 | 277M| 45 | - | 50 | 14k| 50 | 18 | 23 | 875k|4929 | 0.000000e+00 | -- | Inf
1200.73/1201.15 c 1139s| 1570k|318894 | 3697k| 2.4 | 278M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 880k|4929 | 0.000000e+00 | -- | Inf
1208.53/1208.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.53/1208.92 c 1146s| 1580k|321856 | 3721k| 2.4 | 280M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 885k|4929 | 0.000000e+00 | -- | Inf
1217.13/1217.53 c 1154s| 1590k|324390 | 3744k| 2.4 | 282M| 45 | - | 50 | 14k| 50 | 18 | 23 | 890k|4929 | 0.000000e+00 | -- | Inf
1225.22/1225.69 c 1162s| 1600k|327240 | 3768k| 2.4 | 285M| 45 | 6 | 50 | 15k| 50 | 18 | 23 | 895k|4929 | 0.000000e+00 | -- | Inf
1234.62/1235.06 c 1171s| 1610k|329475 | 3791k| 2.4 | 286M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 900k|4929 | 0.000000e+00 | -- | Inf
1243.52/1243.94 c 1180s| 1620k|331914 | 3816k| 2.4 | 288M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 905k|4929 | 0.000000e+00 | -- | Inf
1252.61/1253.03 c 1188s| 1630k|334204 | 3840k| 2.4 | 290M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 910k|4929 | 0.000000e+00 | -- | Inf
1261.91/1262.32 c 1197s| 1640k|336406 | 3863k| 2.4 | 291M| 45 | - | 50 | 13k| 50 | 18 | 23 | 916k|4932 | 0.000000e+00 | -- | Inf
1271.31/1271.73 c 1206s| 1650k|338573 | 3887k| 2.4 | 293M| 45 | - | 50 | 13k| 50 | 18 | 23 | 921k|4946 | 0.000000e+00 | -- | Inf
1279.50/1279.92 c 1214s| 1660k|341186 | 3911k| 2.4 | 295M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 926k|4957 | 0.000000e+00 | -- | Inf
1288.71/1289.12 c 1223s| 1670k|343261 | 3936k| 2.4 | 297M| 45 | - | 50 | 14k| 0 | 0 | 23 | 932k|4971 | 0.000000e+00 | -- | Inf
1297.51/1297.92 c 1231s| 1680k|345791 | 3959k| 2.4 | 299M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 937k|4985 | 0.000000e+00 | -- | Inf
1306.79/1307.26 c 1240s| 1690k|348064 | 3983k| 2.4 | 301M| 45 | - | 50 | 13k| 50 | 18 | 23 | 942k|4996 | 0.000000e+00 | -- | Inf
1315.59/1316.09 c 1249s| 1700k|350183 | 4006k| 2.4 | 303M| 45 | - | 50 | 14k| 50 | 18 | 23 | 947k|5010 | 0.000000e+00 | -- | Inf
1325.29/1325.75 c 1258s| 1710k|352271 | 4029k| 2.4 | 304M| 45 | - | 50 | 13k| 50 | 18 | 23 | 953k|5020 | 0.000000e+00 | -- | Inf
1335.09/1335.54 c 1267s| 1720k|354188 | 4054k| 2.4 | 306M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 958k|5034 | 0.000000e+00 | -- | Inf
1344.39/1344.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.39/1344.81 c 1276s| 1730k|356295 | 4078k| 2.4 | 308M| 45 | 6 | 50 | 13k| 50 | 18 | 23 | 963k|5043 | 0.000000e+00 | -- | Inf
1353.38/1353.82 c 1285s| 1740k|358644 | 4102k| 2.4 | 310M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 969k|5059 | 0.000000e+00 | -- | Inf
1362.18/1362.60 c 1293s| 1750k|361087 | 4126k| 2.4 | 312M| 45 | 6 | 50 | 14k| 50 | 18 | 23 | 974k|5068 | 0.000000e+00 | -- | Inf
1371.58/1372.08 c 1302s| 1760k|363271 | 4150k| 2.4 | 314M| 45 | - | 50 | 14k| 0 | 0 | 23 | 979k|5081 | 0.000000e+00 | -- | Inf
1382.48/1382.90 c 1313s| 1770k|365048 | 4174k| 2.4 | 315M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 985k|5090 | 0.000000e+00 | -- | Inf
1392.47/1392.96 c 1322s| 1780k|366848 | 4197k| 2.4 | 316M| 45 | 6 | 50 | 12k| 50 | 18 | 23 | 991k|5101 | 0.000000e+00 | -- | Inf
1401.98/1402.45 c 1331s| 1790k|368553 | 4220k| 2.4 | 318M| 45 | - | 50 | 12k| 50 | 18 | 23 | 996k|5110 | 0.000000e+00 | -- | Inf
1412.47/1412.94 c 1342s| 1800k|370447 | 4244k| 2.4 | 319M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1002k|5123 | 0.000000e+00 | -- | Inf
1422.46/1422.98 c 1351s| 1810k|372339 | 4268k| 2.4 | 321M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1008k|5146 | 0.000000e+00 | -- | Inf
1428.96/1429.43 c 1357s| 1820k|374935 | 4291k| 2.4 | 323M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1013k|5155 | 0.000000e+00 | -- | Inf
1436.56/1437.04 c 1364s| 1830k|377274 | 4315k| 2.4 | 325M| 45 | 6 | 50 | 13k| 50 | 18 | 23 |1018k|5166 | 0.000000e+00 | -- | Inf
1444.65/1445.17 c 1372s| 1840k|379122 | 4338k| 2.4 | 327M| 45 | 6 | 50 | 13k| 50 | 18 | 23 |1024k|5178 | 0.000000e+00 | -- | Inf
1453.85/1454.36 c 1381s| 1850k|380715 | 4360k| 2.4 | 329M| 45 | - | 50 | 12k| 50 | 18 | 23 |1029k|5192 | 0.000000e+00 | -- | Inf
1465.45/1465.93 c 1392s| 1860k|382373 | 4384k| 2.4 | 330M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1035k|5200 | 0.000000e+00 | -- | Inf
1475.76/1476.29 c 1402s| 1870k|384140 | 4408k| 2.4 | 331M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1041k|5207 | 0.000000e+00 | -- | Inf
1484.25/1484.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.25/1484.73 c 1410s| 1880k|386045 | 4431k| 2.4 | 333M| 45 | - | 50 | 11k| 50 | 18 | 23 |1047k|5216 | 0.000000e+00 | -- | Inf
1494.65/1495.17 c 1420s| 1890k|387713 | 4455k| 2.4 | 335M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1053k|5228 | 0.000000e+00 | -- | Inf
1503.54/1504.06 c 1429s| 1900k|389532 | 4478k| 2.4 | 336M| 45 | - | 50 | 10k| 50 | 18 | 23 |1058k|5238 | 0.000000e+00 | -- | Inf
1514.24/1514.72 c 1439s| 1910k|391188 | 4502k| 2.4 | 338M| 45 | - | 50 |9846 | 50 | 18 | 23 |1064k|5260 | 0.000000e+00 | -- | Inf
1523.94/1524.50 c 1448s| 1920k|392797 | 4525k| 2.4 | 339M| 45 | - | 50 |9063 | 50 | 18 | 23 |1070k|5270 | 0.000000e+00 | -- | Inf
1530.84/1531.33 c 1455s| 1930k|395036 | 4549k| 2.4 | 342M| 45 | - | 50 | 11k| 50 | 18 | 23 |1075k|5278 | 0.000000e+00 | -- | Inf
1540.54/1541.05 c 1464s| 1940k|396633 | 4572k| 2.4 | 343M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1081k|5284 | 0.000000e+00 | -- | Inf
1547.93/1548.42 c 1471s| 1950k|399176 | 4595k| 2.4 | 345M| 45 | - | 50 | 12k| 50 | 18 | 23 |1086k|5291 | 0.000000e+00 | -- | Inf
1557.62/1558.10 c 1480s| 1960k|401156 | 4619k| 2.4 | 347M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1092k|5302 | 0.000000e+00 | -- | Inf
1567.73/1568.30 c 1490s| 1970k|402927 | 4643k| 2.4 | 349M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1098k|5316 | 0.000000e+00 | -- | Inf
1577.62/1578.12 c 1500s| 1980k|404793 | 4668k| 2.4 | 350M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1103k|5330 | 0.000000e+00 | -- | Inf
1587.82/1588.32 c 1509s| 1990k|406542 | 4691k| 2.4 | 352M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1109k|5339 | 0.000000e+00 | -- | Inf
1596.12/1596.62 c 1517s| 2000k|408580 | 4714k| 2.4 | 354M| 45 | - | 50 | 12k| 0 | 0 | 23 |1115k|5352 | 0.000000e+00 | -- | Inf
1606.72/1607.20 c 1527s| 2010k|410185 | 4737k| 2.4 | 355M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1121k|5364 | 0.000000e+00 | -- | Inf
1616.02/1616.54 c 1536s| 2020k|412154 | 4761k| 2.4 | 357M| 45 | 6 | 50 | 10k| 50 | 18 | 23 |1126k|5380 | 0.000000e+00 | -- | Inf
1625.11/1625.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.11/1625.65 c 1545s| 2030k|414043 | 4785k| 2.4 | 358M| 45 | - | 50 | 10k| 50 | 18 | 23 |1132k|5389 | 0.000000e+00 | -- | Inf
1635.61/1636.10 c 1555s| 2040k|415853 | 4808k| 2.4 | 360M| 45 | - | 50 | 10k| 0 | 0 | 23 |1138k|5397 | 0.000000e+00 | -- | Inf
1643.71/1644.20 c 1563s| 2050k|418000 | 4831k| 2.4 | 362M| 45 | - | 50 | 11k| 50 | 18 | 23 |1143k|5406 | 0.000000e+00 | -- | Inf
1651.91/1652.47 c 1571s| 2060k|420488 | 4855k| 2.4 | 364M| 45 | 6 | 50 | 11k| 50 | 18 | 23 |1148k|5418 | 0.000000e+00 | -- | Inf
1659.31/1659.86 c 1578s| 2070k|423124 | 4878k| 2.4 | 366M| 45 | 6 | 50 | 12k| 50 | 18 | 23 |1154k|5428 | 0.000000e+00 | -- | Inf
1667.40/1667.97 c 1585s| 2080k|425610 | 4901k| 2.4 | 368M| 45 | - | 50 | 13k| 50 | 18 | 23 |1159k|5437 | 0.000000e+00 | -- | Inf
1676.00/1676.52 c 1594s| 2090k|427771 | 4925k| 2.4 | 370M| 45 | - | 50 | 13k| 50 | 18 | 23 |1164k|5452 | 0.000000e+00 | -- | Inf
1683.90/1684.43 c 1601s| 2100k|430413 | 4949k| 2.4 | 373M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1169k|5460 | 0.000000e+00 | -- | Inf
1693.00/1693.54 c 1610s| 2110k|432567 | 4972k| 2.4 | 374M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1175k|5467 | 0.000000e+00 | -- | Inf
1702.39/1702.95 c 1619s| 2120k|434517 | 4996k| 2.4 | 376M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1181k|5480 | 0.000000e+00 | -- | Inf
1712.29/1712.89 c 1628s| 2130k|436305 | 5020k| 2.4 | 378M| 45 | 6 | 50 | 14k| 50 | 18 | 23 |1186k|5492 | 0.000000e+00 | -- | Inf
1721.79/1722.35 c 1637s| 2140k|438296 | 5044k| 2.4 | 380M| 45 | - | 50 | 14k| 50 | 18 | 23 |1192k|5500 | 0.000000e+00 | -- | Inf
1730.89/1731.45 c 1646s| 2150k|440343 | 5067k| 2.4 | 382M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1198k|5509 | 0.000000e+00 | -- | Inf
1740.08/1740.64 c 1655s| 2160k|442422 | 5090k| 2.4 | 384M| 45 | 6 | 50 | 16k| 50 | 18 | 23 |1203k|5518 | 0.000000e+00 | -- | Inf
1750.18/1750.70 c 1665s| 2170k|444216 | 5114k| 2.4 | 385M| 45 | - | 50 | 16k| 50 | 18 | 23 |1209k|5527 | 0.000000e+00 | -- | Inf
1759.48/1760.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.48/1760.09 c 1674s| 2180k|446374 | 5137k| 2.4 | 387M| 45 | 6 | 50 | 17k| 50 | 18 | 23 |1214k|5535 | 0.000000e+00 | -- | Inf
1769.97/1770.56 c 1684s| 2190k|448605 | 5160k| 2.4 | 389M| 45 | - | 50 | 16k| 50 | 18 | 23 |1219k|5543 | 0.000000e+00 | -- | Inf
1780.38/1780.92 c 1694s| 2200k|450386 | 5183k| 2.4 | 391M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1225k|5553 | 0.000000e+00 | -- | Inf
1790.76/1791.36 c 1704s| 2210k|452497 | 5206k| 2.4 | 392M| 45 | 6 | 50 | 15k| 50 | 18 | 23 |1231k|5561 | 0.000000e+00 | -- | Inf
1800.08/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.62 c
1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.62 c Solving Time (sec) : 1712.66
1800.08/1800.62 c Solving Nodes : 2217183
1800.08/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.62 c Dual Bound : +0.00000000000000e+00
1800.08/1800.62 c Gap : infinite
1800.08/1800.62 s UNKNOWN
1800.08/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.62 c Solving Time : 1712.66
1800.08/1800.62 c Original Problem :
1800.08/1800.62 c Problem name : HOME/instance-2666877-1276613686.opb
1800.08/1800.62 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 13 initial, 13 maximal
1800.08/1800.62 c Presolved Problem :
1800.08/1800.62 c Problem name : t_HOME/instance-2666877-1276613686.opb
1800.08/1800.62 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62 c Constraints : 6 initial, 17834 maximal
1800.08/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.08/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.62 c linear : 0.00 0 0 0 0 0 7 0 0
1800.08/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.62 c root node : - 0 - - 0 - - - -
1800.08/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c integral : 0 0 0 1355792 0 617 2185 0 0 2706266
1800.08/1800.62 c linear : 6+ 7 5244127 0 0 200048 3042026 0 0 0
1800.08/1800.62 c logicor : 0+ 0 2204724 0 0 4684 816045 0 0 0
1800.08/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.62 c integral : 18.67 0.00 0.00 18.67 0.00
1800.08/1800.62 c linear : 225.02 0.00 225.02 0.00 0.00
1800.08/1800.62 c logicor : 550.65 0.00 550.65 0.00 0.00
1800.08/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.62 c vbounds : 2.87 2 0 0
1800.08/1800.62 c rootredcost : 2.54 0 0 0
1800.08/1800.62 c pseudoobj : 2.43 0 0 0
1800.08/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.62 c propagation : 20.12 204732 168285 590009 35.5 14 30.1 -
1800.08/1800.62 c infeasible LP : 47.01 689166 689154 1344555 24.0 7647 28.7 0
1800.08/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.62 c applied globally : - - - 1043852 21.2 - - -
1800.08/1800.62 c applied locally : - - - 191453 33.7 - - -
1800.08/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.62 c cut pool : 0.00 5 - - 7 - (maximal pool size: 82)
1800.08/1800.62 c redcost : 3.31 1355796 0 0 0 0
1800.08/1800.62 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.62 c intobj : 0.00 0 0 0 0 0
1800.08/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.62 c gomory : 0.00 6 0 0 0 0
1800.08/1800.62 c strongcg : 0.00 6 0 0 37 0
1800.08/1800.62 c cmir : 0.01 6 0 0 25 0
1800.08/1800.62 c flowcover : 0.05 6 0 0 38 0
1800.08/1800.62 c clique : 0.00 1 0 0 0 0
1800.08/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.62 c mcf : 0.00 1 0 0 0 0
1800.08/1800.62 c rapidlearning : 0.07 1 0 0 0 1
1800.08/1800.62 c Pricers : Time Calls Vars
1800.08/1800.62 c problem variables: 0.00 0 0
1800.08/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.62 c relpscost : 16.61 1355792 617 2185 0 0 2706266
1800.08/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.62 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.62 c random : 0.00 0 0 0 0 0 0
1800.08/1800.62 c Primal Heuristics : Time Calls Found
1800.08/1800.62 c LP solutions : 0.00 - 0
1800.08/1800.62 c pseudo solutions : 0.00 - 0
1800.08/1800.62 c oneopt : 2.16 0 0
1800.08/1800.62 c crossover : 1.20 0 0
1800.08/1800.62 c guideddiving : 0.27 0 0
1800.08/1800.62 c feaspump : 0.16 27 0
1800.08/1800.62 c rootsoldiving : 0.27 27 0
1800.08/1800.62 c objpscostdiving : 0.17 27 0
1800.08/1800.62 c fracdiving : 0.14 54 0
1800.08/1800.62 c coefdiving : 0.13 54 0
1800.08/1800.62 c pscostdiving : 0.13 54 0
1800.08/1800.62 c veclendiving : 0.21 54 0
1800.08/1800.62 c linesearchdiving : 0.25 54 0
1800.08/1800.62 c trivial : 0.00 2 0
1800.08/1800.62 c simplerounding : 0.59 0 0
1800.08/1800.62 c zirounding : 1.46 1000 0
1800.08/1800.62 c rounding : 1.83 16454 0
1800.08/1800.62 c shifting : 3.19 4949 0
1800.08/1800.62 c intshifting : 0.14 0 0
1800.08/1800.62 c twoopt : 0.00 0 0
1800.08/1800.62 c fixandinfer : 0.00 0 0
1800.08/1800.62 c intdiving : 0.00 0 0
1800.08/1800.62 c actconsdiving : 0.00 0 0
1800.08/1800.62 c octane : 0.00 0 0
1800.08/1800.62 c rens : 0.04 1 0
1800.08/1800.62 c rins : 0.00 0 0
1800.08/1800.62 c localbranching : 0.00 0 0
1800.08/1800.62 c mutation : 0.00 0 0
1800.08/1800.62 c dins : 0.00 0 0
1800.08/1800.62 c undercover : 0.00 0 0
1800.08/1800.62 c nlp : 0.97 0 0
1800.08/1800.62 c trysol : 1.56 0 0
1800.08/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.62 c dual LP : 208.66 2001448 5221957 2.61 25026.15
1800.08/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.62 c diving/probing LP: 0.17 1180 2456 2.08 14447.06
1800.08/1800.62 c strong branching : 1.12 5567 27410 4.92 24473.21
1800.08/1800.62 c (at root node) : - 9 313 34.78 -
1800.08/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.62 c B&B Tree :
1800.08/1800.62 c number of runs : 1
1800.08/1800.62 c nodes : 2217183
1800.08/1800.62 c nodes (total) : 2217183
1800.08/1800.62 c nodes left : 453852
1800.08/1800.62 c max depth : 45
1800.08/1800.62 c max depth (total): 45
1800.08/1800.62 c backtracks : 286339 (12.9%)
1800.08/1800.62 c delayed cutoffs : 35232
1800.08/1800.62 c repropagations : 1919431 (1003329 domain reductions, 29811 cutoffs)
1800.08/1800.62 c avg switch length: 5.37
1800.08/1800.62 c switching time : 383.08
1800.08/1800.62 c Solution :
1800.08/1800.62 c Solutions found : 0 (0 improvements)
1800.08/1800.62 c Primal Bound : -
1800.08/1800.62 c Dual Bound : +0.00000000000000e+00
1800.08/1800.62 c Gap : infinite
1800.08/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.62 c Root Iterations : 144
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666877-1276613686/watcher-2666877-1276613686 -o /tmp/evaluation-result-2666877-1276613686/solver-2666877-1276613686 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666877-1276613686.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.00 3/106 12571
/proc/meminfo: memFree=1404128/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=7724 CPUtime=0
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 1181 0 0 0 0 0 0 0 24 0 1 0 2663074 7909376 1102 1992294400 4194304 8223781 140737168321728 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12571/statm: 1931 1112 348 984 0 944 0
[startup+0.0840901 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12571
/proc/meminfo: memFree=1404128/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=19716 CPUtime=0.07
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 4908 0 0 0 5 2 0 0 24 0 1 0 2663074 20189184 3682 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 4929 3682 568 984 0 3942 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19716
[startup+0.101092 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12571
/proc/meminfo: memFree=1404128/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=19716 CPUtime=0.09
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 4910 0 0 0 7 2 0 0 24 0 1 0 2663074 20189184 3684 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 4929 3684 568 984 0 3942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19716
[startup+0.301108 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12571
/proc/meminfo: memFree=1404128/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=13252 CPUtime=0.29
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 7911 0 0 0 24 5 0 0 25 0 1 0 2663074 13570048 2467 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 3313 2467 586 984 0 2326 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13252
[startup+0.701143 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 12571
/proc/meminfo: memFree=1404128/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=13252 CPUtime=0.69
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 7914 0 0 0 59 10 0 0 25 0 1 0 2663074 13570048 2470 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 3313 2470 588 984 0 2326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13252
[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12572
/proc/meminfo: memFree=1395564/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=14648 CPUtime=1.49
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 8255 0 0 0 129 20 0 0 25 0 1 0 2663074 14999552 2811 1992294400 4194304 8223781 140737168321728 18446744073709551615 4978949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 3662 2811 588 984 0 2675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14648
[startup+3.10134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12572
/proc/meminfo: memFree=1393828/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=16768 CPUtime=3.09
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 8779 0 0 0 274 35 0 0 25 0 1 0 2663074 17170432 3335 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 4192 3335 588 984 0 3205 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16768
[startup+6.30062 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12572
/proc/meminfo: memFree=1390728/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=19180 CPUtime=6.28
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 9387 0 0 0 568 60 0 0 25 0 1 0 2663074 19640320 3943 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 4795 3943 588 984 0 3808 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19180
[startup+12.7002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12572
/proc/meminfo: memFree=1387752/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=22148 CPUtime=12.69
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 10110 0 0 0 1159 110 0 0 25 0 1 0 2663074 22679552 4666 1992294400 4194304 8223781 140737168321728 18446744073709551615 4208866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 5537 4666 588 984 0 4550 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22148
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12572
/proc/meminfo: memFree=1381056/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=28344 CPUtime=25.49
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 11679 0 0 0 2342 207 0 0 25 0 1 0 2663074 29024256 6235 1992294400 4194304 8223781 140737168321728 18446744073709551615 4434049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 7086 6235 588 984 0 6099 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28344
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12572
/proc/meminfo: memFree=1370268/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=38952 CPUtime=51.08
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 14342 0 0 0 4725 383 0 0 25 0 1 0 2663074 39886848 8898 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 9738 8898 588 984 0 8751 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38952
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12574
/proc/meminfo: memFree=1350924/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=57980 CPUtime=102.27
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 19111 0 0 0 9514 713 0 0 25 0 1 0 2663074 59371520 13667 1992294400 4194304 8223781 140737168321728 18446744073709551615 5001220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 14495 13667 588 984 0 13508 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 57980
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12576
/proc/meminfo: memFree=1334556/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=73960 CPUtime=162.25
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 23185 0 0 0 15159 1066 0 0 25 0 1 0 2663074 75735040 17741 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 18490 17741 588 984 0 17503 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 73960
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12578
/proc/meminfo: memFree=1316080/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=94264 CPUtime=222.23
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 27789 0 0 0 20813 1410 0 0 25 0 1 0 2663074 96526336 22345 1992294400 4194304 8223781 140737168321728 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 23566 22345 588 984 0 22579 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 94264
[startup+282.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 12580
/proc/meminfo: memFree=1298720/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=112032 CPUtime=282.21
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 32278 0 0 0 26472 1749 0 0 25 0 1 0 2663074 114720768 26834 1992294400 4194304 8223781 140737168321728 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 28008 26834 588 984 0 27021 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 112032
[startup+342.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 12580
/proc/meminfo: memFree=1283840/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=125852 CPUtime=342.19
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 35778 0 0 0 32150 2069 0 0 25 0 1 0 2663074 128872448 30334 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 31463 30334 588 984 0 30476 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 125852
[startup+402.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 12591
/proc/meminfo: memFree=1269456/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=140008 CPUtime=402.16
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 39354 0 0 0 37817 2399 0 0 25 0 1 0 2663074 143368192 33910 1992294400 4194304 8223781 140737168321728 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 35002 33910 588 984 0 34015 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 140008
[startup+462.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 12593
/proc/meminfo: memFree=1252344/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=156712 CPUtime=462.14
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 43599 0 0 0 43510 2704 0 0 25 0 1 0 2663074 160473088 38155 1992294400 4194304 8223781 140737168321728 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 39178 38155 588 984 0 38191 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 156712
[startup+522.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 12595
/proc/meminfo: memFree=1241680/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=168540 CPUtime=522.12
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 46587 0 0 0 49201 3011 0 0 25 0 1 0 2663074 172584960 41143 1992294400 4194304 8223781 140737168321728 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 42135 41143 588 984 0 41148 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 168540
[startup+582.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 12597
/proc/meminfo: memFree=1226428/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=182016 CPUtime=582.11
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 50019 0 0 0 54903 3308 0 0 25 0 1 0 2663074 186384384 44575 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 45504 44575 588 984 0 44517 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 182016
[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 12597
/proc/meminfo: memFree=1212912/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=195444 CPUtime=642.09
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 53373 0 0 0 60601 3608 0 0 25 0 1 0 2663074 200134656 47929 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 48861 47929 588 984 0 47874 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 195444
[startup+702.302 s]
################
# More data... #
################
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 71577 0 0 0 94927 5271 0 0 25 0 1 0 2663074 277831680 66133 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 67830 66133 588 984 0 66843 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 271320
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12609
/proc/meminfo: memFree=1127600/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=282880 CPUtime=1061.97
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 74506 0 0 0 100657 5540 0 0 25 0 1 0 2663074 289669120 69062 1992294400 4194304 8223781 140737168321728 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 70720 69062 588 984 0 69733 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 282880
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12611
/proc/meminfo: memFree=1116688/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=293424 CPUtime=1121.95
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 77208 0 0 0 106390 5805 0 0 25 0 1 0 2663074 300466176 71764 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 73356 71764 588 984 0 72369 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 293424
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12613
/proc/meminfo: memFree=1099452/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=310028 CPUtime=1181.93
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 81494 0 0 0 112080 6113 0 0 25 0 1 0 2663074 317468672 76050 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 77507 76050 588 984 0 76520 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 310028
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12613
/proc/meminfo: memFree=1086432/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=323456 CPUtime=1241.91
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 84792 0 0 0 117813 6378 0 0 25 0 1 0 2663074 331218944 79348 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 80864 79348 588 984 0 79877 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 323456
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12615
/proc/meminfo: memFree=1074776/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=334064 CPUtime=1301.91
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 87558 0 0 0 123557 6634 0 0 25 0 1 0 2663074 342081536 82114 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 83516 82114 588 984 0 82529 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 334064
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12617
/proc/meminfo: memFree=1062872/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=345752 CPUtime=1361.88
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 90541 0 0 0 129294 6894 0 0 25 0 1 0 2663074 354050048 85097 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 86438 85097 588 984 0 85451 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 345752
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12619
/proc/meminfo: memFree=1052332/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=355968 CPUtime=1421.87
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 93150 0 0 0 135049 7138 0 0 25 0 1 0 2663074 364511232 87706 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 88992 87706 588 984 0 88005 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 355968
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12621
/proc/meminfo: memFree=1040924/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=367140 CPUtime=1481.85
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 96021 0 0 0 140784 7401 0 0 25 0 1 0 2663074 375951360 90577 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 91785 90577 588 984 0 90798 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 367140
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12621
/proc/meminfo: memFree=1025176/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=382880 CPUtime=1541.84
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 99911 0 0 0 146528 7656 0 0 25 0 1 0 2663074 392069120 94467 1992294400 4194304 8223781 140737168321728 18446744073709551615 4210324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 95720 94467 588 984 0 94733 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 382880
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12623
/proc/meminfo: memFree=1015628/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=392568 CPUtime=1601.81
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 102372 0 0 0 152275 7906 0 0 25 0 1 0 2663074 401989632 96928 1992294400 4194304 8223781 140737168321728 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 98142 96928 588 984 0 97155 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 392568
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12625
/proc/meminfo: memFree=1003228/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=404144 CPUtime=1661.8
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 105379 0 0 0 158005 8175 0 0 25 0 1 0 2663074 413843456 99935 1992294400 4194304 8223781 140737168321728 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 101036 99935 588 984 0 100049 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 404144
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12627
/proc/meminfo: memFree=992812/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=414484 CPUtime=1721.79
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 108052 0 0 0 163743 8436 0 0 25 0 1 0 2663074 424431616 102608 1992294400 4194304 8223781 140737168321728 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 103621 102608 588 984 0 102634 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 414484
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12629
/proc/meminfo: memFree=981528/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=425296 CPUtime=1781.77
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 110677 0 0 0 169501 8676 0 0 25 0 1 0 2663074 435503104 105233 1992294400 4194304 8223781 140737168321728 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 106324 105233 588 984 0 105337 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 425296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12629
/proc/meminfo: memFree=978056/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=428360 CPUtime=1800.08
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 111558 0 0 0 171266 8742 0 0 25 0 1 0 2663074 438640640 106114 1992294400 4194304 8223781 140737168321728 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12571/statm: 107090 106114 588 984 0 106103 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 428360
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12571
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 12629
/proc/meminfo: memFree=978056/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=428360 CPUtime=1800.87
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 111559 0 0 0 171344 8743 0 0 25 0 1 0 2663074 438640640 106115 1992294400 4194304 8223781 140737168321728 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12571/statm: 107090 106115 589 984 0 106103 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 428360
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12630
/proc/meminfo: memFree=977924/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=428360 CPUtime=1801.67
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 111559 0 0 0 171424 8743 0 0 25 0 1 0 2663074 438640640 106115 1992294400 4194304 8223781 140737168321728 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12571/statm: 107090 106115 589 984 0 106103 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 428360
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12630
/proc/meminfo: memFree=977924/2059040 swapFree=4192956/4192956
[pid=12571] ppid=12569 vsize=428360 CPUtime=1802.07
/proc/12571/stat : 12571 (pbscip.linux.x8) R 12569 12571 11991 0 -1 4202496 111559 0 0 0 171464 8743 0 0 25 0 1 0 2663074 438640640 106115 1992294400 4194304 8223781 140737168321728 18446744073709551615 6206520 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12571/statm: 107090 106115 589 984 0 106103 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 428360
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.13
CPU user time (s): 1714.66
CPU system time (s): 87.4697
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 428360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1714.66
system time used= 87.4697
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111559
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= 2371
runsolver used 3.06053 second user time and 8.44971 second system time
The end