0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666868-1276598444.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 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.02 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 43 | - | 363k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 147 | - | 446k| 0 | 15 | 70 | 21 | 70 | 17 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 158 | - | 472k| 0 | 16 | 70 | 21 | 70 | 20 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 163 | - | 493k| 0 | 16 | 70 | 21 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 176 | - | 496k| 0 | 16 | 70 | 21 | 70 | 24 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 178 | - | 501k| 0 | 17 | 70 | 21 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 0 | 180 | - | 502k| 0 | 19 | 70 | 21 | 70 | 27 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 2 | 180 | - | 503k| 0 | 19 | 70 | 21 | 70 | 27 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
5.59/5.69 c 5.2s| 10000 | 5333 | 37252 | 3.7 |4372k| 61 | 8 | 70 |2342 | 70 | 19 | 19 |2898 | 709 | 0.000000e+00 | -- | Inf
11.00/11.01 c 10.1s| 20000 | 9800 | 72916 | 3.6 |6961k| 61 | 8 | 70 |1588 | 70 | 19 | 19 |6266 | 959 | 0.000000e+00 | -- | Inf
16.08/16.16 c 14.8s| 30000 | 13919 |109176 | 3.6 |9616k| 62 | 8 | 70 |1682 | 70 | 19 | 19 |9925 |1142 | 0.000000e+00 | -- | Inf
21.19/21.23 c 19.4s| 40000 | 18084 |145394 | 3.6 | 12M| 62 | - | 70 |1731 | 70 | 19 | 19 | 13k|1276 | 0.000000e+00 | -- | Inf
26.29/26.37 c 24.1s| 50000 | 21996 |181218 | 3.6 | 14M| 62 | 8 | 70 |1882 | 70 | 19 | 19 | 17k|1390 | 0.000000e+00 | -- | Inf
31.49/31.56 c 28.9s| 60000 | 25803 |217050 | 3.6 | 17M| 63 | 8 | 70 |2005 | 70 | 19 | 19 | 20k|1476 | 0.000000e+00 | -- | Inf
36.68/36.74 c 33.7s| 70000 | 29698 |253169 | 3.6 | 20M| 63 | - | 70 |1971 | 70 | 19 | 19 | 24k|1558 | 0.000000e+00 | -- | Inf
41.97/42.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.97/42.05 c 38.5s| 80000 | 33306 |288767 | 3.6 | 22M| 63 | 8 | 70 |2232 | 70 | 19 | 19 | 28k|1640 | 0.000000e+00 | -- | Inf
47.18/47.24 c 43.3s| 90000 | 37109 |324536 | 3.6 | 25M| 63 | 8 | 70 |2450 | 70 | 19 | 19 | 32k|1723 | 0.000000e+00 | -- | Inf
52.58/52.65 c 48.3s|100000 | 40680 |361135 | 3.6 | 27M| 63 | - | 70 |2147 | 70 | 19 | 19 | 36k|1796 | 0.000000e+00 | -- | Inf
57.97/58.00 c 53.2s|110000 | 44254 |397682 | 3.6 | 30M| 63 | 8 | 70 |2534 | 70 | 19 | 19 | 40k|1873 | 0.000000e+00 | -- | Inf
63.17/63.29 c 58.1s|120000 | 47771 |432596 | 3.6 | 33M| 63 | 8 | 70 |2544 | 70 | 19 | 19 | 44k|1940 | 0.000000e+00 | -- | Inf
68.47/68.59 c 62.9s|130000 | 51228 |468465 | 3.6 | 35M| 63 | - | 70 |2578 | 70 | 19 | 19 | 48k|1998 | 0.000000e+00 | -- | Inf
73.87/73.90 c 67.8s|140000 | 54881 |505011 | 3.6 | 38M| 63 | 8 | 70 |2681 | 70 | 19 | 19 | 52k|2054 | 0.000000e+00 | -- | Inf
79.17/79.27 c 72.8s|150000 | 58408 |540796 | 3.6 | 40M| 63 | 8 | 70 |2777 | 70 | 19 | 19 | 56k|2112 | 0.000000e+00 | -- | Inf
84.57/84.70 c 77.8s|160000 | 61735 |576357 | 3.6 | 43M| 63 | 8 | 70 |2657 | 70 | 19 | 19 | 60k|2178 | 0.000000e+00 | -- | Inf
90.07/90.13 c 82.8s|170000 | 65127 |612496 | 3.6 | 45M| 63 | 8 | 70 |2748 | 70 | 19 | 19 | 64k|2229 | 0.000000e+00 | -- | Inf
95.57/95.66 c 87.9s|180000 | 68386 |648362 | 3.6 | 48M| 63 | 8 | 70 |2771 | 70 | 19 | 19 | 68k|2282 | 0.000000e+00 | -- | Inf
100.96/101.04 c 92.8s|190000 | 71786 |684110 | 3.6 | 50M| 63 | - | 70 |3073 | 70 | 19 | 19 | 72k|2332 | 0.000000e+00 | -- | Inf
106.46/106.54 c 97.9s|200000 | 75157 |720502 | 3.6 | 53M| 63 | - | 70 |2982 | 70 | 19 | 19 | 76k|2378 | 0.000000e+00 | -- | Inf
111.96/112.04 c 103s|210000 | 78608 |755963 | 3.6 | 55M| 63 | 8 | 70 |2624 | 70 | 19 | 19 | 80k|2424 | 0.000000e+00 | -- | Inf
117.45/117.59 c 108s|220000 | 81758 |791150 | 3.6 | 58M| 63 | 8 | 70 |3178 | 70 | 19 | 19 | 84k|2458 | 0.000000e+00 | -- | Inf
123.16/123.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.16/123.27 c 113s|230000 | 85141 |827290 | 3.6 | 60M| 63 | 8 | 70 |2907 | 70 | 19 | 19 | 88k|2502 | 0.000000e+00 | -- | Inf
128.66/128.72 c 118s|240000 | 88600 |862950 | 3.6 | 63M| 63 | - | 70 |3510 | 70 | 19 | 19 | 92k|2546 | 0.000000e+00 | -- | Inf
134.16/134.28 c 124s|250000 | 91975 |899273 | 3.6 | 66M| 63 | - | 70 |3451 | 70 | 19 | 19 | 96k|2586 | 0.000000e+00 | -- | Inf
139.85/139.96 c 129s|260000 | 95086 |935387 | 3.6 | 68M| 63 | 8 | 70 |3316 | 70 | 19 | 19 | 100k|2634 | 0.000000e+00 | -- | Inf
145.45/145.58 c 134s|270000 | 98394 |970571 | 3.6 | 71M| 63 | 8 | 70 |3563 | 70 | 19 | 19 | 105k|2680 | 0.000000e+00 | -- | Inf
151.15/151.20 c 139s|280000 |101600 | 1006k| 3.6 | 73M| 63 | - | 70 |2907 | 70 | 19 | 19 | 109k|2722 | 0.000000e+00 | -- | Inf
156.65/156.79 c 144s|290000 |104864 | 1041k| 3.6 | 76M| 63 | 8 | 70 |2943 | 70 | 19 | 19 | 113k|2757 | 0.000000e+00 | -- | Inf
162.25/162.39 c 150s|300000 |108062 | 1077k| 3.6 | 78M| 63 | 8 | 70 |3200 | 70 | 19 | 19 | 117k|2801 | 0.000000e+00 | -- | Inf
167.65/167.75 c 154s|310000 |111585 | 1112k| 3.6 | 81M| 63 | - | 70 |3900 | 70 | 19 | 19 | 121k|2828 | 0.000000e+00 | -- | Inf
173.44/173.53 c 160s|320000 |114814 | 1146k| 3.6 | 83M| 63 | - | 70 |3181 | 70 | 19 | 19 | 125k|2876 | 0.000000e+00 | -- | Inf
179.04/179.15 c 165s|330000 |118019 | 1181k| 3.6 | 86M| 63 | - | 70 |3508 | 70 | 19 | 19 | 129k|2909 | 0.000000e+00 | -- | Inf
184.84/184.93 c 170s|340000 |121037 | 1216k| 3.6 | 88M| 63 | 8 | 70 |3157 | 70 | 19 | 19 | 134k|2940 | 0.000000e+00 | -- | Inf
190.34/190.49 c 175s|350000 |124258 | 1251k| 3.6 | 91M| 63 | 8 | 70 |3464 | 70 | 19 | 19 | 138k|2969 | 0.000000e+00 | -- | Inf
195.94/196.06 c 181s|360000 |127712 | 1286k| 3.6 | 93M| 63 | 8 | 70 |3320 | 70 | 19 | 19 | 142k|3012 | 0.000000e+00 | -- | Inf
201.43/201.59 c 186s|370000 |130983 | 1322k| 3.6 | 96M| 63 | - | 70 |3775 | 70 | 19 | 19 | 146k|3042 | 0.000000e+00 | -- | Inf
207.34/207.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.34/207.47 c 191s|380000 |134063 | 1357k| 3.6 | 98M| 63 | - | 70 |3625 | 70 | 19 | 19 | 150k|3075 | 0.000000e+00 | -- | Inf
212.83/212.96 c 196s|390000 |137739 | 1392k| 3.6 | 101M| 63 | 8 | 70 |4087 | 70 | 19 | 19 | 154k|3095 | 0.000000e+00 | -- | Inf
218.64/218.78 c 202s|400000 |140964 | 1428k| 3.6 | 103M| 63 | 8 | 70 |3575 | 70 | 19 | 19 | 158k|3113 | 0.000000e+00 | -- | Inf
224.53/224.60 c 207s|410000 |144125 | 1463k| 3.6 | 106M| 63 | - | 70 |3300 | 70 | 19 | 19 | 162k|3141 | 0.000000e+00 | -- | Inf
230.23/230.34 c 212s|420000 |147260 | 1498k| 3.6 | 108M| 63 | - | 70 |2973 | 70 | 19 | 19 | 167k|3173 | 0.000000e+00 | -- | Inf
235.83/235.92 c 217s|430000 |150380 | 1533k| 3.6 | 111M| 63 | - | 70 |4014 | 70 | 19 | 19 | 171k|3198 | 0.000000e+00 | -- | Inf
241.72/241.82 c 223s|440000 |153269 | 1568k| 3.6 | 113M| 63 | - | 70 |3593 | 70 | 19 | 19 | 175k|3220 | 0.000000e+00 | -- | Inf
247.43/247.57 c 228s|450000 |156579 | 1604k| 3.6 | 116M| 63 | 8 | 70 |3657 | 70 | 19 | 19 | 179k|3264 | 0.000000e+00 | -- | Inf
253.12/253.22 c 234s|460000 |159964 | 1640k| 3.6 | 118M| 63 | - | 70 |3968 | 70 | 19 | 19 | 184k|3289 | 0.000000e+00 | -- | Inf
258.72/258.85 c 239s|470000 |163432 | 1676k| 3.6 | 121M| 63 | 8 | 70 |4686 | 70 | 19 | 19 | 187k|3315 | 0.000000e+00 | -- | Inf
264.72/264.85 c 244s|480000 |166541 | 1712k| 3.6 | 124M| 63 | 8 | 70 |4804 | 70 | 19 | 19 | 192k|3341 | 0.000000e+00 | -- | Inf
270.42/270.50 c 250s|490000 |170044 | 1746k| 3.6 | 126M| 63 | - | 70 |4462 | 70 | 19 | 19 | 196k|3366 | 0.000000e+00 | -- | Inf
276.21/276.37 c 255s|500000 |173413 | 1781k| 3.6 | 129M| 63 | - | 70 |3819 | 70 | 19 | 19 | 200k|3392 | 0.000000e+00 | -- | Inf
282.12/282.29 c 260s|510000 |176564 | 1817k| 3.6 | 131M| 63 | 8 | 70 |3405 | 70 | 19 | 19 | 204k|3418 | 0.000000e+00 | -- | Inf
287.71/287.82 c 266s|520000 |180272 | 1851k| 3.6 | 134M| 63 | 8 | 70 |4022 | 70 | 19 | 19 | 208k|3440 | 0.000000e+00 | -- | Inf
293.41/293.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.41/293.52 c 271s|530000 |183645 | 1885k| 3.6 | 136M| 63 | - | 70 |3730 | 70 | 19 | 19 | 212k|3460 | 0.000000e+00 | -- | Inf
298.92/299.01 c 276s|540000 |187265 | 1920k| 3.6 | 139M| 63 | 8 | 70 |4838 | 70 | 19 | 19 | 216k|3483 | 0.000000e+00 | -- | Inf
305.11/305.22 c 282s|550000 |190211 | 1955k| 3.6 | 141M| 63 | 8 | 70 |3463 | 70 | 19 | 19 | 220k|3513 | 0.000000e+00 | -- | Inf
310.61/310.71 c 287s|560000 |193806 | 1990k| 3.6 | 144M| 63 | 8 | 70 |4387 | 70 | 19 | 19 | 224k|3534 | 0.000000e+00 | -- | Inf
316.31/316.45 c 292s|570000 |197306 | 2026k| 3.6 | 146M| 63 | 8 | 70 |4454 | 70 | 19 | 19 | 228k|3554 | 0.000000e+00 | -- | Inf
322.21/322.34 c 298s|580000 |200443 | 2061k| 3.6 | 149M| 63 | - | 70 |3861 | 70 | 19 | 19 | 232k|3573 | 0.000000e+00 | -- | Inf
327.91/328.05 c 303s|590000 |203768 | 2096k| 3.6 | 151M| 63 | 8 | 70 |3870 | 70 | 19 | 19 | 237k|3597 | 0.000000e+00 | -- | Inf
333.71/333.80 c 308s|600000 |207217 | 2131k| 3.6 | 154M| 63 | - | 70 |4036 | 70 | 19 | 19 | 240k|3616 | 0.000000e+00 | -- | Inf
339.60/339.70 c 314s|610000 |210443 | 2166k| 3.6 | 156M| 63 | - | 70 |3576 | 70 | 19 | 19 | 245k|3639 | 0.000000e+00 | -- | Inf
345.31/345.41 c 319s|620000 |213808 | 2202k| 3.6 | 159M| 63 | - | 70 |3973 | 70 | 19 | 19 | 249k|3657 | 0.000000e+00 | -- | Inf
350.81/350.96 c 324s|630000 |217454 | 2236k| 3.5 | 161M| 63 | 8 | 70 |4311 | 70 | 19 | 19 | 253k|3676 | 0.000000e+00 | -- | Inf
356.90/357.08 c 330s|640000 |220400 | 2271k| 3.5 | 164M| 63 | 8 | 70 |3612 | 70 | 19 | 19 | 257k|3694 | 0.000000e+00 | -- | Inf
362.69/362.82 c 335s|650000 |223694 | 2305k| 3.5 | 166M| 63 | 8 | 70 |3508 | 70 | 19 | 19 | 261k|3707 | 0.000000e+00 | -- | Inf
368.20/368.34 c 340s|660000 |227241 | 2340k| 3.5 | 169M| 63 | 8 | 70 |4512 | 70 | 19 | 19 | 265k|3723 | 0.000000e+00 | -- | Inf
374.29/374.49 c 346s|670000 |230447 | 2375k| 3.5 | 171M| 63 | - | 70 |4488 | 70 | 19 | 19 | 269k|3741 | 0.000000e+00 | -- | Inf
380.29/380.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.29/380.50 c 351s|680000 |233692 | 2410k| 3.5 | 174M| 63 | 8 | 70 |3864 | 70 | 19 | 19 | 273k|3774 | 0.000000e+00 | -- | Inf
386.19/386.35 c 357s|690000 |236940 | 2445k| 3.5 | 176M| 63 | 8 | 70 |3903 | 70 | 19 | 19 | 277k|3827 | 0.000000e+00 | -- | Inf
391.99/392.18 c 362s|700000 |240223 | 2479k| 3.5 | 179M| 63 | 8 | 70 |4220 | 70 | 19 | 19 | 281k|3842 | 0.000000e+00 | -- | Inf
398.10/398.27 c 368s|710000 |243235 | 2514k| 3.5 | 181M| 63 | 8 | 70 |3676 | 70 | 19 | 19 | 286k|3859 | 0.000000e+00 | -- | Inf
403.98/404.11 c 373s|720000 |246448 | 2548k| 3.5 | 184M| 63 | 8 | 70 |3311 | 70 | 19 | 19 | 290k|3874 | 0.000000e+00 | -- | Inf
409.78/409.95 c 379s|730000 |249576 | 2582k| 3.5 | 186M| 63 | - | 70 |3385 | 70 | 19 | 19 | 294k|3899 | 0.000000e+00 | -- | Inf
415.69/415.81 c 384s|740000 |252577 | 2617k| 3.5 | 189M| 63 | - | 70 |3640 | 70 | 19 | 19 | 298k|3917 | 0.000000e+00 | -- | Inf
421.49/421.65 c 390s|750000 |255795 | 2652k| 3.5 | 191M| 63 | 8 | 70 |4107 | 70 | 19 | 19 | 302k|3937 | 0.000000e+00 | -- | Inf
427.58/427.75 c 395s|760000 |258902 | 2687k| 3.5 | 194M| 63 | 8 | 70 |4466 | 70 | 19 | 19 | 307k|3959 | 0.000000e+00 | -- | Inf
433.58/433.73 c 401s|770000 |262172 | 2722k| 3.5 | 196M| 63 | 8 | 70 |4093 | 70 | 19 | 19 | 311k|4046 | 0.000000e+00 | -- | Inf
439.28/439.40 c 406s|780000 |265740 | 2757k| 3.5 | 199M| 63 | 8 | 70 |5271 | 70 | 19 | 19 | 315k|4132 | 0.000000e+00 | -- | Inf
445.38/445.51 c 412s|790000 |268854 | 2792k| 3.5 | 201M| 63 | 8 | 70 |4765 | 70 | 19 | 19 | 319k|4132 | 0.000000e+00 | -- | Inf
451.58/451.70 c 418s|800000 |271877 | 2828k| 3.5 | 204M| 63 | - | 70 |3692 | 70 | 19 | 19 | 324k|4132 | 0.000000e+00 | -- | Inf
457.38/457.53 c 423s|810000 |274974 | 2862k| 3.5 | 206M| 63 | - | 70 |3777 | 70 | 19 | 19 | 328k|4139 | 0.000000e+00 | -- | Inf
462.88/463.05 c 428s|820000 |278328 | 2896k| 3.5 | 209M| 63 | 8 | 70 |5027 | 70 | 19 | 19 | 332k|4156 | 0.000000e+00 | -- | Inf
468.88/469.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.88/469.07 c 434s|830000 |281568 | 2931k| 3.5 | 211M| 63 | 8 | 70 |4013 | 70 | 19 | 19 | 336k|4165 | 0.000000e+00 | -- | Inf
474.98/475.11 c 439s|840000 |284633 | 2967k| 3.5 | 213M| 63 | 8 | 70 |3740 | 70 | 19 | 19 | 340k|4180 | 0.000000e+00 | -- | Inf
480.87/481.07 c 445s|850000 |287762 | 3001k| 3.5 | 216M| 63 | 8 | 70 |3949 | 70 | 19 | 19 | 344k|4198 | 0.000000e+00 | -- | Inf
486.57/486.77 c 450s|860000 |291217 | 3036k| 3.5 | 218M| 63 | - | 70 |4066 | 70 | 19 | 19 | 348k|4214 | 0.000000e+00 | -- | Inf
492.47/492.63 c 455s|870000 |294379 | 3071k| 3.5 | 221M| 63 | 8 | 70 |3977 | 70 | 19 | 19 | 353k|4234 | 0.000000e+00 | -- | Inf
498.46/498.63 c 461s|880000 |297388 | 3105k| 3.5 | 223M| 63 | - | 70 |3769 | 70 | 19 | 19 | 357k|4252 | 0.000000e+00 | -- | Inf
504.26/504.40 c 466s|890000 |300644 | 3141k| 3.5 | 226M| 63 | 8 | 70 |4112 | 70 | 19 | 19 | 361k|4268 | 0.000000e+00 | -- | Inf
510.06/510.22 c 472s|900000 |303775 | 3176k| 3.5 | 228M| 63 | 8 | 70 |4317 | 70 | 19 | 19 | 365k|4279 | 0.000000e+00 | -- | Inf
515.96/516.10 c 477s|910000 |306797 | 3210k| 3.5 | 231M| 63 | 8 | 70 |4420 | 70 | 19 | 19 | 369k|4295 | 0.000000e+00 | -- | Inf
521.76/521.93 c 483s|920000 |310222 | 3245k| 3.5 | 233M| 63 | 8 | 70 |4074 | 70 | 19 | 19 | 373k|4315 | 0.000000e+00 | -- | Inf
527.56/527.80 c 488s|930000 |313509 | 3279k| 3.5 | 236M| 63 | 8 | 70 |3867 | 70 | 19 | 19 | 378k|4330 | 0.000000e+00 | -- | Inf
533.45/533.66 c 494s|940000 |316678 | 3314k| 3.5 | 238M| 63 | 8 | 70 |4200 | 70 | 19 | 19 | 382k|4348 | 0.000000e+00 | -- | Inf
539.46/539.63 c 499s|950000 |319813 | 3349k| 3.5 | 241M| 63 | 8 | 70 |4193 | 70 | 19 | 19 | 386k|4365 | 0.000000e+00 | -- | Inf
545.46/545.64 c 505s|960000 |322959 | 3384k| 3.5 | 243M| 63 | 8 | 70 |3823 | 70 | 19 | 19 | 390k|4383 | 0.000000e+00 | -- | Inf
551.35/551.58 c 510s|970000 |325881 | 3419k| 3.5 | 246M| 63 | 8 | 70 |3934 | 70 | 19 | 19 | 394k|4396 | 0.000000e+00 | -- | Inf
557.35/557.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.35/557.55 c 516s|980000 |328989 | 3454k| 3.5 | 248M| 63 | - | 70 |3587 | 70 | 19 | 19 | 399k|4411 | 0.000000e+00 | -- | Inf
562.84/563.09 c 521s|990000 |332484 | 3489k| 3.5 | 251M| 63 | - | 70 |4282 | 70 | 19 | 19 | 403k|4425 | 0.000000e+00 | -- | Inf
568.84/569.08 c 526s| 1000k|335667 | 3524k| 3.5 | 253M| 63 | - | 70 |3781 | 70 | 19 | 19 | 407k|4447 | 0.000000e+00 | -- | Inf
574.85/575.02 c 532s| 1010k|338604 | 3559k| 3.5 | 256M| 63 | 8 | 70 |4001 | 70 | 19 | 19 | 411k|4464 | 0.000000e+00 | -- | Inf
580.75/580.95 c 537s| 1020k|341646 | 3594k| 3.5 | 258M| 63 | - | 70 |3942 | 70 | 19 | 19 | 415k|4474 | 0.000000e+00 | -- | Inf
586.54/586.76 c 543s| 1030k|344912 | 3629k| 3.5 | 261M| 63 | 8 | 70 |4427 | 70 | 19 | 19 | 419k|4488 | 0.000000e+00 | -- | Inf
592.54/592.74 c 548s| 1040k|348025 | 3664k| 3.5 | 263M| 63 | 8 | 70 |4368 | 70 | 19 | 19 | 424k|4499 | 0.000000e+00 | -- | Inf
598.25/598.44 c 554s| 1050k|351249 | 3700k| 3.5 | 266M| 63 | - | 70 |5232 | 70 | 19 | 19 | 428k|4509 | 0.000000e+00 | -- | Inf
603.74/603.99 c 559s| 1060k|355186 | 3732k| 3.5 | 269M| 63 | - | 70 |5874 | 70 | 19 | 19 | 431k|4517 | 0.000000e+00 | -- | Inf
610.25/610.45 c 565s| 1070k|358146 | 3766k| 3.5 | 271M| 63 | 8 | 70 |4685 | 70 | 19 | 19 | 436k|4522 | 0.000000e+00 | -- | Inf
616.23/616.42 c 570s| 1080k|361286 | 3801k| 3.5 | 273M| 63 | - | 70 |5137 | 70 | 19 | 19 | 440k|4526 | 0.000000e+00 | -- | Inf
622.03/622.28 c 576s| 1090k|364792 | 3836k| 3.5 | 276M| 63 | 8 | 70 |5804 | 70 | 19 | 19 | 444k|4534 | 0.000000e+00 | -- | Inf
628.13/628.35 c 581s| 1100k|367978 | 3870k| 3.5 | 278M| 63 | 8 | 70 |5597 | 70 | 19 | 19 | 448k|4547 | 0.000000e+00 | -- | Inf
634.44/634.66 c 587s| 1110k|370987 | 3905k| 3.5 | 281M| 63 | - | 70 |5133 | 70 | 19 | 19 | 452k|4558 | 0.000000e+00 | -- | Inf
640.04/640.24 c 592s| 1120k|374687 | 3940k| 3.5 | 283M| 63 | 8 | 70 |5586 | 70 | 19 | 19 | 456k|4565 | 0.000000e+00 | -- | Inf
646.03/646.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.03/646.22 c 598s| 1130k|378000 | 3975k| 3.5 | 286M| 63 | 8 | 70 |4956 | 70 | 19 | 19 | 461k|4574 | 0.000000e+00 | -- | Inf
652.22/652.48 c 604s| 1140k|381011 | 4010k| 3.5 | 288M| 63 | 8 | 70 |3896 | 70 | 19 | 19 | 465k|4583 | 0.000000e+00 | -- | Inf
658.03/658.21 c 609s| 1150k|384449 | 4046k| 3.5 | 291M| 63 | 8 | 70 |4782 | 70 | 19 | 19 | 469k|4591 | 0.000000e+00 | -- | Inf
664.02/664.23 c 615s| 1160k|387759 | 4080k| 3.5 | 293M| 63 | - | 70 |4090 | 70 | 19 | 19 | 473k|4600 | 0.000000e+00 | -- | Inf
670.12/670.33 c 620s| 1170k|390800 | 4115k| 3.5 | 296M| 63 | 8 | 70 |4148 | 70 | 19 | 19 | 477k|4611 | 0.000000e+00 | -- | Inf
676.12/676.38 c 626s| 1180k|393950 | 4150k| 3.5 | 298M| 63 | 8 | 70 |4398 | 70 | 19 | 19 | 481k|4626 | 0.000000e+00 | -- | Inf
682.42/682.60 c 632s| 1190k|396894 | 4184k| 3.5 | 301M| 63 | 8 | 70 |4279 | 70 | 19 | 19 | 485k|4642 | 0.000000e+00 | -- | Inf
688.43/688.62 c 637s| 1200k|400063 | 4220k| 3.5 | 303M| 63 | 8 | 70 |3957 | 70 | 19 | 19 | 490k|4653 | 0.000000e+00 | -- | Inf
694.22/694.44 c 643s| 1210k|403309 | 4254k| 3.5 | 306M| 63 | - | 70 |4540 | 70 | 19 | 19 | 494k|4664 | 0.000000e+00 | -- | Inf
700.22/700.47 c 648s| 1220k|406410 | 4288k| 3.5 | 308M| 63 | 8 | 70 |4487 | 70 | 19 | 19 | 498k|4673 | 0.000000e+00 | -- | Inf
706.12/706.31 c 654s| 1230k|409680 | 4322k| 3.5 | 311M| 63 | 8 | 70 |4734 | 70 | 19 | 19 | 502k|4689 | 0.000000e+00 | -- | Inf
712.11/712.39 c 659s| 1240k|412785 | 4357k| 3.5 | 313M| 63 | 8 | 70 |4857 | 70 | 19 | 19 | 506k|4702 | 0.000000e+00 | -- | Inf
718.21/718.49 c 665s| 1250k|416129 | 4391k| 3.5 | 316M| 63 | 8 | 70 |4666 | 70 | 19 | 19 | 510k|4719 | 0.000000e+00 | -- | Inf
724.11/724.35 c 671s| 1260k|419474 | 4426k| 3.5 | 318M| 63 | 8 | 70 |5077 | 70 | 19 | 19 | 514k|4730 | 0.000000e+00 | -- | Inf
730.31/730.51 c 676s| 1270k|422602 | 4460k| 3.5 | 321M| 63 | - | 70 |4322 | 70 | 19 | 19 | 518k|4739 | 0.000000e+00 | -- | Inf
736.01/736.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.01/736.26 c 682s| 1280k|425966 | 4495k| 3.5 | 323M| 63 | - | 70 |4761 | 70 | 19 | 19 | 523k|4750 | 0.000000e+00 | -- | Inf
742.41/742.61 c 688s| 1290k|428971 | 4529k| 3.5 | 326M| 63 | 8 | 70 |4123 | 70 | 19 | 19 | 527k|4760 | 0.000000e+00 | -- | Inf
748.20/748.44 c 693s| 1300k|432324 | 4563k| 3.5 | 328M| 63 | - | 70 |4412 | 70 | 19 | 19 | 531k|4769 | 0.000000e+00 | -- | Inf
754.20/754.46 c 699s| 1310k|435348 | 4599k| 3.5 | 331M| 63 | 8 | 70 |4578 | 70 | 19 | 19 | 535k|4783 | 0.000000e+00 | -- | Inf
760.40/760.62 c 704s| 1320k|438285 | 4633k| 3.5 | 333M| 63 | 8 | 70 |4096 | 70 | 19 | 19 | 539k|4792 | 0.000000e+00 | -- | Inf
766.70/766.94 c 710s| 1330k|441111 | 4668k| 3.5 | 335M| 63 | - | 70 |3908 | 70 | 19 | 19 | 544k|4799 | 0.000000e+00 | -- | Inf
772.60/772.83 c 716s| 1340k|444249 | 4702k| 3.5 | 338M| 63 | 8 | 70 |4415 | 70 | 19 | 19 | 548k|4808 | 0.000000e+00 | -- | Inf
778.90/779.12 c 721s| 1350k|447117 | 4737k| 3.5 | 340M| 63 | 8 | 70 |4286 | 70 | 19 | 19 | 552k|4818 | 0.000000e+00 | -- | Inf
785.10/785.31 c 727s| 1360k|450143 | 4772k| 3.5 | 343M| 63 | - | 70 |4173 | 70 | 19 | 19 | 557k|4831 | 0.000000e+00 | -- | Inf
791.29/791.52 c 733s| 1370k|452988 | 4806k| 3.5 | 345M| 63 | - | 70 |4000 | 70 | 19 | 19 | 561k|4842 | 0.000000e+00 | -- | Inf
797.30/797.51 c 739s| 1380k|456116 | 4841k| 3.5 | 348M| 63 | 8 | 70 |4533 | 70 | 19 | 19 | 565k|4850 | 0.000000e+00 | -- | Inf
803.29/803.50 c 744s| 1390k|459418 | 4875k| 3.5 | 350M| 63 | 8 | 70 |4863 | 70 | 19 | 19 | 569k|4867 | 0.000000e+00 | -- | Inf
809.39/809.67 c 750s| 1400k|462494 | 4910k| 3.5 | 353M| 63 | 8 | 70 |4310 | 70 | 19 | 19 | 573k|4876 | 0.000000e+00 | -- | Inf
815.38/815.64 c 755s| 1410k|465795 | 4946k| 3.5 | 355M| 63 | - | 70 |4832 | 0 | 0 | 19 | 578k|4887 | 0.000000e+00 | -- | Inf
821.49/821.71 c 761s| 1420k|469012 | 4981k| 3.5 | 358M| 63 | 8 | 70 |4864 | 70 | 19 | 19 | 582k|4895 | 0.000000e+00 | -- | Inf
827.78/828.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
827.78/828.08 c 767s| 1430k|471971 | 5016k| 3.5 | 360M| 63 | 8 | 70 |4659 | 70 | 19 | 19 | 586k|4907 | 0.000000e+00 | -- | Inf
833.88/834.18 c 773s| 1440k|475163 | 5051k| 3.5 | 363M| 63 | 8 | 70 |4657 | 70 | 19 | 19 | 590k|4920 | 0.000000e+00 | -- | Inf
839.88/840.16 c 778s| 1450k|478448 | 5085k| 3.5 | 365M| 63 | 8 | 70 |4577 | 70 | 19 | 19 | 594k|4934 | 0.000000e+00 | -- | Inf
846.18/846.45 c 784s| 1460k|481452 | 5120k| 3.5 | 368M| 63 | 8 | 70 |4617 | 70 | 19 | 19 | 598k|4947 | 0.000000e+00 | -- | Inf
852.29/852.57 c 790s| 1470k|484680 | 5155k| 3.5 | 370M| 63 | 8 | 70 |4667 | 70 | 19 | 19 | 603k|4957 | 0.000000e+00 | -- | Inf
858.38/858.69 c 795s| 1480k|487872 | 5190k| 3.5 | 372M| 63 | 8 | 70 |4246 | 70 | 19 | 19 | 607k|4968 | 0.000000e+00 | -- | Inf
864.39/864.61 c 801s| 1490k|491052 | 5224k| 3.5 | 375M| 63 | - | 70 |4367 | 70 | 19 | 19 | 611k|4981 | 0.000000e+00 | -- | Inf
870.37/870.67 c 807s| 1500k|494073 | 5258k| 3.5 | 377M| 63 | - | 70 |4540 | 70 | 19 | 19 | 615k|4987 | 0.000000e+00 | -- | Inf
876.78/877.05 c 813s| 1510k|497119 | 5293k| 3.5 | 380M| 63 | 8 | 70 |4508 | 70 | 19 | 19 | 619k|4996 | 0.000000e+00 | -- | Inf
882.87/883.17 c 818s| 1520k|500114 | 5328k| 3.5 | 382M| 63 | - | 70 |4743 | 70 | 19 | 19 | 623k|5006 | 0.000000e+00 | -- | Inf
889.07/889.38 c 824s| 1530k|503210 | 5362k| 3.5 | 385M| 63 | 8 | 70 |4574 | 70 | 19 | 19 | 628k|5016 | 0.000000e+00 | -- | Inf
895.27/895.55 c 830s| 1540k|506421 | 5396k| 3.5 | 387M| 63 | - | 70 |4709 | 70 | 19 | 19 | 632k|5030 | 0.000000e+00 | -- | Inf
901.57/901.80 c 836s| 1550k|509476 | 5431k| 3.5 | 390M| 63 | - | 70 |4092 | 70 | 19 | 19 | 636k|5038 | 0.000000e+00 | -- | Inf
907.66/907.98 c 841s| 1560k|512404 | 5465k| 3.5 | 392M| 63 | - | 70 |4216 | 70 | 19 | 19 | 640k|5054 | 0.000000e+00 | -- | Inf
913.87/914.11 c 847s| 1570k|515540 | 5500k| 3.5 | 395M| 63 | - | 70 |4605 | 70 | 19 | 19 | 645k|5068 | 0.000000e+00 | -- | Inf
919.76/920.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.76/920.00 c 853s| 1580k|518744 | 5534k| 3.5 | 397M| 63 | 8 | 70 |5061 | 70 | 19 | 19 | 649k|5078 | 0.000000e+00 | -- | Inf
925.87/926.20 c 858s| 1590k|522003 | 5569k| 3.5 | 400M| 63 | 8 | 70 |5267 | 70 | 19 | 19 | 653k|5088 | 0.000000e+00 | -- | Inf
932.16/932.45 c 864s| 1600k|525385 | 5604k| 3.5 | 402M| 63 | 8 | 70 |5016 | 70 | 19 | 19 | 657k|5100 | 0.000000e+00 | -- | Inf
938.56/938.87 c 870s| 1610k|528483 | 5638k| 3.5 | 405M| 63 | 8 | 70 |4612 | 70 | 19 | 19 | 661k|5106 | 0.000000e+00 | -- | Inf
944.86/945.10 c 876s| 1620k|531483 | 5673k| 3.5 | 407M| 63 | - | 70 |4878 | 70 | 19 | 19 | 665k|5115 | 0.000000e+00 | -- | Inf
950.96/951.25 c 882s| 1630k|534623 | 5707k| 3.5 | 410M| 63 | - | 70 |4763 | 70 | 19 | 19 | 669k|5128 | 0.000000e+00 | -- | Inf
957.16/957.40 c 887s| 1640k|537638 | 5742k| 3.5 | 412M| 63 | - | 70 |4744 | 70 | 19 | 19 | 674k|5141 | 0.000000e+00 | -- | Inf
963.15/963.47 c 893s| 1650k|540873 | 5776k| 3.5 | 415M| 63 | 8 | 70 |4717 | 70 | 19 | 19 | 678k|5148 | 0.000000e+00 | -- | Inf
969.35/969.69 c 899s| 1660k|544053 | 5811k| 3.5 | 417M| 63 | 8 | 70 |4926 | 70 | 19 | 19 | 682k|5162 | 0.000000e+00 | -- | Inf
975.85/976.11 c 905s| 1670k|547177 | 5845k| 3.5 | 419M| 63 | - | 70 |4500 | 70 | 19 | 19 | 686k|5169 | 0.000000e+00 | -- | Inf
982.25/982.50 c 911s| 1680k|550208 | 5880k| 3.5 | 422M| 63 | 8 | 70 |4470 | 70 | 19 | 19 | 690k|5181 | 0.000000e+00 | -- | Inf
988.34/988.69 c 917s| 1690k|553397 | 5914k| 3.5 | 424M| 63 | 8 | 70 |4546 | 70 | 19 | 19 | 694k|5188 | 0.000000e+00 | -- | Inf
994.65/994.91 c 922s| 1700k|556476 | 5948k| 3.5 | 427M| 63 | - | 70 |4753 | 70 | 19 | 19 | 699k|5205 | 0.000000e+00 | -- | Inf
1000.94/1001.20 c 928s| 1710k|559400 | 5982k| 3.5 | 429M| 63 | 8 | 70 |4637 | 70 | 19 | 19 | 703k|5211 | 0.000000e+00 | -- | Inf
1006.64/1006.95 c 934s| 1720k|562685 | 6016k| 3.5 | 432M| 63 | 8 | 70 |5878 | 70 | 19 | 19 | 707k|5219 | 0.000000e+00 | -- | Inf
1012.85/1013.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.85/1013.18 c 939s| 1730k|565981 | 6049k| 3.5 | 434M| 63 | 8 | 70 |5083 | 70 | 19 | 19 | 711k|5228 | 0.000000e+00 | -- | Inf
1018.74/1019.01 c 945s| 1740k|569733 | 6082k| 3.5 | 437M| 63 | 8 | 70 |4819 | 70 | 19 | 19 | 715k|5232 | 0.000000e+00 | -- | Inf
1024.44/1024.72 c 950s| 1750k|573279 | 6117k| 3.5 | 440M| 63 | 8 | 70 |5287 | 70 | 19 | 19 | 719k|5237 | 0.000000e+00 | -- | Inf
1030.63/1030.98 c 956s| 1760k|576700 | 6152k| 3.5 | 442M| 63 | 8 | 70 |4789 | 70 | 19 | 19 | 723k|5244 | 0.000000e+00 | -- | Inf
1036.94/1037.27 c 962s| 1770k|579807 | 6186k| 3.5 | 444M| 63 | 8 | 70 |4574 | 70 | 19 | 19 | 727k|5249 | 0.000000e+00 | -- | Inf
1043.13/1043.41 c 968s| 1780k|582926 | 6221k| 3.5 | 447M| 63 | 8 | 70 |5406 | 70 | 19 | 19 | 731k|5253 | 0.000000e+00 | -- | Inf
1049.43/1049.74 c 973s| 1790k|586153 | 6256k| 3.5 | 449M| 63 | 8 | 70 |4446 | 70 | 19 | 19 | 735k|5257 | 0.000000e+00 | -- | Inf
1055.33/1055.70 c 979s| 1800k|589113 | 6292k| 3.5 | 452M| 63 | 8 | 70 |5473 | 70 | 19 | 19 | 740k|5262 | 0.000000e+00 | -- | Inf
1061.53/1061.81 c 985s| 1810k|592148 | 6327k| 3.5 | 454M| 63 | 8 | 70 |5618 | 70 | 19 | 19 | 744k|5268 | 0.000000e+00 | -- | Inf
1068.03/1068.32 c 991s| 1820k|595129 | 6362k| 3.5 | 457M| 63 | 8 | 70 |4581 | 70 | 19 | 19 | 748k|5271 | 0.000000e+00 | -- | Inf
1073.83/1074.13 c 996s| 1830k|598729 | 6396k| 3.5 | 459M| 63 | - | 70 |4808 | 70 | 19 | 19 | 752k|5275 | 0.000000e+00 | -- | Inf
1080.03/1080.36 c 1002s| 1840k|601872 | 6431k| 3.5 | 462M| 63 | 8 | 70 |4272 | 70 | 19 | 19 | 756k|5282 | 0.000000e+00 | -- | Inf
1085.62/1085.93 c 1007s| 1850k|605422 | 6465k| 3.5 | 465M| 63 | 8 | 70 |5637 | 70 | 19 | 19 | 760k|5288 | 0.000000e+00 | -- | Inf
1092.22/1092.51 c 1013s| 1860k|608376 | 6499k| 3.5 | 467M| 63 | - | 70 |4523 | 70 | 19 | 19 | 765k|5295 | 0.000000e+00 | -- | Inf
1098.32/1098.62 c 1019s| 1870k|611468 | 6534k| 3.5 | 469M| 63 | 8 | 70 |4993 | 70 | 19 | 19 | 769k|5299 | 0.000000e+00 | -- | Inf
1104.82/1105.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.82/1105.19 c 1025s| 1880k|614507 | 6569k| 3.5 | 471M| 63 | - | 70 |3854 | 70 | 19 | 19 | 773k|5306 | 0.000000e+00 | -- | Inf
1110.63/1110.90 c 1030s| 1890k|617802 | 6604k| 3.5 | 474M| 63 | 8 | 70 |4715 | 70 | 19 | 19 | 777k|5313 | 0.000000e+00 | -- | Inf
1116.31/1116.62 c 1036s| 1900k|621288 | 6637k| 3.5 | 477M| 63 | 8 | 70 |5583 | 70 | 19 | 19 | 781k|5316 | 0.000000e+00 | -- | Inf
1122.82/1123.16 c 1042s| 1910k|624334 | 6672k| 3.5 | 479M| 63 | 8 | 70 |4732 | 70 | 19 | 19 | 786k|5324 | 0.000000e+00 | -- | Inf
1129.21/1129.55 c 1048s| 1920k|627289 | 6706k| 3.5 | 481M| 63 | - | 70 |4081 | 70 | 19 | 19 | 790k|5330 | 0.000000e+00 | -- | Inf
1135.21/1135.58 c 1053s| 1930k|630545 | 6742k| 3.5 | 484M| 63 | 8 | 70 |4517 | 70 | 19 | 19 | 794k|5337 | 0.000000e+00 | -- | Inf
1140.91/1141.24 c 1059s| 1940k|633975 | 6776k| 3.5 | 487M| 63 | 8 | 70 |6064 | 70 | 19 | 19 | 798k|5342 | 0.000000e+00 | -- | Inf
1147.01/1147.35 c 1064s| 1950k|637337 | 6811k| 3.5 | 489M| 63 | 8 | 70 |6623 | 70 | 19 | 19 | 802k|5356 | 0.000000e+00 | -- | Inf
1153.71/1154.03 c 1071s| 1960k|640682 | 6844k| 3.5 | 492M| 63 | 8 | 70 |5991 | 70 | 19 | 19 | 806k|5358 | 0.000000e+00 | -- | Inf
1159.81/1160.19 c 1076s| 1970k|644043 | 6879k| 3.5 | 494M| 63 | 8 | 70 |5680 | 70 | 19 | 19 | 810k|5360 | 0.000000e+00 | -- | Inf
1166.20/1166.53 c 1082s| 1980k|647169 | 6913k| 3.5 | 497M| 63 | - | 70 |5318 | 70 | 19 | 19 | 815k|5364 | 0.000000e+00 | -- | Inf
1172.80/1173.15 c 1088s| 1990k|650163 | 6948k| 3.5 | 499M| 63 | - | 70 |4734 | 70 | 19 | 19 | 819k|5367 | 0.000000e+00 | -- | Inf
1179.10/1179.42 c 1094s| 2000k|653212 | 6982k| 3.5 | 502M| 63 | 8 | 70 |5004 | 70 | 19 | 19 | 823k|5371 | 0.000000e+00 | -- | Inf
1185.41/1185.74 c 1100s| 2010k|656310 | 7017k| 3.5 | 504M| 63 | 8 | 70 |4538 | 70 | 19 | 19 | 827k|5376 | 0.000000e+00 | -- | Inf
1191.00/1191.34 c 1105s| 2020k|660007 | 7051k| 3.5 | 507M| 63 | 8 | 70 |5445 | 70 | 19 | 19 | 831k|5385 | 0.000000e+00 | -- | Inf
1197.20/1197.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.20/1197.53 c 1111s| 2030k|663095 | 7086k| 3.5 | 509M| 63 | - | 70 |4935 | 0 | 0 | 19 | 835k|5390 | 0.000000e+00 | -- | Inf
1203.30/1203.66 c 1117s| 2040k|666110 | 7121k| 3.5 | 512M| 63 | 8 | 70 |4488 | 70 | 19 | 19 | 840k|5393 | 0.000000e+00 | -- | Inf
1209.19/1209.59 c 1122s| 2050k|669473 | 7156k| 3.5 | 514M| 63 | - | 70 |4672 | 70 | 19 | 19 | 844k|5399 | 0.000000e+00 | -- | Inf
1215.69/1216.06 c 1128s| 2060k|672464 | 7191k| 3.5 | 516M| 63 | 8 | 70 |4396 | 70 | 19 | 19 | 848k|5404 | 0.000000e+00 | -- | Inf
1222.19/1222.51 c 1134s| 2070k|675353 | 7225k| 3.5 | 519M| 63 | 8 | 70 |4207 | 70 | 19 | 19 | 852k|5404 | 0.000000e+00 | -- | Inf
1228.29/1228.69 c 1140s| 2080k|678483 | 7260k| 3.5 | 521M| 63 | 8 | 70 |4627 | 70 | 19 | 19 | 856k|5404 | 0.000000e+00 | -- | Inf
1234.68/1235.00 c 1146s| 2090k|681399 | 7295k| 3.5 | 524M| 63 | 8 | 70 |4835 | 70 | 19 | 19 | 861k|5404 | 0.000000e+00 | -- | Inf
1240.88/1241.22 c 1152s| 2100k|684437 | 7329k| 3.5 | 526M| 63 | 8 | 70 |5145 | 70 | 19 | 19 | 865k|5408 | 0.000000e+00 | -- | Inf
1246.78/1247.19 c 1157s| 2110k|687847 | 7364k| 3.5 | 529M| 63 | - | 70 |5338 | 70 | 19 | 19 | 869k|5414 | 0.000000e+00 | -- | Inf
1253.18/1253.56 c 1163s| 2120k|690874 | 7398k| 3.5 | 531M| 63 | 8 | 70 |5566 | 70 | 19 | 19 | 873k|5423 | 0.000000e+00 | -- | Inf
1259.78/1260.16 c 1169s| 2130k|694052 | 7432k| 3.5 | 534M| 63 | - | 70 |4675 | 70 | 19 | 19 | 877k|5428 | 0.000000e+00 | -- | Inf
1265.88/1266.27 c 1175s| 2140k|697342 | 7466k| 3.5 | 536M| 63 | 8 | 70 |4874 | 70 | 19 | 19 | 881k|5439 | 0.000000e+00 | -- | Inf
1272.28/1272.66 c 1181s| 2150k|700381 | 7501k| 3.5 | 539M| 63 | 8 | 70 |4986 | 70 | 19 | 19 | 885k|5443 | 0.000000e+00 | -- | Inf
1278.47/1278.87 c 1187s| 2160k|703433 | 7535k| 3.5 | 541M| 63 | 8 | 70 |5049 | 70 | 19 | 19 | 890k|5450 | 0.000000e+00 | -- | Inf
1284.57/1284.96 c 1192s| 2170k|706820 | 7569k| 3.5 | 544M| 63 | - | 70 |4885 | 70 | 19 | 19 | 894k|5456 | 0.000000e+00 | -- | Inf
1291.17/1291.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.17/1291.51 c 1199s| 2180k|709744 | 7604k| 3.5 | 546M| 63 | 8 | 70 |4557 | 70 | 19 | 19 | 898k|5462 | 0.000000e+00 | -- | Inf
1297.36/1297.72 c 1204s| 2190k|712809 | 7639k| 3.5 | 549M| 63 | - | 70 |5047 | 70 | 19 | 19 | 902k|5466 | 0.000000e+00 | -- | Inf
1303.47/1303.85 c 1210s| 2200k|715918 | 7674k| 3.5 | 551M| 63 | - | 70 |5573 | 70 | 19 | 19 | 906k|5474 | 0.000000e+00 | -- | Inf
1309.86/1310.25 c 1216s| 2210k|719107 | 7709k| 3.5 | 554M| 63 | - | 70 |4968 | 70 | 19 | 19 | 910k|5478 | 0.000000e+00 | -- | Inf
1316.07/1316.46 c 1222s| 2220k|722455 | 7743k| 3.5 | 556M| 63 | 8 | 70 |4765 | 70 | 19 | 19 | 914k|5483 | 0.000000e+00 | -- | Inf
1322.46/1322.87 c 1228s| 2230k|725326 | 7777k| 3.5 | 558M| 63 | - | 70 |5022 | 0 | 0 | 19 | 919k|5491 | 0.000000e+00 | -- | Inf
1329.06/1329.40 c 1234s| 2240k|728293 | 7812k| 3.5 | 561M| 63 | - | 70 |4664 | 70 | 19 | 19 | 923k|5496 | 0.000000e+00 | -- | Inf
1335.36/1335.74 c 1240s| 2250k|731471 | 7845k| 3.5 | 563M| 63 | 8 | 70 |4249 | 70 | 19 | 19 | 927k|5504 | 0.000000e+00 | -- | Inf
1341.46/1341.87 c 1246s| 2260k|734621 | 7880k| 3.5 | 566M| 63 | 8 | 70 |4864 | 70 | 19 | 19 | 931k|5510 | 0.000000e+00 | -- | Inf
1347.85/1348.23 c 1251s| 2270k|737693 | 7914k| 3.5 | 568M| 63 | 8 | 70 |4443 | 70 | 19 | 19 | 936k|5514 | 0.000000e+00 | -- | Inf
1354.05/1354.44 c 1257s| 2280k|740723 | 7949k| 3.5 | 571M| 63 | 8 | 70 |4422 | 70 | 19 | 19 | 940k|5517 | 0.000000e+00 | -- | Inf
1360.45/1360.88 c 1263s| 2290k|743766 | 7982k| 3.5 | 573M| 63 | 8 | 70 |4100 | 70 | 19 | 19 | 944k|5523 | 0.000000e+00 | -- | Inf
1366.75/1367.14 c 1269s| 2300k|746814 | 8017k| 3.5 | 576M| 63 | 8 | 70 |4108 | 70 | 19 | 19 | 948k|5529 | 0.000000e+00 | -- | Inf
1372.85/1373.26 c 1275s| 2310k|749850 | 8051k| 3.5 | 578M| 63 | 8 | 70 |4737 | 70 | 19 | 19 | 953k|5534 | 0.000000e+00 | -- | Inf
1378.96/1379.30 c 1280s| 2320k|753063 | 8086k| 3.5 | 581M| 63 | 8 | 70 |5340 | 70 | 19 | 19 | 957k|5542 | 0.000000e+00 | -- | Inf
1385.55/1385.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1385.55/1385.97 c 1287s| 2330k|755992 | 8121k| 3.5 | 583M| 63 | 8 | 70 |4576 | 70 | 19 | 19 | 961k|5546 | 0.000000e+00 | -- | Inf
1391.55/1391.93 c 1292s| 2340k|759366 | 8155k| 3.5 | 586M| 63 | 8 | 70 |5496 | 70 | 19 | 19 | 965k|5551 | 0.000000e+00 | -- | Inf
1398.14/1398.50 c 1298s| 2350k|762310 | 8189k| 3.5 | 588M| 63 | - | 70 |5220 | 70 | 19 | 19 | 969k|5555 | 0.000000e+00 | -- | Inf
1404.53/1404.99 c 1304s| 2360k|765331 | 8223k| 3.5 | 590M| 63 | 8 | 70 |4398 | 70 | 19 | 19 | 973k|5561 | 0.000000e+00 | -- | Inf
1410.94/1411.36 c 1310s| 2370k|768364 | 8258k| 3.5 | 593M| 63 | 8 | 70 |4438 | 70 | 19 | 19 | 978k|5566 | 0.000000e+00 | -- | Inf
1417.33/1417.79 c 1316s| 2380k|771155 | 8293k| 3.5 | 595M| 63 | 8 | 70 |4164 | 70 | 19 | 19 | 982k|5573 | 0.000000e+00 | -- | Inf
1423.23/1423.68 c 1322s| 2390k|774337 | 8328k| 3.5 | 598M| 63 | 8 | 70 |5176 | 70 | 19 | 19 | 986k|5579 | 0.000000e+00 | -- | Inf
1429.54/1429.99 c 1328s| 2400k|777415 | 8362k| 3.5 | 601M| 63 | - | 70 |5582 | 70 | 19 | 19 | 991k|5584 | 0.000000e+00 | -- | Inf
1436.14/1436.52 c 1334s| 2410k|780410 | 8397k| 3.5 | 603M| 63 | - | 70 |5086 | 70 | 19 | 19 | 995k|5589 | 0.000000e+00 | -- | Inf
1442.63/1443.07 c 1340s| 2420k|783352 | 8432k| 3.5 | 605M| 63 | 8 | 70 |4919 | 70 | 19 | 19 | 999k|5597 | 0.000000e+00 | -- | Inf
1448.93/1449.35 c 1346s| 2430k|786422 | 8466k| 3.5 | 608M| 63 | 8 | 70 |4991 | 70 | 19 | 19 |1003k|5604 | 0.000000e+00 | -- | Inf
1455.43/1455.87 c 1352s| 2440k|789493 | 8500k| 3.5 | 610M| 63 | 8 | 70 |4889 | 70 | 19 | 19 |1008k|5611 | 0.000000e+00 | -- | Inf
1461.83/1462.25 c 1358s| 2450k|792707 | 8535k| 3.5 | 613M| 63 | - | 70 |4775 | 70 | 19 | 19 |1012k|5615 | 0.000000e+00 | -- | Inf
1468.22/1468.64 c 1364s| 2460k|795736 | 8570k| 3.5 | 615M| 63 | 8 | 70 |4802 | 70 | 19 | 19 |1016k|5620 | 0.000000e+00 | -- | Inf
1474.42/1474.86 c 1370s| 2470k|798820 | 8605k| 3.5 | 618M| 63 | - | 70 |4743 | 70 | 19 | 19 |1020k|5627 | 0.000000e+00 | -- | Inf
1480.92/1481.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.92/1481.34 c 1376s| 2480k|801676 | 8640k| 3.5 | 620M| 63 | 8 | 70 |4730 | 70 | 19 | 19 |1025k|5630 | 0.000000e+00 | -- | Inf
1487.12/1487.56 c 1381s| 2490k|804882 | 8674k| 3.5 | 623M| 63 | - | 70 |5222 | 70 | 19 | 19 |1029k|5635 | 0.000000e+00 | -- | Inf
1493.72/1494.10 c 1388s| 2500k|807825 | 8708k| 3.5 | 625M| 63 | 8 | 70 |4412 | 70 | 19 | 19 |1033k|5641 | 0.000000e+00 | -- | Inf
1500.21/1500.64 c 1394s| 2510k|810461 | 8742k| 3.5 | 627M| 63 | 8 | 70 |4242 | 70 | 19 | 19 |1038k|5645 | 0.000000e+00 | -- | Inf
1506.52/1506.98 c 1400s| 2520k|813417 | 8777k| 3.5 | 630M| 63 | 8 | 70 |4804 | 70 | 19 | 19 |1042k|5648 | 0.000000e+00 | -- | Inf
1512.82/1513.25 c 1405s| 2530k|816750 | 8811k| 3.5 | 632M| 63 | - | 70 |5264 | 70 | 19 | 19 |1046k|5656 | 0.000000e+00 | -- | Inf
1519.32/1519.71 c 1412s| 2540k|819795 | 8846k| 3.5 | 635M| 63 | 8 | 70 |5344 | 70 | 19 | 19 |1050k|5660 | 0.000000e+00 | -- | Inf
1525.91/1526.36 c 1418s| 2550k|822693 | 8880k| 3.5 | 637M| 63 | 8 | 70 |5017 | 70 | 19 | 19 |1054k|5663 | 0.000000e+00 | -- | Inf
1532.41/1532.81 c 1424s| 2560k|825674 | 8915k| 3.5 | 640M| 63 | 8 | 70 |5297 | 70 | 19 | 19 |1059k|5667 | 0.000000e+00 | -- | Inf
1538.91/1539.32 c 1430s| 2570k|828807 | 8948k| 3.5 | 642M| 63 | - | 70 |4955 | 70 | 19 | 19 |1063k|5670 | 0.000000e+00 | -- | Inf
1545.21/1545.60 c 1436s| 2580k|831911 | 8983k| 3.5 | 645M| 63 | 8 | 70 |5381 | 70 | 19 | 19 |1067k|5675 | 0.000000e+00 | -- | Inf
1551.20/1551.62 c 1441s| 2590k|835398 | 9016k| 3.5 | 647M| 63 | - | 70 |5569 | 70 | 19 | 19 |1071k|5683 | 0.000000e+00 | -- | Inf
1557.71/1558.16 c 1447s| 2600k|838471 | 9051k| 3.5 | 649M| 63 | 8 | 70 |4850 | 70 | 19 | 19 |1075k|5691 | 0.000000e+00 | -- | Inf
1563.90/1564.39 c 1453s| 2610k|841497 | 9084k| 3.5 | 652M| 63 | 8 | 70 |4754 | 70 | 19 | 19 |1079k|5696 | 0.000000e+00 | -- | Inf
1570.31/1570.70 c 1459s| 2620k|844374 | 9119k| 3.5 | 654M| 63 | 8 | 70 |5255 | 70 | 19 | 19 |1084k|5704 | 0.000000e+00 | -- | Inf
1576.90/1577.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1576.90/1577.37 c 1465s| 2630k|847281 | 9154k| 3.5 | 657M| 63 | - | 70 |4774 | 70 | 19 | 19 |1088k|5709 | 0.000000e+00 | -- | Inf
1583.29/1583.75 c 1471s| 2640k|850383 | 9188k| 3.5 | 659M| 63 | - | 70 |4675 | 70 | 19 | 19 |1092k|5713 | 0.000000e+00 | -- | Inf
1589.00/1589.43 c 1477s| 2650k|854211 | 9222k| 3.5 | 662M| 63 | 8 | 70 |5781 | 70 | 19 | 19 |1096k|5718 | 0.000000e+00 | -- | Inf
1594.99/1595.45 c 1482s| 2660k|857712 | 9256k| 3.5 | 665M| 63 | - | 70 |6056 | 70 | 19 | 19 |1100k|5723 | 0.000000e+00 | -- | Inf
1601.79/1602.25 c 1489s| 2670k|860675 | 9291k| 3.5 | 667M| 63 | 8 | 70 |5261 | 70 | 19 | 19 |1104k|5726 | 0.000000e+00 | -- | Inf
1607.79/1608.27 c 1494s| 2680k|864093 | 9325k| 3.5 | 669M| 63 | 8 | 70 |5677 | 70 | 19 | 19 |1108k|5730 | 0.000000e+00 | -- | Inf
1614.29/1614.78 c 1500s| 2690k|867207 | 9359k| 3.5 | 672M| 63 | - | 70 |5208 | 70 | 19 | 19 |1112k|5734 | 0.000000e+00 | -- | Inf
1621.00/1621.47 c 1507s| 2700k|870123 | 9394k| 3.5 | 674M| 63 | 8 | 70 |4933 | 70 | 19 | 19 |1116k|5737 | 0.000000e+00 | -- | Inf
1627.39/1627.89 c 1513s| 2710k|873123 | 9429k| 3.5 | 677M| 63 | - | 70 |4928 | 70 | 19 | 19 |1121k|5742 | 0.000000e+00 | -- | Inf
1633.79/1634.29 c 1519s| 2720k|876049 | 9465k| 3.5 | 679M| 63 | 8 | 70 |5352 | 70 | 19 | 19 |1125k|5745 | 0.000000e+00 | -- | Inf
1640.49/1640.96 c 1525s| 2730k|879047 | 9499k| 3.5 | 682M| 63 | - | 70 |5253 | 70 | 19 | 19 |1129k|5746 | 0.000000e+00 | -- | Inf
1647.08/1647.56 c 1531s| 2740k|881939 | 9533k| 3.5 | 684M| 63 | 8 | 70 |5103 | 70 | 19 | 19 |1133k|5750 | 0.000000e+00 | -- | Inf
1653.68/1654.18 c 1537s| 2750k|884700 | 9568k| 3.5 | 687M| 63 | 8 | 70 |5080 | 70 | 19 | 19 |1138k|5754 | 0.000000e+00 | -- | Inf
1660.28/1660.71 c 1543s| 2760k|887788 | 9603k| 3.5 | 689M| 63 | - | 70 |5204 | 70 | 19 | 19 |1142k|5759 | 0.000000e+00 | -- | Inf
1666.78/1667.27 c 1549s| 2770k|890615 | 9638k| 3.5 | 692M| 63 | - | 70 |5504 | 70 | 19 | 19 |1146k|5765 | 0.000000e+00 | -- | Inf
1673.08/1673.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.08/1673.51 c 1555s| 2780k|893839 | 9672k| 3.5 | 694M| 63 | - | 70 |5543 | 70 | 19 | 19 |1150k|5772 | 0.000000e+00 | -- | Inf
1679.77/1680.24 c 1561s| 2790k|896783 | 9707k| 3.5 | 696M| 63 | 8 | 70 |5230 | 70 | 19 | 19 |1155k|5783 | 0.000000e+00 | -- | Inf
1686.37/1686.85 c 1568s| 2800k|899914 | 9741k| 3.5 | 699M| 63 | 8 | 70 |4513 | 70 | 19 | 19 |1159k|5793 | 0.000000e+00 | -- | Inf
1692.57/1693.02 c 1573s| 2810k|903065 | 9776k| 3.5 | 701M| 63 | 8 | 70 |5117 | 70 | 19 | 19 |1163k|5800 | 0.000000e+00 | -- | Inf
1698.77/1699.22 c 1579s| 2820k|906522 | 9811k| 3.5 | 704M| 63 | 8 | 70 |5014 | 70 | 19 | 19 |1167k|5804 | 0.000000e+00 | -- | Inf
1704.06/1704.52 c 1584s| 2830k|910890 | 9845k| 3.5 | 707M| 63 | 8 | 70 |6117 | 70 | 19 | 19 |1170k|5809 | 0.000000e+00 | -- | Inf
1709.87/1710.32 c 1589s| 2840k|914795 | 9878k| 3.5 | 709M| 63 | 8 | 70 |6625 | 70 | 19 | 19 |1174k|5816 | 0.000000e+00 | -- | Inf
1716.06/1716.56 c 1595s| 2850k|918345 | 9913k| 3.5 | 712M| 63 | 8 | 70 |7039 | 70 | 19 | 19 |1178k|5824 | 0.000000e+00 | -- | Inf
1722.76/1723.21 c 1601s| 2860k|921754 | 9948k| 3.5 | 714M| 63 | 8 | 70 |5967 | 70 | 19 | 19 |1182k|5832 | 0.000000e+00 | -- | Inf
1729.66/1730.13 c 1608s| 2870k|924755 | 9982k| 3.5 | 716M| 63 | 8 | 70 |5639 | 70 | 19 | 19 |1186k|5837 | 0.000000e+00 | -- | Inf
1736.26/1736.78 c 1614s| 2880k|927925 | 10017k| 3.5 | 719M| 63 | - | 70 |5681 | 70 | 19 | 19 |1190k|5841 | 0.000000e+00 | -- | Inf
1742.75/1743.30 c 1620s| 2890k|931007 | 10052k| 3.5 | 721M| 63 | 8 | 70 |5327 | 70 | 19 | 19 |1194k|5851 | 0.000000e+00 | -- | Inf
1749.46/1749.90 c 1626s| 2900k|933918 | 10086k| 3.5 | 724M| 63 | - | 70 |4944 | 70 | 19 | 19 |1199k|5857 | 0.000000e+00 | -- | Inf
1755.65/1756.16 c 1632s| 2910k|937273 | 10121k| 3.5 | 726M| 63 | - | 70 |5337 | 70 | 19 | 19 |1203k|5866 | 0.000000e+00 | -- | Inf
1761.76/1762.24 c 1638s| 2920k|940632 | 10154k| 3.5 | 729M| 63 | 8 | 70 |5792 | 70 | 19 | 19 |1207k|5877 | 0.000000e+00 | -- | Inf
1768.26/1768.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1768.26/1768.76 c 1644s| 2930k|943695 | 10188k| 3.5 | 731M| 63 | 8 | 70 |5166 | 70 | 19 | 19 |1211k|5885 | 0.000000e+00 | -- | Inf
1774.75/1775.22 c 1650s| 2940k|946967 | 10223k| 3.5 | 734M| 63 | 8 | 70 |5206 | 70 | 19 | 19 |1215k|5893 | 0.000000e+00 | -- | Inf
1780.95/1781.42 c 1656s| 2950k|950276 | 10258k| 3.5 | 736M| 63 | 8 | 70 |5952 | 70 | 19 | 19 |1219k|5893 | 0.000000e+00 | -- | Inf
1787.24/1787.70 c 1662s| 2960k|953345 | 10293k| 3.5 | 739M| 63 | - | 70 |6485 | 70 | 19 | 19 |1223k|5898 | 0.000000e+00 | -- | Inf
1793.45/1793.97 c 1668s| 2970k|956922 | 10326k| 3.5 | 741M| 63 | - | 70 |6879 | 70 | 19 | 19 |1227k|5903 | 0.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1673.71
1800.05/1800.50 c Solving Nodes : 2978979
1800.05/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.50 c Dual Bound : +0.00000000000000e+00
1800.05/1800.50 c Gap : infinite
1800.05/1800.50 s UNKNOWN
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time : 1673.71
1800.05/1800.50 c Original Problem :
1800.05/1800.50 c Problem name : HOME/instance-2666868-1276598444.opb
1800.05/1800.50 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 17 initial, 17 maximal
1800.05/1800.50 c Presolved Problem :
1800.05/1800.50 c Problem name : t_HOME/instance-2666868-1276598444.opb
1800.05/1800.50 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 8 initial, 7731 maximal
1800.05/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 0.00 0 0 0 0 0 9 0 0
1800.05/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c root node : - 0 - - 0 - - - -
1800.05/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c integral : 0 0 0 1975108 0 383 1701 0 0 3946338
1800.05/1800.50 c linear : 8+ 7 7026967 0 0 45027 1812594 0 0 0
1800.05/1800.50 c logicor : 0+ 0 2743757 0 0 2169 931689 0 0 0
1800.05/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.50 c integral : 26.53 0.00 0.00 26.53 0.00
1800.05/1800.50 c linear : 429.56 0.00 429.56 0.00 0.00
1800.05/1800.50 c logicor : 221.61 0.00 221.61 0.00 0.00
1800.05/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.50 c vbounds : 3.22 2 0 0
1800.05/1800.50 c rootredcost : 3.36 0 0 0
1800.05/1800.50 c pseudoobj : 2.96 0 0 0
1800.05/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.50 c propagation : 8.77 47196 44399 180114 47.7 11 37.4 -
1800.05/1800.50 c infeasible LP : 73.26 962478 962440 1866673 31.8 9977 36.1 0
1800.05/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.50 c applied globally : - - - 1023156 25.3 - - -
1800.05/1800.50 c applied locally : - - - 208332 38.5 - - -
1800.05/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.50 c cut pool : 0.00 5 - - 2 - (maximal pool size: 46)
1800.05/1800.50 c redcost : 6.33 1975112 0 0 0 0
1800.05/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.50 c intobj : 0.00 0 0 0 0 0
1800.05/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.50 c gomory : 0.00 6 0 0 0 0
1800.05/1800.50 c strongcg : 0.01 6 0 0 20 0
1800.05/1800.50 c cmir : 0.05 6 0 0 10 0
1800.05/1800.50 c flowcover : 0.04 6 0 0 17 0
1800.05/1800.50 c clique : 0.00 1 0 0 0 0
1800.05/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.50 c mcf : 0.00 1 0 0 0 0
1800.05/1800.50 c rapidlearning : 0.12 1 0 0 0 13
1800.05/1800.50 c Pricers : Time Calls Vars
1800.05/1800.50 c problem variables: 0.00 0 0
1800.05/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c relpscost : 23.77 1975108 383 1701 0 0 3946338
1800.05/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c random : 0.00 0 0 0 0 0 0
1800.05/1800.50 c Primal Heuristics : Time Calls Found
1800.05/1800.50 c LP solutions : 0.00 - 0
1800.05/1800.50 c pseudo solutions : 0.00 - 0
1800.05/1800.50 c oneopt : 2.82 0 0
1800.05/1800.50 c crossover : 1.70 0 0
1800.05/1800.50 c guideddiving : 0.16 0 0
1800.05/1800.50 c intshifting : 0.04 0 0
1800.05/1800.50 c linesearchdiving : 0.16 39 0
1800.05/1800.50 c feaspump : 0.17 20 0
1800.05/1800.50 c objpscostdiving : 0.08 20 0
1800.05/1800.50 c rootsoldiving : 0.11 20 0
1800.05/1800.50 c coefdiving : 0.23 40 0
1800.05/1800.50 c pscostdiving : 0.17 40 0
1800.05/1800.50 c fracdiving : 0.19 40 0
1800.05/1800.50 c veclendiving : 0.13 40 0
1800.05/1800.50 c trivial : 0.00 2 0
1800.05/1800.50 c simplerounding : 0.90 0 0
1800.05/1800.50 c zirounding : 1.70 1000 0
1800.05/1800.50 c rounding : 2.67 19887 0
1800.05/1800.50 c shifting : 5.63 6252 0
1800.05/1800.50 c twoopt : 0.00 0 0
1800.05/1800.50 c fixandinfer : 0.00 0 0
1800.05/1800.50 c intdiving : 0.00 0 0
1800.05/1800.50 c actconsdiving : 0.00 0 0
1800.05/1800.50 c octane : 0.00 0 0
1800.05/1800.50 c rens : 0.03 1 0
1800.05/1800.50 c rins : 0.00 0 0
1800.05/1800.50 c localbranching : 0.00 0 0
1800.05/1800.50 c mutation : 0.00 0 0
1800.05/1800.50 c dins : 0.00 0 0
1800.05/1800.50 c undercover : 0.00 0 0
1800.05/1800.50 c nlp : 1.22 0 0
1800.05/1800.50 c trysol : 1.85 0 0
1800.05/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.50 c primal LP : 0.01 0 0 0.00 0.00
1800.05/1800.50 c dual LP : 418.28 2895685 10353484 3.58 24752.52
1800.05/1800.50 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.50 c diving/probing LP: 0.14 1671 3994 2.39 28528.57
1800.05/1800.50 c strong branching : 1.41 5907 34994 5.92 24818.44
1800.05/1800.50 c (at root node) : - 9 341 37.89 -
1800.05/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.50 c B&B Tree :
1800.05/1800.50 c number of runs : 1
1800.05/1800.51 c nodes : 2978979
1800.05/1800.51 c nodes (total) : 2978979
1800.05/1800.51 c nodes left : 959607
1800.05/1800.51 c max depth : 63
1800.05/1800.51 c max depth (total): 63
1800.05/1800.51 c backtracks : 218216 (7.3%)
1800.05/1800.51 c delayed cutoffs : 7753
1800.05/1800.51 c repropagations : 2934293 (942684 domain reductions, 3763 cutoffs)
1800.05/1800.51 c avg switch length: 5.40
1800.05/1800.51 c switching time : 240.09
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 0 (0 improvements)
1800.05/1800.51 c Primal Bound : -
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 180
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666868-1276598444/watcher-2666868-1276598444 -o /tmp/evaluation-result-2666868-1276598444/solver-2666868-1276598444 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666868-1276598444.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 9186
/proc/meminfo: memFree=1764284/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=7724 CPUtime=0
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 1055 0 0 0 0 0 0 0 20 0 1 0 1136015 7909376 975 1992294400 4194304 8223781 140733297733296 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9186/statm: 1931 985 348 984 0 944 0
[startup+0.0476009 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 9186
/proc/meminfo: memFree=1764284/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=12608 CPUtime=0.04
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 3204 0 0 0 3 1 0 0 20 0 1 0 1136015 12910592 2245 1992294400 4194304 8223781 140733297733296 18446744073709551615 6050629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 3152 2245 549 984 0 2165 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12608
[startup+0.101607 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 9186
/proc/meminfo: memFree=1764284/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=20076 CPUtime=0.09
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 5004 0 0 0 7 2 0 0 20 0 1 0 1136015 20557824 3778 1992294400 4194304 8223781 140733297733296 18446744073709551615 4978211 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 5019 3778 568 984 0 4032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20076
[startup+0.301624 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 9186
/proc/meminfo: memFree=1764284/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=20368 CPUtime=0.29
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 7238 0 0 0 25 4 0 0 20 0 1 0 1136015 20856832 3941 1992294400 4194304 8223781 140733297733296 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 5092 3941 584 984 0 4105 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20368
[startup+0.701658 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 9186
/proc/meminfo: memFree=1764284/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=13740 CPUtime=0.69
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 8042 0 0 0 62 7 0 0 20 0 1 0 1136015 14069760 2602 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 3435 2602 588 984 0 2448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13740
[startup+1.50173 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9187
/proc/meminfo: memFree=1755472/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=14076 CPUtime=1.49
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 8099 0 0 0 135 14 0 0 22 0 1 0 1136015 14413824 2659 1992294400 4194304 8223781 140733297733296 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 3519 2659 588 984 0 2532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14076
[startup+3.10086 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 9187
/proc/meminfo: memFree=1754728/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=16112 CPUtime=3.09
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 8622 0 0 0 281 28 0 0 25 0 1 0 1136015 16498688 3182 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 4028 3182 588 984 0 3041 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16112
[startup+6.30114 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 9187
/proc/meminfo: memFree=1750760/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=19136 CPUtime=6.29
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 9367 0 0 0 575 54 0 0 25 0 1 0 1136015 19595264 3927 1992294400 4194304 8223781 140733297733296 18446744073709551615 5000491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 4784 3927 588 984 0 3797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19136
[startup+12.7007 s]
/proc/loadavg: 1.07 1.00 1.00 2/107 9187
/proc/meminfo: memFree=1746916/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=22960 CPUtime=12.69
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 10373 0 0 0 1162 107 0 0 25 0 1 0 1136015 23511040 4933 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 5740 4933 588 984 0 4753 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22960
[startup+25.5018 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 9189
/proc/meminfo: memFree=1738980/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=30500 CPUtime=25.48
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 12263 0 0 0 2333 215 0 0 25 0 1 0 1136015 31232000 6823 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 7625 6823 588 984 0 6638 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30500
[startup+51.1009 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 9189
/proc/meminfo: memFree=1725836/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=43240 CPUtime=51.07
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 15539 0 0 0 4685 422 0 0 25 0 1 0 1136015 44277760 10099 1992294400 4194304 8223781 140733297733296 18446744073709551615 4977973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 10810 10099 588 984 0 9823 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43240
[startup+102.308 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 9191
/proc/meminfo: memFree=1699424/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=71032 CPUtime=102.26
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 22063 0 0 0 9399 827 0 0 25 0 1 0 1136015 72736768 16623 1992294400 4194304 8223781 140733297733296 18446744073709551615 4948376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 17758 16623 588 984 0 16771 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 71032
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9191
/proc/meminfo: memFree=1667060/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=102824 CPUtime=162.25
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 30118 0 0 0 14945 1280 0 0 25 0 1 0 1136015 105291776 24678 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 25706 24678 588 984 0 24719 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102824
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9193
/proc/meminfo: memFree=1638292/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=130800 CPUtime=222.23
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 37250 0 0 0 20489 1734 0 0 25 0 1 0 1136015 133939200 31810 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 32700 31810 588 984 0 31713 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 130800
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9195
/proc/meminfo: memFree=1610392/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=158576 CPUtime=282.22
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 44288 0 0 0 26046 2176 0 0 25 0 1 0 1136015 162381824 38848 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 39644 38848 588 984 0 38657 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 158576
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9197
/proc/meminfo: memFree=1582368/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=189588 CPUtime=342.2
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 51149 0 0 0 31603 2617 0 0 25 0 1 0 1136015 194138112 45709 1992294400 4194304 8223781 140733297733296 18446744073709551615 7074011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 47397 45709 588 984 0 46410 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 189588
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9199
/proc/meminfo: memFree=1556948/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=214192 CPUtime=402.19
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 57466 0 0 0 37158 3061 0 0 25 0 1 0 1136015 219332608 52026 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 53548 52026 588 984 0 52561 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 214192
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9199
/proc/meminfo: memFree=1531404/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=239048 CPUtime=462.18
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 63793 0 0 0 42731 3487 0 0 25 0 1 0 1136015 244785152 58353 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 59762 58353 588 984 0 58775 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 239048
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9201
/proc/meminfo: memFree=1502760/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=267844 CPUtime=522.16
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 71064 0 0 0 48299 3917 0 0 25 0 1 0 1136015 274272256 65624 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 66961 65624 588 984 0 65974 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 267844
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9203
/proc/meminfo: memFree=1476224/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=292936 CPUtime=582.15
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 77512 0 0 0 53868 4347 0 0 25 0 1 0 1136015 299966464 72072 1992294400 4194304 8223781 140733297733296 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 73234 72072 588 984 0 72247 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 292936
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9205
/proc/meminfo: memFree=1447704/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=321052 CPUtime=642.13
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 84603 0 0 0 59435 4778 0 0 25 0 1 0 1136015 328757248 79163 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 80263 79163 588 984 0 79276 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 321052
[startup+702.302 s]
################
# More data... #
################
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 128276 0 0 0 98512 7691 0 0 25 0 1 0 1136015 512786432 122836 1992294400 4194304 8223781 140733297733296 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 125192 122836 588 984 0 124205 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 500768
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9217
/proc/meminfo: memFree=1248932/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=523400 CPUtime=1122.01
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 134029 0 0 0 104097 8104 0 0 25 0 1 0 1136015 535961600 128589 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 130850 128589 588 984 0 129863 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 523400
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9219
/proc/meminfo: memFree=1224876/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=546808 CPUtime=1182
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 140032 0 0 0 109693 8507 0 0 25 0 1 0 1136015 559931392 134592 1992294400 4194304 8223781 140733297733296 18446744073709551615 5909004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 136702 134592 588 984 0 135715 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 546808
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9230
/proc/meminfo: memFree=1198712/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=571204 CPUtime=1241.98
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 146293 0 0 0 115276 8922 0 0 25 0 1 0 1136015 584912896 140853 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 142801 140853 588 984 0 141814 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 571204
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9232
/proc/meminfo: memFree=1172176/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=597908 CPUtime=1301.98
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 152942 0 0 0 120861 9337 0 0 25 0 1 0 1136015 612257792 147502 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 149477 147502 588 984 0 148490 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 597908
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9232
/proc/meminfo: memFree=1150104/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=619264 CPUtime=1361.95
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 158438 0 0 0 126455 9740 0 0 25 0 1 0 1136015 634126336 152998 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 154816 152998 588 984 0 153829 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 619264
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9234
/proc/meminfo: memFree=1126544/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=642312 CPUtime=1421.94
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 164325 0 0 0 132050 10144 0 0 25 0 1 0 1136015 657727488 158885 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 160578 158885 588 984 0 159591 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 642312
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9236
/proc/meminfo: memFree=1103480/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=664764 CPUtime=1481.92
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 170113 0 0 0 137652 10540 0 0 25 0 1 0 1136015 680718336 164673 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 166191 164673 588 984 0 165204 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 664764
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9238
/proc/meminfo: memFree=1081780/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=686560 CPUtime=1541.9
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 175484 0 0 0 143258 10932 0 0 25 0 1 0 1136015 703037440 170044 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 171640 170044 588 984 0 170653 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 686560
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9240
/proc/meminfo: memFree=1058096/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=709988 CPUtime=1601.89
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 181501 0 0 0 148863 11326 0 0 25 0 1 0 1136015 727027712 176061 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 177497 176061 588 984 0 176510 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 709988
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9240
/proc/meminfo: memFree=1033048/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=733952 CPUtime=1661.87
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 187640 0 0 0 154467 11720 0 0 25 0 1 0 1136015 751566848 182200 1992294400 4194304 8223781 140733297733296 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 183488 182200 588 984 0 182501 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 733952
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9242
/proc/meminfo: memFree=1008496/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=757576 CPUtime=1721.86
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 193723 0 0 0 160053 12133 0 0 25 0 1 0 1136015 775757824 188283 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 189394 188283 588 984 0 188407 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 757576
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9244
/proc/meminfo: memFree=983076/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=781856 CPUtime=1781.85
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 199951 0 0 0 165669 12516 0 0 25 0 1 0 1136015 800620544 194511 1992294400 4194304 8223781 140733297733296 18446744073709551615 7256940 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 195464 194511 588 984 0 194477 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 781856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9244
/proc/meminfo: memFree=977620/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=787028 CPUtime=1800.05
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 201310 0 0 0 167371 12634 0 0 25 0 1 0 1136015 805916672 195870 1992294400 4194304 8223781 140733297733296 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9186/statm: 196757 195870 588 984 0 195770 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 787028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9186
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9245
/proc/meminfo: memFree=977612/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=787028 CPUtime=1800.94
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 201311 0 0 0 167460 12634 0 0 25 0 1 0 1136015 805916672 195871 1992294400 4194304 8223781 140733297733296 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9186/statm: 196757 195871 589 984 0 195770 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 787028
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9245
/proc/meminfo: memFree=977488/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=787028 CPUtime=1801.74
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 201311 0 0 0 167540 12634 0 0 25 0 1 0 1136015 805916672 195871 1992294400 4194304 8223781 140733297733296 18446744073709551615 5003457 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9186/statm: 196757 195871 589 984 0 195770 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 787028
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9245
/proc/meminfo: memFree=977488/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=787028 CPUtime=1801.94
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 201311 0 0 0 167560 12634 0 0 25 0 1 0 1136015 805916672 195871 1992294400 4194304 8223781 140733297733296 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9186/statm: 196757 195871 589 984 0 195770 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 787028
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9245
/proc/meminfo: memFree=977488/2059040 swapFree=4165012/4192956
[pid=9186] ppid=9184 vsize=787028 CPUtime=1802.04
/proc/9186/stat : 9186 (pbscip.linux.x8) R 9184 9186 2335 0 -1 4202496 201311 0 0 0 167570 12634 0 0 25 0 1 0 1136015 805916672 195871 1992294400 4194304 8223781 140733297733296 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9186/statm: 196757 195871 589 984 0 195770 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 787028
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.58
CPU time (s): 1802.13
CPU user time (s): 1675.71
CPU system time (s): 126.422
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 787028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1675.71
system time used= 126.422
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201311
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= 1721
runsolver used 3.2505 second user time and 8.27374 second system time
The end