0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703526-1278561877.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 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, 8 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, 8 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 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.02 c 7 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.3
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 = 1790
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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = 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.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 | 35 | - | 318k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 127 | - | 358k| 0 | 11 | 60 | 8 | 60 | 12 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 132 | - | 389k| 0 | 14 | 60 | 8 | 60 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 144 | - | 404k| 0 | 14 | 60 | 8 | 60 | 18 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 156 | - | 418k| 0 | 16 | 60 | 8 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 160 | - | 441k| 0 | 19 | 60 | 8 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 181 | - | 456k| 0 | 18 | 60 | 8 | 60 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 2 | 181 | - | 456k| 0 | 18 | 60 | 8 | 60 | 26 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
4.79/4.81 c 4.8s| 10000 | 3763 | 31028 | 3.1 |4156k| 52 | - | 60 |2666 | 60 | 18 | 19 |4426 | 540 | 0.000000e+00 | -- | Inf
9.29/9.33 c 9.3s| 20000 | 7022 | 62185 | 3.1 |6367k| 52 | - | 60 |1719 | 60 | 18 | 19 |9328 | 705 | 0.000000e+00 | -- | Inf
13.49/13.59 c 13.6s| 30000 | 10379 | 92643 | 3.1 |8795k| 52 | - | 60 |2023 | 60 | 18 | 19 | 14k| 852 | 0.000000e+00 | -- | Inf
17.98/18.01 c 18.0s| 40000 | 13477 |123532 | 3.1 | 11M| 52 | - | 60 |2293 | 60 | 18 | 19 | 19k| 982 | 0.000000e+00 | -- | Inf
22.38/22.49 c 22.5s| 50000 | 16283 |154132 | 3.1 | 13M| 52 | - | 60 |2408 | 60 | 18 | 19 | 24k|1073 | 0.000000e+00 | -- | Inf
26.98/27.00 c 27.0s| 60000 | 19160 |184153 | 3.1 | 15M| 52 | 7 | 60 |2711 | 60 | 18 | 19 | 29k|1163 | 0.000000e+00 | -- | Inf
31.38/31.41 c 31.4s| 70000 | 22108 |213504 | 3.0 | 18M| 52 | - | 60 |3496 | 60 | 18 | 19 | 34k|1254 | 0.000000e+00 | -- | Inf
35.98/36.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.98/36.07 c 36.1s| 80000 | 24914 |242351 | 3.0 | 20M| 52 | - | 60 |3308 | 60 | 18 | 19 | 39k|1316 | 0.000000e+00 | -- | Inf
40.69/40.71 c 40.7s| 90000 | 27775 |272382 | 3.0 | 22M| 52 | - | 60 |3142 | 60 | 18 | 19 | 44k|1384 | 0.000000e+00 | -- | Inf
45.38/45.43 c 45.4s|100000 | 30369 |302143 | 3.0 | 24M| 52 | - | 60 |3046 | 60 | 18 | 19 | 49k|1447 | 0.000000e+00 | -- | Inf
50.17/50.20 c 50.2s|110000 | 33063 |332062 | 3.0 | 26M| 52 | - | 60 |2863 | 60 | 18 | 19 | 55k|1499 | 0.000000e+00 | -- | Inf
54.77/54.89 c 54.9s|120000 | 35768 |362023 | 3.0 | 29M| 52 | 7 | 60 |3520 | 60 | 18 | 19 | 60k|1573 | 0.000000e+00 | -- | Inf
59.77/59.87 c 59.9s|130000 | 38301 |392057 | 3.0 | 31M| 52 | 7 | 60 |3198 | 60 | 18 | 19 | 65k|1639 | 0.000000e+00 | -- | Inf
64.57/64.69 c 64.7s|140000 | 40978 |421100 | 3.0 | 33M| 52 | - | 60 |3391 | 60 | 18 | 19 | 71k|1692 | 0.000000e+00 | -- | Inf
69.46/69.56 c 69.5s|150000 | 43523 |450506 | 3.0 | 35M| 53 | 7 | 60 |3358 | 60 | 18 | 19 | 76k|1724 | 0.000000e+00 | -- | Inf
74.27/74.36 c 74.4s|160000 | 46228 |479086 | 3.0 | 38M| 53 | 7 | 60 |3572 | 60 | 18 | 19 | 81k|1764 | 0.000000e+00 | -- | Inf
79.06/79.18 c 79.2s|170000 | 48905 |508250 | 3.0 | 40M| 53 | 7 | 60 |3516 | 60 | 18 | 19 | 86k|1805 | 0.000000e+00 | -- | Inf
84.06/84.14 c 84.1s|180000 | 51328 |536978 | 3.0 | 42M| 53 | 7 | 60 |3396 | 60 | 18 | 19 | 91k|1844 | 0.000000e+00 | -- | Inf
88.76/88.84 c 88.8s|190000 | 53971 |565732 | 3.0 | 44M| 53 | 7 | 60 |3886 | 60 | 18 | 19 | 97k|1877 | 0.000000e+00 | -- | Inf
93.36/93.46 c 93.4s|200000 | 57046 |594832 | 3.0 | 47M| 53 | - | 60 |4495 | 60 | 18 | 19 | 102k|1904 | 0.000000e+00 | -- | Inf
98.55/98.63 c 98.6s|210000 | 59458 |624106 | 3.0 | 49M| 53 | 7 | 60 |3817 | 60 | 18 | 19 | 107k|1931 | 0.000000e+00 | -- | Inf
103.65/103.70 c 104s|220000 | 62044 |652993 | 3.0 | 51M| 54 | 7 | 60 |3393 | 60 | 18 | 19 | 112k|1962 | 0.000000e+00 | -- | Inf
108.35/108.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.35/108.46 c 108s|230000 | 64688 |681503 | 3.0 | 53M| 54 | 7 | 60 |4286 | 60 | 18 | 19 | 117k|1991 | 0.000000e+00 | -- | Inf
113.55/113.66 c 114s|240000 | 67139 |710675 | 3.0 | 55M| 54 | 7 | 60 |4035 | 60 | 18 | 19 | 123k|2016 | 0.000000e+00 | -- | Inf
118.84/118.94 c 119s|250000 | 69613 |740135 | 3.0 | 58M| 54 | 7 | 60 |4109 | 60 | 18 | 19 | 128k|2044 | 0.000000e+00 | -- | Inf
124.04/124.16 c 124s|260000 | 71985 |769065 | 3.0 | 60M| 54 | 7 | 60 |3970 | 60 | 18 | 19 | 134k|2076 | 0.000000e+00 | -- | Inf
129.04/129.16 c 129s|270000 | 74581 |798257 | 3.0 | 62M| 54 | 7 | 60 |4662 | 60 | 18 | 19 | 139k|2112 | 0.000000e+00 | -- | Inf
134.64/134.78 c 135s|280000 | 76813 |827505 | 3.0 | 64M| 54 | - | 60 |3708 | 60 | 18 | 19 | 144k|2138 | 0.000000e+00 | -- | Inf
139.84/139.93 c 140s|290000 | 79171 |856490 | 3.0 | 66M| 54 | 7 | 60 |3959 | 60 | 18 | 19 | 150k|2163 | 0.000000e+00 | -- | Inf
145.14/145.23 c 145s|300000 | 81693 |886251 | 3.0 | 68M| 54 | 7 | 60 |4004 | 60 | 18 | 19 | 155k|2194 | 0.000000e+00 | -- | Inf
150.03/150.17 c 150s|310000 | 84474 |915016 | 3.0 | 70M| 54 | 7 | 60 |4064 | 60 | 18 | 19 | 160k|2224 | 0.000000e+00 | -- | Inf
155.23/155.30 c 155s|320000 | 86993 |943449 | 2.9 | 73M| 54 | - | 60 |4038 | 60 | 18 | 19 | 165k|2251 | 0.000000e+00 | -- | Inf
160.13/160.28 c 160s|330000 | 89801 |972682 | 2.9 | 75M| 54 | 7 | 60 |4270 | 60 | 18 | 19 | 170k|2281 | 0.000000e+00 | -- | Inf
165.33/165.43 c 165s|340000 | 92526 | 1002k| 2.9 | 77M| 54 | 7 | 60 |4471 | 60 | 18 | 19 | 175k|2314 | 0.000000e+00 | -- | Inf
170.13/170.27 c 170s|350000 | 95304 | 1030k| 2.9 | 80M| 54 | 7 | 60 |5878 | 60 | 18 | 19 | 181k|2335 | 0.000000e+00 | -- | Inf
175.72/175.87 c 176s|360000 | 97810 | 1058k| 2.9 | 82M| 54 | 7 | 60 |4555 | 60 | 18 | 19 | 186k|2362 | 0.000000e+00 | -- | Inf
181.12/181.29 c 181s|370000 |100335 | 1087k| 2.9 | 84M| 54 | 7 | 60 |4503 | 60 | 18 | 19 | 191k|2391 | 0.000000e+00 | -- | Inf
186.32/186.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.32/186.48 c 186s|380000 |102939 | 1116k| 2.9 | 86M| 54 | 7 | 60 |4898 | 60 | 18 | 19 | 196k|2419 | 0.000000e+00 | -- | Inf
191.52/191.62 c 192s|390000 |105782 | 1144k| 2.9 | 88M| 54 | - | 60 |4685 | 60 | 18 | 19 | 201k|2438 | 0.000000e+00 | -- | Inf
197.01/197.14 c 197s|400000 |108025 | 1174k| 2.9 | 90M| 54 | - | 60 |3938 | 60 | 18 | 19 | 207k|2461 | 0.000000e+00 | -- | Inf
202.42/202.55 c 203s|410000 |110272 | 1202k| 2.9 | 92M| 54 | - | 60 |3832 | 60 | 18 | 19 | 212k|2482 | 0.000000e+00 | -- | Inf
207.71/207.86 c 208s|420000 |112672 | 1230k| 2.9 | 94M| 54 | 7 | 60 |4027 | 60 | 18 | 19 | 217k|2506 | 0.000000e+00 | -- | Inf
213.01/213.13 c 213s|430000 |115058 | 1260k| 2.9 | 97M| 54 | 7 | 60 |4245 | 60 | 18 | 19 | 223k|2520 | 0.000000e+00 | -- | Inf
218.40/218.57 c 219s|440000 |117341 | 1288k| 2.9 | 99M| 54 | 7 | 60 |4522 | 60 | 18 | 19 | 228k|2539 | 0.000000e+00 | -- | Inf
223.81/223.90 c 224s|450000 |119658 | 1317k| 2.9 | 101M| 54 | 7 | 60 |4431 | 60 | 18 | 19 | 234k|2560 | 0.000000e+00 | -- | Inf
229.30/229.41 c 229s|460000 |122087 | 1346k| 2.9 | 103M| 54 | 7 | 60 |4202 | 60 | 18 | 19 | 239k|2588 | 0.000000e+00 | -- | Inf
235.00/235.12 c 235s|470000 |124398 | 1375k| 2.9 | 105M| 54 | 7 | 60 |4229 | 60 | 18 | 19 | 244k|2616 | 0.000000e+00 | -- | Inf
240.40/240.57 c 241s|480000 |126761 | 1403k| 2.9 | 107M| 54 | 7 | 60 |4325 | 60 | 18 | 19 | 250k|2639 | 0.000000e+00 | -- | Inf
245.90/246.00 c 246s|490000 |129246 | 1432k| 2.9 | 110M| 54 | 7 | 60 |4567 | 60 | 18 | 19 | 255k|2670 | 0.000000e+00 | -- | Inf
251.40/251.52 c 252s|500000 |131466 | 1461k| 2.9 | 112M| 54 | 7 | 60 |4785 | 60 | 18 | 19 | 260k|2696 | 0.000000e+00 | -- | Inf
256.79/256.96 c 257s|510000 |133702 | 1490k| 2.9 | 114M| 54 | 7 | 60 |4881 | 60 | 18 | 19 | 266k|2714 | 0.000000e+00 | -- | Inf
261.99/262.17 c 262s|520000 |136291 | 1518k| 2.9 | 116M| 54 | 7 | 60 |6071 | 60 | 18 | 19 | 271k|2732 | 0.000000e+00 | -- | Inf
267.88/268.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.88/268.05 c 268s|530000 |138666 | 1547k| 2.9 | 118M| 54 | - | 60 |4681 | 60 | 18 | 19 | 277k|2747 | 0.000000e+00 | -- | Inf
273.29/273.42 c 273s|540000 |140921 | 1575k| 2.9 | 120M| 54 | - | 60 |4790 | 0 | 0 | 19 | 282k|2759 | 0.000000e+00 | -- | Inf
278.28/278.40 c 278s|550000 |143801 | 1605k| 2.9 | 123M| 54 | 7 | 60 |5883 | 60 | 18 | 19 | 287k|2782 | 0.000000e+00 | -- | Inf
284.18/284.33 c 284s|560000 |146367 | 1633k| 2.9 | 125M| 54 | - | 60 |4972 | 60 | 18 | 19 | 292k|2797 | 0.000000e+00 | -- | Inf
289.78/289.92 c 290s|570000 |148728 | 1662k| 2.9 | 127M| 54 | - | 60 |4668 | 60 | 18 | 19 | 298k|2824 | 0.000000e+00 | -- | Inf
295.48/295.66 c 296s|580000 |150906 | 1690k| 2.9 | 129M| 54 | - | 60 |4406 | 0 | 0 | 19 | 303k|2841 | 0.000000e+00 | -- | Inf
300.97/301.12 c 301s|590000 |153440 | 1718k| 2.9 | 131M| 54 | - | 60 |4370 | 0 | 0 | 19 | 308k|2862 | 0.000000e+00 | -- | Inf
306.57/306.72 c 307s|600000 |155677 | 1746k| 2.9 | 133M| 54 | - | 60 |4568 | 60 | 18 | 19 | 314k|2881 | 0.000000e+00 | -- | Inf
311.97/312.16 c 312s|610000 |158084 | 1774k| 2.9 | 135M| 54 | - | 60 |4453 | 60 | 18 | 19 | 319k|2894 | 0.000000e+00 | -- | Inf
317.67/317.85 c 318s|620000 |160409 | 1802k| 2.9 | 137M| 54 | 7 | 60 |4450 | 60 | 18 | 19 | 325k|2909 | 0.000000e+00 | -- | Inf
322.76/322.90 c 323s|630000 |162971 | 1832k| 2.9 | 140M| 54 | - | 60 |5442 | 60 | 18 | 19 | 330k|2922 | 0.000000e+00 | -- | Inf
328.46/328.64 c 329s|640000 |165239 | 1861k| 2.9 | 142M| 54 | - | 60 |5208 | 60 | 18 | 19 | 335k|2936 | 0.000000e+00 | -- | Inf
334.06/334.23 c 334s|650000 |167950 | 1889k| 2.9 | 144M| 54 | 7 | 60 |5319 | 60 | 18 | 19 | 340k|2956 | 0.000000e+00 | -- | Inf
339.36/339.53 c 340s|660000 |170368 | 1917k| 2.9 | 146M| 54 | 7 | 60 |6419 | 60 | 18 | 19 | 346k|2975 | 0.000000e+00 | -- | Inf
345.36/345.55 c 346s|670000 |172907 | 1945k| 2.9 | 148M| 54 | 7 | 60 |5533 | 60 | 18 | 19 | 351k|2989 | 0.000000e+00 | -- | Inf
350.35/350.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
350.35/350.54 c 351s|680000 |175934 | 1974k| 2.9 | 151M| 54 | 7 | 60 |6485 | 60 | 18 | 19 | 356k|3007 | 0.000000e+00 | -- | Inf
356.16/356.34 c 356s|690000 |178620 | 2002k| 2.9 | 153M| 54 | 7 | 60 |5879 | 60 | 18 | 19 | 361k|3025 | 0.000000e+00 | -- | Inf
361.44/361.64 c 362s|700000 |181625 | 2031k| 2.9 | 155M| 54 | - | 60 |7035 | 60 | 18 | 19 | 366k|3044 | 0.000000e+00 | -- | Inf
366.74/366.91 c 367s|710000 |184589 | 2060k| 2.9 | 158M| 54 | 7 | 60 |7476 | 60 | 18 | 19 | 371k|3063 | 0.000000e+00 | -- | Inf
372.45/372.68 c 373s|720000 |187188 | 2088k| 2.9 | 160M| 54 | - | 60 |7163 | 60 | 18 | 19 | 376k|3083 | 0.000000e+00 | -- | Inf
378.25/378.46 c 378s|730000 |189499 | 2116k| 2.9 | 162M| 54 | 7 | 60 |7771 | 60 | 18 | 19 | 381k|3107 | 0.000000e+00 | -- | Inf
384.24/384.40 c 384s|740000 |192135 | 2144k| 2.9 | 164M| 54 | 7 | 60 |7384 | 60 | 18 | 19 | 386k|3125 | 0.000000e+00 | -- | Inf
390.44/390.66 c 391s|750000 |194570 | 2172k| 2.9 | 166M| 54 | 7 | 60 |5529 | 60 | 18 | 19 | 391k|3143 | 0.000000e+00 | -- | Inf
395.53/395.79 c 396s|760000 |197712 | 2201k| 2.9 | 168M| 54 | 7 | 60 |6230 | 60 | 18 | 19 | 396k|3162 | 0.000000e+00 | -- | Inf
401.14/401.39 c 401s|770000 |200310 | 2227k| 2.9 | 171M| 54 | - | 60 |6503 | 60 | 18 | 19 | 401k|3175 | 0.000000e+00 | -- | Inf
407.23/407.47 c 407s|780000 |202720 | 2255k| 2.9 | 173M| 54 | 7 | 60 |5879 | 60 | 18 | 19 | 406k|3194 | 0.000000e+00 | -- | Inf
413.44/413.64 c 414s|790000 |204971 | 2284k| 2.9 | 174M| 54 | 7 | 60 |5090 | 60 | 18 | 19 | 412k|3208 | 0.000000e+00 | -- | Inf
419.12/419.35 c 419s|800000 |207183 | 2312k| 2.9 | 177M| 54 | - | 60 |4930 | 60 | 18 | 19 | 417k|3218 | 0.000000e+00 | -- | Inf
425.12/425.39 c 425s|810000 |209286 | 2340k| 2.9 | 179M| 54 | - | 60 |4502 | 60 | 18 | 19 | 422k|3229 | 0.000000e+00 | -- | Inf
431.12/431.32 c 431s|820000 |211371 | 2368k| 2.9 | 180M| 54 | 7 | 60 |4236 | 60 | 18 | 19 | 428k|3245 | 0.000000e+00 | -- | Inf
436.72/436.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.72/436.95 c 437s|830000 |213627 | 2397k| 2.9 | 183M| 54 | 7 | 60 |4854 | 60 | 18 | 19 | 433k|3262 | 0.000000e+00 | -- | Inf
442.02/442.22 c 442s|840000 |216364 | 2425k| 2.9 | 185M| 54 | 7 | 60 |6114 | 60 | 18 | 19 | 438k|3277 | 0.000000e+00 | -- | Inf
448.21/448.47 c 448s|850000 |218713 | 2453k| 2.9 | 187M| 54 | 7 | 60 |4978 | 60 | 18 | 19 | 444k|3294 | 0.000000e+00 | -- | Inf
454.21/454.44 c 454s|860000 |220900 | 2481k| 2.9 | 189M| 54 | 7 | 60 |4890 | 60 | 18 | 19 | 449k|3310 | 0.000000e+00 | -- | Inf
459.41/459.64 c 460s|870000 |223606 | 2510k| 2.9 | 191M| 54 | 7 | 60 |5379 | 60 | 18 | 19 | 454k|3325 | 0.000000e+00 | -- | Inf
464.51/464.77 c 465s|880000 |226544 | 2539k| 2.9 | 194M| 54 | 7 | 60 |6677 | 60 | 18 | 19 | 459k|3331 | 0.000000e+00 | -- | Inf
469.80/470.01 c 470s|890000 |229636 | 2567k| 2.9 | 196M| 54 | 7 | 60 |7019 | 60 | 18 | 19 | 464k|3349 | 0.000000e+00 | -- | Inf
475.31/475.52 c 476s|900000 |232522 | 2596k| 2.9 | 199M| 54 | - | 60 |6840 | 60 | 18 | 19 | 469k|3359 | 0.000000e+00 | -- | Inf
480.80/481.05 c 481s|910000 |235338 | 2624k| 2.9 | 201M| 54 | 7 | 60 |7009 | 60 | 18 | 19 | 474k|3374 | 0.000000e+00 | -- | Inf
486.40/486.60 c 487s|920000 |238193 | 2652k| 2.9 | 203M| 54 | - | 60 |7451 | 60 | 18 | 19 | 479k|3386 | 0.000000e+00 | -- | Inf
492.90/493.13 c 493s|930000 |240544 | 2680k| 2.9 | 205M| 54 | - | 60 |5842 | 60 | 18 | 19 | 484k|3398 | 0.000000e+00 | -- | Inf
498.99/499.28 c 499s|940000 |242749 | 2708k| 2.9 | 207M| 54 | - | 60 |5160 | 60 | 18 | 19 | 489k|3407 | 0.000000e+00 | -- | Inf
504.79/505.00 c 505s|950000 |245139 | 2737k| 2.9 | 209M| 54 | 7 | 60 |5284 | 60 | 18 | 19 | 495k|3419 | 0.000000e+00 | -- | Inf
510.69/510.94 c 511s|960000 |247355 | 2765k| 2.9 | 211M| 54 | - | 60 |5109 | 60 | 18 | 19 | 500k|3433 | 0.000000e+00 | -- | Inf
516.99/517.20 c 517s|970000 |249494 | 2794k| 2.9 | 213M| 54 | 7 | 60 |4642 | 60 | 18 | 19 | 505k|3450 | 0.000000e+00 | -- | Inf
522.69/522.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.69/522.93 c 523s|980000 |251695 | 2822k| 2.9 | 215M| 54 | - | 60 |5123 | 60 | 18 | 19 | 511k|3467 | 0.000000e+00 | -- | Inf
528.68/528.90 c 529s|990000 |254176 | 2850k| 2.9 | 217M| 54 | 7 | 60 |5016 | 60 | 18 | 19 | 516k|3477 | 0.000000e+00 | -- | Inf
534.68/534.96 c 535s| 1000k|256385 | 2879k| 2.9 | 220M| 54 | 7 | 60 |5142 | 60 | 18 | 19 | 522k|3493 | 0.000000e+00 | -- | Inf
540.89/541.13 c 541s| 1010k|258675 | 2907k| 2.9 | 222M| 54 | 7 | 60 |5202 | 60 | 18 | 19 | 527k|3503 | 0.000000e+00 | -- | Inf
546.77/547.03 c 547s| 1020k|261005 | 2935k| 2.9 | 224M| 54 | 7 | 60 |5437 | 60 | 18 | 19 | 532k|3520 | 0.000000e+00 | -- | Inf
552.08/552.37 c 552s| 1030k|263678 | 2965k| 2.9 | 226M| 54 | - | 60 |6747 | 60 | 18 | 19 | 538k|3535 | 0.000000e+00 | -- | Inf
558.97/559.27 c 559s| 1040k|265745 | 2994k| 2.9 | 228M| 54 | 7 | 60 |4774 | 60 | 18 | 19 | 543k|3549 | 0.000000e+00 | -- | Inf
564.77/565.01 c 565s| 1050k|268224 | 3023k| 2.9 | 230M| 54 | 7 | 60 |5358 | 60 | 18 | 19 | 548k|3572 | 0.000000e+00 | -- | Inf
570.87/571.15 c 571s| 1060k|270537 | 3051k| 2.9 | 232M| 54 | 7 | 60 |5212 | 60 | 18 | 19 | 554k|3586 | 0.000000e+00 | -- | Inf
576.87/577.20 c 577s| 1070k|272749 | 3079k| 2.9 | 234M| 54 | - | 60 |5097 | 60 | 18 | 19 | 559k|3593 | 0.000000e+00 | -- | Inf
582.56/582.84 c 583s| 1080k|275166 | 3107k| 2.9 | 237M| 54 | 7 | 60 |5862 | 60 | 18 | 19 | 564k|3606 | 0.000000e+00 | -- | Inf
588.56/588.85 c 589s| 1090k|277574 | 3135k| 2.9 | 239M| 54 | 7 | 60 |5719 | 60 | 18 | 19 | 570k|3613 | 0.000000e+00 | -- | Inf
594.77/595.01 c 595s| 1100k|279902 | 3163k| 2.9 | 241M| 54 | 7 | 60 |4813 | 60 | 18 | 19 | 575k|3623 | 0.000000e+00 | -- | Inf
600.55/600.85 c 601s| 1110k|282193 | 3190k| 2.9 | 243M| 54 | 7 | 60 |4989 | 60 | 18 | 19 | 580k|3632 | 0.000000e+00 | -- | Inf
606.55/606.86 c 607s| 1120k|284453 | 3218k| 2.9 | 245M| 54 | 7 | 60 |4966 | 60 | 18 | 19 | 586k|3639 | 0.000000e+00 | -- | Inf
612.66/612.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.66/612.92 c 613s| 1130k|286584 | 3246k| 2.9 | 247M| 54 | 7 | 60 |5171 | 60 | 18 | 19 | 591k|3651 | 0.000000e+00 | -- | Inf
618.45/618.77 c 619s| 1140k|289019 | 3274k| 2.9 | 249M| 54 | 7 | 60 |5647 | 60 | 18 | 19 | 596k|3666 | 0.000000e+00 | -- | Inf
624.45/624.80 c 625s| 1150k|291125 | 3302k| 2.9 | 252M| 54 | 7 | 60 |5910 | 60 | 18 | 19 | 602k|3679 | 0.000000e+00 | -- | Inf
630.24/630.59 c 631s| 1160k|293553 | 3330k| 2.9 | 254M| 54 | 7 | 60 |6525 | 60 | 18 | 19 | 607k|3695 | 0.000000e+00 | -- | Inf
635.94/636.28 c 636s| 1170k|296377 | 3357k| 2.9 | 256M| 54 | - | 60 |7088 | 60 | 18 | 19 | 612k|3704 | 0.000000e+00 | -- | Inf
642.44/642.78 c 643s| 1180k|298699 | 3386k| 2.9 | 258M| 54 | 7 | 60 |6314 | 60 | 18 | 19 | 617k|3712 | 0.000000e+00 | -- | Inf
649.03/649.36 c 649s| 1190k|300909 | 3414k| 2.9 | 260M| 54 | 7 | 60 |5034 | 60 | 18 | 19 | 622k|3721 | 0.000000e+00 | -- | Inf
654.24/654.54 c 655s| 1200k|303776 | 3442k| 2.9 | 262M| 54 | 7 | 60 |6242 | 60 | 18 | 19 | 627k|3732 | 0.000000e+00 | -- | Inf
660.23/660.58 c 661s| 1210k|306306 | 3470k| 2.9 | 264M| 54 | - | 60 |5873 | 60 | 18 | 19 | 632k|3742 | 0.000000e+00 | -- | Inf
666.43/666.79 c 667s| 1220k|308585 | 3499k| 2.9 | 266M| 54 | 7 | 60 |5667 | 60 | 18 | 19 | 638k|3751 | 0.000000e+00 | -- | Inf
673.03/673.30 c 673s| 1230k|310733 | 3527k| 2.9 | 268M| 54 | 7 | 60 |5109 | 60 | 18 | 19 | 643k|3763 | 0.000000e+00 | -- | Inf
678.52/678.88 c 679s| 1240k|313133 | 3556k| 2.9 | 271M| 54 | - | 60 |5663 | 60 | 18 | 19 | 648k|3778 | 0.000000e+00 | -- | Inf
683.93/684.24 c 684s| 1250k|315890 | 3585k| 2.9 | 273M| 54 | 7 | 60 |6336 | 60 | 18 | 19 | 653k|3793 | 0.000000e+00 | -- | Inf
689.92/690.27 c 690s| 1260k|318755 | 3613k| 2.9 | 275M| 54 | 7 | 60 |5943 | 60 | 18 | 19 | 658k|3809 | 0.000000e+00 | -- | Inf
695.92/696.23 c 696s| 1270k|321204 | 3641k| 2.9 | 277M| 54 | 7 | 60 |5729 | 60 | 18 | 19 | 664k|3827 | 0.000000e+00 | -- | Inf
702.02/702.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.02/702.37 c 702s| 1280k|323432 | 3668k| 2.9 | 279M| 54 | - | 60 |5423 | 60 | 18 | 19 | 669k|3845 | 0.000000e+00 | -- | Inf
708.61/708.90 c 709s| 1290k|325501 | 3696k| 2.9 | 281M| 54 | - | 60 |4766 | 0 | 0 | 19 | 674k|3862 | 0.000000e+00 | -- | Inf
714.51/714.82 c 715s| 1300k|327713 | 3724k| 2.9 | 283M| 54 | - | 60 |4828 | 60 | 18 | 19 | 680k|3876 | 0.000000e+00 | -- | Inf
719.71/720.00 c 720s| 1310k|330563 | 3752k| 2.9 | 286M| 54 | - | 60 |5914 | 60 | 18 | 19 | 685k|3885 | 0.000000e+00 | -- | Inf
725.81/726.12 c 726s| 1320k|332822 | 3780k| 2.9 | 288M| 54 | - | 60 |6714 | 60 | 18 | 19 | 690k|3900 | 0.000000e+00 | -- | Inf
732.31/732.62 c 733s| 1330k|335103 | 3808k| 2.9 | 290M| 54 | 7 | 60 |5414 | 60 | 18 | 19 | 696k|3918 | 0.000000e+00 | -- | Inf
738.10/738.48 c 738s| 1340k|337465 | 3836k| 2.9 | 292M| 54 | 7 | 60 |5823 | 60 | 18 | 19 | 701k|3932 | 0.000000e+00 | -- | Inf
744.50/744.88 c 745s| 1350k|339650 | 3863k| 2.9 | 294M| 54 | 7 | 60 |5505 | 60 | 18 | 19 | 706k|3943 | 0.000000e+00 | -- | Inf
750.60/750.98 c 751s| 1360k|341913 | 3891k| 2.9 | 296M| 54 | 7 | 60 |5500 | 60 | 18 | 19 | 712k|3957 | 0.000000e+00 | -- | Inf
756.80/757.19 c 757s| 1370k|343936 | 3920k| 2.9 | 298M| 54 | 7 | 60 |5812 | 60 | 18 | 19 | 717k|3973 | 0.000000e+00 | -- | Inf
763.29/763.67 c 764s| 1380k|345969 | 3948k| 2.9 | 300M| 54 | 7 | 60 |5357 | 60 | 18 | 19 | 722k|3991 | 0.000000e+00 | -- | Inf
769.49/769.82 c 770s| 1390k|348305 | 3976k| 2.9 | 302M| 54 | - | 60 |5263 | 60 | 18 | 19 | 728k|4009 | 0.000000e+00 | -- | Inf
775.59/775.96 c 776s| 1400k|350668 | 4004k| 2.9 | 305M| 54 | 7 | 60 |5040 | 60 | 18 | 19 | 733k|4021 | 0.000000e+00 | -- | Inf
782.08/782.43 c 782s| 1410k|352671 | 4032k| 2.9 | 307M| 54 | - | 60 |4953 | 60 | 18 | 19 | 739k|4036 | 0.000000e+00 | -- | Inf
788.29/788.67 c 789s| 1420k|354809 | 4060k| 2.9 | 309M| 54 | - | 60 |4733 | 60 | 18 | 19 | 744k|4050 | 0.000000e+00 | -- | Inf
794.38/794.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.38/794.70 c 795s| 1430k|357158 | 4088k| 2.9 | 311M| 54 | 7 | 60 |5124 | 60 | 18 | 19 | 749k|4059 | 0.000000e+00 | -- | Inf
800.57/800.91 c 801s| 1440k|359337 | 4116k| 2.9 | 313M| 54 | 7 | 60 |5297 | 60 | 18 | 19 | 755k|4071 | 0.000000e+00 | -- | Inf
806.07/806.48 c 806s| 1450k|361795 | 4144k| 2.9 | 315M| 54 | 7 | 60 |5994 | 60 | 18 | 19 | 760k|4083 | 0.000000e+00 | -- | Inf
812.68/813.03 c 813s| 1460k|363901 | 4172k| 2.9 | 317M| 54 | 7 | 60 |5851 | 60 | 18 | 19 | 766k|4094 | 0.000000e+00 | -- | Inf
818.77/819.19 c 819s| 1470k|366218 | 4202k| 2.9 | 319M| 54 | 7 | 60 |5919 | 60 | 18 | 19 | 771k|4113 | 0.000000e+00 | -- | Inf
824.77/825.15 c 825s| 1480k|368531 | 4230k| 2.9 | 321M| 54 | 7 | 60 |6122 | 60 | 18 | 19 | 776k|4129 | 0.000000e+00 | -- | Inf
831.06/831.50 c 831s| 1490k|370777 | 4258k| 2.9 | 323M| 54 | - | 60 |5766 | 60 | 18 | 19 | 781k|4139 | 0.000000e+00 | -- | Inf
836.86/837.22 c 837s| 1500k|373385 | 4286k| 2.9 | 326M| 54 | 7 | 60 |6364 | 60 | 18 | 19 | 786k|4153 | 0.000000e+00 | -- | Inf
842.76/843.10 c 843s| 1510k|376186 | 4314k| 2.9 | 328M| 54 | 7 | 60 |6290 | 60 | 18 | 19 | 791k|4166 | 0.000000e+00 | -- | Inf
848.96/849.35 c 849s| 1520k|378555 | 4342k| 2.9 | 330M| 54 | - | 60 |5887 | 60 | 18 | 19 | 797k|4177 | 0.000000e+00 | -- | Inf
855.75/856.10 c 856s| 1530k|380708 | 4370k| 2.9 | 332M| 54 | - | 60 |5155 | 60 | 18 | 19 | 802k|4190 | 0.000000e+00 | -- | Inf
861.76/862.12 c 862s| 1540k|382880 | 4398k| 2.9 | 334M| 54 | 7 | 60 |5066 | 60 | 18 | 19 | 808k|4199 | 0.000000e+00 | -- | Inf
867.15/867.52 c 868s| 1550k|385333 | 4425k| 2.9 | 336M| 54 | 7 | 60 |6215 | 60 | 18 | 19 | 813k|4209 | 0.000000e+00 | -- | Inf
872.75/873.14 c 873s| 1560k|387778 | 4451k| 2.9 | 339M| 54 | - | 60 |7115 | 60 | 18 | 19 | 818k|4220 | 0.000000e+00 | -- | Inf
879.55/879.90 c 880s| 1570k|389888 | 4479k| 2.9 | 340M| 54 | - | 60 |6258 | 60 | 18 | 19 | 823k|4231 | 0.000000e+00 | -- | Inf
886.35/886.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.35/886.72 c 887s| 1580k|392036 | 4508k| 2.9 | 342M| 54 | 7 | 60 |5874 | 60 | 18 | 19 | 829k|4244 | 0.000000e+00 | -- | Inf
892.54/892.99 c 893s| 1590k|394209 | 4536k| 2.9 | 344M| 54 | 7 | 60 |5901 | 60 | 18 | 19 | 834k|4251 | 0.000000e+00 | -- | Inf
898.64/899.00 c 899s| 1600k|396539 | 4564k| 2.9 | 347M| 54 | 7 | 60 |6489 | 60 | 18 | 19 | 840k|4261 | 0.000000e+00 | -- | Inf
905.44/905.81 c 906s| 1610k|398618 | 4592k| 2.9 | 349M| 54 | - | 60 |5763 | 60 | 18 | 19 | 845k|4272 | 0.000000e+00 | -- | Inf
910.74/911.14 c 911s| 1620k|401458 | 4620k| 2.9 | 351M| 54 | 7 | 60 |7108 | 60 | 18 | 19 | 850k|4276 | 0.000000e+00 | -- | Inf
916.63/917.08 c 917s| 1630k|403994 | 4647k| 2.9 | 353M| 54 | 7 | 60 |7104 | 60 | 18 | 19 | 856k|4281 | 0.000000e+00 | -- | Inf
923.23/923.64 c 924s| 1640k|406089 | 4675k| 2.9 | 355M| 54 | - | 60 |6507 | 60 | 18 | 19 | 861k|4283 | 0.000000e+00 | -- | Inf
929.63/930.05 c 930s| 1650k|408482 | 4702k| 2.9 | 357M| 54 | 7 | 60 |6398 | 60 | 18 | 19 | 867k|4290 | 0.000000e+00 | -- | Inf
935.42/935.89 c 936s| 1660k|411050 | 4729k| 2.8 | 360M| 54 | 7 | 60 |7154 | 60 | 18 | 19 | 872k|4291 | 0.000000e+00 | -- | Inf
941.82/942.29 c 942s| 1670k|413648 | 4757k| 2.8 | 362M| 54 | 7 | 60 |6715 | 60 | 18 | 19 | 877k|4296 | 0.000000e+00 | -- | Inf
948.22/948.63 c 949s| 1680k|415863 | 4785k| 2.8 | 364M| 54 | 7 | 60 |6834 | 60 | 18 | 19 | 882k|4301 | 0.000000e+00 | -- | Inf
954.92/955.35 c 955s| 1690k|418234 | 4814k| 2.8 | 366M| 54 | 7 | 60 |6212 | 60 | 18 | 19 | 887k|4309 | 0.000000e+00 | -- | Inf
961.11/961.52 c 962s| 1700k|420571 | 4841k| 2.8 | 368M| 54 | 7 | 60 |6577 | 60 | 18 | 19 | 893k|4315 | 0.000000e+00 | -- | Inf
967.81/968.21 c 968s| 1710k|422857 | 4870k| 2.8 | 370M| 54 | 7 | 60 |5743 | 60 | 18 | 19 | 898k|4317 | 0.000000e+00 | -- | Inf
974.01/974.45 c 974s| 1720k|425040 | 4897k| 2.8 | 372M| 54 | - | 60 |6400 | 60 | 18 | 19 | 903k|4322 | 0.000000e+00 | -- | Inf
980.60/981.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.60/981.04 c 981s| 1730k|427188 | 4925k| 2.8 | 374M| 54 | 7 | 60 |5376 | 60 | 18 | 19 | 909k|4327 | 0.000000e+00 | -- | Inf
987.11/987.54 c 988s| 1740k|429309 | 4954k| 2.8 | 376M| 54 | 7 | 60 |5615 | 60 | 18 | 19 | 914k|4333 | 0.000000e+00 | -- | Inf
992.60/993.01 c 993s| 1750k|432246 | 4981k| 2.8 | 379M| 54 | - | 60 |6246 | 60 | 18 | 19 | 919k|4340 | 0.000000e+00 | -- | Inf
998.70/999.19 c 999s| 1760k|434556 | 5009k| 2.8 | 381M| 54 | - | 60 |6419 | 60 | 18 | 19 | 924k|4343 | 0.000000e+00 | -- | Inf
1005.60/1006.04 c 1006s| 1770k|436554 | 5037k| 2.8 | 383M| 54 | 7 | 60 |5258 | 60 | 18 | 19 | 930k|4347 | 0.000000e+00 | -- | Inf
1012.00/1012.44 c 1012s| 1780k|438793 | 5065k| 2.8 | 385M| 54 | 7 | 60 |5237 | 60 | 18 | 19 | 935k|4349 | 0.000000e+00 | -- | Inf
1018.20/1018.64 c 1019s| 1790k|440850 | 5092k| 2.8 | 387M| 54 | - | 60 |5623 | 60 | 18 | 19 | 940k|4359 | 0.000000e+00 | -- | Inf
1024.49/1024.98 c 1025s| 1800k|443031 | 5120k| 2.8 | 389M| 54 | - | 60 |5328 | 60 | 18 | 19 | 946k|4369 | 0.000000e+00 | -- | Inf
1031.09/1031.53 c 1032s| 1810k|444986 | 5149k| 2.8 | 391M| 54 | 7 | 60 |5258 | 60 | 18 | 19 | 951k|4374 | 0.000000e+00 | -- | Inf
1037.38/1037.87 c 1038s| 1820k|447095 | 5177k| 2.8 | 393M| 54 | 7 | 60 |5437 | 60 | 18 | 19 | 957k|4380 | 0.000000e+00 | -- | Inf
1043.88/1044.33 c 1044s| 1830k|449089 | 5205k| 2.8 | 395M| 54 | 7 | 60 |5591 | 60 | 18 | 19 | 962k|4386 | 0.000000e+00 | -- | Inf
1050.38/1050.86 c 1051s| 1840k|451128 | 5234k| 2.8 | 397M| 54 | 7 | 60 |5592 | 60 | 18 | 19 | 968k|4393 | 0.000000e+00 | -- | Inf
1056.68/1057.11 c 1057s| 1850k|453349 | 5261k| 2.8 | 399M| 54 | 7 | 60 |6028 | 60 | 18 | 19 | 973k|4399 | 0.000000e+00 | -- | Inf
1063.37/1063.81 c 1064s| 1860k|455391 | 5289k| 2.8 | 401M| 54 | - | 60 |6055 | 60 | 18 | 19 | 979k|4403 | 0.000000e+00 | -- | Inf
1068.78/1069.29 c 1069s| 1870k|458426 | 5318k| 2.8 | 404M| 54 | 7 | 60 |7605 | 60 | 18 | 19 | 984k|4405 | 0.000000e+00 | -- | Inf
1075.47/1075.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.47/1075.92 c 1076s| 1880k|460704 | 5345k| 2.8 | 406M| 54 | 7 | 60 |6760 | 60 | 18 | 19 | 989k|4406 | 0.000000e+00 | -- | Inf
1082.57/1083.00 c 1083s| 1890k|462754 | 5373k| 2.8 | 408M| 54 | 7 | 60 |6004 | 60 | 18 | 19 | 994k|4408 | 0.000000e+00 | -- | Inf
1088.36/1088.89 c 1089s| 1900k|465196 | 5400k| 2.8 | 410M| 54 | 7 | 60 |6879 | 60 | 18 | 19 | 999k|4411 | 0.000000e+00 | -- | Inf
1095.06/1095.60 c 1096s| 1910k|467297 | 5427k| 2.8 | 412M| 54 | 7 | 60 |6253 | 60 | 18 | 19 |1005k|4412 | 0.000000e+00 | -- | Inf
1101.36/1101.81 c 1102s| 1920k|469684 | 5455k| 2.8 | 414M| 54 | - | 60 |6570 | 60 | 18 | 19 |1010k|4419 | 0.000000e+00 | -- | Inf
1107.55/1108.06 c 1108s| 1930k|471941 | 5482k| 2.8 | 416M| 54 | 7 | 60 |6585 | 60 | 18 | 19 |1015k|4419 | 0.000000e+00 | -- | Inf
1114.55/1115.04 c 1115s| 1940k|473889 | 5509k| 2.8 | 418M| 54 | 7 | 60 |5602 | 60 | 18 | 19 |1021k|4424 | 0.000000e+00 | -- | Inf
1120.45/1120.95 c 1121s| 1950k|476316 | 5536k| 2.8 | 420M| 54 | 7 | 60 |6018 | 60 | 18 | 19 |1026k|4429 | 0.000000e+00 | -- | Inf
1126.95/1127.44 c 1127s| 1960k|478690 | 5563k| 2.8 | 422M| 54 | 7 | 60 |5292 | 60 | 18 | 19 |1031k|4440 | 0.000000e+00 | -- | Inf
1132.94/1133.48 c 1133s| 1970k|481084 | 5591k| 2.8 | 424M| 54 | - | 60 |6516 | 60 | 18 | 19 |1036k|4453 | 0.000000e+00 | -- | Inf
1138.94/1139.40 c 1139s| 1980k|483512 | 5619k| 2.8 | 427M| 54 | 7 | 60 |6716 | 60 | 18 | 19 |1042k|4463 | 0.000000e+00 | -- | Inf
1145.23/1145.75 c 1146s| 1990k|485771 | 5646k| 2.8 | 429M| 54 | 7 | 60 |6866 | 60 | 18 | 19 |1047k|4470 | 0.000000e+00 | -- | Inf
1152.34/1152.83 c 1153s| 2000k|487915 | 5674k| 2.8 | 431M| 54 | 7 | 60 |6546 | 60 | 18 | 19 |1053k|4476 | 0.000000e+00 | -- | Inf
1158.94/1159.42 c 1159s| 2010k|490070 | 5702k| 2.8 | 433M| 54 | 7 | 60 |6361 | 60 | 18 | 19 |1058k|4484 | 0.000000e+00 | -- | Inf
1165.53/1166.07 c 1166s| 2020k|492199 | 5730k| 2.8 | 435M| 54 | 7 | 60 |6611 | 60 | 18 | 19 |1063k|4494 | 0.000000e+00 | -- | Inf
1172.53/1173.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.53/1173.02 c 1173s| 2030k|494434 | 5758k| 2.8 | 437M| 54 | 7 | 60 |5639 | 60 | 18 | 19 |1069k|4504 | 0.000000e+00 | -- | Inf
1177.92/1178.49 c 1178s| 2040k|497229 | 5786k| 2.8 | 439M| 54 | 7 | 60 |6759 | 60 | 18 | 19 |1074k|4508 | 0.000000e+00 | -- | Inf
1184.03/1184.59 c 1185s| 2050k|499740 | 5813k| 2.8 | 441M| 54 | 7 | 60 |6981 | 60 | 18 | 19 |1079k|4515 | 0.000000e+00 | -- | Inf
1190.83/1191.33 c 1191s| 2060k|502059 | 5841k| 2.8 | 443M| 54 | 7 | 60 |6323 | 60 | 18 | 19 |1084k|4529 | 0.000000e+00 | -- | Inf
1197.62/1198.11 c 1198s| 2070k|504088 | 5869k| 2.8 | 446M| 54 | 7 | 60 |6984 | 60 | 18 | 19 |1089k|4538 | 0.000000e+00 | -- | Inf
1203.12/1203.63 c 1204s| 2080k|506541 | 5897k| 2.8 | 448M| 54 | - | 60 |9255 | 60 | 18 | 19 |1095k|4552 | 0.000000e+00 | -- | Inf
1210.41/1210.97 c 1211s| 2090k|508545 | 5925k| 2.8 | 450M| 54 | 7 | 60 |7214 | 60 | 18 | 19 |1100k|4560 | 0.000000e+00 | -- | Inf
1217.22/1217.77 c 1218s| 2100k|510714 | 5953k| 2.8 | 452M| 54 | 7 | 60 |7007 | 60 | 18 | 19 |1106k|4567 | 0.000000e+00 | -- | Inf
1224.50/1225.00 c 1225s| 2110k|512781 | 5981k| 2.8 | 454M| 54 | - | 60 |6608 | 60 | 18 | 19 |1111k|4574 | 0.000000e+00 | -- | Inf
1230.20/1230.73 c 1231s| 2120k|515641 | 6010k| 2.8 | 456M| 54 | - | 60 |7440 | 60 | 18 | 19 |1116k|4582 | 0.000000e+00 | -- | Inf
1236.60/1237.14 c 1237s| 2130k|517814 | 6037k| 2.8 | 458M| 54 | 7 | 60 |7247 | 60 | 18 | 19 |1122k|4593 | 0.000000e+00 | -- | Inf
1243.61/1244.17 c 1244s| 2140k|519882 | 6066k| 2.8 | 460M| 54 | 7 | 60 |6590 | 60 | 18 | 19 |1127k|4602 | 0.000000e+00 | -- | Inf
1249.89/1250.43 c 1250s| 2150k|522328 | 6094k| 2.8 | 462M| 54 | 7 | 60 |7161 | 60 | 18 | 19 |1133k|4612 | 0.000000e+00 | -- | Inf
1256.89/1257.48 c 1257s| 2160k|524515 | 6123k| 2.8 | 464M| 54 | 7 | 60 |5964 | 60 | 18 | 19 |1138k|4626 | 0.000000e+00 | -- | Inf
1263.59/1264.14 c 1264s| 2170k|526670 | 6150k| 2.8 | 466M| 54 | 7 | 60 |5808 | 60 | 18 | 19 |1143k|4634 | 0.000000e+00 | -- | Inf
1269.28/1269.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.28/1269.84 c 1270s| 2180k|529118 | 6177k| 2.8 | 468M| 54 | 7 | 60 |6915 | 60 | 18 | 19 |1149k|4645 | 0.000000e+00 | -- | Inf
1275.98/1276.59 c 1277s| 2190k|531054 | 6204k| 2.8 | 470M| 54 | 7 | 60 |6470 | 60 | 18 | 19 |1154k|4653 | 0.000000e+00 | -- | Inf
1282.88/1283.49 c 1283s| 2200k|532994 | 6232k| 2.8 | 472M| 54 | - | 60 |6169 | 0 | 0 | 19 |1160k|4666 | 0.000000e+00 | -- | Inf
1289.69/1290.23 c 1290s| 2210k|535055 | 6261k| 2.8 | 474M| 54 | 7 | 60 |5970 | 60 | 18 | 19 |1165k|4675 | 0.000000e+00 | -- | Inf
1296.18/1296.78 c 1297s| 2220k|537201 | 6289k| 2.8 | 477M| 54 | 7 | 60 |6675 | 60 | 18 | 19 |1171k|4683 | 0.000000e+00 | -- | Inf
1302.78/1303.38 c 1303s| 2230k|539467 | 6317k| 2.8 | 479M| 54 | - | 60 |7118 | 60 | 18 | 19 |1176k|4691 | 0.000000e+00 | -- | Inf
1308.97/1309.59 c 1310s| 2240k|541715 | 6346k| 2.8 | 481M| 54 | 7 | 60 |8169 | 60 | 18 | 19 |1181k|4698 | 0.000000e+00 | -- | Inf
1315.67/1316.26 c 1316s| 2250k|544049 | 6374k| 2.8 | 483M| 54 | - | 60 |7717 | 60 | 18 | 19 |1187k|4706 | 0.000000e+00 | -- | Inf
1323.36/1323.97 c 1324s| 2260k|545973 | 6402k| 2.8 | 485M| 54 | - | 60 |6429 | 60 | 18 | 19 |1192k|4713 | 0.000000e+00 | -- | Inf
1329.66/1330.29 c 1330s| 2270k|548427 | 6432k| 2.8 | 487M| 54 | - | 60 |6868 | 0 | 0 | 19 |1198k|4726 | 0.000000e+00 | -- | Inf
1335.56/1336.15 c 1336s| 2280k|550814 | 6459k| 2.8 | 489M| 54 | 7 | 60 |7755 | 60 | 18 | 19 |1203k|4730 | 0.000000e+00 | -- | Inf
1343.36/1343.91 c 1344s| 2290k|552643 | 6487k| 2.8 | 491M| 54 | 7 | 60 |6039 | 60 | 18 | 19 |1209k|4737 | 0.000000e+00 | -- | Inf
1349.96/1350.57 c 1351s| 2300k|554956 | 6514k| 2.8 | 493M| 54 | 7 | 60 |6034 | 60 | 18 | 19 |1214k|4743 | 0.000000e+00 | -- | Inf
1356.46/1357.06 c 1357s| 2310k|557339 | 6543k| 2.8 | 495M| 54 | 7 | 60 |7020 | 60 | 18 | 19 |1219k|4748 | 0.000000e+00 | -- | Inf
1363.55/1364.17 c 1364s| 2320k|559403 | 6572k| 2.8 | 497M| 54 | 7 | 60 |6614 | 60 | 18 | 19 |1225k|4754 | 0.000000e+00 | -- | Inf
1370.25/1370.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.25/1370.89 c 1371s| 2330k|561501 | 6600k| 2.8 | 499M| 54 | 7 | 60 |6303 | 60 | 18 | 19 |1230k|4763 | 0.000000e+00 | -- | Inf
1377.05/1377.66 c 1378s| 2340k|563615 | 6627k| 2.8 | 501M| 54 | 7 | 60 |6300 | 60 | 18 | 19 |1236k|4769 | 0.000000e+00 | -- | Inf
1384.35/1384.90 c 1385s| 2350k|565612 | 6655k| 2.8 | 503M| 54 | - | 60 |6034 | 0 | 0 | 19 |1241k|4779 | 0.000000e+00 | -- | Inf
1390.85/1391.44 c 1391s| 2360k|567667 | 6683k| 2.8 | 505M| 54 | 7 | 60 |6159 | 60 | 18 | 19 |1247k|4792 | 0.000000e+00 | -- | Inf
1396.84/1397.47 c 1397s| 2370k|570131 | 6712k| 2.8 | 508M| 54 | 7 | 60 |7191 | 60 | 18 | 19 |1252k|4802 | 0.000000e+00 | -- | Inf
1403.63/1404.28 c 1404s| 2380k|572318 | 6740k| 2.8 | 510M| 54 | 7 | 60 |6805 | 60 | 18 | 19 |1257k|4810 | 0.000000e+00 | -- | Inf
1410.43/1411.00 c 1411s| 2390k|574684 | 6768k| 2.8 | 512M| 54 | 7 | 60 |6864 | 60 | 18 | 19 |1262k|4818 | 0.000000e+00 | -- | Inf
1417.63/1418.29 c 1418s| 2400k|576637 | 6796k| 2.8 | 514M| 54 | - | 60 |6862 | 60 | 18 | 19 |1268k|4829 | 0.000000e+00 | -- | Inf
1423.73/1424.32 c 1424s| 2410k|579422 | 6823k| 2.8 | 516M| 54 | 7 | 60 |7608 | 60 | 18 | 19 |1273k|4838 | 0.000000e+00 | -- | Inf
1431.63/1432.25 c 1432s| 2420k|581324 | 6851k| 2.8 | 518M| 54 | 7 | 60 |5569 | 60 | 18 | 19 |1278k|4847 | 0.000000e+00 | -- | Inf
1438.23/1438.87 c 1439s| 2430k|583474 | 6879k| 2.8 | 520M| 54 | 7 | 60 |5893 | 60 | 18 | 19 |1284k|4859 | 0.000000e+00 | -- | Inf
1444.63/1445.26 c 1445s| 2440k|585684 | 6907k| 2.8 | 522M| 54 | - | 60 |6396 | 60 | 18 | 19 |1289k|4868 | 0.000000e+00 | -- | Inf
1452.21/1452.82 c 1453s| 2450k|587592 | 6935k| 2.8 | 524M| 54 | - | 60 |6374 | 60 | 18 | 19 |1295k|4877 | 0.000000e+00 | -- | Inf
1459.41/1460.04 c 1460s| 2460k|589550 | 6963k| 2.8 | 526M| 54 | - | 60 |6161 | 60 | 18 | 19 |1301k|4888 | 0.000000e+00 | -- | Inf
1465.21/1465.84 c 1466s| 2470k|592415 | 6991k| 2.8 | 528M| 54 | - | 60 |7157 | 60 | 18 | 19 |1305k|4897 | 0.000000e+00 | -- | Inf
1472.22/1472.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.22/1472.82 c 1473s| 2480k|594342 | 7019k| 2.8 | 530M| 54 | 7 | 60 |6764 | 60 | 18 | 19 |1311k|4910 | 0.000000e+00 | -- | Inf
1479.30/1479.96 c 1480s| 2490k|596378 | 7046k| 2.8 | 532M| 54 | 7 | 60 |6365 | 60 | 18 | 19 |1316k|4921 | 0.000000e+00 | -- | Inf
1485.30/1485.91 c 1486s| 2500k|598757 | 7074k| 2.8 | 535M| 54 | 7 | 60 |7695 | 60 | 18 | 19 |1322k|4927 | 0.000000e+00 | -- | Inf
1491.00/1491.65 c 1492s| 2510k|601095 | 7102k| 2.8 | 537M| 54 | 7 | 60 |8251 | 60 | 18 | 19 |1327k|4937 | 0.000000e+00 | -- | Inf
1498.40/1499.07 c 1499s| 2520k|603252 | 7129k| 2.8 | 539M| 54 | 7 | 60 |7082 | 60 | 18 | 19 |1332k|4949 | 0.000000e+00 | -- | Inf
1505.20/1505.80 c 1506s| 2530k|605415 | 7157k| 2.8 | 541M| 54 | - | 60 |7173 | 60 | 18 | 19 |1338k|4960 | 0.000000e+00 | -- | Inf
1511.90/1512.59 c 1513s| 2540k|607493 | 7184k| 2.8 | 543M| 54 | 7 | 60 |7174 | 60 | 18 | 19 |1343k|4966 | 0.000000e+00 | -- | Inf
1519.39/1520.01 c 1520s| 2550k|609490 | 7212k| 2.8 | 545M| 54 | 7 | 60 |6810 | 60 | 18 | 19 |1349k|4979 | 0.000000e+00 | -- | Inf
1526.69/1527.35 c 1527s| 2560k|611491 | 7239k| 2.8 | 547M| 54 | 7 | 60 |6378 | 60 | 18 | 19 |1354k|4989 | 0.000000e+00 | -- | Inf
1532.88/1533.55 c 1534s| 2570k|613890 | 7267k| 2.8 | 549M| 54 | - | 60 |6764 | 0 | 0 | 19 |1360k|4999 | 0.000000e+00 | -- | Inf
1539.89/1540.58 c 1541s| 2580k|616027 | 7296k| 2.8 | 551M| 54 | 7 | 60 |6223 | 60 | 18 | 19 |1365k|5009 | 0.000000e+00 | -- | Inf
1546.68/1547.31 c 1547s| 2590k|618099 | 7323k| 2.8 | 553M| 54 | - | 60 |6219 | 60 | 18 | 19 |1370k|5020 | 0.000000e+00 | -- | Inf
1553.48/1554.11 c 1554s| 2600k|620238 | 7351k| 2.8 | 555M| 54 | 7 | 60 |6255 | 60 | 18 | 19 |1376k|5031 | 0.000000e+00 | -- | Inf
1560.18/1560.87 c 1561s| 2610k|622188 | 7378k| 2.8 | 557M| 54 | 7 | 60 |6462 | 60 | 18 | 19 |1381k|5041 | 0.000000e+00 | -- | Inf
1566.97/1567.68 c 1568s| 2620k|624286 | 7406k| 2.8 | 559M| 54 | 7 | 60 |5944 | 60 | 18 | 19 |1387k|5053 | 0.000000e+00 | -- | Inf
1573.87/1574.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.87/1574.54 c 1575s| 2630k|626255 | 7434k| 2.8 | 561M| 54 | - | 60 |6389 | 0 | 0 | 19 |1392k|5060 | 0.000000e+00 | -- | Inf
1580.77/1581.41 c 1581s| 2640k|628281 | 7462k| 2.8 | 563M| 54 | - | 60 |6718 | 60 | 18 | 19 |1398k|5069 | 0.000000e+00 | -- | Inf
1586.46/1587.16 c 1587s| 2650k|631011 | 7489k| 2.8 | 565M| 54 | 7 | 60 |7194 | 60 | 18 | 19 |1403k|5078 | 0.000000e+00 | -- | Inf
1592.06/1592.76 c 1593s| 2660k|633554 | 7516k| 2.8 | 568M| 54 | 7 | 60 |7910 | 60 | 18 | 19 |1408k|5084 | 0.000000e+00 | -- | Inf
1599.95/1600.61 c 1601s| 2670k|635645 | 7544k| 2.8 | 569M| 54 | - | 60 |6502 | 60 | 18 | 19 |1413k|5092 | 0.000000e+00 | -- | Inf
1606.66/1607.38 c 1607s| 2680k|637840 | 7572k| 2.8 | 571M| 54 | 7 | 60 |6521 | 60 | 18 | 19 |1419k|5106 | 0.000000e+00 | -- | Inf
1613.06/1613.75 c 1614s| 2690k|640180 | 7599k| 2.8 | 573M| 54 | 7 | 60 |6531 | 60 | 18 | 19 |1424k|5114 | 0.000000e+00 | -- | Inf
1619.85/1620.52 c 1621s| 2700k|642410 | 7628k| 2.8 | 575M| 54 | - | 60 |6492 | 60 | 18 | 19 |1429k|5125 | 0.000000e+00 | -- | Inf
1626.85/1627.52 c 1628s| 2710k|644500 | 7656k| 2.8 | 577M| 54 | - | 60 |6387 | 60 | 18 | 19 |1435k|5132 | 0.000000e+00 | -- | Inf
1632.65/1633.39 c 1633s| 2720k|647265 | 7683k| 2.8 | 580M| 54 | 7 | 60 |7696 | 60 | 18 | 19 |1440k|5138 | 0.000000e+00 | -- | Inf
1639.74/1640.43 c 1640s| 2730k|649312 | 7711k| 2.8 | 582M| 54 | 7 | 60 |6866 | 60 | 18 | 19 |1445k|5144 | 0.000000e+00 | -- | Inf
1645.84/1646.54 c 1647s| 2740k|652043 | 7739k| 2.8 | 584M| 54 | 7 | 60 |7789 | 60 | 18 | 19 |1450k|5152 | 0.000000e+00 | -- | Inf
1651.73/1652.48 c 1652s| 2750k|654487 | 7765k| 2.8 | 586M| 54 | - | 60 |8220 | 60 | 18 | 19 |1455k|5157 | 0.000000e+00 | -- | Inf
1659.43/1660.18 c 1660s| 2760k|656491 | 7793k| 2.8 | 588M| 54 | 7 | 60 |7278 | 60 | 18 | 19 |1461k|5165 | 0.000000e+00 | -- | Inf
1666.43/1667.19 c 1667s| 2770k|658567 | 7821k| 2.8 | 590M| 54 | 7 | 60 |7602 | 60 | 18 | 19 |1466k|5171 | 0.000000e+00 | -- | Inf
1673.23/1673.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.23/1673.97 c 1674s| 2780k|660861 | 7849k| 2.8 | 592M| 54 | - | 60 |7880 | 60 | 18 | 19 |1472k|5174 | 0.000000e+00 | -- | Inf
1679.03/1679.70 c 1680s| 2790k|664049 | 7877k| 2.8 | 595M| 54 | - | 60 |8945 | 60 | 18 | 19 |1476k|5180 | 0.000000e+00 | -- | Inf
1685.43/1686.15 c 1686s| 2800k|666594 | 7905k| 2.8 | 597M| 54 | 7 | 60 |9625 | 60 | 18 | 19 |1482k|5189 | 0.000000e+00 | -- | Inf
1691.82/1692.56 c 1693s| 2810k|669480 | 7932k| 2.8 | 599M| 54 | 7 | 60 |9497 | 60 | 18 | 19 |1486k|5195 | 0.000000e+00 | -- | Inf
1698.12/1698.88 c 1699s| 2820k|672192 | 7960k| 2.8 | 602M| 54 | - | 60 |9932 | 60 | 18 | 19 |1491k|5199 | 0.000000e+00 | -- | Inf
1705.21/1705.97 c 1706s| 2830k|674547 | 7987k| 2.8 | 604M| 54 | 7 | 60 |9407 | 60 | 18 | 19 |1497k|5206 | 0.000000e+00 | -- | Inf
1711.92/1712.63 c 1713s| 2840k|676886 | 8015k| 2.8 | 606M| 54 | 7 | 60 | 10k| 60 | 18 | 19 |1502k|5210 | 0.000000e+00 | -- | Inf
1720.11/1720.84 c 1721s| 2850k|678929 | 8043k| 2.8 | 608M| 54 | 7 | 60 |8111 | 60 | 18 | 19 |1508k|5222 | 0.000000e+00 | -- | Inf
1728.42/1729.13 c 1729s| 2860k|680881 | 8070k| 2.8 | 609M| 54 | 7 | 60 |7095 | 60 | 18 | 19 |1513k|5227 | 0.000000e+00 | -- | Inf
1735.41/1736.18 c 1736s| 2870k|682921 | 8098k| 2.8 | 611M| 54 | 7 | 60 |7128 | 60 | 18 | 19 |1518k|5237 | 0.000000e+00 | -- | Inf
1742.71/1743.43 c 1743s| 2880k|685094 | 8125k| 2.8 | 614M| 54 | 7 | 60 |7073 | 60 | 18 | 19 |1524k|5242 | 0.000000e+00 | -- | Inf
1749.70/1750.43 c 1750s| 2890k|687282 | 8153k| 2.8 | 615M| 54 | - | 60 |6274 | 60 | 18 | 19 |1529k|5250 | 0.000000e+00 | -- | Inf
1756.90/1757.60 c 1758s| 2900k|689175 | 8180k| 2.8 | 617M| 54 | 7 | 60 |6143 | 60 | 18 | 19 |1535k|5255 | 0.000000e+00 | -- | Inf
1763.50/1764.25 c 1764s| 2910k|691549 | 8208k| 2.8 | 620M| 54 | - | 60 |7132 | 60 | 18 | 19 |1540k|5263 | 0.000000e+00 | -- | Inf
1770.89/1771.63 c 1772s| 2920k|693610 | 8236k| 2.8 | 622M| 54 | 7 | 60 |7103 | 60 | 18 | 19 |1546k|5274 | 0.000000e+00 | -- | Inf
1778.29/1779.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.29/1779.09 c 1779s| 2930k|695452 | 8264k| 2.8 | 624M| 54 | - | 60 |6698 | 0 | 0 | 19 |1551k|5275 | 0.000000e+00 | -- | Inf
1784.99/1785.79 c 1786s| 2940k|697673 | 8292k| 2.8 | 626M| 54 | 7 | 60 |7365 | 60 | 18 | 19 |1556k|5282 | 0.000000e+00 | -- | Inf
1789.28/1790.01 c
1789.28/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.28/1790.01 c Solving Time (sec) : 1790.00
1789.28/1790.01 c Solving Nodes : 2945581
1789.28/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.28/1790.01 c Dual Bound : +0.00000000000000e+00
1789.28/1790.01 c Gap : infinite
1789.28/1790.01 s UNKNOWN
1789.28/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.28/1790.01 c Solving Time : 1790.00
1789.28/1790.01 c Original Problem :
1789.28/1790.01 c Problem name : HOME/instance-2703526-1278561877.opb
1789.28/1790.01 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.28/1790.01 c Constraints : 15 initial, 15 maximal
1789.28/1790.01 c Presolved Problem :
1789.28/1790.01 c Problem name : t_HOME/instance-2703526-1278561877.opb
1789.28/1790.01 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.28/1790.01 c Constraints : 7 initial, 10323 maximal
1789.28/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.28/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.28/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.28/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.28/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.28/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.28/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.28/1790.01 c linear : 0.00 0 0 0 0 0 8 0 0
1789.28/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.28/1790.01 c root node : - 0 - - 0 - - - -
1789.28/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.28/1790.01 c integral : 0 0 0 1836922 0 522 2065 0 0 3668978
1789.28/1790.01 c linear : 7+ 7 7274100 0 1 134354 4219328 0 0 0
1789.28/1790.01 c logicor : 0+ 0 2913633 0 0 14778 1036819 0 0 0
1789.28/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.28/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.28/1790.01 c integral : 22.35 0.00 0.00 22.35 0.00
1789.28/1790.01 c linear : 352.70 0.00 352.70 0.00 0.00
1789.28/1790.01 c logicor : 379.30 0.00 379.30 0.00 0.00
1789.28/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.28/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.28/1790.01 c vbounds : 2.61 2 0 0
1789.28/1790.01 c rootredcost : 2.79 0 0 0
1789.28/1790.01 c pseudoobj : 2.22 0 0 0
1789.28/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.28/1790.01 c propagation : 19.41 149132 137665 503404 41.1 54 34.9 -
1789.28/1790.01 c infeasible LP : 75.55 980595 980548 2165063 29.5 12127 35.0 0
1789.28/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.28/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.28/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.28/1790.01 c applied globally : - - - 1232080 23.5 - - -
1789.28/1790.01 c applied locally : - - - 327978 36.6 - - -
1789.28/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.28/1790.01 c cut pool : 0.00 5 - - 34 - (maximal pool size: 81)
1789.28/1790.01 c redcost : 4.87 1836925 0 0 0 0
1789.28/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.28/1790.01 c intobj : 0.00 0 0 0 0 0
1789.28/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.28/1790.01 c gomory : 0.00 6 0 0 0 0
1789.28/1790.01 c strongcg : 0.01 6 0 0 23 0
1789.28/1790.01 c cmir : 0.02 6 0 0 40 0
1789.28/1790.01 c flowcover : 0.02 6 0 0 48 0
1789.28/1790.01 c clique : 0.00 1 0 0 0 0
1789.28/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.28/1790.01 c mcf : 0.00 1 0 0 0 0
1789.28/1790.01 c rapidlearning : 0.12 1 0 0 0 1
1789.28/1790.01 c Pricers : Time Calls Vars
1789.28/1790.01 c problem variables: 0.00 0 0
1789.28/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.28/1790.01 c relpscost : 20.35 1836922 522 2065 0 0 3668978
1789.28/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.28/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.28/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.28/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.28/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.28/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.28/1790.01 c random : 0.00 0 0 0 0 0 0
1789.28/1790.01 c Primal Heuristics : Time Calls Found
1789.28/1790.01 c LP solutions : 0.00 - 0
1789.28/1790.01 c pseudo solutions : 0.00 - 0
1789.28/1790.01 c oneopt : 1.75 0 0
1789.28/1790.01 c crossover : 1.04 0 0
1789.28/1790.01 c guideddiving : 0.14 0 0
1789.28/1790.01 c linesearchdiving : 0.14 38 0
1789.28/1790.01 c coefdiving : 0.15 39 0
1789.28/1790.01 c pscostdiving : 0.17 39 0
1789.28/1790.01 c fracdiving : 0.15 39 0
1789.28/1790.01 c veclendiving : 0.15 39 0
1789.28/1790.01 c feaspump : 0.12 20 0
1789.28/1790.01 c objpscostdiving : 0.12 20 0
1789.28/1790.01 c rootsoldiving : 0.13 20 0
1789.28/1790.01 c trivial : 0.00 2 0
1789.28/1790.01 c simplerounding : 0.74 0 0
1789.28/1790.01 c zirounding : 1.17 1000 0
1789.28/1790.01 c rounding : 1.98 19210 0
1789.28/1790.01 c shifting : 4.38 6114 0
1789.28/1790.01 c intshifting : 0.09 0 0
1789.28/1790.01 c twoopt : 0.00 0 0
1789.28/1790.01 c fixandinfer : 0.00 0 0
1789.28/1790.01 c intdiving : 0.00 0 0
1789.28/1790.01 c actconsdiving : 0.00 0 0
1789.28/1790.01 c octane : 0.00 0 0
1789.28/1790.01 c rens : 0.04 1 0
1789.28/1790.01 c rins : 0.00 0 0
1789.28/1790.01 c localbranching : 0.00 0 0
1789.28/1790.01 c mutation : 0.00 0 0
1789.28/1790.01 c dins : 0.00 0 0
1789.28/1790.01 c undercover : 0.00 0 0
1789.28/1790.01 c nlp : 0.86 0 0
1789.28/1790.01 c trysol : 1.41 0 0
1789.28/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.28/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.28/1790.01 c dual LP : 367.07 2748549 8304616 3.02 22624.06
1789.28/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.28/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.28/1790.01 c diving/probing LP: 0.16 1109 2908 2.62 18641.03
1789.28/1790.01 c strong branching : 1.49 5290 31067 5.87 20885.66
1789.28/1790.01 c (at root node) : - 9 371 41.22 -
1789.28/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.28/1790.01 c B&B Tree :
1789.28/1790.01 c number of runs : 1
1789.28/1790.01 c nodes : 2945581
1789.28/1790.01 c nodes (total) : 2945581
1789.28/1790.01 c nodes left : 698723
1789.28/1790.01 c max depth : 54
1789.28/1790.01 c max depth (total): 54
1789.28/1790.01 c backtracks : 321881 (10.9%)
1789.28/1790.01 c delayed cutoffs : 24677
1789.28/1790.01 c repropagations : 2715236 (1249453 domain reductions, 18689 cutoffs)
1789.28/1790.01 c avg switch length: 5.45
1789.28/1790.01 c switching time : 316.62
1789.28/1790.01 c Solution :
1789.28/1790.01 c Solutions found : 0 (0 improvements)
1789.28/1790.01 c Primal Bound : -
1789.28/1790.01 c Dual Bound : +0.00000000000000e+00
1789.28/1790.01 c Gap : infinite
1789.28/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.28/1790.01 c Root Iterations : 181
1793.18/1793.93 c Time complete: 1793.21.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703526-1278561877/watcher-2703526-1278561877 -o /tmp/evaluation-result-2703526-1278561877/solver-2703526-1278561877 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703526-1278561877.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 31645
/proc/meminfo: memFree=1543036/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=7904 CPUtime=0
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 1115 0 0 0 0 0 0 0 20 0 1 0 24398916 8093696 1028 1992294400 4194304 8395647 140734812585008 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31645/statm: 1976 1036 365 1026 0 946 0
[startup+0.0820699 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 31645
/proc/meminfo: memFree=1543036/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=22068 CPUtime=0.07
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 4781 0 0 0 5 2 0 0 20 0 1 0 24398916 22597632 4340 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5517 4340 599 1026 0 4487 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22068
[startup+0.101074 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 31645
/proc/meminfo: memFree=1543036/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=22068 CPUtime=0.09
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 4784 0 0 0 7 2 0 0 20 0 1 0 24398916 22597632 4343 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5517 4343 599 1026 0 4487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22068
[startup+0.301114 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 31645
/proc/meminfo: memFree=1543036/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=23132 CPUtime=0.29
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 5344 0 0 0 25 4 0 0 20 0 1 0 24398916 23687168 4903 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5783 4903 620 1026 0 4753 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23132
[startup+0.701193 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 31645
/proc/meminfo: memFree=1543036/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=23132 CPUtime=0.69
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 5346 0 0 0 63 6 0 0 20 0 1 0 24398916 23687168 4905 1992294400 4194304 8395647 140734812585008 18446744073709551615 5542517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5783 4905 621 1026 0 4753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23132
[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 31646
/proc/meminfo: memFree=1525668/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=23132 CPUtime=1.49
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 5349 0 0 0 140 9 0 0 22 0 1 0 24398916 23687168 4908 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5783 4908 621 1026 0 4753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23132
[startup+3.10067 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 31646
/proc/meminfo: memFree=1525420/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=23132 CPUtime=3.08
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 5354 0 0 0 295 13 0 0 25 0 1 0 24398916 23687168 4913 1992294400 4194304 8395647 140734812585008 18446744073709551615 4243713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5783 4913 621 1026 0 4753 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23132
[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 31646
/proc/meminfo: memFree=1525048/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=23132 CPUtime=6.28
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 5364 0 0 0 603 25 0 0 25 0 1 0 24398916 23687168 4923 1992294400 4194304 8395647 140734812585008 18446744073709551615 6030025 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 5783 4923 621 1026 0 4753 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23132
[startup+12.7016 s]
/proc/loadavg: 0.94 0.98 0.99 2/107 31646
/proc/meminfo: memFree=1524056/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=24892 CPUtime=12.69
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 5829 0 0 0 1221 48 0 0 25 0 1 0 24398916 25489408 5388 1992294400 4194304 8395647 140734812585008 18446744073709551615 5089583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 6223 5388 621 1026 0 5193 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24892
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 31646
/proc/meminfo: memFree=1515624/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=32316 CPUtime=25.48
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 7741 0 0 0 2462 86 0 0 25 0 1 0 24398916 33091584 7300 1992294400 4194304 8395647 140734812585008 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 8079 7300 621 1026 0 7049 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32316
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 31648
/proc/meminfo: memFree=1502108/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=45540 CPUtime=51.07
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 11072 0 0 0 4938 169 0 0 25 0 1 0 24398916 46632960 10631 1992294400 4194304 8395647 140734812585008 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 11385 10631 621 1026 0 10355 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45540
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 31650
/proc/meminfo: memFree=1474084/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=73244 CPUtime=102.26
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 18068 0 0 0 9907 319 0 0 25 0 1 0 24398916 75001856 17627 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 18311 17627 621 1026 0 17281 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73244
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31650
/proc/meminfo: memFree=1445812/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=102960 CPUtime=162.23
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 25239 0 0 0 15735 488 0 0 25 0 1 0 24398916 105431040 24798 1992294400 4194304 8395647 140734812585008 18446744073709551615 4689627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 25740 24798 621 1026 0 24710 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 102960
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31652
/proc/meminfo: memFree=1420020/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=128120 CPUtime=222.21
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 31558 0 0 0 21571 650 0 0 25 0 1 0 24398916 131194880 31117 1992294400 4194304 8395647 140734812585008 18446744073709551615 5085604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 32030 31117 621 1026 0 31000 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 128120
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31654
/proc/meminfo: memFree=1396088/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=151500 CPUtime=282.19
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 37491 0 0 0 27416 803 0 0 25 0 1 0 24398916 155136000 37050 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 37875 37050 621 1026 0 36845 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 151500
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31656
/proc/meminfo: memFree=1368312/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=179024 CPUtime=342.16
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 44434 0 0 0 33255 961 0 0 25 0 1 0 24398916 183320576 43993 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 44756 43993 621 1026 0 43726 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 179024
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31658
/proc/meminfo: memFree=1344008/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=207164 CPUtime=402.14
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 50460 0 0 0 39100 1114 0 0 25 0 1 0 24398916 212135936 50019 1992294400 4194304 8395647 140734812585008 18446744073709551615 5027356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 51791 50019 621 1026 0 50761 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 207164
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31658
/proc/meminfo: memFree=1322556/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=227788 CPUtime=462.11
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 55791 0 0 0 44945 1266 0 0 25 0 1 0 24398916 233254912 55350 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 56947 55350 621 1026 0 55917 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 227788
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31660
/proc/meminfo: memFree=1299864/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=250216 CPUtime=522.08
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 61414 0 0 0 50798 1410 0 0 25 0 1 0 24398916 256221184 60973 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 62554 60973 621 1026 0 61524 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 250216
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31662
/proc/meminfo: memFree=1276180/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=274616 CPUtime=582.06
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 67651 0 0 0 56647 1559 0 0 25 0 1 0 24398916 281206784 67210 1992294400 4194304 8395647 140734812585008 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 68654 67210 621 1026 0 67624 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 274616
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 31664
/proc/meminfo: memFree=1255348/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=293780 CPUtime=642.05
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 72486 0 0 0 62496 1709 0 0 25 0 1 0 24398916 300830720 72045 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 73445 72045 621 1026 0 72415 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 293780
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1114484/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=430840 CPUtime=1061.87
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 107371 0 0 0 103531 2656 0 0 25 0 1 0 24398916 441180160 106930 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 107710 106930 621 1026 0 106680 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 430840
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31679
/proc/meminfo: memFree=1089436/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=463948 CPUtime=1121.84
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 113609 0 0 0 109393 2791 0 0 25 0 1 0 24398916 475082752 113168 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 115987 113168 621 1026 0 114957 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 463948
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31681
/proc/meminfo: memFree=1068604/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=484688 CPUtime=1181.83
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 118889 0 0 0 115258 2925 0 0 25 0 1 0 24398916 496320512 118448 1992294400 4194304 8395647 140734812585008 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 121172 118448 621 1026 0 120142 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 484688
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31683
/proc/meminfo: memFree=1049384/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=502972 CPUtime=1241.8
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 123611 0 0 0 121127 3053 0 0 25 0 1 0 24398916 515043328 123170 1992294400 4194304 8395647 140734812585008 18446744073709551615 5005934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 125743 123170 621 1026 0 124713 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 502972
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31685
/proc/meminfo: memFree=1030412/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=521404 CPUtime=1301.78
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 128300 0 0 0 127004 3174 0 0 25 0 1 0 24398916 533917696 127859 1992294400 4194304 8395647 140734812585008 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 130351 127859 621 1026 0 129321 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 521404
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31685
/proc/meminfo: memFree=1011564/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=539632 CPUtime=1361.76
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 133002 0 0 0 132872 3304 0 0 25 0 1 0 24398916 552583168 132561 1992294400 4194304 8395647 140734812585008 18446744073709551615 4739256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 134908 132561 621 1026 0 133878 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 539632
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31687
/proc/meminfo: memFree=992344/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=559120 CPUtime=1421.74
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 137766 0 0 0 138743 3431 0 0 25 0 1 0 24398916 572538880 137325 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 139780 137325 621 1026 0 138750 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 559120
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31689
/proc/meminfo: memFree=975480/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=576208 CPUtime=1481.7
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 142147 0 0 0 144614 3556 0 0 25 0 1 0 24398916 590036992 141706 1992294400 4194304 8395647 140734812585008 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 144052 141706 621 1026 0 143022 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 576208
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31691
/proc/meminfo: memFree=955144/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=595284 CPUtime=1541.69
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 147028 0 0 0 150483 3686 0 0 25 0 1 0 24398916 609570816 146587 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 148821 146587 621 1026 0 147791 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 595284
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31693
/proc/meminfo: memFree=939272/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=610984 CPUtime=1601.65
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 151026 0 0 0 156354 3811 0 0 25 0 1 0 24398916 625647616 150585 1992294400 4194304 8395647 140734812585008 18446744073709551615 5085404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 152746 150585 621 1026 0 151716 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 610984
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31693
/proc/meminfo: memFree=922036/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=627468 CPUtime=1661.64
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 155263 0 0 0 162228 3936 0 0 25 0 1 0 24398916 642527232 154822 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 156867 154822 621 1026 0 155837 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 627468
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31695
/proc/meminfo: memFree=902692/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=647056 CPUtime=1721.61
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 160065 0 0 0 168099 4062 0 0 25 0 1 0 24398916 662585344 159624 1992294400 4194304 8395647 140734812585008 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 161764 159624 621 1026 0 160734 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 647056
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=883348/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=666132 CPUtime=1781.59
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 164935 0 0 0 173974 4185 0 0 25 0 1 0 24398916 682119168 164494 1992294400 4194304 8395647 140734812585008 18446744073709551615 5029616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 166533 164494 621 1026 0 165503 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 666132
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=882480/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=666580 CPUtime=1784.78
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 165054 0 0 0 174287 4191 0 0 25 0 1 0 24398916 682577920 164613 1992294400 4194304 8395647 140734812585008 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 166645 164613 621 1026 0 165615 0
Current children cumulated CPU time (s) 1784.78
Current children cumulated vsize (KiB) 666580
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=881860/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=667092 CPUtime=1787.99
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 165219 0 0 0 174603 4196 0 0 25 0 1 0 24398916 683102208 164778 1992294400 4194304 8395647 140734812585008 18446744073709551615 6003857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31645/statm: 166773 164778 621 1026 0 165743 0
Current children cumulated CPU time (s) 1787.99
Current children cumulated vsize (KiB) 667092
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=881736/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=667092 CPUtime=1791.18
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 165223 0 0 0 174921 4197 0 0 25 0 1 0 24398916 683102208 164782 1992294400 4194304 8395647 140734812585008 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31645/statm: 166773 164782 624 1026 0 165743 0
Current children cumulated CPU time (s) 1791.18
Current children cumulated vsize (KiB) 667092
[startup+1792.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=881736/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=667092 CPUtime=1791.98
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 165223 0 0 0 175001 4197 0 0 25 0 1 0 24398916 683102208 164782 1992294400 4194304 8395647 140734812585008 18446744073709551615 6345373 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31645/statm: 166773 164782 624 1026 0 165743 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 667092
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=881736/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=667092 CPUtime=1792.78
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 165223 0 0 0 175081 4197 0 0 25 0 1 0 24398916 683102208 164782 1992294400 4194304 8395647 140734812585008 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31645/statm: 166773 164782 624 1026 0 165743 0
Current children cumulated CPU time (s) 1792.78
Current children cumulated vsize (KiB) 667092
[startup+1793.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31697
/proc/meminfo: memFree=881736/2059040 swapFree=4162460/4192956
[pid=31645] ppid=31643 vsize=622640 CPUtime=1793.18
/proc/31645/stat : 31645 (pbscip.linux.x8) R 31643 31645 31620 0 -1 4202496 165223 0 0 0 175117 4201 0 0 25 0 1 0 24398916 637583360 83563 1992294400 4194304 8395647 140734812585008 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31645/statm: 155660 83563 624 1026 0 154630 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 622640
Child status: 0
Real time (s): 1793.93
CPU time (s): 1793.22
CPU user time (s): 1751.18
CPU system time (s): 42.0436
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 667092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.18
system time used= 42.0436
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1584
runsolver used 2.87456 second user time and 8.5777 second system time
The end