0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665450-1276617746.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 26 | - | 234k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 28 | - | 317k| 0 | 6 | 40 | 36 | 40 | 7 | 2 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 32 | - | 338k| 0 | 10 | 40 | 36 | 40 | 11 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 43 | - | 360k| 0 | 11 | 40 | 36 | 40 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 51 | - | 389k| 0 | 14 | 40 | 36 | 40 | 19 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 58 | - | 412k| 0 | 14 | 40 | 36 | 40 | 22 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 61 | - | 433k| 0 | 16 | 40 | 36 | 40 | 24 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 2 | 61 | - | 433k| 0 | 16 | 40 | 36 | 40 | 24 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
5.39/5.41 c 4.6s| 10000 | 3075 | 20972 | 2.1 |3438k| 34 | - | 40 |2882 | 0 | 0 | 19 |3545 | 416 | 0.000000e+00 | -- | Inf
11.10/11.13 c 9.5s| 20000 | 5618 | 44389 | 2.2 |4935k| 35 | 5 | 40 |2228 | 40 | 16 | 19 |7297 | 568 | 0.000000e+00 | -- | Inf
16.49/16.58 c 14.2s| 30000 | 7955 | 67520 | 2.2 |6558k| 35 | 5 | 40 |2881 | 40 | 16 | 19 | 11k| 659 | 0.000000e+00 | -- | Inf
22.10/22.13 c 18.9s| 40000 | 10449 | 90224 | 2.3 |8075k| 35 | - | 40 |2800 | 40 | 16 | 19 | 14k| 759 | 0.000000e+00 | -- | Inf
27.79/27.84 c 23.8s| 50000 | 12577 |113374 | 2.3 |9381k| 35 | 5 | 40 |2440 | 40 | 16 | 19 | 18k| 843 | 0.000000e+00 | -- | Inf
33.48/33.56 c 28.7s| 60000 | 14670 |137510 | 2.3 | 10M| 35 | 5 | 40 |2854 | 40 | 16 | 19 | 22k| 933 | 0.000000e+00 | -- | Inf
39.28/39.39 c 33.7s| 70000 | 16847 |161808 | 2.3 | 12M| 35 | 5 | 40 |3215 | 40 | 16 | 19 | 26k|1044 | 0.000000e+00 | -- | Inf
45.28/45.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.28/45.35 c 38.9s| 80000 | 19048 |186099 | 2.3 | 13M| 35 | 5 | 40 |3316 | 40 | 16 | 19 | 29k|1122 | 0.000000e+00 | -- | Inf
51.18/51.23 c 44.0s| 90000 | 21406 |210666 | 2.3 | 15M| 35 | 5 | 40 |3391 | 40 | 16 | 19 | 33k|1193 | 0.000000e+00 | -- | Inf
57.08/57.12 c 49.1s|100000 | 23684 |231476 | 2.3 | 16M| 35 | 5 | 40 |3054 | 40 | 16 | 19 | 36k|1265 | 0.000000e+00 | -- | Inf
63.08/63.13 c 54.3s|110000 | 25857 |252372 | 2.3 | 18M| 35 | 5 | 40 |3019 | 40 | 16 | 19 | 40k|1337 | 0.000000e+00 | -- | Inf
68.97/69.04 c 59.5s|120000 | 28229 |273507 | 2.3 | 19M| 35 | 5 | 40 |3047 | 40 | 16 | 19 | 43k|1409 | 0.000000e+00 | -- | Inf
75.08/75.11 c 64.8s|130000 | 30233 |294570 | 2.3 | 21M| 35 | 5 | 40 |3350 | 40 | 16 | 19 | 47k|1465 | 0.000000e+00 | -- | Inf
80.87/80.99 c 69.9s|140000 | 32457 |315604 | 2.3 | 22M| 35 | 5 | 40 |3761 | 40 | 16 | 19 | 50k|1533 | 0.000000e+00 | -- | Inf
86.98/87.02 c 75.2s|150000 | 34863 |336141 | 2.2 | 24M| 35 | - | 40 |4054 | 40 | 16 | 19 | 53k|1570 | 0.000000e+00 | -- | Inf
93.17/93.28 c 80.7s|160000 | 36994 |357254 | 2.2 | 25M| 35 | 5 | 40 |3675 | 40 | 16 | 19 | 57k|1616 | 0.000000e+00 | -- | Inf
99.57/99.69 c 86.3s|170000 | 39047 |378273 | 2.2 | 26M| 35 | 5 | 40 |3663 | 40 | 16 | 19 | 60k|1669 | 0.000000e+00 | -- | Inf
105.76/105.88 c 91.7s|180000 | 41205 |399315 | 2.2 | 28M| 35 | 5 | 40 |3678 | 40 | 16 | 19 | 64k|1730 | 0.000000e+00 | -- | Inf
112.06/112.12 c 97.2s|190000 | 43379 |420296 | 2.2 | 29M| 35 | 5 | 40 |3900 | 40 | 16 | 19 | 67k|1763 | 0.000000e+00 | -- | Inf
118.66/118.79 c 103s|200000 | 45253 |441404 | 2.2 | 30M| 35 | 5 | 40 |3531 | 40 | 16 | 19 | 71k|1811 | 0.000000e+00 | -- | Inf
125.07/125.15 c 109s|210000 | 47243 |462538 | 2.2 | 32M| 36 | 5 | 40 |3919 | 40 | 16 | 19 | 74k|1860 | 0.000000e+00 | -- | Inf
130.86/130.97 c 114s|220000 | 50064 |483341 | 2.2 | 34M| 36 | - | 40 |4857 | 40 | 16 | 19 | 77k|1897 | 0.000000e+00 | -- | Inf
137.57/137.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.57/137.68 c 120s|230000 | 52236 |504128 | 2.2 | 35M| 36 | 5 | 40 |4458 | 40 | 16 | 19 | 80k|1928 | 0.000000e+00 | -- | Inf
144.56/144.61 c 126s|240000 | 54104 |525230 | 2.2 | 36M| 36 | - | 40 |3790 | 0 | 0 | 19 | 84k|1974 | 0.000000e+00 | -- | Inf
151.25/151.37 c 132s|250000 | 56037 |546201 | 2.2 | 37M| 36 | 5 | 40 |3684 | 40 | 16 | 19 | 87k|2033 | 0.000000e+00 | -- | Inf
157.95/158.04 c 137s|260000 | 57965 |567264 | 2.2 | 39M| 36 | 5 | 40 |4209 | 40 | 16 | 19 | 91k|2077 | 0.000000e+00 | -- | Inf
164.25/164.35 c 143s|270000 | 60101 |588523 | 2.2 | 40M| 36 | - | 40 |4734 | 0 | 0 | 19 | 94k|2109 | 0.000000e+00 | -- | Inf
170.75/170.84 c 149s|280000 | 62347 |609548 | 2.2 | 42M| 36 | - | 40 |4904 | 0 | 0 | 19 | 97k|2142 | 0.000000e+00 | -- | Inf
177.85/178.00 c 155s|290000 | 64300 |630926 | 2.2 | 43M| 36 | - | 40 |4815 | 40 | 16 | 19 | 101k|2182 | 0.000000e+00 | -- | Inf
185.15/185.26 c 161s|300000 | 66163 |652060 | 2.2 | 44M| 36 | - | 40 |4337 | 40 | 16 | 19 | 105k|2213 | 0.000000e+00 | -- | Inf
192.56/192.62 c 168s|310000 | 67841 |673276 | 2.2 | 45M| 36 | 5 | 40 |3673 | 40 | 16 | 19 | 108k|2255 | 0.000000e+00 | -- | Inf
199.35/199.49 c 174s|320000 | 69680 |694140 | 2.2 | 46M| 36 | - | 40 |4010 | 40 | 16 | 19 | 111k|2282 | 0.000000e+00 | -- | Inf
206.05/206.14 c 180s|330000 | 71719 |715120 | 2.2 | 48M| 36 | 5 | 40 |4477 | 40 | 16 | 19 | 115k|2332 | 0.000000e+00 | -- | Inf
213.34/213.47 c 186s|340000 | 73424 |736155 | 2.2 | 49M| 36 | 5 | 40 |4103 | 40 | 16 | 19 | 118k|2358 | 0.000000e+00 | -- | Inf
219.74/219.84 c 192s|350000 | 75543 |757208 | 2.2 | 50M| 36 | 5 | 40 |5230 | 40 | 16 | 19 | 121k|2388 | 0.000000e+00 | -- | Inf
227.14/227.27 c 198s|360000 | 77293 |778541 | 2.2 | 52M| 36 | - | 40 |4513 | 40 | 16 | 19 | 125k|2415 | 0.000000e+00 | -- | Inf
234.43/234.50 c 205s|370000 | 78962 |799327 | 2.2 | 53M| 36 | - | 40 |4528 | 40 | 16 | 19 | 128k|2448 | 0.000000e+00 | -- | Inf
241.54/241.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.54/241.62 c 211s|380000 | 80658 |820762 | 2.2 | 54M| 36 | - | 40 |4579 | 40 | 16 | 19 | 132k|2496 | 0.000000e+00 | -- | Inf
248.73/248.89 c 218s|390000 | 82303 |841839 | 2.2 | 55M| 36 | - | 40 |4929 | 40 | 16 | 19 | 135k|2518 | 0.000000e+00 | -- | Inf
256.13/256.26 c 224s|400000 | 83993 |863518 | 2.2 | 56M| 36 | 5 | 40 |4982 | 40 | 16 | 19 | 139k|2541 | 0.000000e+00 | -- | Inf
263.43/263.54 c 231s|410000 | 85696 |884075 | 2.2 | 57M| 36 | 5 | 40 |4840 | 40 | 16 | 19 | 142k|2566 | 0.000000e+00 | -- | Inf
271.12/271.22 c 237s|420000 | 87303 |905292 | 2.2 | 59M| 36 | - | 40 |4935 | 40 | 16 | 19 | 145k|2585 | 0.000000e+00 | -- | Inf
278.63/278.77 c 244s|430000 | 88931 |926356 | 2.2 | 60M| 36 | 5 | 40 |4548 | 40 | 16 | 19 | 149k|2612 | 0.000000e+00 | -- | Inf
285.72/285.88 c 250s|440000 | 90776 |947484 | 2.2 | 61M| 36 | 5 | 40 |4918 | 40 | 16 | 19 | 152k|2638 | 0.000000e+00 | -- | Inf
293.42/293.53 c 257s|450000 | 92211 |968770 | 2.2 | 62M| 36 | 5 | 40 |5221 | 40 | 16 | 19 | 156k|2659 | 0.000000e+00 | -- | Inf
300.82/300.94 c 264s|460000 | 93942 |989952 | 2.2 | 64M| 36 | 5 | 40 |5746 | 40 | 16 | 19 | 159k|2682 | 0.000000e+00 | -- | Inf
308.72/308.80 c 271s|470000 | 95586 | 1010k| 2.2 | 65M| 36 | 5 | 40 |5460 | 40 | 16 | 19 | 163k|2719 | 0.000000e+00 | -- | Inf
316.22/316.36 c 278s|480000 | 97268 | 1032k| 2.2 | 66M| 36 | 5 | 40 |5853 | 40 | 16 | 19 | 166k|2752 | 0.000000e+00 | -- | Inf
323.91/324.04 c 284s|490000 | 99054 | 1053k| 2.1 | 67M| 36 | - | 40 |5598 | 0 | 0 | 19 | 169k|2835 | 0.000000e+00 | -- | Inf
331.61/331.79 c 291s|500000 |100510 | 1075k| 2.1 | 68M| 36 | 5 | 40 |5698 | 40 | 16 | 19 | 173k|2902 | 0.000000e+00 | -- | Inf
339.61/339.79 c 298s|510000 |101954 | 1097k| 2.2 | 69M| 36 | - | 40 |5555 | 40 | 16 | 19 | 177k|2933 | 0.000000e+00 | -- | Inf
347.71/347.81 c 306s|520000 |103382 | 1120k| 2.2 | 70M| 36 | - | 40 |4998 | 40 | 16 | 19 | 180k|2942 | 0.000000e+00 | -- | Inf
355.61/355.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.61/355.79 c 313s|530000 |104774 | 1142k| 2.2 | 71M| 36 | - | 40 |4718 | 40 | 16 | 19 | 183k|2966 | 0.000000e+00 | -- | Inf
363.31/363.43 c 320s|540000 |106167 | 1165k| 2.2 | 72M| 36 | - | 40 |4820 | 40 | 16 | 19 | 187k|2985 | 0.000000e+00 | -- | Inf
371.11/371.28 c 327s|550000 |107551 | 1188k| 2.2 | 73M| 36 | 5 | 40 |4878 | 40 | 16 | 19 | 190k|3006 | 0.000000e+00 | -- | Inf
378.70/378.89 c 333s|560000 |109039 | 1210k| 2.2 | 74M| 36 | 5 | 40 |5300 | 40 | 16 | 19 | 194k|3028 | 0.000000e+00 | -- | Inf
386.40/386.56 c 340s|570000 |110504 | 1232k| 2.2 | 75M| 36 | 5 | 40 |5428 | 40 | 16 | 19 | 197k|3048 | 0.000000e+00 | -- | Inf
394.20/394.38 c 347s|580000 |112024 | 1253k| 2.2 | 77M| 36 | - | 40 |5933 | 40 | 16 | 19 | 201k|3074 | 0.000000e+00 | -- | Inf
402.70/402.87 c 355s|590000 |113516 | 1275k| 2.2 | 78M| 36 | 5 | 40 |5620 | 40 | 16 | 19 | 204k|3100 | 0.000000e+00 | -- | Inf
410.60/410.78 c 362s|600000 |115075 | 1296k| 2.2 | 79M| 36 | 5 | 40 |6205 | 40 | 16 | 19 | 208k|3122 | 0.000000e+00 | -- | Inf
418.79/418.90 c 369s|610000 |116562 | 1318k| 2.2 | 80M| 36 | 5 | 40 |6486 | 40 | 16 | 19 | 211k|3145 | 0.000000e+00 | -- | Inf
426.99/427.19 c 377s|620000 |118221 | 1339k| 2.2 | 81M| 36 | - | 40 |6498 | 40 | 16 | 19 | 215k|3162 | 0.000000e+00 | -- | Inf
435.69/435.84 c 385s|630000 |119810 | 1360k| 2.2 | 83M| 36 | - | 40 |6763 | 40 | 16 | 19 | 218k|3177 | 0.000000e+00 | -- | Inf
444.49/444.69 c 393s|640000 |121219 | 1382k| 2.2 | 83M| 36 | - | 40 |5660 | 40 | 16 | 19 | 222k|3194 | 0.000000e+00 | -- | Inf
452.19/452.33 c 399s|650000 |122900 | 1403k| 2.2 | 85M| 36 | 5 | 40 |6014 | 40 | 16 | 19 | 225k|3221 | 0.000000e+00 | -- | Inf
459.99/460.10 c 406s|660000 |124558 | 1424k| 2.2 | 86M| 36 | - | 40 |5729 | 40 | 16 | 19 | 229k|3239 | 0.000000e+00 | -- | Inf
467.39/467.56 c 413s|670000 |126417 | 1446k| 2.2 | 87M| 36 | 5 | 40 |6322 | 40 | 16 | 19 | 232k|3254 | 0.000000e+00 | -- | Inf
475.48/475.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.48/475.65 c 420s|680000 |128013 | 1467k| 2.2 | 88M| 36 | 5 | 40 |6180 | 40 | 16 | 19 | 235k|3271 | 0.000000e+00 | -- | Inf
484.08/484.22 c 428s|690000 |129379 | 1488k| 2.2 | 89M| 36 | 5 | 40 |5481 | 40 | 16 | 19 | 239k|3288 | 0.000000e+00 | -- | Inf
491.78/491.91 c 435s|700000 |131065 | 1510k| 2.2 | 90M| 36 | 5 | 40 |5848 | 40 | 16 | 19 | 242k|3318 | 0.000000e+00 | -- | Inf
498.58/498.75 c 441s|710000 |133220 | 1531k| 2.2 | 92M| 36 | 5 | 40 |6700 | 40 | 16 | 19 | 245k|3327 | 0.000000e+00 | -- | Inf
507.47/507.68 c 449s|720000 |134535 | 1552k| 2.2 | 93M| 36 | - | 40 |5927 | 40 | 16 | 19 | 249k|3343 | 0.000000e+00 | -- | Inf
516.07/516.20 c 457s|730000 |135948 | 1574k| 2.2 | 94M| 36 | 5 | 40 |5685 | 40 | 16 | 19 | 252k|3374 | 0.000000e+00 | -- | Inf
523.58/523.75 c 463s|740000 |137588 | 1595k| 2.2 | 95M| 36 | - | 40 |6176 | 40 | 16 | 19 | 256k|3399 | 0.000000e+00 | -- | Inf
531.87/532.08 c 471s|750000 |139083 | 1616k| 2.2 | 96M| 36 | 5 | 40 |6365 | 40 | 16 | 19 | 259k|3423 | 0.000000e+00 | -- | Inf
540.67/540.86 c 479s|760000 |140571 | 1637k| 2.2 | 97M| 36 | - | 40 |6426 | 40 | 16 | 19 | 263k|3444 | 0.000000e+00 | -- | Inf
549.06/549.20 c 486s|770000 |142203 | 1659k| 2.2 | 98M| 36 | 5 | 40 |6357 | 40 | 16 | 19 | 266k|3464 | 0.000000e+00 | -- | Inf
557.36/557.54 c 494s|780000 |143636 | 1680k| 2.2 | 100M| 36 | 5 | 40 |6290 | 40 | 16 | 19 | 270k|3493 | 0.000000e+00 | -- | Inf
566.56/566.77 c 502s|790000 |144842 | 1701k| 2.2 | 100M| 36 | - | 40 |5689 | 40 | 16 | 19 | 273k|3509 | 0.000000e+00 | -- | Inf
574.46/574.68 c 509s|800000 |146325 | 1722k| 2.2 | 102M| 36 | - | 40 |6359 | 40 | 16 | 19 | 277k|3522 | 0.000000e+00 | -- | Inf
582.36/582.51 c 516s|810000 |148199 | 1743k| 2.2 | 103M| 36 | 5 | 40 |6978 | 40 | 16 | 19 | 280k|3533 | 0.000000e+00 | -- | Inf
591.77/591.97 c 525s|820000 |149380 | 1765k| 2.2 | 104M| 36 | 5 | 40 |6431 | 40 | 16 | 19 | 284k|3554 | 0.000000e+00 | -- | Inf
600.46/600.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.46/600.66 c 533s|830000 |150737 | 1786k| 2.2 | 105M| 36 | - | 40 |6660 | 40 | 16 | 19 | 287k|3567 | 0.000000e+00 | -- | Inf
609.85/610.06 c 541s|840000 |151828 | 1807k| 2.2 | 106M| 36 | - | 40 |5964 | 40 | 16 | 19 | 291k|3585 | 0.000000e+00 | -- | Inf
618.25/618.48 c 549s|850000 |153153 | 1829k| 2.2 | 107M| 36 | 5 | 40 |6251 | 40 | 16 | 19 | 294k|3612 | 0.000000e+00 | -- | Inf
626.74/626.94 c 556s|860000 |154596 | 1850k| 2.2 | 108M| 36 | 5 | 40 |7159 | 40 | 16 | 19 | 298k|3630 | 0.000000e+00 | -- | Inf
635.54/635.74 c 564s|870000 |155930 | 1871k| 2.2 | 109M| 36 | - | 40 |6846 | 40 | 16 | 19 | 301k|3648 | 0.000000e+00 | -- | Inf
644.74/644.98 c 573s|880000 |157182 | 1893k| 2.2 | 110M| 36 | 5 | 40 |7086 | 40 | 16 | 19 | 305k|3674 | 0.000000e+00 | -- | Inf
653.74/653.93 c 581s|890000 |158465 | 1914k| 2.2 | 111M| 36 | - | 40 |7073 | 40 | 16 | 19 | 308k|3690 | 0.000000e+00 | -- | Inf
662.74/662.98 c 589s|900000 |159811 | 1936k| 2.2 | 112M| 36 | - | 40 |6772 | 40 | 16 | 19 | 312k|3708 | 0.000000e+00 | -- | Inf
671.53/671.75 c 597s|910000 |161224 | 1958k| 2.2 | 113M| 36 | 5 | 40 |6433 | 40 | 16 | 19 | 315k|3723 | 0.000000e+00 | -- | Inf
679.53/679.78 c 604s|920000 |162708 | 1979k| 2.2 | 114M| 36 | - | 40 |7426 | 40 | 16 | 19 | 319k|3740 | 0.000000e+00 | -- | Inf
689.73/689.94 c 614s|930000 |163728 | 2000k| 2.2 | 115M| 36 | - | 40 |6735 | 40 | 16 | 19 | 323k|3759 | 0.000000e+00 | -- | Inf
698.33/698.57 c 621s|940000 |165306 | 2021k| 2.2 | 116M| 36 | - | 40 |7129 | 40 | 16 | 19 | 326k|3773 | 0.000000e+00 | -- | Inf
706.23/706.47 c 628s|950000 |166757 | 2043k| 2.2 | 118M| 36 | 5 | 40 |7693 | 40 | 16 | 19 | 329k|3786 | 0.000000e+00 | -- | Inf
716.12/716.32 c 637s|960000 |167790 | 2064k| 2.2 | 118M| 36 | 5 | 40 |6764 | 40 | 16 | 19 | 333k|3800 | 0.000000e+00 | -- | Inf
724.22/724.40 c 645s|970000 |169740 | 2085k| 2.2 | 120M| 36 | - | 40 |7261 | 40 | 16 | 19 | 336k|3820 | 0.000000e+00 | -- | Inf
731.92/732.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.92/732.11 c 652s|980000 |171718 | 2107k| 2.2 | 121M| 36 | 5 | 40 |7734 | 40 | 16 | 19 | 339k|3833 | 0.000000e+00 | -- | Inf
740.51/740.77 c 659s|990000 |173010 | 2128k| 2.2 | 122M| 36 | - | 40 |7580 | 40 | 16 | 19 | 343k|3857 | 0.000000e+00 | -- | Inf
750.81/751.05 c 669s| 1000k|174060 | 2149k| 2.1 | 123M| 36 | 5 | 40 |6514 | 40 | 16 | 19 | 346k|3882 | 0.000000e+00 | -- | Inf
759.22/759.46 c 676s| 1010k|175369 | 2171k| 2.1 | 124M| 36 | 5 | 40 |7777 | 40 | 16 | 19 | 350k|3898 | 0.000000e+00 | -- | Inf
768.51/768.74 c 685s| 1020k|176717 | 2192k| 2.1 | 125M| 36 | - | 40 |8095 | 0 | 0 | 19 | 353k|3922 | 0.000000e+00 | -- | Inf
777.52/777.73 c 693s| 1030k|178156 | 2214k| 2.1 | 126M| 36 | - | 40 |7872 | 0 | 0 | 19 | 357k|3935 | 0.000000e+00 | -- | Inf
786.10/786.34 c 701s| 1040k|179520 | 2235k| 2.1 | 127M| 36 | - | 40 |8003 | 0 | 0 | 19 | 361k|3938 | 0.000000e+00 | -- | Inf
796.31/796.51 c 710s| 1050k|180549 | 2256k| 2.1 | 128M| 36 | - | 40 |7011 | 40 | 16 | 19 | 364k|3948 | 0.000000e+00 | -- | Inf
805.11/805.38 c 718s| 1060k|181897 | 2277k| 2.1 | 129M| 36 | - | 40 |7815 | 40 | 16 | 19 | 368k|3961 | 0.000000e+00 | -- | Inf
814.60/814.89 c 727s| 1070k|183140 | 2299k| 2.1 | 130M| 36 | - | 40 |6757 | 40 | 16 | 19 | 371k|3974 | 0.000000e+00 | -- | Inf
822.50/822.72 c 734s| 1080k|184830 | 2320k| 2.1 | 131M| 36 | 5 | 40 |7660 | 40 | 16 | 19 | 375k|3983 | 0.000000e+00 | -- | Inf
830.10/830.39 c 741s| 1090k|187497 | 2342k| 2.1 | 133M| 36 | 5 | 40 |7930 | 40 | 16 | 19 | 378k|3989 | 0.000000e+00 | -- | Inf
838.00/838.28 c 748s| 1100k|189950 | 2364k| 2.1 | 134M| 36 | 5 | 40 |8525 | 40 | 16 | 19 | 381k|3999 | 0.000000e+00 | -- | Inf
846.40/846.61 c 755s| 1110k|191987 | 2386k| 2.1 | 136M| 36 | 5 | 40 |8913 | 40 | 16 | 19 | 384k|4009 | 0.000000e+00 | -- | Inf
854.89/855.18 c 763s| 1120k|193721 | 2407k| 2.1 | 137M| 36 | 5 | 40 |8790 | 40 | 16 | 19 | 388k|4016 | 0.000000e+00 | -- | Inf
863.59/863.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
863.59/863.87 c 771s| 1130k|195434 | 2429k| 2.2 | 138M| 36 | - | 40 |8648 | 40 | 16 | 19 | 391k|4030 | 0.000000e+00 | -- | Inf
871.99/872.23 c 778s| 1140k|197388 | 2451k| 2.2 | 140M| 36 | 5 | 40 |9648 | 40 | 16 | 19 | 394k|4037 | 0.000000e+00 | -- | Inf
881.68/881.95 c 787s| 1150k|198716 | 2473k| 2.2 | 140M| 36 | 5 | 40 |9059 | 40 | 16 | 19 | 398k|4046 | 0.000000e+00 | -- | Inf
890.08/890.37 c 795s| 1160k|200717 | 2495k| 2.2 | 142M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 401k|4064 | 0.000000e+00 | -- | Inf
899.79/900.01 c 803s| 1170k|202271 | 2516k| 2.2 | 143M| 36 | - | 40 | 11k| 40 | 16 | 19 | 404k|4082 | 0.000000e+00 | -- | Inf
910.18/910.48 c 813s| 1180k|203487 | 2538k| 2.2 | 144M| 36 | - | 40 |9918 | 40 | 16 | 19 | 408k|4111 | 0.000000e+00 | -- | Inf
921.69/921.95 c 824s| 1190k|204435 | 2559k| 2.2 | 145M| 36 | - | 40 |8604 | 40 | 16 | 19 | 411k|4142 | 0.000000e+00 | -- | Inf
931.38/931.68 c 833s| 1200k|205750 | 2581k| 2.2 | 146M| 36 | 5 | 40 |8821 | 40 | 16 | 19 | 415k|4150 | 0.000000e+00 | -- | Inf
941.17/941.40 c 842s| 1210k|207219 | 2601k| 2.2 | 147M| 36 | 5 | 40 |8997 | 40 | 16 | 19 | 418k|4160 | 0.000000e+00 | -- | Inf
951.87/952.19 c 852s| 1220k|208260 | 2623k| 2.2 | 148M| 36 | 5 | 40 |8550 | 40 | 16 | 19 | 422k|4189 | 0.000000e+00 | -- | Inf
961.46/961.76 c 860s| 1230k|209648 | 2643k| 2.1 | 149M| 36 | - | 40 |8596 | 40 | 16 | 19 | 426k|4200 | 0.000000e+00 | -- | Inf
971.46/971.74 c 869s| 1240k|210750 | 2665k| 2.1 | 150M| 36 | - | 40 |8693 | 40 | 16 | 19 | 429k|4217 | 0.000000e+00 | -- | Inf
981.66/981.93 c 879s| 1250k|211897 | 2686k| 2.1 | 151M| 36 | 5 | 40 |8457 | 40 | 16 | 19 | 433k|4234 | 0.000000e+00 | -- | Inf
990.56/990.86 c 887s| 1260k|213555 | 2708k| 2.1 | 152M| 36 | 5 | 40 |8878 | 40 | 16 | 19 | 436k|4239 | 0.000000e+00 | -- | Inf
1000.36/1000.69 c 896s| 1270k|214620 | 2729k| 2.1 | 153M| 36 | 5 | 40 |8690 | 40 | 16 | 19 | 440k|4242 | 0.000000e+00 | -- | Inf
1011.15/1011.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.15/1011.42 c 906s| 1280k|215652 | 2750k| 2.1 | 153M| 36 | 5 | 40 |8007 | 40 | 16 | 19 | 443k|4258 | 0.000000e+00 | -- | Inf
1022.25/1022.52 c 916s| 1290k|216461 | 2772k| 2.1 | 154M| 36 | - | 40 |7186 | 40 | 16 | 19 | 447k|4281 | 0.000000e+00 | -- | Inf
1032.25/1032.51 c 925s| 1300k|217585 | 2794k| 2.1 | 155M| 36 | 5 | 40 |7422 | 40 | 16 | 19 | 450k|4293 | 0.000000e+00 | -- | Inf
1040.95/1041.26 c 933s| 1310k|219035 | 2815k| 2.1 | 156M| 36 | 5 | 40 |8336 | 40 | 16 | 19 | 454k|4310 | 0.000000e+00 | -- | Inf
1050.85/1051.11 c 942s| 1320k|220228 | 2836k| 2.1 | 157M| 36 | 5 | 40 |8578 | 40 | 16 | 19 | 458k|4328 | 0.000000e+00 | -- | Inf
1061.65/1061.95 c 952s| 1330k|221236 | 2857k| 2.1 | 158M| 36 | 5 | 40 |8060 | 40 | 16 | 19 | 461k|4339 | 0.000000e+00 | -- | Inf
1070.15/1070.48 c 960s| 1340k|222834 | 2878k| 2.1 | 159M| 36 | - | 40 |8863 | 0 | 0 | 19 | 465k|4348 | 0.000000e+00 | -- | Inf
1080.04/1080.31 c 969s| 1350k|223751 | 2900k| 2.1 | 160M| 36 | 5 | 40 |9167 | 40 | 16 | 19 | 469k|4363 | 0.000000e+00 | -- | Inf
1088.24/1088.54 c 976s| 1360k|225582 | 2922k| 2.1 | 162M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 472k|4381 | 0.000000e+00 | -- | Inf
1099.13/1099.44 c 986s| 1370k|226708 | 2943k| 2.1 | 163M| 36 | - | 40 |9756 | 40 | 16 | 19 | 475k|4400 | 0.000000e+00 | -- | Inf
1108.54/1108.86 c 995s| 1380k|228184 | 2964k| 2.1 | 164M| 36 | 5 | 40 |9724 | 40 | 16 | 19 | 479k|4410 | 0.000000e+00 | -- | Inf
1119.93/1120.22 c 1006s| 1390k|229188 | 2986k| 2.1 | 164M| 36 | 5 | 40 |8811 | 40 | 16 | 19 | 483k|4435 | 0.000000e+00 | -- | Inf
1129.23/1129.53 c 1014s| 1400k|230312 | 3007k| 2.1 | 166M| 36 | - | 40 | 10k| 0 | 0 | 19 | 486k|4453 | 0.000000e+00 | -- | Inf
1140.92/1141.25 c 1025s| 1410k|231313 | 3028k| 2.1 | 166M| 36 | 5 | 40 |9079 | 40 | 16 | 19 | 490k|4472 | 0.000000e+00 | -- | Inf
1151.62/1151.93 c 1035s| 1420k|232524 | 3050k| 2.1 | 167M| 36 | 5 | 40 |8415 | 40 | 16 | 19 | 494k|4506 | 0.000000e+00 | -- | Inf
1161.92/1162.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.92/1162.28 c 1044s| 1430k|233714 | 3071k| 2.1 | 168M| 36 | - | 40 |8049 | 40 | 16 | 19 | 497k|4520 | 0.000000e+00 | -- | Inf
1171.22/1171.50 c 1053s| 1440k|234988 | 3093k| 2.1 | 169M| 36 | 5 | 40 |8456 | 40 | 16 | 19 | 501k|4529 | 0.000000e+00 | -- | Inf
1181.71/1182.00 c 1062s| 1450k|235890 | 3114k| 2.1 | 170M| 36 | 5 | 40 |8380 | 40 | 16 | 19 | 504k|4548 | 0.000000e+00 | -- | Inf
1191.51/1191.81 c 1071s| 1460k|236975 | 3135k| 2.1 | 171M| 36 | 5 | 40 |8888 | 40 | 16 | 19 | 508k|4559 | 0.000000e+00 | -- | Inf
1201.91/1202.22 c 1081s| 1470k|237924 | 3156k| 2.1 | 172M| 36 | - | 40 |9108 | 40 | 16 | 19 | 512k|4574 | 0.000000e+00 | -- | Inf
1210.71/1211.05 c 1089s| 1480k|239520 | 3177k| 2.1 | 173M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 516k|4587 | 0.000000e+00 | -- | Inf
1219.80/1220.10 c 1097s| 1490k|241204 | 3198k| 2.1 | 174M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 519k|4609 | 0.000000e+00 | -- | Inf
1228.10/1228.47 c 1105s| 1500k|243536 | 3220k| 2.1 | 176M| 36 | 5 | 40 | 11k| 40 | 16 | 19 | 522k|4626 | 0.000000e+00 | -- | Inf
1238.00/1238.31 c 1114s| 1510k|244955 | 3242k| 2.1 | 177M| 36 | - | 40 | 11k| 40 | 16 | 19 | 526k|4643 | 0.000000e+00 | -- | Inf
1248.00/1248.33 c 1123s| 1520k|246199 | 3263k| 2.1 | 178M| 36 | - | 40 | 12k| 40 | 16 | 19 | 529k|4650 | 0.000000e+00 | -- | Inf
1257.99/1258.36 c 1132s| 1530k|247700 | 3285k| 2.1 | 179M| 36 | 5 | 40 | 12k| 40 | 16 | 19 | 533k|4670 | 0.000000e+00 | -- | Inf
1268.01/1268.30 c 1141s| 1540k|249468 | 3307k| 2.1 | 181M| 36 | 5 | 40 | 13k| 40 | 16 | 19 | 536k|4686 | 0.000000e+00 | -- | Inf
1278.20/1278.57 c 1151s| 1550k|250937 | 3328k| 2.1 | 182M| 36 | - | 40 | 13k| 0 | 0 | 19 | 539k|4699 | 0.000000e+00 | -- | Inf
1289.79/1290.17 c 1162s| 1560k|251764 | 3350k| 2.1 | 183M| 36 | - | 40 | 13k| 40 | 16 | 19 | 543k|4724 | 0.000000e+00 | -- | Inf
1302.48/1302.80 c 1173s| 1570k|252824 | 3371k| 2.1 | 183M| 36 | - | 40 | 12k| 40 | 16 | 19 | 546k|4747 | 0.000000e+00 | -- | Inf
1312.10/1312.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1312.10/1312.49 c 1182s| 1580k|254789 | 3392k| 2.1 | 185M| 36 | 5 | 40 | 12k| 40 | 16 | 19 | 550k|4759 | 0.000000e+00 | -- | Inf
1322.88/1323.28 c 1192s| 1590k|255996 | 3413k| 2.1 | 186M| 36 | - | 40 | 13k| 40 | 16 | 19 | 553k|4770 | 0.000000e+00 | -- | Inf
1333.68/1334.05 c 1202s| 1600k|257295 | 3433k| 2.1 | 187M| 36 | 5 | 40 | 13k| 40 | 16 | 19 | 557k|4782 | 0.000000e+00 | -- | Inf
1345.38/1345.71 c 1213s| 1610k|258605 | 3453k| 2.1 | 188M| 36 | - | 40 | 13k| 40 | 16 | 19 | 560k|4796 | 0.000000e+00 | -- | Inf
1357.28/1357.68 c 1224s| 1620k|259659 | 3474k| 2.1 | 188M| 36 | 5 | 40 | 12k| 40 | 16 | 19 | 564k|4809 | 0.000000e+00 | -- | Inf
1367.77/1368.10 c 1234s| 1630k|261467 | 3495k| 2.1 | 190M| 36 | - | 40 | 12k| 40 | 16 | 19 | 567k|4823 | 0.000000e+00 | -- | Inf
1377.67/1378.08 c 1243s| 1640k|263037 | 3518k| 2.1 | 191M| 36 | 5 | 40 | 13k| 40 | 16 | 19 | 571k|4838 | 0.000000e+00 | -- | Inf
1389.08/1389.41 c 1253s| 1650k|264140 | 3540k| 2.1 | 192M| 36 | 5 | 40 | 12k| 40 | 16 | 19 | 574k|4855 | 0.000000e+00 | -- | Inf
1401.96/1402.33 c 1266s| 1660k|265179 | 3561k| 2.1 | 192M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 577k|4870 | 0.000000e+00 | -- | Inf
1413.56/1413.91 c 1276s| 1670k|266265 | 3582k| 2.1 | 193M| 36 | - | 40 | 10k| 40 | 16 | 19 | 581k|4889 | 0.000000e+00 | -- | Inf
1425.46/1425.89 c 1287s| 1680k|267186 | 3603k| 2.1 | 193M| 36 | - | 40 |9029 | 40 | 16 | 19 | 585k|4896 | 0.000000e+00 | -- | Inf
1436.26/1436.63 c 1297s| 1690k|268228 | 3624k| 2.1 | 194M| 36 | - | 40 |9516 | 40 | 16 | 19 | 588k|4907 | 0.000000e+00 | -- | Inf
1448.46/1448.89 c 1309s| 1700k|268879 | 3645k| 2.1 | 195M| 36 | - | 40 |8621 | 0 | 0 | 19 | 592k|4919 | 0.000000e+00 | -- | Inf
1458.95/1459.37 c 1318s| 1710k|269834 | 3666k| 2.1 | 196M| 36 | 5 | 40 |8926 | 40 | 16 | 19 | 596k|4932 | 0.000000e+00 | -- | Inf
1470.36/1470.80 c 1329s| 1720k|270724 | 3687k| 2.1 | 197M| 36 | - | 40 |8800 | 40 | 16 | 19 | 600k|4950 | 0.000000e+00 | -- | Inf
1479.25/1479.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.25/1479.67 c 1337s| 1730k|272463 | 3709k| 2.1 | 198M| 36 | 5 | 40 |9665 | 40 | 16 | 19 | 603k|4967 | 0.000000e+00 | -- | Inf
1488.35/1488.71 c 1345s| 1740k|273373 | 3731k| 2.1 | 199M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 607k|4978 | 0.000000e+00 | -- | Inf
1501.94/1502.37 c 1358s| 1750k|273991 | 3752k| 2.1 | 199M| 36 | - | 40 |8922 | 40 | 16 | 19 | 611k|5001 | 0.000000e+00 | -- | Inf
1513.94/1514.38 c 1369s| 1760k|274813 | 3774k| 2.1 | 200M| 36 | 5 | 40 |8734 | 40 | 16 | 19 | 614k|5013 | 0.000000e+00 | -- | Inf
1525.24/1525.67 c 1380s| 1770k|275871 | 3795k| 2.1 | 201M| 36 | 5 | 40 |8831 | 40 | 16 | 19 | 618k|5032 | 0.000000e+00 | -- | Inf
1534.74/1535.16 c 1388s| 1780k|276949 | 3817k| 2.1 | 202M| 36 | - | 40 |9780 | 40 | 16 | 19 | 622k|5044 | 0.000000e+00 | -- | Inf
1547.03/1547.46 c 1400s| 1790k|277635 | 3839k| 2.1 | 203M| 36 | - | 40 |8419 | 40 | 16 | 19 | 625k|5082 | 0.000000e+00 | -- | Inf
1556.14/1556.50 c 1408s| 1800k|279024 | 3860k| 2.1 | 204M| 36 | - | 40 |9478 | 0 | 0 | 19 | 629k|5089 | 0.000000e+00 | -- | Inf
1566.93/1567.37 c 1418s| 1810k|279982 | 3881k| 2.1 | 205M| 36 | 5 | 40 |9210 | 40 | 16 | 19 | 632k|5117 | 0.000000e+00 | -- | Inf
1578.43/1578.86 c 1429s| 1820k|280813 | 3902k| 2.1 | 205M| 36 | - | 40 |8709 | 40 | 16 | 19 | 636k|5126 | 0.000000e+00 | -- | Inf
1589.32/1589.77 c 1439s| 1830k|281811 | 3924k| 2.1 | 206M| 36 | - | 40 |8958 | 40 | 16 | 19 | 640k|5140 | 0.000000e+00 | -- | Inf
1600.61/1601.02 c 1449s| 1840k|282776 | 3945k| 2.1 | 207M| 36 | 5 | 40 |9146 | 40 | 16 | 19 | 643k|5156 | 0.000000e+00 | -- | Inf
1610.42/1610.87 c 1458s| 1850k|284055 | 3966k| 2.1 | 208M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 647k|5167 | 0.000000e+00 | -- | Inf
1619.31/1619.74 c 1466s| 1860k|285434 | 3987k| 2.1 | 210M| 36 | 5 | 40 | 11k| 40 | 16 | 19 | 651k|5177 | 0.000000e+00 | -- | Inf
1629.31/1629.74 c 1476s| 1870k|286460 | 4007k| 2.1 | 211M| 36 | 5 | 40 | 12k| 40 | 16 | 19 | 655k|5194 | 0.000000e+00 | -- | Inf
1641.51/1641.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1641.51/1641.99 c 1487s| 1880k|287278 | 4029k| 2.1 | 211M| 36 | 5 | 40 | 11k| 40 | 16 | 19 | 658k|5213 | 0.000000e+00 | -- | Inf
1653.71/1654.15 c 1498s| 1890k|288282 | 4050k| 2.1 | 212M| 36 | - | 40 | 10k| 40 | 16 | 19 | 662k|5226 | 0.000000e+00 | -- | Inf
1666.11/1666.53 c 1510s| 1900k|289180 | 4071k| 2.1 | 213M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 666k|5243 | 0.000000e+00 | -- | Inf
1675.20/1675.67 c 1518s| 1910k|290438 | 4093k| 2.1 | 214M| 36 | 5 | 40 | 11k| 40 | 16 | 19 | 669k|5255 | 0.000000e+00 | -- | Inf
1687.99/1688.47 c 1530s| 1920k|291255 | 4114k| 2.1 | 214M| 36 | - | 40 | 10k| 40 | 16 | 19 | 673k|5267 | 0.000000e+00 | -- | Inf
1700.49/1700.99 c 1542s| 1930k|291976 | 4135k| 2.1 | 215M| 36 | 5 | 40 |9868 | 40 | 16 | 19 | 677k|5297 | 0.000000e+00 | -- | Inf
1711.19/1711.60 c 1552s| 1940k|292944 | 4156k| 2.1 | 216M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 681k|5304 | 0.000000e+00 | -- | Inf
1722.79/1723.23 c 1562s| 1950k|293806 | 4177k| 2.1 | 217M| 36 | 5 | 40 | 10k| 40 | 16 | 19 | 684k|5317 | 0.000000e+00 | -- | Inf
1734.09/1734.51 c 1573s| 1960k|295022 | 4198k| 2.1 | 218M| 36 | 5 | 40 |9913 | 40 | 16 | 19 | 688k|5325 | 0.000000e+00 | -- | Inf
1744.09/1744.51 c 1582s| 1970k|296087 | 4219k| 2.1 | 219M| 36 | 5 | 40 |9981 | 40 | 16 | 19 | 691k|5342 | 0.000000e+00 | -- | Inf
1757.19/1757.63 c 1594s| 1980k|296650 | 4241k| 2.1 | 219M| 36 | 5 | 40 |9004 | 40 | 16 | 19 | 695k|5352 | 0.000000e+00 | -- | Inf
1767.88/1768.36 c 1604s| 1990k|297623 | 4262k| 2.1 | 220M| 36 | 5 | 40 |9808 | 40 | 16 | 19 | 699k|5357 | 0.000000e+00 | -- | Inf
1778.67/1779.14 c 1614s| 2000k|298521 | 4284k| 2.1 | 221M| 36 | - | 40 | 10k| 40 | 16 | 19 | 703k|5372 | 0.000000e+00 | -- | Inf
1789.38/1789.88 c 1624s| 2010k|299548 | 4305k| 2.1 | 222M| 36 | - | 40 | 10k| 0 | 0 | 19 | 706k|5384 | 0.000000e+00 | -- | Inf
1799.28/1799.76 c 1633s| 2020k|300534 | 4326k| 2.1 | 223M| 36 | - | 40 | 11k| 40 | 16 | 19 | 710k|5399 | 0.000000e+00 | -- | Inf
1800.07/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.51 c
1800.07/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.51 c Solving Time (sec) : 1633.84
1800.07/1800.51 c Solving Nodes : 2020579
1800.07/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.51 c Dual Bound : +0.00000000000000e+00
1800.07/1800.51 c Gap : infinite
1800.07/1800.51 s UNKNOWN
1800.07/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.51 c Solving Time : 1633.84
1800.07/1800.51 c Original Problem :
1800.07/1800.51 c Problem name : HOME/instance-2665450-1276617746.opb
1800.07/1800.51 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51 c Constraints : 11 initial, 11 maximal
1800.07/1800.51 c Presolved Problem :
1800.07/1800.51 c Problem name : t_HOME/instance-2665450-1276617746.opb
1800.07/1800.51 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.51 c Constraints : 5 initial, 14171 maximal
1800.07/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c linear : 0.00 0 0 0 0 0 6 0 0
1800.07/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.51 c root node : - 0 - - 0 - - - -
1800.07/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.51 c integral : 0 0 0 1198949 0 545 2132 0 0 2392734
1800.07/1800.51 c linear : 5+ 7 4302567 0 0 209597 2571010 0 0 0
1800.07/1800.51 c logicor : 0+ 0 2091857 0 0 6245 601102 0 0 0
1800.07/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.51 c integral : 16.78 0.00 0.00 16.78 0.00
1800.07/1800.51 c linear : 166.27 0.00 166.27 0.00 0.00
1800.07/1800.51 c logicor : 466.85 0.00 466.85 0.00 0.00
1800.07/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.51 c vbounds : 2.62 2 0 0
1800.07/1800.51 c rootredcost : 2.16 0 0 0
1800.07/1800.51 c pseudoobj : 1.72 0 0 0
1800.07/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.51 c propagation : 14.12 215842 126176 354384 29.1 30 25.5 -
1800.07/1800.51 c infeasible LP : 28.42 676792 422085 648296 18.7 2682 24.4 0
1800.07/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.51 c applied globally : - - - 699130 19.2 - - -
1800.07/1800.51 c applied locally : - - - 11697 31.5 - - -
1800.07/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.51 c cut pool : 0.00 5 - - 13 - (maximal pool size: 110)
1800.07/1800.51 c redcost : 2.73 1198952 0 0 0 0
1800.07/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.51 c intobj : 0.00 0 0 0 0 0
1800.07/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.51 c gomory : 0.00 6 0 0 0 0
1800.07/1800.51 c strongcg : 0.01 6 0 0 43 0
1800.07/1800.51 c cmir : 0.01 6 0 0 36 0
1800.07/1800.51 c flowcover : 0.02 6 0 0 48 0
1800.07/1800.51 c clique : 0.00 1 0 0 0 0
1800.07/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.51 c mcf : 0.00 1 0 0 0 0
1800.07/1800.51 c rapidlearning : 0.06 1 0 0 0 31
1800.07/1800.51 c Pricers : Time Calls Vars
1800.07/1800.51 c problem variables: 0.00 0 0
1800.07/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.51 c relpscost : 15.00 1198949 545 2132 0 0 2392734
1800.07/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.51 c random : 0.00 0 0 0 0 0 0
1800.07/1800.51 c Primal Heuristics : Time Calls Found
1800.07/1800.51 c LP solutions : 0.00 - 0
1800.07/1800.51 c pseudo solutions : 0.00 - 0
1800.07/1800.51 c oneopt : 2.11 0 0
1800.07/1800.51 c crossover : 1.31 0 0
1800.07/1800.51 c guideddiving : 0.23 0 0
1800.07/1800.51 c pscostdiving : 0.19 48 0
1800.07/1800.51 c linesearchdiving : 0.20 48 0
1800.07/1800.51 c fracdiving : 0.25 48 0
1800.07/1800.51 c veclendiving : 0.15 48 0
1800.07/1800.51 c coefdiving : 0.22 49 0
1800.07/1800.51 c objpscostdiving : 0.18 25 0
1800.07/1800.51 c rootsoldiving : 0.15 25 0
1800.07/1800.51 c feaspump : 0.16 25 0
1800.07/1800.51 c trivial : 0.00 2 0
1800.07/1800.51 c simplerounding : 0.67 0 0
1800.07/1800.51 c zirounding : 1.15 1000 0
1800.07/1800.51 c rounding : 1.29 15473 0
1800.07/1800.51 c shifting : 2.52 4584 0
1800.07/1800.51 c intshifting : 0.09 0 0
1800.07/1800.51 c twoopt : 0.00 0 0
1800.07/1800.51 c fixandinfer : 0.00 0 0
1800.07/1800.51 c intdiving : 0.00 0 0
1800.07/1800.51 c actconsdiving : 0.00 0 0
1800.07/1800.51 c octane : 0.00 0 0
1800.07/1800.51 c rens : 0.05 1 0
1800.07/1800.51 c rins : 0.00 0 0
1800.07/1800.51 c localbranching : 0.00 0 0
1800.07/1800.51 c mutation : 0.00 0 0
1800.07/1800.51 c dins : 0.00 0 0
1800.07/1800.51 c undercover : 0.00 0 0
1800.07/1800.51 c nlp : 0.95 0 0
1800.07/1800.51 c trysol : 1.44 0 0
1800.07/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.51 c dual LP : 335.44 1793458 4326397 2.41 12897.68
1800.07/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.51 c diving/probing LP: 0.22 565 1002 1.77 4554.55
1800.07/1800.51 c strong branching : 1.34 5399 25646 4.75 19138.81
1800.07/1800.51 c (at root node) : - 9 254 28.22 -
1800.07/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.51 c B&B Tree :
1800.07/1800.51 c number of runs : 1
1800.07/1800.51 c nodes : 2020579
1800.07/1800.51 c nodes (total) : 2020579
1800.07/1800.51 c nodes left : 300586
1800.07/1800.51 c max depth : 36
1800.07/1800.51 c max depth (total): 36
1800.07/1800.51 c backtracks : 402394 (19.9%)
1800.07/1800.51 c delayed cutoffs : 71570
1800.07/1800.51 c repropagations : 1165927 (1179562 domain reductions, 68381 cutoffs)
1800.07/1800.51 c avg switch length: 5.47
1800.07/1800.51 c switching time : 379.62
1800.07/1800.51 c Solution :
1800.07/1800.51 c Solutions found : 0 (0 improvements)
1800.07/1800.51 c Primal Bound : -
1800.07/1800.51 c Dual Bound : +0.00000000000000e+00
1800.07/1800.51 c Gap : infinite
1800.07/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.51 c Root Iterations : 61
1801.67/1802.13 c Time complete: 1801.7.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665450-1276617746/watcher-2665450-1276617746 -o /tmp/evaluation-result-2665450-1276617746/solver-2665450-1276617746 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665450-1276617746.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 2/106 2566
/proc/meminfo: memFree=1718260/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=9288 CPUtime=0
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 1037 0 0 0 0 0 0 0 21 0 1 0 37378592 9510912 958 1992294400 4194304 9819077 140734915164432 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 2322 967 371 1374 0 943 0
[startup+0.102154 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2566
/proc/meminfo: memFree=1718260/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=21748 CPUtime=0.09
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 5027 0 0 0 7 2 0 0 24 0 1 0 37378592 22269952 3813 1992294400 4194304 9819077 140734915164432 18446744073709551615 5775442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 5437 3813 679 1374 0 4058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21748
[startup+0.201161 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2566
/proc/meminfo: memFree=1718260/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=22484 CPUtime=0.19
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 8774 0 0 0 15 4 0 0 24 0 1 0 37378592 23023616 3985 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 5781 3990 713 1374 0 4402 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22484
[startup+0.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2566
/proc/meminfo: memFree=1718260/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=15924 CPUtime=0.29
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 11524 0 0 0 23 6 0 0 25 0 1 0 37378592 16306176 2618 1992294400 4194304 9819077 140734915164432 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 4021 2620 723 1374 0 2642 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15924
[startup+0.701201 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 2566
/proc/meminfo: memFree=1718260/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=15608 CPUtime=0.69
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 17386 0 0 0 54 15 0 0 25 0 1 0 37378592 15982592 2618 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 3902 2618 724 1374 0 2523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15608
[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2567
/proc/meminfo: memFree=1709944/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=16592 CPUtime=1.49
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 26122 0 0 0 120 29 0 0 25 0 1 0 37378592 16990208 2799 1992294400 4194304 9819077 140734915164432 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 4148 2799 724 1374 0 2769 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16592
[startup+3.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2567
/proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=17716 CPUtime=3.09
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 42748 0 0 0 255 54 0 0 25 0 1 0 37378592 18141184 3215 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 4549 3218 724 1374 0 3170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17716
[startup+6.30066 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2567
/proc/meminfo: memFree=1706100/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=20744 CPUtime=6.29
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 73285 0 0 0 532 97 0 0 25 0 1 0 37378592 21241856 3843 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 5186 3843 724 1374 0 3807 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20744
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2567
/proc/meminfo: memFree=1704240/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=22964 CPUtime=12.69
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 135272 0 0 0 1084 185 0 0 25 0 1 0 37378592 23515136 4420 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 5741 4420 724 1374 0 4362 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22964
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2567
/proc/meminfo: memFree=1700024/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=25796 CPUtime=25.49
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 258319 0 0 0 2182 367 0 0 25 0 1 0 37378592 26415104 5123 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 6449 5123 724 1374 0 5070 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25796
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2569
/proc/meminfo: memFree=1692212/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=33804 CPUtime=51.08
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 499921 0 0 0 4390 718 0 0 25 0 1 0 37378592 34615296 7169 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 8451 7169 724 1374 0 7072 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33804
[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2569
/proc/meminfo: memFree=1678944/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=46440 CPUtime=102.27
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 935954 0 0 0 8860 1367 0 0 25 0 1 0 37378592 47554560 10362 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 11610 10362 724 1374 0 10231 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46440
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2571
/proc/meminfo: memFree=1664436/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=60352 CPUtime=162.26
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 1436766 0 0 0 14115 2111 0 0 25 0 1 0 37378592 61800448 13930 1992294400 4194304 9819077 140734915164432 18446744073709551615 5953128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 15088 13930 724 1374 0 13709 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 60352
[startup+222.309 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 2573
/proc/meminfo: memFree=1654144/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=72480 CPUtime=222.25
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 1907324 0 0 0 19409 2816 0 0 25 0 1 0 37378592 74219520 16510 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 18120 16510 724 1374 0 16741 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 72480
[startup+282.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 2575
/proc/meminfo: memFree=1643108/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=83060 CPUtime=282.23
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 2353480 0 0 0 24727 3496 0 0 25 0 1 0 37378592 85053440 19222 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 20805 19223 724 1374 0 19426 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 83060
[startup+342.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 2575
/proc/meminfo: memFree=1634180/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=91996 CPUtime=342.21
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 2786163 0 0 0 30066 4155 0 0 25 0 1 0 37378592 94203904 21444 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 22999 21444 724 1374 0 21620 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 91996
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2577
/proc/meminfo: memFree=1622276/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=103624 CPUtime=402.2
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 3211997 0 0 0 35433 4787 0 0 25 0 1 0 37378592 106110976 24383 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 25906 24383 724 1374 0 24527 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 103624
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2579
/proc/meminfo: memFree=1614464/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=111260 CPUtime=462.18
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 3614469 0 0 0 40822 5396 0 0 25 0 1 0 37378592 113930240 26312 1992294400 4194304 9819077 140734915164432 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 27815 26312 724 1374 0 26436 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 111260
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2581
/proc/meminfo: memFree=1605784/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=119908 CPUtime=522.17
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 4027430 0 0 0 46203 6014 0 0 25 0 1 0 37378592 122785792 28514 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 29977 28514 724 1374 0 28598 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 119908
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2583
/proc/meminfo: memFree=1596112/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=129128 CPUtime=582.15
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 4420647 0 0 0 51605 6610 0 0 25 0 1 0 37378592 132227072 30884 1992294400 4194304 9819077 140734915164432 18446744073709551615 5004398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 32282 30884 724 1374 0 30903 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 129128
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2583
/proc/meminfo: memFree=1591028/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=134400 CPUtime=642.15
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 4792432 0 0 0 57035 7180 0 0 25 0 1 0 37378592 137625600 32177 1992294400 4194304 9819077 140734915164432 18446744073709551615 4704988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 33600 32177 724 1374 0 32221 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 134400
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2596
/proc/meminfo: memFree=1541304/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=186704 CPUtime=1002.06
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 6953908 0 0 0 89743 10463 0 0 25 0 1 0 37378592 191184896 44410 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 46676 44410 724 1374 0 45297 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 186704
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2598
/proc/meminfo: memFree=1536964/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=190992 CPUtime=1062.04
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 7280081 0 0 0 95263 10941 0 0 25 0 1 0 37378592 195575808 45490 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 47748 45490 724 1374 0 46369 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 190992
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2600
/proc/meminfo: memFree=1530764/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=197132 CPUtime=1122.03
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 7624991 0 0 0 100742 11461 0 0 25 0 1 0 37378592 201863168 47024 1992294400 4194304 9819077 140734915164432 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 49283 47024 724 1374 0 47904 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 197132
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2602
/proc/meminfo: memFree=1525556/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=202296 CPUtime=1182.02
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 7947694 0 0 0 106276 11926 0 0 25 0 1 0 37378592 207151104 48346 1992294400 4194304 9819077 140734915164432 18446744073709551615 4923934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 50574 48346 724 1374 0 49195 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 202296
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2602
/proc/meminfo: memFree=1518612/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=208752 CPUtime=1242.01
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 8298847 0 0 0 111751 12450 0 0 25 0 1 0 37378592 213762048 50009 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 52188 50009 724 1374 0 50809 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 208752
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2604
/proc/meminfo: memFree=1512412/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=214952 CPUtime=1301.99
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 8606021 0 0 0 117288 12911 0 0 25 0 1 0 37378592 220110848 51578 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 53738 51578 724 1374 0 52359 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 214952
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2606
/proc/meminfo: memFree=1504476/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=222504 CPUtime=1361.97
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 8896501 0 0 0 122855 13342 0 0 25 0 1 0 37378592 227844096 53515 1992294400 4194304 9819077 140734915164432 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 55746 53518 724 1374 0 54367 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 222504
[startup+1422.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 2608
/proc/meminfo: memFree=1500384/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=226920 CPUtime=1421.97
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 9192846 0 0 0 128412 13785 0 0 25 0 1 0 37378592 232366080 54535 1992294400 4194304 9819077 140734915164432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 56730 54535 724 1374 0 55351 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 226920
[startup+1482.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/107 2610
/proc/meminfo: memFree=1494928/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=232556 CPUtime=1481.95
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 9502940 0 0 0 133945 14250 0 0 25 0 1 0 37378592 238137344 55923 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 58139 55923 724 1374 0 56760 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 232556
[startup+1542.31 s]
/proc/loadavg: 1.12 1.04 1.00 2/107 2610
/proc/meminfo: memFree=1490960/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=236240 CPUtime=1541.94
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 9794618 0 0 0 139506 14688 0 0 25 0 1 0 37378592 241909760 56867 1992294400 4194304 9819077 140734915164432 18446744073709551615 4219826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 59060 56867 724 1374 0 57681 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 236240
[startup+1602.3 s]
/proc/loadavg: 1.11 1.05 1.00 2/107 2612
/proc/meminfo: memFree=1487116/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=239860 CPUtime=1601.92
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 10108256 0 0 0 145050 15142 0 0 25 0 1 0 37378592 245616640 57818 1992294400 4194304 9819077 140734915164432 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 59965 57818 724 1374 0 58586 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 239860
[startup+1662.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/107 2614
/proc/meminfo: memFree=1482032/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=244584 CPUtime=1661.91
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 10416042 0 0 0 150580 15611 0 0 25 0 1 0 37378592 250454016 59049 1992294400 4194304 9819077 140734915164432 18446744073709551615 8648151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 61026 59047 724 1374 0 59647 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 244584
[startup+1722.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 2616
/proc/meminfo: memFree=1477940/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=248468 CPUtime=1721.89
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 10703284 0 0 0 156154 16035 0 0 25 0 1 0 37378592 254431232 60043 1992294400 4194304 9819077 140734915164432 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 62117 60043 724 1374 0 60738 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 248468
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 2618
/proc/meminfo: memFree=1474964/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=251336 CPUtime=1781.87
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 11003595 0 0 0 161714 16473 0 0 25 0 1 0 37378592 257368064 60769 1992294400 4194304 9819077 140734915164432 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 62834 60769 724 1374 0 61455 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 251336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 2618
/proc/meminfo: memFree=1471492/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=254992 CPUtime=1800.07
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 11103356 0 0 0 163383 16624 0 0 25 0 1 0 37378592 261111808 61630 1992294400 4194304 9819077 140734915164432 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2566/statm: 63748 61630 724 1374 0 62369 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 254992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 2619
/proc/meminfo: memFree=1471360/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=254992 CPUtime=1801.07
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 11103367 0 0 0 163483 16624 0 0 25 0 1 0 37378592 261111808 61631 1992294400 4194304 9819077 140734915164432 18446744073709551615 6179988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 63748 61631 725 1374 0 62369 0
Current children cumulated CPU time (s) 1801.07
Current children cumulated vsize (KiB) 254992
[startup+1801.91 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 2619
/proc/meminfo: memFree=1471360/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=254992 CPUtime=1801.48
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 11103367 0 0 0 163524 16624 0 0 25 0 1 0 37378592 261111808 61631 1992294400 4194304 9819077 140734915164432 18446744073709551615 6179993 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 63748 61631 725 1374 0 62369 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 254992
[startup+1802.1 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 2619
/proc/meminfo: memFree=1471360/2059040 swapFree=4140244/4192956
[pid=2566] ppid=2564 vsize=175964 CPUtime=1801.67
/proc/2566/stat : 2566 (pbscip.linux.x8) R 2564 2566 2290 0 -1 4202496 11103367 0 0 0 163542 16625 0 0 25 0 1 0 37378592 180187136 41874 1992294400 4194304 9819077 140734915164432 18446744073709551615 4221383 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2566/statm: 43991 41874 725 1374 0 42612 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 175964
Child status: 0
Real time (s): 1802.13
CPU time (s): 1801.71
CPU user time (s): 1635.44
CPU system time (s): 166.278
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 254992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1635.44
system time used= 166.278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11103371
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= 4
involuntary context switches= 1500
runsolver used 2.94755 second user time and 8.5527 second system time
The end