0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664796-1276599530.opb>
0.00/0.01 c original problem has 31 variables (31 bin, 0 int, 0 impl, 0 cont) and 9 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 5 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 30 variables (30 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - 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 # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
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 | 2 | 0 | - | 178k| 0 | - | 30 | 4 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.04 c 0.9s| 10000 | 5307 | 0 | 0.0 |2233k| 21 | - | 30 | 480 | 0 | 0 | 0 | 480 | 0 | 0.000000e+00 | -- | Inf
2.39/2.44 c 2.1s| 20000 | 8681 | 0 | 0.0 |3922k| 22 | - | 30 |1192 | 0 | 0 | 0 |1228 | 0 | 0.000000e+00 | -- | Inf
3.99/4.02 c 3.5s| 30000 | 13481 | 0 | 0.0 |5842k| 22 | - | 30 |1651 | 0 | 0 | 0 |1952 | 0 | 0.000000e+00 | -- | Inf
5.99/6.04 c 5.4s| 40000 | 16873 | 0 | 0.0 |7415k| 22 | - | 30 |2002 | 0 | 0 | 0 |2757 | 0 | 0.000000e+00 | -- | Inf
8.49/8.53 c 7.8s| 50000 | 19061 | 0 | 0.0 |8778k| 22 | - | 30 |2418 | 0 | 0 | 0 |3660 | 0 | 0.000000e+00 | -- | Inf
11.19/11.24 c 10.3s| 60000 | 21570 | 0 | 0.0 | 10M| 23 | - | 30 |2848 | 0 | 0 | 0 |4847 | 0 | 0.000000e+00 | -- | Inf
13.29/13.38 c 12.3s| 70000 | 26872 | 0 | 0.0 | 11M| 23 | - | 30 |2436 | 0 | 0 | 0 |5645 | 0 | 0.000000e+00 | -- | Inf
15.39/15.48 c 14.2s| 80000 | 31407 | 0 | 0.0 | 13M| 23 | - | 30 |2129 | 0 | 0 | 0 |6545 | 0 | 0.000000e+00 | -- | Inf
17.50/17.53 c 16.1s| 90000 | 35404 | 0 | 0.0 | 15M| 23 | - | 30 |2034 | 0 | 0 | 0 |7468 | 0 | 0.000000e+00 | -- | Inf
19.49/19.56 c 18.0s|100000 | 38958 | 0 | 0.0 | 16M| 23 | - | 30 |1563 | 0 | 0 | 0 |8325 | 0 | 0.000000e+00 | -- | Inf
21.38/21.49 c 19.8s|110000 | 41902 | 0 | 0.0 | 17M| 23 | - | 30 |1562 | 0 | 0 | 0 |9137 | 0 | 0.000000e+00 | -- | Inf
23.48/23.56 c 21.8s|120000 | 44568 | 0 | 0.0 | 19M| 23 | - | 30 |1679 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
25.68/25.76 c 23.8s|130000 | 46800 | 0 | 0.0 | 20M| 23 | - | 30 |1844 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
28.08/28.13 c 26.0s|140000 | 48542 | 0 | 0.0 | 21M| 23 | - | 30 |1946 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
30.69/30.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.69/30.71 c 28.5s|150000 | 49910 | 0 | 0.0 | 22M| 23 | - | 30 |2489 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
33.18/33.23 c 30.8s|160000 | 53363 | 0 | 0.0 | 23M| 23 | - | 30 |2441 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
35.08/35.14 c 32.6s|170000 | 58753 | 0 | 0.0 | 25M| 23 | - | 30 |2308 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
37.17/37.25 c 34.6s|180000 | 63551 | 0 | 0.0 | 27M| 23 | - | 30 |2512 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
39.38/39.49 c 36.6s|190000 | 68132 | 0 | 0.0 | 28M| 23 | - | 30 |2420 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
41.88/41.98 c 39.0s|200000 | 72195 | 0 | 0.0 | 30M| 23 | - | 30 |2795 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
44.48/44.59 c 41.4s|210000 | 76229 | 0 | 0.0 | 32M| 23 | - | 30 |2642 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
47.08/47.14 c 43.9s|220000 | 79820 | 0 | 0.0 | 33M| 23 | - | 30 |2489 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
49.58/49.64 c 46.2s|230000 | 83194 | 0 | 0.0 | 34M| 23 | - | 30 |2190 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
52.17/52.27 c 48.7s|240000 | 86487 | 0 | 0.0 | 36M| 23 | - | 30 |2672 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
54.98/55.07 c 51.3s|250000 | 89717 | 0 | 0.0 | 37M| 23 | - | 30 |2556 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
58.07/58.12 c 54.2s|260000 | 92184 | 0 | 0.0 | 38M| 23 | - | 30 |2709 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
61.07/61.18 c 57.1s|270000 | 94725 | 0 | 0.0 | 40M| 23 | - | 30 |2758 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
64.17/64.28 c 60.1s|280000 | 97035 | 0 | 0.0 | 41M| 23 | - | 30 |2725 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
67.37/67.42 c 63.1s|290000 | 99351 | 0 | 0.0 | 42M| 23 | - | 30 |2816 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
70.67/70.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.67/70.74 c 66.3s|300000 |101580 | 0 | 0.0 | 43M| 23 | - | 30 |2945 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
74.57/74.60 c 70.0s|310000 |102863 | 0 | 0.0 | 44M| 23 | - | 30 |3396 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
78.86/78.91 c 74.1s|320000 |104149 | 0 | 0.0 | 45M| 23 | - | 30 |3662 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
83.17/83.27 c 78.3s|330000 |105572 | 0 | 0.0 | 46M| 23 | - | 30 |3849 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
87.46/87.55 c 82.5s|340000 |106994 | 0 | 0.0 | 47M| 23 | - | 30 |3723 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
92.36/92.50 c 87.2s|350000 |108129 | 0 | 0.0 | 48M| 23 | - | 30 |4033 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
98.05/98.13 c 92.8s|360000 |108619 | 0 | 0.0 | 49M| 25 | - | 30 |4763 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
104.56/104.66 c 99.1s|370000 |108818 | 0 | 0.0 | 50M| 25 | - | 30 |5301 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
110.56/110.64 c 105s|380000 |111603 | 0 | 0.0 | 51M| 25 | - | 30 |4532 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
113.55/113.63 c 108s|390000 |117055 | 0 | 0.0 | 52M| 25 | - | 30 |4009 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
116.76/116.81 c 111s|400000 |122231 | 0 | 0.0 | 54M| 25 | - | 30 |3977 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
120.05/120.15 c 114s|410000 |126871 | 0 | 0.0 | 56M| 25 | - | 30 |3836 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
123.65/123.70 c 117s|420000 |131494 | 0 | 0.0 | 57M| 25 | - | 30 |4074 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
127.15/127.29 c 121s|430000 |135918 | 0 | 0.0 | 59M| 25 | - | 30 |3827 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
130.85/130.95 c 124s|440000 |139989 | 0 | 0.0 | 60M| 25 | - | 30 |3489 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
134.23/134.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.23/134.31 c 127s|450000 |143965 | 0 | 0.0 | 62M| 25 | - | 30 |3754 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
137.53/137.66 c 131s|460000 |147904 | 0 | 0.0 | 63M| 25 | - | 30 |3134 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
140.93/141.01 c 134s|470000 |151699 | 0 | 0.0 | 64M| 25 | - | 30 |3497 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
144.32/144.46 c 137s|480000 |155551 | 0 | 0.0 | 66M| 25 | - | 30 |3481 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
147.82/147.99 c 141s|490000 |159041 | 0 | 0.0 | 67M| 25 | - | 30 |3239 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
151.63/151.72 c 144s|500000 |162208 | 0 | 0.0 | 68M| 25 | - | 30 |3460 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
155.33/155.43 c 148s|510000 |165317 | 0 | 0.0 | 70M| 25 | - | 30 |3294 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
158.72/158.85 c 151s|520000 |168357 | 0 | 0.0 | 71M| 25 | - | 30 |3074 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
162.12/162.20 c 154s|530000 |171496 | 0 | 0.0 | 72M| 25 | - | 30 |3259 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
165.62/165.73 c 158s|540000 |174605 | 0 | 0.0 | 73M| 25 | - | 30 |3271 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
169.23/169.32 c 161s|550000 |177594 | 0 | 0.0 | 75M| 25 | - | 30 |3594 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
173.42/173.53 c 165s|560000 |180565 | 0 | 0.0 | 76M| 25 | - | 30 |3868 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
178.03/178.15 c 170s|570000 |182997 | 0 | 0.0 | 77M| 25 | - | 30 |3977 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
183.32/183.46 c 175s|580000 |184930 | 0 | 0.0 | 79M| 25 | - | 30 |4303 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
188.71/188.81 c 180s|590000 |186850 | 0 | 0.0 | 80M| 25 | - | 30 |4395 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
194.21/194.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.21/194.30 c 185s|600000 |188807 | 0 | 0.0 | 81M| 25 | - | 30 |4532 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
199.71/199.84 c 191s|610000 |190744 | 0 | 0.0 | 82M| 25 | - | 30 |4289 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
204.52/204.65 c 195s|620000 |192872 | 0 | 0.0 | 83M| 25 | - | 30 |4101 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
209.21/209.33 c 200s|630000 |195136 | 0 | 0.0 | 84M| 25 | - | 30 |4154 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
214.01/214.17 c 204s|640000 |197280 | 0 | 0.0 | 85M| 25 | - | 30 |4158 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
218.90/219.03 c 209s|650000 |199453 | 0 | 0.0 | 86M| 25 | - | 30 |4045 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
224.11/224.20 c 214s|660000 |201398 | 0 | 0.0 | 87M| 25 | - | 30 |4366 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
229.60/229.79 c 220s|670000 |203269 | 0 | 0.0 | 88M| 25 | - | 30 |4436 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
236.41/236.56 c 226s|680000 |203898 | 0 | 0.0 | 89M| 25 | - | 30 |4846 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
243.50/243.60 c 233s|690000 |204784 | 0 | 0.0 | 89M| 25 | - | 30 |4980 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
250.89/251.04 c 240s|700000 |205534 | 0 | 0.0 | 90M| 25 | - | 30 |5173 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
257.99/258.14 c 247s|710000 |206538 | 0 | 0.0 | 91M| 25 | - | 30 |5322 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
265.28/265.47 c 255s|720000 |207499 | 0 | 0.0 | 92M| 25 | - | 30 |5482 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
272.39/272.53 c 261s|730000 |208821 | 0 | 0.0 | 93M| 25 | - | 30 |5516 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
279.08/279.28 c 268s|740000 |210292 | 0 | 0.0 | 94M| 25 | - | 30 |5410 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
286.28/286.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.28/286.48 c 275s|750000 |211497 | 0 | 0.0 | 94M| 25 | - | 30 |5407 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
294.88/295.00 c 283s|760000 |211654 | 0 | 0.0 | 95M| 25 | - | 30 |6017 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
305.78/305.97 c 294s|770000 |210680 | 0 | 0.0 | 95M| 25 | - | 30 |7039 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
316.68/316.90 c 305s|780000 |210173 | 0 | 0.0 | 96M| 25 | - | 30 |7411 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
333.76/333.95 c 322s|790000 |207907 | 0 | 0.0 | 95M| 25 | - | 30 |9012 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
346.37/346.57 c 334s|800000 |209855 | 0 | 0.0 | 96M| 25 | - | 30 |8385 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
351.56/351.73 c 339s|810000 |215329 | 0 | 0.0 | 98M| 25 | - | 30 |7057 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
356.36/356.56 c 344s|820000 |220386 | 0 | 0.0 | 99M| 25 | - | 30 |6319 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
361.36/361.59 c 349s|830000 |225189 | 0 | 0.0 | 101M| 25 | - | 30 |6378 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
366.56/366.79 c 354s|840000 |230089 | 0 | 0.0 | 102M| 25 | - | 30 |6237 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
371.86/372.06 c 359s|850000 |234416 | 0 | 0.0 | 104M| 25 | - | 30 |5994 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
377.25/377.43 c 364s|860000 |238544 | 0 | 0.0 | 105M| 25 | - | 30 |6026 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
382.86/383.07 c 370s|870000 |242698 | 0 | 0.0 | 107M| 25 | - | 30 |6417 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
388.95/389.12 c 376s|880000 |246835 | 0 | 0.0 | 108M| 25 | - | 30 |6237 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
394.55/394.78 c 381s|890000 |250986 | 0 | 0.0 | 109M| 25 | - | 30 |6155 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
400.65/400.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.65/400.83 c 387s|900000 |254978 | 0 | 0.0 | 111M| 25 | - | 30 |6008 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
407.05/407.27 c 393s|910000 |258448 | 0 | 0.0 | 112M| 25 | - | 30 |5657 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
412.35/412.59 c 398s|920000 |261946 | 0 | 0.0 | 113M| 25 | - | 30 |5006 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
417.34/417.51 c 403s|930000 |265468 | 0 | 0.0 | 114M| 25 | - | 30 |4525 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
422.34/422.50 c 408s|940000 |268894 | 0 | 0.0 | 115M| 25 | - | 30 |4735 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
427.64/427.80 c 413s|950000 |272332 | 0 | 0.0 | 117M| 25 | - | 30 |4727 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
432.74/432.91 c 418s|960000 |275780 | 0 | 0.0 | 118M| 25 | - | 30 |4849 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
438.04/438.29 c 423s|970000 |279290 | 0 | 0.0 | 119M| 25 | - | 30 |5050 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
443.64/443.87 c 429s|980000 |282729 | 0 | 0.0 | 121M| 25 | - | 30 |4618 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
449.23/449.40 c 434s|990000 |286067 | 0 | 0.0 | 122M| 25 | - | 30 |5081 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
455.73/455.93 c 441s| 1000k|288673 | 0 | 0.0 | 123M| 25 | - | 30 |5129 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
461.93/462.10 c 447s| 1010k|291267 | 0 | 0.0 | 124M| 25 | - | 30 |5451 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
468.34/468.55 c 453s| 1020k|293767 | 0 | 0.0 | 125M| 25 | - | 30 |5103 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
475.03/475.27 c 459s| 1030k|296234 | 0 | 0.0 | 127M| 25 | - | 30 |5381 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
481.83/482.01 c 466s| 1040k|298816 | 0 | 0.0 | 128M| 25 | - | 30 |5337 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
487.93/488.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.93/488.19 c 472s| 1050k|301451 | 0 | 0.0 | 129M| 25 | - | 30 |5500 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
494.02/494.23 c 478s| 1060k|304033 | 0 | 0.0 | 130M| 25 | - | 30 |5031 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
499.52/499.71 c 483s| 1070k|306604 | 0 | 0.0 | 130M| 25 | - | 30 |4445 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
505.02/505.23 c 489s| 1080k|309102 | 0 | 0.0 | 132M| 25 | - | 30 |4581 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
510.31/510.59 c 494s| 1090k|311691 | 0 | 0.0 | 133M| 25 | - | 30 |4668 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
516.31/516.52 c 500s| 1100k|314264 | 0 | 0.0 | 134M| 25 | - | 30 |4971 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
522.41/522.60 c 505s| 1110k|316879 | 0 | 0.0 | 135M| 25 | - | 30 |4886 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
528.51/528.72 c 511s| 1120k|319338 | 0 | 0.0 | 136M| 25 | - | 30 |5098 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
534.80/535.02 c 518s| 1130k|321900 | 0 | 0.0 | 137M| 25 | - | 30 |4870 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
541.50/541.70 c 524s| 1140k|324236 | 0 | 0.0 | 138M| 25 | - | 30 |5177 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
549.10/549.32 c 532s| 1150k|325709 | 0 | 0.0 | 139M| 25 | - | 30 |5416 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
556.80/557.05 c 539s| 1160k|327096 | 0 | 0.0 | 140M| 25 | - | 30 |5539 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
565.30/565.52 c 547s| 1170k|328389 | 0 | 0.0 | 141M| 25 | - | 30 |6209 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
574.10/574.32 c 556s| 1180k|329772 | 0 | 0.0 | 142M| 25 | - | 30 |6442 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
583.39/583.63 c 565s| 1190k|331163 | 0 | 0.0 | 143M| 25 | - | 30 |6609 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
592.09/592.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.09/592.37 c 574s| 1200k|332706 | 0 | 0.0 | 143M| 25 | - | 30 |6075 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
600.49/600.71 c 582s| 1210k|334267 | 0 | 0.0 | 144M| 25 | - | 30 |6148 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
608.99/609.21 c 590s| 1220k|335775 | 0 | 0.0 | 145M| 25 | - | 30 |6141 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
617.39/617.64 c 599s| 1230k|337424 | 0 | 0.0 | 146M| 25 | - | 30 |6078 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
625.38/625.62 c 606s| 1240k|339043 | 0 | 0.0 | 147M| 25 | - | 30 |5906 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
632.98/633.26 c 614s| 1250k|340710 | 0 | 0.0 | 147M| 25 | - | 30 |5873 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
640.68/640.92 c 621s| 1260k|342473 | 0 | 0.0 | 148M| 25 | - | 30 |5556 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
647.68/647.99 c 628s| 1270k|344194 | 0 | 0.0 | 149M| 25 | - | 30 |5523 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
654.77/655.05 c 635s| 1280k|345858 | 0 | 0.0 | 150M| 25 | - | 30 |5328 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
661.76/662.01 c 642s| 1290k|347604 | 0 | 0.0 | 151M| 25 | - | 30 |5322 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
668.86/669.19 c 649s| 1300k|349330 | 0 | 0.0 | 151M| 25 | - | 30 |5447 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
676.56/676.87 c 656s| 1310k|350965 | 0 | 0.0 | 152M| 25 | - | 30 |5558 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
684.46/684.77 c 664s| 1320k|352404 | 0 | 0.0 | 153M| 25 | - | 30 |5628 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
693.16/693.44 c 673s| 1330k|353823 | 0 | 0.0 | 154M| 25 | - | 30 |5948 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
704.06/704.36 c 683s| 1340k|353702 | 0 | 0.0 | 155M| 25 | - | 30 |6608 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
716.05/716.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.05/716.35 c 695s| 1350k|353527 | 0 | 0.0 | 155M| 25 | - | 30 |7120 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
728.75/729.01 c 708s| 1360k|353441 | 0 | 0.0 | 156M| 25 | - | 30 |7602 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
741.64/741.91 c 720s| 1370k|353423 | 0 | 0.0 | 156M| 25 | - | 30 |7694 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
754.84/755.13 c 734s| 1380k|353496 | 0 | 0.0 | 156M| 25 | - | 30 |7873 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
768.34/768.60 c 747s| 1390k|353514 | 0 | 0.0 | 157M| 25 | - | 30 |8152 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
781.13/781.42 c 760s| 1400k|353546 | 0 | 0.0 | 157M| 25 | - | 30 |7793 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
793.23/793.54 c 771s| 1410k|353599 | 0 | 0.0 | 158M| 25 | - | 30 |7797 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
806.22/806.58 c 784s| 1420k|353571 | 0 | 0.0 | 158M| 25 | - | 30 |7814 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
818.62/818.95 c 797s| 1430k|353751 | 0 | 0.0 | 158M| 25 | - | 30 |7830 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
830.82/831.16 c 809s| 1440k|354067 | 0 | 0.0 | 159M| 25 | - | 30 |7605 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
842.62/842.90 c 820s| 1450k|354416 | 0 | 0.0 | 159M| 25 | - | 30 |7249 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
855.11/855.49 c 833s| 1460k|354368 | 0 | 0.0 | 159M| 25 | - | 30 |7419 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
869.81/870.16 c 847s| 1470k|353926 | 0 | 0.0 | 160M| 25 | - | 30 |8129 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
890.70/891.02 c 868s| 1480k|351661 | 0 | 0.0 | 159M| 25 | - | 30 |9860 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
916.08/916.44 c 893s| 1490k|349276 | 0 | 0.0 | 159M| 25 | - | 30 | 11k| 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
942.47/942.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
942.47/942.83 c 919s| 1500k|347056 | 0 | 0.0 | 159M| 25 | - | 30 | 11k| 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
969.57/969.96 c 946s| 1510k|344953 | 0 | 0.0 | 158M| 25 | - | 30 | 12k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
1007.06/1007.48 c 984s| 1520k|341778 | 0 | 0.0 | 157M| 25 | - | 30 | 14k| 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
1059.54/1059.94 c 1036s| 1530k|336971 | 0 | 0.0 | 157M| 25 | - | 30 | 16k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
1071.63/1072.02 c 1048s| 1540k|342032 | 0 | 0.0 | 158M| 25 | - | 30 | 13k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1081.03/1081.44 c 1057s| 1550k|346920 | 0 | 0.0 | 158M| 25 | - | 30 | 11k| 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
1089.23/1089.60 c 1065s| 1560k|351934 | 0 | 0.0 | 160M| 25 | - | 30 |9991 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
1098.03/1098.47 c 1074s| 1570k|356223 | 0 | 0.0 | 161M| 25 | - | 30 |9716 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
1106.62/1107.08 c 1082s| 1580k|360563 | 0 | 0.0 | 162M| 25 | - | 30 |9580 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
1115.02/1115.49 c 1090s| 1590k|364869 | 0 | 0.0 | 164M| 25 | - | 30 |9612 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
1123.11/1123.50 c 1098s| 1600k|369282 | 0 | 0.0 | 165M| 25 | - | 30 |9473 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
1132.81/1133.28 c 1108s| 1610k|372839 | 0 | 0.0 | 166M| 25 | - | 30 |9846 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1143.10/1143.50 c 1118s| 1620k|376450 | 0 | 0.0 | 168M| 25 | - | 30 |9912 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
1153.10/1153.51 c 1128s| 1630k|380214 | 0 | 0.0 | 169M| 25 | - | 30 | 10k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
1163.10/1163.54 c 1138s| 1640k|384054 | 0 | 0.0 | 170M| 25 | - | 30 |9942 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
1173.00/1173.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.00/1173.46 c 1147s| 1650k|387808 | 0 | 0.0 | 172M| 25 | - | 30 |9781 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
1183.49/1183.90 c 1158s| 1660k|391382 | 0 | 0.0 | 173M| 25 | - | 30 | 10k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
1193.99/1194.42 c 1168s| 1670k|395138 | 0 | 0.0 | 174M| 25 | - | 30 |9968 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
1203.68/1204.11 c 1178s| 1680k|398897 | 0 | 0.0 | 175M| 25 | - | 30 |9710 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
1214.09/1214.51 c 1188s| 1690k|402035 | 0 | 0.0 | 176M| 25 | - | 30 |8883 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
1224.08/1224.59 c 1198s| 1700k|404935 | 0 | 0.0 | 177M| 25 | - | 30 |8609 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
1234.08/1234.51 c 1208s| 1710k|407844 | 0 | 0.0 | 178M| 25 | - | 30 |8442 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
1244.37/1244.89 c 1218s| 1720k|410550 | 0 | 0.0 | 179M| 25 | - | 30 |8675 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
1255.07/1255.54 c 1228s| 1730k|413462 | 0 | 0.0 | 180M| 25 | - | 30 |8241 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
1265.07/1265.56 c 1238s| 1740k|416278 | 0 | 0.0 | 181M| 25 | - | 30 |7956 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
1274.06/1274.55 c 1247s| 1750k|419129 | 0 | 0.0 | 183M| 25 | - | 30 |8025 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
1283.96/1284.46 c 1257s| 1760k|421933 | 0 | 0.0 | 184M| 25 | - | 30 |8171 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
1293.96/1294.41 c 1266s| 1770k|424813 | 0 | 0.0 | 185M| 25 | - | 30 |8301 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
1303.66/1304.18 c 1276s| 1780k|427765 | 0 | 0.0 | 186M| 25 | - | 30 |7939 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
1313.46/1313.90 c 1286s| 1790k|430623 | 0 | 0.0 | 187M| 25 | - | 30 |8091 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
1323.75/1324.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.75/1324.27 c 1296s| 1800k|433504 | 0 | 0.0 | 188M| 25 | - | 30 |8073 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
1333.76/1334.20 c 1306s| 1810k|436377 | 0 | 0.0 | 189M| 25 | - | 30 |7926 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
1343.14/1343.63 c 1315s| 1820k|439413 | 0 | 0.0 | 190M| 25 | - | 30 |7736 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1351.84/1352.35 c 1323s| 1830k|442255 | 0 | 0.0 | 191M| 25 | - | 30 |6897 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
1360.94/1361.45 c 1332s| 1840k|444646 | 0 | 0.0 | 192M| 25 | - | 30 |6354 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
1370.34/1370.82 c 1342s| 1850k|446568 | 0 | 0.0 | 193M| 25 | - | 30 |6655 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
1380.14/1380.62 c 1351s| 1860k|448439 | 0 | 0.0 | 194M| 25 | - | 30 |6612 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
1390.33/1390.87 c 1361s| 1870k|450304 | 0 | 0.0 | 195M| 25 | - | 30 |6943 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
1400.33/1400.83 c 1371s| 1880k|452301 | 0 | 0.0 | 196M| 25 | - | 30 |7006 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
1410.42/1410.92 c 1381s| 1890k|454357 | 0 | 0.0 | 196M| 25 | - | 30 |6489 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
1419.53/1420.00 c 1390s| 1900k|456169 | 0 | 0.0 | 197M| 25 | - | 30 |6290 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
1428.62/1429.14 c 1399s| 1910k|457990 | 0 | 0.0 | 198M| 25 | - | 30 |6470 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
1438.32/1438.81 c 1408s| 1920k|459850 | 0 | 0.0 | 199M| 25 | - | 30 |6683 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
1447.92/1448.44 c 1418s| 1930k|461658 | 0 | 0.0 | 200M| 25 | - | 30 |6924 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
1457.41/1457.97 c 1427s| 1940k|463440 | 0 | 0.0 | 200M| 25 | - | 30 |6620 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1466.51/1467.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.51/1467.07 c 1436s| 1950k|465149 | 0 | 0.0 | 201M| 25 | - | 30 |6101 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
1475.30/1475.88 c 1445s| 1960k|466979 | 0 | 0.0 | 202M| 25 | - | 30 |6151 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
1484.10/1484.68 c 1454s| 1970k|468783 | 0 | 0.0 | 203M| 25 | - | 30 |6303 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
1493.50/1494.05 c 1463s| 1980k|470662 | 0 | 0.0 | 204M| 25 | - | 30 |6503 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
1503.40/1503.99 c 1473s| 1990k|472528 | 0 | 0.0 | 204M| 25 | - | 30 |6817 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
1513.79/1514.33 c 1483s| 2000k|474334 | 0 | 0.0 | 205M| 25 | - | 30 |6961 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
1523.89/1524.43 c 1493s| 2010k|476054 | 0 | 0.0 | 206M| 25 | - | 30 |6856 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
1533.89/1534.43 c 1502s| 2020k|477902 | 0 | 0.0 | 207M| 25 | - | 30 |7096 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
1544.48/1545.05 c 1513s| 2030k|479770 | 0 | 0.0 | 208M| 25 | - | 30 |7243 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
1554.98/1555.53 c 1523s| 2040k|481702 | 0 | 0.0 | 209M| 25 | - | 30 |7110 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
1565.78/1566.36 c 1534s| 2050k|483569 | 0 | 0.0 | 210M| 25 | - | 30 |7070 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
1576.47/1577.08 c 1544s| 2060k|485481 | 0 | 0.0 | 211M| 25 | - | 30 |7432 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
1587.37/1587.97 c 1555s| 2070k|487346 | 0 | 0.0 | 212M| 25 | - | 30 |7206 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
1599.67/1600.20 c 1567s| 2080k|488339 | 0 | 0.0 | 212M| 25 | - | 30 |7164 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
1613.26/1613.86 c 1581s| 2090k|488839 | 0 | 0.0 | 213M| 25 | - | 30 |7741 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
1628.05/1628.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.05/1628.67 c 1595s| 2100k|489348 | 0 | 0.0 | 213M| 25 | - | 30 |7962 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
1643.05/1643.63 c 1610s| 2110k|490015 | 0 | 0.0 | 214M| 25 | - | 30 |8181 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
1657.74/1658.38 c 1625s| 2120k|490359 | 0 | 0.0 | 214M| 25 | - | 30 |8413 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
1673.03/1673.62 c 1640s| 2130k|490769 | 0 | 0.0 | 215M| 25 | - | 30 |8650 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
1688.73/1689.33 c 1655s| 2140k|491143 | 0 | 0.0 | 216M| 25 | - | 30 |8853 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
1704.02/1704.68 c 1670s| 2150k|491514 | 0 | 0.0 | 216M| 25 | - | 30 |8241 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
1718.42/1719.08 c 1685s| 2160k|491875 | 0 | 0.0 | 216M| 25 | - | 30 |8148 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
1733.71/1734.31 c 1700s| 2170k|492359 | 0 | 0.0 | 217M| 25 | - | 30 |8408 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
1749.21/1749.82 c 1715s| 2180k|492893 | 0 | 0.0 | 218M| 25 | - | 30 |9054 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
1765.01/1765.62 c 1731s| 2190k|493318 | 0 | 0.0 | 218M| 25 | - | 30 |8963 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
1780.60/1781.28 c 1746s| 2200k|493888 | 0 | 0.0 | 219M| 25 | - | 30 |9123 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
1796.10/1796.78 c 1762s| 2210k|494339 | 0 | 0.0 | 219M| 25 | - | 30 |9183 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1765.30
1800.01/1800.61 c Solving Nodes : 2212534
1800.01/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.61 c Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Gap : infinite
1800.01/1800.61 s UNKNOWN
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1765.30
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2664796-1276599530.opb
1800.01/1800.61 c Variables : 31 (31 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 9 initial, 9 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2664796-1276599530.opb
1800.01/1800.61 c Variables : 30 (30 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 4 initial, 16876 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.00 0 0 0 0 0 5 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 4 0 3179509 0 1389945 895434 6019798 0 0 0
1800.01/1800.61 c logicor : 0+ 0 1236137 0 0 56 142375 0 0 0
1800.01/1800.62 c countsols : 0 0 0 0 1389945 0 0 0 0 0
1800.01/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.62 c linear : 127.18 0.00 125.82 0.00 1.36
1800.01/1800.62 c logicor : 863.67 0.00 863.67 0.00 0.00
1800.01/1800.62 c countsols : 0.66 0.00 0.00 0.00 0.66
1800.01/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.62 c vbounds : 1.53 2 0 0
1800.01/1800.62 c rootredcost : 1.61 0 0 0
1800.01/1800.62 c pseudoobj : 1.49 0 0 0
1800.01/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.62 c propagation : 33.17 895490 225745 397422 21.6 1 23.0 -
1800.01/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.62 c applied globally : - - - 237899 20.9 - - -
1800.01/1800.62 c applied locally : - - - 0 0.0 - - -
1800.01/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.62 c redcost : 0.00 0 0 0 0 0
1800.01/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.62 c intobj : 0.00 0 0 0 0 0
1800.01/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.62 c gomory : 0.00 0 0 0 0 0
1800.01/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.62 c cmir : 0.00 0 0 0 0 0
1800.01/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.62 c clique : 0.00 0 0 0 0 0
1800.01/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.62 c mcf : 0.00 0 0 0 0 0
1800.01/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.62 c Pricers : Time Calls Vars
1800.01/1800.62 c problem variables: 0.00 0 0
1800.01/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.62 c inference : 10.89 1389945 0 0 0 0 2779890
1800.01/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.62 c random : 0.00 0 0 0 0 0 0
1800.01/1800.62 c Primal Heuristics : Time Calls Found
1800.01/1800.62 c LP solutions : 0.00 - 0
1800.01/1800.62 c pseudo solutions : 0.00 - 0
1800.01/1800.62 c oneopt : 1.30 0 0
1800.01/1800.62 c trivial : 0.00 2 0
1800.01/1800.62 c simplerounding : 0.00 0 0
1800.01/1800.62 c zirounding : 0.00 0 0
1800.01/1800.62 c rounding : 0.00 0 0
1800.01/1800.62 c shifting : 0.00 0 0
1800.01/1800.62 c intshifting : 0.00 0 0
1800.01/1800.62 c twoopt : 0.00 0 0
1800.01/1800.62 c fixandinfer : 0.00 0 0
1800.01/1800.62 c feaspump : 0.00 0 0
1800.01/1800.62 c coefdiving : 0.00 0 0
1800.01/1800.62 c pscostdiving : 0.00 0 0
1800.01/1800.62 c fracdiving : 0.00 0 0
1800.01/1800.62 c veclendiving : 0.00 0 0
1800.01/1800.62 c intdiving : 0.00 0 0
1800.01/1800.62 c actconsdiving : 0.00 0 0
1800.01/1800.62 c objpscostdiving : 0.00 0 0
1800.01/1800.62 c rootsoldiving : 0.00 0 0
1800.01/1800.62 c linesearchdiving : 0.00 0 0
1800.01/1800.62 c guideddiving : 0.00 0 0
1800.01/1800.62 c octane : 0.00 0 0
1800.01/1800.62 c rens : 0.00 0 0
1800.01/1800.62 c rins : 0.00 0 0
1800.01/1800.62 c localbranching : 0.00 0 0
1800.01/1800.62 c mutation : 0.00 0 0
1800.01/1800.62 c crossover : 0.00 0 0
1800.01/1800.62 c dins : 0.00 0 0
1800.01/1800.62 c undercover : 0.00 0 0
1800.01/1800.62 c nlp : 1.53 0 0
1800.01/1800.62 c trysol : 0.83 0 0
1800.01/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.62 c (at root node) : - 0 0 0.00 -
1800.01/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.62 c B&B Tree :
1800.01/1800.62 c number of runs : 1
1800.01/1800.62 c nodes : 2212534
1800.01/1800.62 c nodes (total) : 2212534
1800.01/1800.62 c nodes left : 494452
1800.01/1800.62 c max depth : 25
1800.01/1800.62 c max depth (total): 25
1800.01/1800.62 c backtracks : 398300 (18.0%)
1800.01/1800.62 c delayed cutoffs : 72905
1800.01/1800.62 c repropagations : 180488 (530450 domain reductions, 72901 cutoffs)
1800.01/1800.62 c avg switch length: 7.95
1800.01/1800.62 c switching time : 520.80
1800.01/1800.62 c Solution :
1800.01/1800.62 c Solutions found : 0 (0 improvements)
1800.01/1800.62 c Primal Bound : -
1800.01/1800.62 c Dual Bound : +0.00000000000000e+00
1800.01/1800.62 c Gap : infinite
1800.01/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.62 c Root Iterations : 0
1801.79/1802.41 c Time complete: 1801.81.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664796-1276599530/watcher-2664796-1276599530 -o /tmp/evaluation-result-2664796-1276599530/solver-2664796-1276599530 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664796-1276599530.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.90 1.92 1.63 3/106 3874
/proc/meminfo: memFree=1693780/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=6584 CPUtime=0
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 35556651 6742016 924 1992294400 4194304 7136930 140735808040176 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3874/statm: 1646 935 254 719 0 925 0
[startup+0.091894 s]
/proc/loadavg: 1.90 1.92 1.63 3/106 3874
/proc/meminfo: memFree=1693780/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=11048 CPUtime=0.09
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 2965 0 0 0 7 2 0 0 20 0 1 0 35556651 11313152 2021 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 2762 2021 387 719 0 2041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11048
[startup+0.101895 s]
/proc/loadavg: 1.90 1.92 1.63 3/106 3874
/proc/meminfo: memFree=1693780/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=11048 CPUtime=0.09
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 2967 0 0 0 7 2 0 0 20 0 1 0 35556651 11313152 2023 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 2762 2023 387 719 0 2041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11048
[startup+0.301954 s]
/proc/loadavg: 1.90 1.92 1.63 3/106 3874
/proc/meminfo: memFree=1693780/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=11884 CPUtime=0.29
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 3186 0 0 0 24 5 0 0 20 0 1 0 35556651 12169216 2242 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 2971 2242 387 719 0 2250 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11884
[startup+0.701965 s]
/proc/loadavg: 1.90 1.92 1.63 3/106 3874
/proc/meminfo: memFree=1693780/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=13052 CPUtime=0.69
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 3504 0 0 0 58 11 0 0 21 0 1 0 35556651 13365248 2560 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 3263 2560 387 719 0 2542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13052
[startup+1.50106 s]
/proc/loadavg: 1.90 1.92 1.63 2/107 3875
/proc/meminfo: memFree=1684348/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=14116 CPUtime=1.49
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 3773 0 0 0 128 21 0 0 23 0 1 0 35556651 14454784 2829 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 3529 2829 387 719 0 2808 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14116
[startup+3.10124 s]
/proc/loadavg: 1.90 1.92 1.63 2/107 3875
/proc/meminfo: memFree=1682612/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=16648 CPUtime=3.09
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 4414 0 0 0 270 39 0 0 25 0 1 0 35556651 17047552 3470 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 4162 3470 387 719 0 3441 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16648
[startup+6.30165 s]
/proc/loadavg: 1.82 1.91 1.62 2/107 3875
/proc/meminfo: memFree=1678520/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=20196 CPUtime=6.29
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 5305 0 0 0 566 63 0 0 25 0 1 0 35556651 20680704 4361 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 5049 4361 387 719 0 4328 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20196
[startup+12.7014 s]
/proc/loadavg: 1.76 1.89 1.62 2/107 3875
/proc/meminfo: memFree=1673436/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=24532 CPUtime=12.68
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 6397 0 0 0 1165 103 0 0 25 0 1 0 35556651 25120768 5453 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 6133 5453 387 719 0 5412 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24532
[startup+25.5018 s]
/proc/loadavg: 1.59 1.85 1.61 2/107 3875
/proc/meminfo: memFree=1663516/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=33580 CPUtime=25.48
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 8742 0 0 0 2356 192 0 0 25 0 1 0 35556651 34385920 7798 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 8395 7798 387 719 0 7674 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33580
[startup+51.1018 s]
/proc/loadavg: 1.39 1.78 1.59 2/107 3875
/proc/meminfo: memFree=1645660/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=52740 CPUtime=51.07
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 13180 0 0 0 4756 351 0 0 25 0 1 0 35556651 54005760 12236 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 13185 12236 387 719 0 12464 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52740
[startup+102.309 s]
/proc/loadavg: 1.17 1.65 1.56 2/107 3877
/proc/meminfo: memFree=1631276/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=66868 CPUtime=102.26
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 16760 0 0 0 9681 545 0 0 25 0 1 0 35556651 68472832 15816 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 16717 15816 387 719 0 15996 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 66868
[startup+162.302 s]
/proc/loadavg: 1.06 1.53 1.52 2/107 3888
/proc/meminfo: memFree=1606724/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=90876 CPUtime=162.22
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 22948 0 0 0 15425 797 0 0 25 0 1 0 35556651 93057024 22004 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 22719 22004 387 719 0 21998 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 90876
[startup+222.302 s]
/proc/loadavg: 1.02 1.43 1.49 2/107 3890
/proc/meminfo: memFree=1592340/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=108332 CPUtime=222.2
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 26402 0 0 0 21231 989 0 0 25 0 1 0 35556651 110931968 25458 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 27083 25458 387 719 0 26362 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 108332
[startup+282.302 s]
/proc/loadavg: 1.01 1.35 1.45 2/107 3890
/proc/meminfo: memFree=1582296/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=117664 CPUtime=282.18
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 28778 0 0 0 27101 1117 0 0 25 0 1 0 35556651 120487936 27834 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 29416 27834 387 719 0 28695 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 117664
[startup+342.302 s]
/proc/loadavg: 1.00 1.29 1.42 2/107 3892
/proc/meminfo: memFree=1579940/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=120332 CPUtime=342.17
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 29377 0 0 0 33019 1198 0 0 25 0 1 0 35556651 123219968 28433 1992294400 4194304 7136930 140735808040176 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 30083 28433 387 719 0 29362 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 120332
[startup+402.301 s]
/proc/loadavg: 1.00 1.23 1.39 2/107 3894
/proc/meminfo: memFree=1564192/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=135656 CPUtime=402.15
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 33292 0 0 0 38854 1361 0 0 25 0 1 0 35556651 138911744 32348 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 33914 32348 387 719 0 33193 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 135656
[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.36 2/107 3896
/proc/meminfo: memFree=1551668/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=147568 CPUtime=462.13
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 36411 0 0 0 44676 1537 0 0 25 0 1 0 35556651 151109632 35467 1992294400 4194304 7136930 140735808040176 18446744073709551615 4221551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 36892 35467 387 719 0 36171 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 147568
[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.34 2/107 3898
/proc/meminfo: memFree=1539764/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=159268 CPUtime=522.12
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 39437 0 0 0 50517 1695 0 0 25 0 1 0 35556651 163090432 38493 1992294400 4194304 7136930 140735808040176 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 39817 38493 387 719 0 39096 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 159268
[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.32 2/107 3898
/proc/meminfo: memFree=1532076/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=166512 CPUtime=582.09
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 41310 0 0 0 56387 1822 0 0 25 0 1 0 35556651 170508288 40366 1992294400 4194304 7136930 140735808040176 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 41628 40366 387 719 0 40907 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 166512
[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.29 2/107 3900
/proc/meminfo: memFree=1524760/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=173476 CPUtime=642.08
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 43097 0 0 0 62267 1941 0 0 25 0 1 0 35556651 177639424 42153 1992294400 4194304 7136930 140735808040176 18446744073709551615 5000322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 43369 42153 387 719 0 42648 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 173476
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.18 2/107 3913
/proc/meminfo: memFree=1510376/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=187252 CPUtime=1001.96
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 46425 0 0 0 97836 2360 0 0 25 0 1 0 35556651 191746048 45481 1992294400 4194304 7136930 140735808040176 18446744073709551615 6166871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 46813 45481 387 719 0 46092 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 187252
[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/107 3915
/proc/meminfo: memFree=1509508/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=188096 CPUtime=1061.93
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 46651 0 0 0 103813 2380 0 0 25 0 1 0 35556651 192610304 45707 1992294400 4194304 7136930 140735808040176 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 47024 45707 387 719 0 46303 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 188096
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/107 3917
/proc/meminfo: memFree=1504424/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=193620 CPUtime=1121.92
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 47936 0 0 0 109711 2481 0 0 25 0 1 0 35556651 198266880 46992 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 48405 46992 387 719 0 47684 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 193620
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 3917
/proc/meminfo: memFree=1496364/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=201776 CPUtime=1181.89
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 50060 0 0 0 115612 2577 0 0 25 0 1 0 35556651 206618624 49116 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 50444 49116 387 719 0 49723 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 201776
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 3919
/proc/meminfo: memFree=1490040/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=207472 CPUtime=1241.87
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 51559 0 0 0 121518 2669 0 0 25 0 1 0 35556651 212451328 50615 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 51868 50615 387 719 0 51147 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 207472
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 3921
/proc/meminfo: memFree=1483468/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=213688 CPUtime=1301.86
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 53181 0 0 0 127421 2765 0 0 25 0 1 0 35556651 218816512 52237 1992294400 4194304 7136930 140735808040176 18446744073709551615 4221536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 53422 52237 387 719 0 52701 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 213688
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 3923
/proc/meminfo: memFree=1476524/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=220288 CPUtime=1361.84
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 54899 0 0 0 133319 2865 0 0 25 0 1 0 35556651 225574912 53955 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 55072 53955 387 719 0 54351 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 220288
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 3925
/proc/meminfo: memFree=1471192/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=225456 CPUtime=1421.83
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 56236 0 0 0 139222 2961 0 0 25 0 1 0 35556651 230866944 55292 1992294400 4194304 7136930 140735808040176 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 56364 55292 387 719 0 55643 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 225456
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 3925
/proc/meminfo: memFree=1466108/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=238440 CPUtime=1481.81
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 57481 0 0 0 145120 3061 0 0 25 0 1 0 35556651 244162560 56537 1992294400 4194304 7136930 140735808040176 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 59610 56537 387 719 0 58889 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 238440
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3927
/proc/meminfo: memFree=1460776/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=243488 CPUtime=1541.78
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 58787 0 0 0 151018 3160 0 0 25 0 1 0 35556651 249331712 57843 1992294400 4194304 7136930 140735808040176 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 60872 57843 387 719 0 60151 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 243488
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 3929
/proc/meminfo: memFree=1456312/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=247632 CPUtime=1601.76
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 59856 0 0 0 156925 3251 0 0 25 0 1 0 35556651 253575168 58912 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 61908 58912 387 719 0 61187 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 247632
[startup+1662.3 s]
/proc/loadavg: 1.05 1.01 1.08 2/107 3931
/proc/meminfo: memFree=1454576/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=249316 CPUtime=1661.74
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 60288 0 0 0 162855 3319 0 0 25 0 1 0 35556651 255299584 59344 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 62329 59344 387 719 0 61608 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 249316
[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.07 2/107 3933
/proc/meminfo: memFree=1452220/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=251512 CPUtime=1721.72
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 60841 0 0 0 168786 3386 0 0 25 0 1 0 35556651 257548288 59897 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 62878 59897 387 719 0 62157 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 251512
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 3933
/proc/meminfo: memFree=1449492/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=254032 CPUtime=1781.7
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 61481 0 0 0 174719 3451 0 0 25 0 1 0 35556651 260128768 60537 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 63508 60537 387 719 0 62787 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 254032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.06 3/107 3935
/proc/meminfo: memFree=1449120/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=254420 CPUtime=1800.01
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 61579 0 0 0 176530 3471 0 0 25 0 1 0 35556651 260526080 60635 1992294400 4194304 7136930 140735808040176 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/3874/statm: 63605 60635 387 719 0 62884 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 254420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.06 3/107 3935
/proc/meminfo: memFree=1449120/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=254420 CPUtime=1800.79
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 61585 0 0 0 176608 3471 0 0 25 0 1 0 35556651 260526080 60641 1992294400 4194304 7136930 140735808040176 18446744073709551615 4670066 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3874/statm: 63605 60641 393 719 0 62884 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 254420
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 3936
/proc/meminfo: memFree=1448988/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=240488 CPUtime=1801.59
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 61585 0 0 0 176688 3471 0 0 25 0 1 0 35556651 246259712 57158 1992294400 4194304 7136930 140735808040176 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3874/statm: 60122 57158 393 719 0 59401 0
Current children cumulated CPU time (s) 1801.59
Current children cumulated vsize (KiB) 240488
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 3936
/proc/meminfo: memFree=1448988/2059040 swapFree=4140048/4192956
[pid=3874] ppid=3872 vsize=111520 CPUtime=1801.79
/proc/3874/stat : 3874 (pbscip.linux.x8) R 3872 3874 3090 0 -1 4202496 61585 0 0 0 176706 3473 0 0 25 0 1 0 35556651 114196480 24916 1992294400 4194304 7136930 140735808040176 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/3874/statm: 27783 24819 393 719 0 27062 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 111520
Child status: 0
Real time (s): 1802.42
CPU time (s): 1801.82
CPU user time (s): 1767.08
CPU system time (s): 34.7447
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 254420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.08
system time used= 34.7447
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61592
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= 3
involuntary context switches= 22049
runsolver used 2.97255 second user time and 8.5337 second system time
The end