0.00/0.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2666871-1276600292.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.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.03 c presolving (3 rounds):
0.02/0.03 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 0 implications, 0 cliques
0.02/0.03 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.02/0.03 c 7 constraints of type <linear>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.01
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 1.2.1.2
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1800
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 1620
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.02/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.02/0.03 c 0.0s| 1 | 0 | 35 | - | 317k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 127 | - | 357k| 0 | 11 | 60 | 8 | 60 | 12 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 132 | - | 389k| 0 | 14 | 60 | 8 | 60 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 144 | - | 403k| 0 | 14 | 60 | 8 | 60 | 18 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 156 | - | 417k| 0 | 16 | 60 | 8 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 160 | - | 440k| 0 | 19 | 60 | 8 | 60 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 181 | - | 455k| 0 | 18 | 60 | 8 | 60 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 2 | 181 | - | 455k| 0 | 18 | 60 | 8 | 60 | 26 | 19 | 0 | 9 | 0.000000e+00 | -- | Inf
5.29/5.32 c 4.8s| 10000 | 3763 | 31028 | 3.1 |4155k| 52 | - | 60 |2666 | 60 | 18 | 19 |4426 | 540 | 0.000000e+00 | -- | Inf
10.29/10.31 c 9.4s| 20000 | 7022 | 62185 | 3.1 |6366k| 52 | - | 60 |1719 | 60 | 18 | 19 |9328 | 705 | 0.000000e+00 | -- | Inf
14.98/15.06 c 13.7s| 30000 | 10379 | 92643 | 3.1 |8794k| 52 | - | 60 |2023 | 60 | 18 | 19 | 14k| 852 | 0.000000e+00 | -- | Inf
19.88/19.97 c 18.2s| 40000 | 13477 |123532 | 3.1 | 11M| 52 | - | 60 |2293 | 60 | 18 | 19 | 19k| 982 | 0.000000e+00 | -- | Inf
24.88/24.95 c 22.7s| 50000 | 16283 |154132 | 3.1 | 13M| 52 | - | 60 |2408 | 60 | 18 | 19 | 24k|1073 | 0.000000e+00 | -- | Inf
29.88/29.95 c 27.3s| 60000 | 19160 |184153 | 3.1 | 15M| 52 | 7 | 60 |2711 | 60 | 18 | 19 | 29k|1163 | 0.000000e+00 | -- | Inf
34.78/34.87 c 31.9s| 70000 | 22108 |213504 | 3.0 | 18M| 52 | - | 60 |3496 | 60 | 18 | 19 | 34k|1254 | 0.000000e+00 | -- | Inf
39.98/40.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.98/40.02 c 36.6s| 80000 | 24914 |242351 | 3.0 | 20M| 52 | - | 60 |3308 | 60 | 18 | 19 | 39k|1316 | 0.000000e+00 | -- | Inf
45.08/45.16 c 41.3s| 90000 | 27775 |272382 | 3.0 | 22M| 52 | - | 60 |3142 | 60 | 18 | 19 | 44k|1384 | 0.000000e+00 | -- | Inf
50.27/50.39 c 46.2s|100000 | 30369 |302143 | 3.0 | 24M| 52 | - | 60 |3046 | 60 | 18 | 19 | 49k|1447 | 0.000000e+00 | -- | Inf
55.57/55.65 c 51.0s|110000 | 33063 |332062 | 3.0 | 26M| 52 | - | 60 |2863 | 60 | 18 | 19 | 55k|1499 | 0.000000e+00 | -- | Inf
60.77/60.85 c 55.8s|120000 | 35768 |362023 | 3.0 | 29M| 52 | 7 | 60 |3520 | 60 | 18 | 19 | 60k|1573 | 0.000000e+00 | -- | Inf
66.26/66.33 c 60.9s|130000 | 38301 |392057 | 3.0 | 31M| 52 | 7 | 60 |3198 | 60 | 18 | 19 | 65k|1639 | 0.000000e+00 | -- | Inf
71.57/71.65 c 65.8s|140000 | 40978 |421100 | 3.0 | 33M| 52 | - | 60 |3391 | 60 | 18 | 19 | 71k|1692 | 0.000000e+00 | -- | Inf
76.97/77.02 c 70.7s|150000 | 43523 |450506 | 3.0 | 35M| 53 | 7 | 60 |3358 | 60 | 18 | 19 | 76k|1724 | 0.000000e+00 | -- | Inf
82.26/82.32 c 75.6s|160000 | 46228 |479086 | 3.0 | 38M| 53 | 7 | 60 |3572 | 60 | 18 | 19 | 81k|1764 | 0.000000e+00 | -- | Inf
87.56/87.63 c 80.5s|170000 | 48905 |508250 | 3.0 | 40M| 53 | 7 | 60 |3516 | 60 | 18 | 19 | 86k|1805 | 0.000000e+00 | -- | Inf
92.96/93.09 c 85.5s|180000 | 51328 |536978 | 3.0 | 42M| 53 | 7 | 60 |3396 | 60 | 18 | 19 | 91k|1844 | 0.000000e+00 | -- | Inf
98.25/98.30 c 90.3s|190000 | 53971 |565732 | 3.0 | 44M| 53 | 7 | 60 |3886 | 60 | 18 | 19 | 97k|1877 | 0.000000e+00 | -- | Inf
103.26/103.39 c 95.0s|200000 | 57046 |594832 | 3.0 | 47M| 53 | - | 60 |4495 | 60 | 18 | 19 | 102k|1904 | 0.000000e+00 | -- | Inf
108.95/109.07 c 100s|210000 | 59458 |624106 | 3.0 | 49M| 53 | 7 | 60 |3817 | 60 | 18 | 19 | 107k|1931 | 0.000000e+00 | -- | Inf
114.55/114.65 c 105s|220000 | 62044 |652993 | 3.0 | 51M| 54 | 7 | 60 |3393 | 60 | 18 | 19 | 112k|1962 | 0.000000e+00 | -- | Inf
119.75/119.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.75/119.90 c 110s|230000 | 64688 |681503 | 3.0 | 53M| 54 | 7 | 60 |4286 | 60 | 18 | 19 | 117k|1991 | 0.000000e+00 | -- | Inf
125.44/125.59 c 116s|240000 | 67139 |710675 | 3.0 | 55M| 54 | 7 | 60 |4035 | 60 | 18 | 19 | 123k|2016 | 0.000000e+00 | -- | Inf
131.24/131.36 c 121s|250000 | 69613 |740135 | 3.0 | 58M| 54 | 7 | 60 |4109 | 60 | 18 | 19 | 128k|2044 | 0.000000e+00 | -- | Inf
137.04/137.11 c 126s|260000 | 71985 |769065 | 3.0 | 60M| 54 | 7 | 60 |3970 | 60 | 18 | 19 | 134k|2076 | 0.000000e+00 | -- | Inf
142.44/142.59 c 131s|270000 | 74581 |798257 | 3.0 | 62M| 54 | 7 | 60 |4662 | 60 | 18 | 19 | 139k|2112 | 0.000000e+00 | -- | Inf
148.64/148.73 c 137s|280000 | 76813 |827505 | 3.0 | 64M| 54 | - | 60 |3708 | 60 | 18 | 19 | 144k|2138 | 0.000000e+00 | -- | Inf
154.23/154.38 c 142s|290000 | 79171 |856490 | 3.0 | 66M| 54 | 7 | 60 |3959 | 60 | 18 | 19 | 150k|2163 | 0.000000e+00 | -- | Inf
160.04/160.20 c 148s|300000 | 81693 |886251 | 3.0 | 68M| 54 | 7 | 60 |4004 | 60 | 18 | 19 | 155k|2194 | 0.000000e+00 | -- | Inf
165.53/165.64 c 153s|310000 | 84474 |915016 | 3.0 | 70M| 54 | 7 | 60 |4064 | 60 | 18 | 19 | 160k|2224 | 0.000000e+00 | -- | Inf
171.13/171.26 c 158s|320000 | 86993 |943449 | 2.9 | 73M| 54 | - | 60 |4038 | 60 | 18 | 19 | 165k|2251 | 0.000000e+00 | -- | Inf
176.63/176.72 c 163s|330000 | 89801 |972682 | 2.9 | 75M| 54 | 7 | 60 |4270 | 60 | 18 | 19 | 170k|2281 | 0.000000e+00 | -- | Inf
182.22/182.39 c 168s|340000 | 92526 | 1002k| 2.9 | 77M| 54 | 7 | 60 |4471 | 60 | 18 | 19 | 175k|2314 | 0.000000e+00 | -- | Inf
187.63/187.74 c 173s|350000 | 95304 | 1030k| 2.9 | 80M| 54 | 7 | 60 |5878 | 60 | 18 | 19 | 181k|2335 | 0.000000e+00 | -- | Inf
193.72/193.82 c 179s|360000 | 97810 | 1058k| 2.9 | 82M| 54 | 7 | 60 |4555 | 60 | 18 | 19 | 186k|2362 | 0.000000e+00 | -- | Inf
199.62/199.75 c 184s|370000 |100335 | 1087k| 2.9 | 84M| 54 | 7 | 60 |4503 | 60 | 18 | 19 | 191k|2391 | 0.000000e+00 | -- | Inf
205.31/205.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.31/205.45 c 190s|380000 |102939 | 1116k| 2.9 | 86M| 54 | 7 | 60 |4898 | 60 | 18 | 19 | 196k|2419 | 0.000000e+00 | -- | Inf
210.92/211.09 c 195s|390000 |105782 | 1144k| 2.9 | 88M| 54 | - | 60 |4685 | 60 | 18 | 19 | 201k|2438 | 0.000000e+00 | -- | Inf
217.01/217.14 c 201s|400000 |108025 | 1174k| 2.9 | 90M| 54 | - | 60 |3938 | 60 | 18 | 19 | 207k|2461 | 0.000000e+00 | -- | Inf
223.01/223.10 c 206s|410000 |110272 | 1202k| 2.9 | 92M| 54 | - | 60 |3832 | 60 | 18 | 19 | 212k|2482 | 0.000000e+00 | -- | Inf
228.81/228.94 c 212s|420000 |112672 | 1230k| 2.9 | 94M| 54 | 7 | 60 |4027 | 60 | 18 | 19 | 217k|2506 | 0.000000e+00 | -- | Inf
234.61/234.73 c 217s|430000 |115058 | 1260k| 2.9 | 97M| 54 | 7 | 60 |4245 | 60 | 18 | 19 | 223k|2520 | 0.000000e+00 | -- | Inf
240.50/240.66 c 222s|440000 |117341 | 1288k| 2.9 | 99M| 54 | 7 | 60 |4522 | 60 | 18 | 19 | 228k|2539 | 0.000000e+00 | -- | Inf
246.40/246.50 c 228s|450000 |119658 | 1317k| 2.9 | 101M| 54 | 7 | 60 |4431 | 60 | 18 | 19 | 234k|2560 | 0.000000e+00 | -- | Inf
252.40/252.51 c 233s|460000 |122087 | 1346k| 2.9 | 103M| 54 | 7 | 60 |4202 | 60 | 18 | 19 | 239k|2588 | 0.000000e+00 | -- | Inf
258.50/258.69 c 239s|470000 |124398 | 1375k| 2.9 | 105M| 54 | 7 | 60 |4229 | 60 | 18 | 19 | 244k|2616 | 0.000000e+00 | -- | Inf
264.50/264.64 c 245s|480000 |126761 | 1403k| 2.9 | 107M| 54 | 7 | 60 |4325 | 60 | 18 | 19 | 250k|2639 | 0.000000e+00 | -- | Inf
270.40/270.58 c 250s|490000 |129246 | 1432k| 2.9 | 110M| 54 | 7 | 60 |4567 | 60 | 18 | 19 | 255k|2670 | 0.000000e+00 | -- | Inf
276.49/276.62 c 256s|500000 |131466 | 1461k| 2.9 | 112M| 54 | 7 | 60 |4785 | 60 | 18 | 19 | 260k|2696 | 0.000000e+00 | -- | Inf
282.39/282.55 c 261s|510000 |133702 | 1490k| 2.9 | 114M| 54 | 7 | 60 |4881 | 60 | 18 | 19 | 266k|2714 | 0.000000e+00 | -- | Inf
288.09/288.24 c 267s|520000 |136291 | 1518k| 2.9 | 116M| 54 | 7 | 60 |6071 | 60 | 18 | 19 | 271k|2732 | 0.000000e+00 | -- | Inf
294.48/294.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
294.48/294.63 c 273s|530000 |138666 | 1547k| 2.9 | 118M| 54 | - | 60 |4681 | 60 | 18 | 19 | 277k|2747 | 0.000000e+00 | -- | Inf
300.38/300.50 c 278s|540000 |140921 | 1575k| 2.9 | 120M| 54 | - | 60 |4790 | 0 | 0 | 19 | 282k|2759 | 0.000000e+00 | -- | Inf
305.78/305.97 c 283s|550000 |143801 | 1605k| 2.9 | 123M| 54 | 7 | 60 |5883 | 60 | 18 | 19 | 287k|2782 | 0.000000e+00 | -- | Inf
312.18/312.38 c 289s|560000 |146367 | 1633k| 2.9 | 125M| 54 | - | 60 |4972 | 60 | 18 | 19 | 292k|2797 | 0.000000e+00 | -- | Inf
318.28/318.47 c 295s|570000 |148728 | 1662k| 2.9 | 127M| 54 | - | 60 |4668 | 60 | 18 | 19 | 298k|2824 | 0.000000e+00 | -- | Inf
324.57/324.71 c 301s|580000 |150906 | 1690k| 2.9 | 129M| 54 | - | 60 |4406 | 0 | 0 | 19 | 303k|2841 | 0.000000e+00 | -- | Inf
330.46/330.65 c 306s|590000 |153440 | 1718k| 2.9 | 131M| 54 | - | 60 |4370 | 0 | 0 | 19 | 308k|2862 | 0.000000e+00 | -- | Inf
336.57/336.76 c 312s|600000 |155677 | 1746k| 2.9 | 133M| 54 | - | 60 |4568 | 60 | 18 | 19 | 314k|2881 | 0.000000e+00 | -- | Inf
342.56/342.72 c 317s|610000 |158084 | 1774k| 2.9 | 135M| 54 | - | 60 |4453 | 60 | 18 | 19 | 319k|2894 | 0.000000e+00 | -- | Inf
348.76/348.95 c 323s|620000 |160409 | 1802k| 2.9 | 137M| 54 | 7 | 60 |4450 | 60 | 18 | 19 | 325k|2909 | 0.000000e+00 | -- | Inf
354.36/354.52 c 328s|630000 |162971 | 1832k| 2.9 | 140M| 54 | - | 60 |5442 | 60 | 18 | 19 | 330k|2922 | 0.000000e+00 | -- | Inf
360.56/360.78 c 334s|640000 |165239 | 1861k| 2.9 | 142M| 54 | - | 60 |5208 | 60 | 18 | 19 | 335k|2936 | 0.000000e+00 | -- | Inf
366.75/366.90 c 340s|650000 |167950 | 1889k| 2.9 | 144M| 54 | 7 | 60 |5319 | 60 | 18 | 19 | 340k|2956 | 0.000000e+00 | -- | Inf
372.46/372.69 c 345s|660000 |170368 | 1917k| 2.9 | 146M| 54 | 7 | 60 |6419 | 60 | 18 | 19 | 346k|2975 | 0.000000e+00 | -- | Inf
379.05/379.25 c 351s|670000 |172907 | 1945k| 2.9 | 148M| 54 | 7 | 60 |5533 | 60 | 18 | 19 | 351k|2989 | 0.000000e+00 | -- | Inf
384.54/384.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.54/384.74 c 356s|680000 |175934 | 1974k| 2.9 | 151M| 54 | 7 | 60 |6485 | 60 | 18 | 19 | 356k|3007 | 0.000000e+00 | -- | Inf
390.85/391.03 c 362s|690000 |178620 | 2002k| 2.9 | 153M| 54 | 7 | 60 |5879 | 60 | 18 | 19 | 361k|3025 | 0.000000e+00 | -- | Inf
396.65/396.82 c 368s|700000 |181625 | 2031k| 2.9 | 155M| 54 | - | 60 |7035 | 60 | 18 | 19 | 366k|3044 | 0.000000e+00 | -- | Inf
402.35/402.58 c 373s|710000 |184589 | 2060k| 2.9 | 158M| 54 | 7 | 60 |7476 | 60 | 18 | 19 | 371k|3063 | 0.000000e+00 | -- | Inf
408.64/408.87 c 379s|720000 |187188 | 2088k| 2.9 | 160M| 54 | - | 60 |7163 | 60 | 18 | 19 | 376k|3083 | 0.000000e+00 | -- | Inf
414.94/415.15 c 385s|730000 |189499 | 2116k| 2.9 | 162M| 54 | 7 | 60 |7771 | 60 | 18 | 19 | 381k|3107 | 0.000000e+00 | -- | Inf
421.44/421.61 c 391s|740000 |192135 | 2144k| 2.9 | 164M| 54 | 7 | 60 |7384 | 60 | 18 | 19 | 386k|3125 | 0.000000e+00 | -- | Inf
428.24/428.40 c 397s|750000 |194570 | 2172k| 2.9 | 166M| 54 | 7 | 60 |5529 | 60 | 18 | 19 | 391k|3143 | 0.000000e+00 | -- | Inf
433.83/434.01 c 402s|760000 |197712 | 2201k| 2.9 | 168M| 54 | 7 | 60 |6230 | 60 | 18 | 19 | 396k|3162 | 0.000000e+00 | -- | Inf
439.83/440.09 c 408s|770000 |200310 | 2227k| 2.9 | 171M| 54 | - | 60 |6503 | 60 | 18 | 19 | 401k|3175 | 0.000000e+00 | -- | Inf
446.43/446.68 c 414s|780000 |202720 | 2255k| 2.9 | 173M| 54 | 7 | 60 |5879 | 60 | 18 | 19 | 406k|3194 | 0.000000e+00 | -- | Inf
453.12/453.37 c 420s|790000 |204971 | 2284k| 2.9 | 174M| 54 | 7 | 60 |5090 | 60 | 18 | 19 | 412k|3208 | 0.000000e+00 | -- | Inf
459.42/459.60 c 426s|800000 |207183 | 2312k| 2.9 | 177M| 54 | - | 60 |4930 | 60 | 18 | 19 | 417k|3218 | 0.000000e+00 | -- | Inf
465.92/466.19 c 432s|810000 |209286 | 2340k| 2.9 | 179M| 54 | - | 60 |4502 | 60 | 18 | 19 | 422k|3229 | 0.000000e+00 | -- | Inf
472.42/472.67 c 439s|820000 |211371 | 2368k| 2.9 | 180M| 54 | 7 | 60 |4236 | 60 | 18 | 19 | 428k|3245 | 0.000000e+00 | -- | Inf
478.62/478.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.62/478.84 c 444s|830000 |213627 | 2397k| 2.9 | 183M| 54 | 7 | 60 |4854 | 60 | 18 | 19 | 433k|3262 | 0.000000e+00 | -- | Inf
484.42/484.61 c 450s|840000 |216364 | 2425k| 2.9 | 185M| 54 | 7 | 60 |6114 | 60 | 18 | 19 | 438k|3277 | 0.000000e+00 | -- | Inf
491.11/491.35 c 456s|850000 |218713 | 2453k| 2.9 | 187M| 54 | 7 | 60 |4978 | 60 | 18 | 19 | 444k|3294 | 0.000000e+00 | -- | Inf
497.61/497.82 c 462s|860000 |220900 | 2481k| 2.9 | 189M| 54 | 7 | 60 |4890 | 60 | 18 | 19 | 449k|3310 | 0.000000e+00 | -- | Inf
503.31/503.51 c 467s|870000 |223606 | 2510k| 2.9 | 191M| 54 | 7 | 60 |5379 | 60 | 18 | 19 | 454k|3325 | 0.000000e+00 | -- | Inf
508.91/509.13 c 473s|880000 |226544 | 2539k| 2.9 | 194M| 54 | 7 | 60 |6677 | 60 | 18 | 19 | 459k|3331 | 0.000000e+00 | -- | Inf
514.61/514.88 c 478s|890000 |229636 | 2567k| 2.9 | 196M| 54 | 7 | 60 |7019 | 60 | 18 | 19 | 464k|3349 | 0.000000e+00 | -- | Inf
520.70/520.91 c 484s|900000 |232522 | 2596k| 2.9 | 199M| 54 | - | 60 |6840 | 60 | 18 | 19 | 469k|3359 | 0.000000e+00 | -- | Inf
526.70/526.94 c 489s|910000 |235338 | 2624k| 2.9 | 201M| 54 | 7 | 60 |7009 | 60 | 18 | 19 | 474k|3374 | 0.000000e+00 | -- | Inf
532.80/533.00 c 495s|920000 |238193 | 2652k| 2.9 | 203M| 54 | - | 60 |7451 | 60 | 18 | 19 | 479k|3386 | 0.000000e+00 | -- | Inf
539.79/540.05 c 501s|930000 |240544 | 2680k| 2.9 | 205M| 54 | - | 60 |5842 | 60 | 18 | 19 | 484k|3398 | 0.000000e+00 | -- | Inf
546.50/546.73 c 508s|940000 |242749 | 2708k| 2.9 | 207M| 54 | - | 60 |5160 | 60 | 18 | 19 | 489k|3407 | 0.000000e+00 | -- | Inf
552.79/553.00 c 514s|950000 |245139 | 2737k| 2.9 | 209M| 54 | 7 | 60 |5284 | 60 | 18 | 19 | 495k|3419 | 0.000000e+00 | -- | Inf
559.19/559.49 c 520s|960000 |247355 | 2765k| 2.9 | 211M| 54 | - | 60 |5109 | 60 | 18 | 19 | 500k|3433 | 0.000000e+00 | -- | Inf
565.99/566.29 c 526s|970000 |249494 | 2794k| 2.9 | 213M| 54 | 7 | 60 |4642 | 60 | 18 | 19 | 505k|3450 | 0.000000e+00 | -- | Inf
572.29/572.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
572.29/572.55 c 532s|980000 |251695 | 2822k| 2.9 | 215M| 54 | - | 60 |5123 | 60 | 18 | 19 | 511k|3467 | 0.000000e+00 | -- | Inf
578.78/579.05 c 538s|990000 |254176 | 2850k| 2.9 | 217M| 54 | 7 | 60 |5016 | 60 | 18 | 19 | 516k|3477 | 0.000000e+00 | -- | Inf
585.38/585.64 c 544s| 1000k|256385 | 2879k| 2.9 | 220M| 54 | 7 | 60 |5142 | 60 | 18 | 19 | 522k|3493 | 0.000000e+00 | -- | Inf
592.08/592.34 c 550s| 1010k|258675 | 2907k| 2.9 | 222M| 54 | 7 | 60 |5202 | 60 | 18 | 19 | 527k|3503 | 0.000000e+00 | -- | Inf
598.47/598.78 c 556s| 1020k|261005 | 2935k| 2.9 | 224M| 54 | 7 | 60 |5437 | 60 | 18 | 19 | 532k|3520 | 0.000000e+00 | -- | Inf
604.37/604.62 c 562s| 1030k|263678 | 2965k| 2.9 | 226M| 54 | - | 60 |6747 | 60 | 18 | 19 | 538k|3535 | 0.000000e+00 | -- | Inf
611.77/612.04 c 569s| 1040k|265745 | 2994k| 2.9 | 228M| 54 | 7 | 60 |4774 | 60 | 18 | 19 | 543k|3549 | 0.000000e+00 | -- | Inf
617.97/618.29 c 575s| 1050k|268224 | 3023k| 2.9 | 230M| 54 | 7 | 60 |5358 | 60 | 18 | 19 | 548k|3572 | 0.000000e+00 | -- | Inf
624.66/624.94 c 581s| 1060k|270537 | 3051k| 2.9 | 232M| 54 | 7 | 60 |5212 | 60 | 18 | 19 | 554k|3586 | 0.000000e+00 | -- | Inf
631.16/631.48 c 587s| 1070k|272749 | 3079k| 2.9 | 234M| 54 | - | 60 |5097 | 60 | 18 | 19 | 559k|3593 | 0.000000e+00 | -- | Inf
637.35/637.61 c 593s| 1080k|275166 | 3107k| 2.9 | 237M| 54 | 7 | 60 |5862 | 60 | 18 | 19 | 564k|3606 | 0.000000e+00 | -- | Inf
643.85/644.13 c 599s| 1090k|277574 | 3135k| 2.9 | 239M| 54 | 7 | 60 |5719 | 60 | 18 | 19 | 570k|3613 | 0.000000e+00 | -- | Inf
650.55/650.81 c 605s| 1100k|279902 | 3163k| 2.9 | 241M| 54 | 7 | 60 |4813 | 60 | 18 | 19 | 575k|3623 | 0.000000e+00 | -- | Inf
656.85/657.17 c 611s| 1110k|282193 | 3190k| 2.9 | 243M| 54 | 7 | 60 |4989 | 60 | 18 | 19 | 580k|3632 | 0.000000e+00 | -- | Inf
663.45/663.70 c 617s| 1120k|284453 | 3218k| 2.9 | 245M| 54 | 7 | 60 |4966 | 60 | 18 | 19 | 586k|3639 | 0.000000e+00 | -- | Inf
670.05/670.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.05/670.30 c 623s| 1130k|286584 | 3246k| 2.9 | 247M| 54 | 7 | 60 |5171 | 60 | 18 | 19 | 591k|3651 | 0.000000e+00 | -- | Inf
676.45/676.71 c 629s| 1140k|289019 | 3274k| 2.9 | 249M| 54 | 7 | 60 |5647 | 60 | 18 | 19 | 596k|3666 | 0.000000e+00 | -- | Inf
683.04/683.30 c 636s| 1150k|291125 | 3302k| 2.9 | 252M| 54 | 7 | 60 |5910 | 60 | 18 | 19 | 602k|3679 | 0.000000e+00 | -- | Inf
689.23/689.59 c 641s| 1160k|293553 | 3330k| 2.9 | 254M| 54 | 7 | 60 |6525 | 60 | 18 | 19 | 607k|3695 | 0.000000e+00 | -- | Inf
695.43/695.75 c 647s| 1170k|296377 | 3357k| 2.9 | 256M| 54 | - | 60 |7088 | 60 | 18 | 19 | 612k|3704 | 0.000000e+00 | -- | Inf
702.43/702.72 c 654s| 1180k|298699 | 3386k| 2.9 | 258M| 54 | 7 | 60 |6314 | 60 | 18 | 19 | 617k|3712 | 0.000000e+00 | -- | Inf
709.53/709.81 c 660s| 1190k|300909 | 3414k| 2.9 | 260M| 54 | 7 | 60 |5034 | 60 | 18 | 19 | 622k|3721 | 0.000000e+00 | -- | Inf
715.12/715.49 c 666s| 1200k|303776 | 3442k| 2.9 | 262M| 54 | 7 | 60 |6242 | 60 | 18 | 19 | 627k|3732 | 0.000000e+00 | -- | Inf
721.73/722.06 c 672s| 1210k|306306 | 3470k| 2.9 | 264M| 54 | - | 60 |5873 | 60 | 18 | 19 | 632k|3742 | 0.000000e+00 | -- | Inf
728.52/728.80 c 678s| 1220k|308585 | 3499k| 2.9 | 266M| 54 | 7 | 60 |5667 | 60 | 18 | 19 | 638k|3751 | 0.000000e+00 | -- | Inf
735.53/735.85 c 685s| 1230k|310733 | 3527k| 2.9 | 268M| 54 | 7 | 60 |5109 | 60 | 18 | 19 | 643k|3763 | 0.000000e+00 | -- | Inf
741.62/741.93 c 691s| 1240k|313133 | 3556k| 2.9 | 271M| 54 | - | 60 |5663 | 60 | 18 | 19 | 648k|3778 | 0.000000e+00 | -- | Inf
747.51/747.80 c 696s| 1250k|315890 | 3585k| 2.9 | 273M| 54 | 7 | 60 |6336 | 60 | 18 | 19 | 653k|3793 | 0.000000e+00 | -- | Inf
754.02/754.31 c 702s| 1260k|318755 | 3613k| 2.9 | 275M| 54 | 7 | 60 |5943 | 60 | 18 | 19 | 658k|3809 | 0.000000e+00 | -- | Inf
760.42/760.79 c 708s| 1270k|321204 | 3641k| 2.9 | 277M| 54 | 7 | 60 |5729 | 60 | 18 | 19 | 664k|3827 | 0.000000e+00 | -- | Inf
767.11/767.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
767.11/767.46 c 714s| 1280k|323432 | 3668k| 2.9 | 279M| 54 | - | 60 |5423 | 60 | 18 | 19 | 669k|3845 | 0.000000e+00 | -- | Inf
774.21/774.52 c 721s| 1290k|325501 | 3696k| 2.9 | 281M| 54 | - | 60 |4766 | 0 | 0 | 19 | 674k|3862 | 0.000000e+00 | -- | Inf
780.61/780.96 c 727s| 1300k|327713 | 3724k| 2.9 | 283M| 54 | - | 60 |4828 | 60 | 18 | 19 | 680k|3876 | 0.000000e+00 | -- | Inf
786.30/786.62 c 732s| 1310k|330563 | 3752k| 2.9 | 286M| 54 | - | 60 |5914 | 60 | 18 | 19 | 685k|3885 | 0.000000e+00 | -- | Inf
792.90/793.24 c 739s| 1320k|332822 | 3780k| 2.9 | 288M| 54 | - | 60 |6714 | 60 | 18 | 19 | 690k|3900 | 0.000000e+00 | -- | Inf
799.90/800.25 c 745s| 1330k|335103 | 3808k| 2.9 | 290M| 54 | 7 | 60 |5414 | 60 | 18 | 19 | 696k|3918 | 0.000000e+00 | -- | Inf
806.30/806.63 c 751s| 1340k|337465 | 3836k| 2.9 | 292M| 54 | 7 | 60 |5823 | 60 | 18 | 19 | 701k|3932 | 0.000000e+00 | -- | Inf
813.19/813.55 c 758s| 1350k|339650 | 3863k| 2.9 | 294M| 54 | 7 | 60 |5505 | 60 | 18 | 19 | 706k|3943 | 0.000000e+00 | -- | Inf
819.79/820.18 c 764s| 1360k|341913 | 3891k| 2.9 | 296M| 54 | 7 | 60 |5500 | 60 | 18 | 19 | 712k|3957 | 0.000000e+00 | -- | Inf
826.58/826.97 c 770s| 1370k|343936 | 3920k| 2.9 | 298M| 54 | 7 | 60 |5812 | 60 | 18 | 19 | 717k|3973 | 0.000000e+00 | -- | Inf
833.59/833.99 c 777s| 1380k|345969 | 3948k| 2.9 | 300M| 54 | 7 | 60 |5357 | 60 | 18 | 19 | 722k|3991 | 0.000000e+00 | -- | Inf
840.29/840.67 c 783s| 1390k|348305 | 3976k| 2.9 | 302M| 54 | - | 60 |5263 | 60 | 18 | 19 | 728k|4009 | 0.000000e+00 | -- | Inf
846.98/847.32 c 789s| 1400k|350668 | 4004k| 2.9 | 304M| 54 | 7 | 60 |5040 | 60 | 18 | 19 | 733k|4021 | 0.000000e+00 | -- | Inf
853.98/854.35 c 796s| 1410k|352671 | 4032k| 2.9 | 307M| 54 | - | 60 |4953 | 60 | 18 | 19 | 739k|4036 | 0.000000e+00 | -- | Inf
860.77/861.13 c 802s| 1420k|354809 | 4060k| 2.9 | 309M| 54 | - | 60 |4733 | 60 | 18 | 19 | 744k|4050 | 0.000000e+00 | -- | Inf
867.37/867.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.37/867.72 c 808s| 1430k|357158 | 4088k| 2.9 | 311M| 54 | 7 | 60 |5124 | 60 | 18 | 19 | 749k|4059 | 0.000000e+00 | -- | Inf
874.18/874.51 c 815s| 1440k|359337 | 4116k| 2.9 | 313M| 54 | 7 | 60 |5297 | 60 | 18 | 19 | 755k|4071 | 0.000000e+00 | -- | Inf
880.26/880.64 c 820s| 1450k|361795 | 4144k| 2.9 | 315M| 54 | 7 | 60 |5994 | 60 | 18 | 19 | 760k|4083 | 0.000000e+00 | -- | Inf
887.37/887.78 c 827s| 1460k|363901 | 4172k| 2.9 | 317M| 54 | 7 | 60 |5851 | 60 | 18 | 19 | 766k|4094 | 0.000000e+00 | -- | Inf
894.06/894.45 c 833s| 1470k|366218 | 4202k| 2.9 | 319M| 54 | 7 | 60 |5919 | 60 | 18 | 19 | 771k|4113 | 0.000000e+00 | -- | Inf
900.56/900.91 c 839s| 1480k|368531 | 4230k| 2.9 | 321M| 54 | 7 | 60 |6122 | 60 | 18 | 19 | 776k|4129 | 0.000000e+00 | -- | Inf
907.35/907.77 c 846s| 1490k|370777 | 4258k| 2.9 | 323M| 54 | - | 60 |5766 | 60 | 18 | 19 | 781k|4139 | 0.000000e+00 | -- | Inf
913.66/914.00 c 852s| 1500k|373385 | 4286k| 2.9 | 326M| 54 | 7 | 60 |6364 | 60 | 18 | 19 | 786k|4153 | 0.000000e+00 | -- | Inf
919.95/920.38 c 858s| 1510k|376186 | 4314k| 2.9 | 328M| 54 | 7 | 60 |6290 | 60 | 18 | 19 | 791k|4166 | 0.000000e+00 | -- | Inf
926.75/927.16 c 864s| 1520k|378555 | 4342k| 2.9 | 330M| 54 | - | 60 |5887 | 60 | 18 | 19 | 797k|4177 | 0.000000e+00 | -- | Inf
934.04/934.48 c 871s| 1530k|380708 | 4370k| 2.9 | 332M| 54 | - | 60 |5155 | 60 | 18 | 19 | 802k|4190 | 0.000000e+00 | -- | Inf
940.64/941.08 c 877s| 1540k|382880 | 4398k| 2.9 | 334M| 54 | 7 | 60 |5066 | 60 | 18 | 19 | 808k|4199 | 0.000000e+00 | -- | Inf
946.54/946.98 c 883s| 1550k|385333 | 4425k| 2.9 | 336M| 54 | 7 | 60 |6215 | 60 | 18 | 19 | 813k|4209 | 0.000000e+00 | -- | Inf
952.74/953.13 c 888s| 1560k|387778 | 4451k| 2.9 | 339M| 54 | - | 60 |7115 | 60 | 18 | 19 | 818k|4220 | 0.000000e+00 | -- | Inf
960.04/960.46 c 895s| 1570k|389888 | 4479k| 2.9 | 340M| 54 | - | 60 |6258 | 60 | 18 | 19 | 823k|4231 | 0.000000e+00 | -- | Inf
967.43/967.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.43/967.81 c 902s| 1580k|392036 | 4508k| 2.9 | 342M| 54 | 7 | 60 |5874 | 60 | 18 | 19 | 829k|4244 | 0.000000e+00 | -- | Inf
974.24/974.62 c 909s| 1590k|394209 | 4536k| 2.9 | 344M| 54 | 7 | 60 |5901 | 60 | 18 | 19 | 834k|4251 | 0.000000e+00 | -- | Inf
980.73/981.17 c 915s| 1600k|396539 | 4564k| 2.9 | 347M| 54 | 7 | 60 |6489 | 60 | 18 | 19 | 840k|4261 | 0.000000e+00 | -- | Inf
988.13/988.57 c 922s| 1610k|398618 | 4592k| 2.9 | 349M| 54 | - | 60 |5763 | 60 | 18 | 19 | 845k|4272 | 0.000000e+00 | -- | Inf
993.93/994.40 c 927s| 1620k|401458 | 4620k| 2.9 | 351M| 54 | 7 | 60 |7108 | 60 | 18 | 19 | 850k|4276 | 0.000000e+00 | -- | Inf
1000.42/1000.87 c 933s| 1630k|403994 | 4647k| 2.9 | 353M| 54 | 7 | 60 |7104 | 60 | 18 | 19 | 856k|4281 | 0.000000e+00 | -- | Inf
1007.62/1008.03 c 940s| 1640k|406089 | 4675k| 2.9 | 355M| 54 | - | 60 |6507 | 60 | 18 | 19 | 861k|4283 | 0.000000e+00 | -- | Inf
1014.62/1015.01 c 947s| 1650k|408482 | 4702k| 2.9 | 357M| 54 | 7 | 60 |6398 | 60 | 18 | 19 | 867k|4290 | 0.000000e+00 | -- | Inf
1020.92/1021.39 c 952s| 1660k|411050 | 4729k| 2.8 | 360M| 54 | 7 | 60 |7154 | 60 | 18 | 19 | 872k|4291 | 0.000000e+00 | -- | Inf
1027.92/1028.34 c 959s| 1670k|413648 | 4757k| 2.8 | 362M| 54 | 7 | 60 |6715 | 60 | 18 | 19 | 877k|4296 | 0.000000e+00 | -- | Inf
1034.81/1035.20 c 965s| 1680k|415863 | 4785k| 2.8 | 364M| 54 | 7 | 60 |6834 | 60 | 18 | 19 | 882k|4301 | 0.000000e+00 | -- | Inf
1042.01/1042.45 c 972s| 1690k|418234 | 4814k| 2.8 | 366M| 54 | 7 | 60 |6212 | 60 | 18 | 19 | 887k|4309 | 0.000000e+00 | -- | Inf
1048.71/1049.13 c 979s| 1700k|420571 | 4841k| 2.8 | 368M| 54 | 7 | 60 |6577 | 60 | 18 | 19 | 893k|4315 | 0.000000e+00 | -- | Inf
1055.90/1056.35 c 985s| 1710k|422857 | 4870k| 2.8 | 370M| 54 | 7 | 60 |5743 | 60 | 18 | 19 | 898k|4317 | 0.000000e+00 | -- | Inf
1062.70/1063.12 c 992s| 1720k|425040 | 4897k| 2.8 | 372M| 54 | - | 60 |6400 | 60 | 18 | 19 | 903k|4322 | 0.000000e+00 | -- | Inf
1069.80/1070.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.80/1070.24 c 998s| 1730k|427188 | 4925k| 2.8 | 374M| 54 | 7 | 60 |5376 | 60 | 18 | 19 | 909k|4327 | 0.000000e+00 | -- | Inf
1076.80/1077.26 c 1005s| 1740k|429309 | 4954k| 2.8 | 376M| 54 | 7 | 60 |5615 | 60 | 18 | 19 | 914k|4333 | 0.000000e+00 | -- | Inf
1082.80/1083.22 c 1011s| 1750k|432246 | 4981k| 2.8 | 379M| 54 | - | 60 |6246 | 60 | 18 | 19 | 919k|4340 | 0.000000e+00 | -- | Inf
1089.49/1089.91 c 1017s| 1760k|434556 | 5009k| 2.8 | 381M| 54 | - | 60 |6419 | 60 | 18 | 19 | 924k|4343 | 0.000000e+00 | -- | Inf
1096.79/1097.29 c 1024s| 1770k|436554 | 5037k| 2.8 | 383M| 54 | 7 | 60 |5258 | 60 | 18 | 19 | 930k|4347 | 0.000000e+00 | -- | Inf
1103.79/1104.22 c 1030s| 1780k|438793 | 5065k| 2.8 | 385M| 54 | 7 | 60 |5237 | 60 | 18 | 19 | 935k|4349 | 0.000000e+00 | -- | Inf
1110.48/1110.96 c 1037s| 1790k|440850 | 5092k| 2.8 | 387M| 54 | - | 60 |5623 | 60 | 18 | 19 | 940k|4359 | 0.000000e+00 | -- | Inf
1117.38/1117.82 c 1043s| 1800k|443031 | 5120k| 2.8 | 389M| 54 | - | 60 |5328 | 60 | 18 | 19 | 946k|4369 | 0.000000e+00 | -- | Inf
1124.48/1124.90 c 1050s| 1810k|444986 | 5149k| 2.8 | 391M| 54 | 7 | 60 |5258 | 60 | 18 | 19 | 951k|4374 | 0.000000e+00 | -- | Inf
1131.27/1131.77 c 1056s| 1820k|447095 | 5177k| 2.8 | 393M| 54 | 7 | 60 |5437 | 60 | 18 | 19 | 957k|4380 | 0.000000e+00 | -- | Inf
1138.27/1138.76 c 1063s| 1830k|449089 | 5205k| 2.8 | 395M| 54 | 7 | 60 |5591 | 60 | 18 | 19 | 962k|4386 | 0.000000e+00 | -- | Inf
1145.38/1145.82 c 1069s| 1840k|451128 | 5234k| 2.8 | 397M| 54 | 7 | 60 |5592 | 60 | 18 | 19 | 968k|4393 | 0.000000e+00 | -- | Inf
1152.07/1152.57 c 1076s| 1850k|453349 | 5261k| 2.8 | 399M| 54 | 7 | 60 |6028 | 60 | 18 | 19 | 973k|4399 | 0.000000e+00 | -- | Inf
1159.36/1159.80 c 1083s| 1860k|455391 | 5289k| 2.8 | 401M| 54 | - | 60 |6055 | 60 | 18 | 19 | 979k|4403 | 0.000000e+00 | -- | Inf
1165.26/1165.77 c 1088s| 1870k|458426 | 5318k| 2.8 | 404M| 54 | 7 | 60 |7605 | 60 | 18 | 19 | 984k|4405 | 0.000000e+00 | -- | Inf
1172.46/1172.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.46/1172.95 c 1095s| 1880k|460704 | 5345k| 2.8 | 406M| 54 | 7 | 60 |6760 | 60 | 18 | 19 | 989k|4406 | 0.000000e+00 | -- | Inf
1180.06/1180.59 c 1102s| 1890k|462754 | 5373k| 2.8 | 408M| 54 | 7 | 60 |6004 | 60 | 18 | 19 | 994k|4408 | 0.000000e+00 | -- | Inf
1186.55/1187.01 c 1108s| 1900k|465196 | 5400k| 2.8 | 410M| 54 | 7 | 60 |6879 | 60 | 18 | 19 | 999k|4411 | 0.000000e+00 | -- | Inf
1193.75/1194.24 c 1115s| 1910k|467297 | 5427k| 2.8 | 412M| 54 | 7 | 60 |6253 | 60 | 18 | 19 |1005k|4412 | 0.000000e+00 | -- | Inf
1200.45/1200.97 c 1121s| 1920k|469684 | 5455k| 2.8 | 414M| 54 | - | 60 |6570 | 60 | 18 | 19 |1010k|4419 | 0.000000e+00 | -- | Inf
1207.25/1207.74 c 1128s| 1930k|471941 | 5482k| 2.8 | 416M| 54 | 7 | 60 |6585 | 60 | 18 | 19 |1015k|4419 | 0.000000e+00 | -- | Inf
1214.75/1215.26 c 1135s| 1940k|473889 | 5509k| 2.8 | 418M| 54 | 7 | 60 |5602 | 60 | 18 | 19 |1021k|4424 | 0.000000e+00 | -- | Inf
1221.14/1221.68 c 1141s| 1950k|476316 | 5536k| 2.8 | 420M| 54 | 7 | 60 |6018 | 60 | 18 | 19 |1026k|4429 | 0.000000e+00 | -- | Inf
1228.25/1228.71 c 1147s| 1960k|478690 | 5563k| 2.8 | 422M| 54 | 7 | 60 |5292 | 60 | 18 | 19 |1031k|4440 | 0.000000e+00 | -- | Inf
1234.74/1235.27 c 1154s| 1970k|481084 | 5591k| 2.8 | 424M| 54 | - | 60 |6516 | 60 | 18 | 19 |1036k|4453 | 0.000000e+00 | -- | Inf
1241.24/1241.70 c 1160s| 1980k|483512 | 5619k| 2.8 | 427M| 54 | 7 | 60 |6716 | 60 | 18 | 19 |1042k|4463 | 0.000000e+00 | -- | Inf
1248.04/1248.59 c 1166s| 1990k|485771 | 5646k| 2.8 | 429M| 54 | 7 | 60 |6866 | 60 | 18 | 19 |1047k|4470 | 0.000000e+00 | -- | Inf
1255.74/1256.22 c 1173s| 2000k|487915 | 5674k| 2.8 | 431M| 54 | 7 | 60 |6546 | 60 | 18 | 19 |1053k|4476 | 0.000000e+00 | -- | Inf
1262.82/1263.36 c 1180s| 2010k|490070 | 5702k| 2.8 | 433M| 54 | 7 | 60 |6361 | 60 | 18 | 19 |1058k|4484 | 0.000000e+00 | -- | Inf
1270.04/1270.56 c 1187s| 2020k|492199 | 5730k| 2.8 | 435M| 54 | 7 | 60 |6611 | 60 | 18 | 19 |1063k|4494 | 0.000000e+00 | -- | Inf
1277.52/1278.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.52/1278.07 c 1194s| 2030k|494434 | 5758k| 2.8 | 437M| 54 | 7 | 60 |5639 | 60 | 18 | 19 |1069k|4504 | 0.000000e+00 | -- | Inf
1283.52/1284.05 c 1199s| 2040k|497229 | 5786k| 2.8 | 439M| 54 | 7 | 60 |6759 | 60 | 18 | 19 |1074k|4508 | 0.000000e+00 | -- | Inf
1290.11/1290.67 c 1206s| 2050k|499740 | 5813k| 2.8 | 441M| 54 | 7 | 60 |6981 | 60 | 18 | 19 |1079k|4515 | 0.000000e+00 | -- | Inf
1297.42/1297.94 c 1212s| 2060k|502059 | 5841k| 2.8 | 443M| 54 | 7 | 60 |6323 | 60 | 18 | 19 |1084k|4529 | 0.000000e+00 | -- | Inf
1304.71/1305.26 c 1219s| 2070k|504088 | 5869k| 2.8 | 446M| 54 | 7 | 60 |6984 | 60 | 18 | 19 |1089k|4538 | 0.000000e+00 | -- | Inf
1310.72/1311.28 c 1225s| 2080k|506541 | 5897k| 2.8 | 448M| 54 | - | 60 |9255 | 60 | 18 | 19 |1095k|4552 | 0.000000e+00 | -- | Inf
1318.61/1319.14 c 1232s| 2090k|508545 | 5925k| 2.8 | 450M| 54 | 7 | 60 |7214 | 60 | 18 | 19 |1100k|4560 | 0.000000e+00 | -- | Inf
1325.90/1326.47 c 1239s| 2100k|510714 | 5953k| 2.8 | 452M| 54 | 7 | 60 |7007 | 60 | 18 | 19 |1106k|4567 | 0.000000e+00 | -- | Inf
1333.71/1334.24 c 1247s| 2110k|512781 | 5981k| 2.8 | 454M| 54 | - | 60 |6608 | 60 | 18 | 19 |1111k|4574 | 0.000000e+00 | -- | Inf
1339.90/1340.46 c 1252s| 2120k|515641 | 6010k| 2.8 | 456M| 54 | - | 60 |7440 | 60 | 18 | 19 |1116k|4582 | 0.000000e+00 | -- | Inf
1346.80/1347.39 c 1259s| 2130k|517814 | 6037k| 2.8 | 458M| 54 | 7 | 60 |7247 | 60 | 18 | 19 |1122k|4593 | 0.000000e+00 | -- | Inf
1354.39/1354.96 c 1266s| 2140k|519882 | 6066k| 2.8 | 460M| 54 | 7 | 60 |6590 | 60 | 18 | 19 |1127k|4602 | 0.000000e+00 | -- | Inf
1361.20/1361.75 c 1272s| 2150k|522328 | 6094k| 2.8 | 462M| 54 | 7 | 60 |7161 | 60 | 18 | 19 |1133k|4612 | 0.000000e+00 | -- | Inf
1368.80/1369.34 c 1280s| 2160k|524515 | 6123k| 2.8 | 464M| 54 | 7 | 60 |5964 | 60 | 18 | 19 |1138k|4626 | 0.000000e+00 | -- | Inf
1375.99/1376.52 c 1286s| 2170k|526670 | 6150k| 2.8 | 466M| 54 | 7 | 60 |5808 | 60 | 18 | 19 |1143k|4634 | 0.000000e+00 | -- | Inf
1382.20/1382.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.20/1382.72 c 1292s| 2180k|529118 | 6177k| 2.8 | 468M| 54 | 7 | 60 |6915 | 60 | 18 | 19 |1149k|4645 | 0.000000e+00 | -- | Inf
1389.38/1389.99 c 1299s| 2190k|531054 | 6204k| 2.8 | 470M| 54 | 7 | 60 |6470 | 60 | 18 | 19 |1154k|4653 | 0.000000e+00 | -- | Inf
1396.88/1397.41 c 1306s| 2200k|532994 | 6232k| 2.8 | 472M| 54 | - | 60 |6169 | 0 | 0 | 19 |1160k|4666 | 0.000000e+00 | -- | Inf
1404.08/1404.67 c 1313s| 2210k|535055 | 6261k| 2.8 | 474M| 54 | 7 | 60 |5970 | 60 | 18 | 19 |1165k|4675 | 0.000000e+00 | -- | Inf
1411.17/1411.73 c 1320s| 2220k|537201 | 6289k| 2.8 | 477M| 54 | 7 | 60 |6675 | 60 | 18 | 19 |1171k|4683 | 0.000000e+00 | -- | Inf
1418.28/1418.84 c 1326s| 2230k|539467 | 6317k| 2.8 | 479M| 54 | - | 60 |7118 | 60 | 18 | 19 |1176k|4691 | 0.000000e+00 | -- | Inf
1424.97/1425.56 c 1333s| 2240k|541715 | 6346k| 2.8 | 481M| 54 | 7 | 60 |8169 | 60 | 18 | 19 |1181k|4698 | 0.000000e+00 | -- | Inf
1432.17/1432.74 c 1339s| 2250k|544049 | 6374k| 2.8 | 483M| 54 | - | 60 |7717 | 60 | 18 | 19 |1187k|4706 | 0.000000e+00 | -- | Inf
1440.37/1440.98 c 1347s| 2260k|545973 | 6402k| 2.8 | 485M| 54 | - | 60 |6429 | 60 | 18 | 19 |1192k|4713 | 0.000000e+00 | -- | Inf
1447.27/1447.82 c 1354s| 2270k|548427 | 6432k| 2.8 | 487M| 54 | - | 60 |6868 | 0 | 0 | 19 |1198k|4726 | 0.000000e+00 | -- | Inf
1453.56/1454.19 c 1360s| 2280k|550814 | 6459k| 2.8 | 489M| 54 | 7 | 60 |7755 | 60 | 18 | 19 |1203k|4730 | 0.000000e+00 | -- | Inf
1461.86/1462.48 c 1367s| 2290k|552643 | 6487k| 2.8 | 491M| 54 | 7 | 60 |6039 | 60 | 18 | 19 |1209k|4737 | 0.000000e+00 | -- | Inf
1469.06/1469.69 c 1374s| 2300k|554956 | 6514k| 2.8 | 493M| 54 | 7 | 60 |6034 | 60 | 18 | 19 |1214k|4743 | 0.000000e+00 | -- | Inf
1476.15/1476.70 c 1381s| 2310k|557339 | 6543k| 2.8 | 495M| 54 | 7 | 60 |7020 | 60 | 18 | 19 |1219k|4748 | 0.000000e+00 | -- | Inf
1483.75/1484.35 c 1388s| 2320k|559403 | 6572k| 2.8 | 497M| 54 | 7 | 60 |6614 | 60 | 18 | 19 |1225k|4754 | 0.000000e+00 | -- | Inf
1491.05/1491.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.05/1491.61 c 1395s| 2330k|561501 | 6600k| 2.8 | 499M| 54 | 7 | 60 |6303 | 60 | 18 | 19 |1230k|4763 | 0.000000e+00 | -- | Inf
1498.34/1498.91 c 1402s| 2340k|563615 | 6627k| 2.8 | 501M| 54 | 7 | 60 |6300 | 60 | 18 | 19 |1236k|4769 | 0.000000e+00 | -- | Inf
1506.04/1506.69 c 1409s| 2350k|565612 | 6655k| 2.8 | 503M| 54 | - | 60 |6034 | 0 | 0 | 19 |1241k|4779 | 0.000000e+00 | -- | Inf
1513.14/1513.76 c 1416s| 2360k|567667 | 6683k| 2.8 | 505M| 54 | 7 | 60 |6159 | 60 | 18 | 19 |1247k|4792 | 0.000000e+00 | -- | Inf
1519.73/1520.30 c 1422s| 2370k|570131 | 6712k| 2.8 | 508M| 54 | 7 | 60 |7191 | 60 | 18 | 19 |1252k|4802 | 0.000000e+00 | -- | Inf
1527.03/1527.64 c 1429s| 2380k|572318 | 6740k| 2.8 | 510M| 54 | 7 | 60 |6805 | 60 | 18 | 19 |1257k|4810 | 0.000000e+00 | -- | Inf
1534.22/1534.89 c 1436s| 2390k|574684 | 6768k| 2.8 | 512M| 54 | 7 | 60 |6864 | 60 | 18 | 19 |1262k|4818 | 0.000000e+00 | -- | Inf
1542.12/1542.74 c 1443s| 2400k|576637 | 6796k| 2.8 | 514M| 54 | - | 60 |6862 | 60 | 18 | 19 |1268k|4829 | 0.000000e+00 | -- | Inf
1548.62/1549.28 c 1449s| 2410k|579422 | 6823k| 2.8 | 516M| 54 | 7 | 60 |7608 | 60 | 18 | 19 |1273k|4838 | 0.000000e+00 | -- | Inf
1557.12/1557.76 c 1457s| 2420k|581324 | 6851k| 2.8 | 518M| 54 | 7 | 60 |5569 | 60 | 18 | 19 |1278k|4847 | 0.000000e+00 | -- | Inf
1564.32/1564.94 c 1464s| 2430k|583474 | 6879k| 2.8 | 520M| 54 | 7 | 60 |5893 | 60 | 18 | 19 |1284k|4859 | 0.000000e+00 | -- | Inf
1571.22/1571.87 c 1471s| 2440k|585684 | 6907k| 2.8 | 522M| 54 | - | 60 |6396 | 60 | 18 | 19 |1289k|4868 | 0.000000e+00 | -- | Inf
1579.41/1580.01 c 1478s| 2450k|587592 | 6935k| 2.8 | 524M| 54 | - | 60 |6374 | 60 | 18 | 19 |1295k|4877 | 0.000000e+00 | -- | Inf
1587.21/1587.80 c 1486s| 2460k|589550 | 6963k| 2.8 | 526M| 54 | - | 60 |6161 | 60 | 18 | 19 |1301k|4888 | 0.000000e+00 | -- | Inf
1593.51/1594.10 c 1492s| 2470k|592415 | 6991k| 2.8 | 528M| 54 | - | 60 |7157 | 60 | 18 | 19 |1305k|4897 | 0.000000e+00 | -- | Inf
1601.01/1601.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.01/1601.65 c 1499s| 2480k|594342 | 7019k| 2.8 | 530M| 54 | 7 | 60 |6764 | 60 | 18 | 19 |1311k|4910 | 0.000000e+00 | -- | Inf
1608.70/1609.38 c 1506s| 2490k|596378 | 7046k| 2.8 | 532M| 54 | 7 | 60 |6365 | 60 | 18 | 19 |1316k|4921 | 0.000000e+00 | -- | Inf
1615.20/1615.85 c 1512s| 2500k|598757 | 7074k| 2.8 | 535M| 54 | 7 | 60 |7695 | 60 | 18 | 19 |1322k|4927 | 0.000000e+00 | -- | Inf
1621.40/1622.08 c 1518s| 2510k|601095 | 7102k| 2.8 | 537M| 54 | 7 | 60 |8251 | 60 | 18 | 19 |1327k|4937 | 0.000000e+00 | -- | Inf
1629.39/1630.07 c 1525s| 2520k|603252 | 7129k| 2.8 | 539M| 54 | 7 | 60 |7082 | 60 | 18 | 19 |1332k|4949 | 0.000000e+00 | -- | Inf
1636.69/1637.35 c 1532s| 2530k|605415 | 7157k| 2.8 | 541M| 54 | - | 60 |7173 | 60 | 18 | 19 |1338k|4960 | 0.000000e+00 | -- | Inf
1644.09/1644.70 c 1539s| 2540k|607493 | 7184k| 2.8 | 543M| 54 | 7 | 60 |7174 | 60 | 18 | 19 |1343k|4966 | 0.000000e+00 | -- | Inf
1652.08/1652.72 c 1547s| 2550k|609490 | 7212k| 2.8 | 545M| 54 | 7 | 60 |6810 | 60 | 18 | 19 |1349k|4979 | 0.000000e+00 | -- | Inf
1659.98/1660.60 c 1554s| 2560k|611491 | 7239k| 2.8 | 547M| 54 | 7 | 60 |6378 | 60 | 18 | 19 |1354k|4989 | 0.000000e+00 | -- | Inf
1666.68/1667.33 c 1561s| 2570k|613890 | 7267k| 2.8 | 549M| 54 | - | 60 |6764 | 0 | 0 | 19 |1360k|4999 | 0.000000e+00 | -- | Inf
1674.18/1674.89 c 1568s| 2580k|616027 | 7296k| 2.8 | 551M| 54 | 7 | 60 |6223 | 60 | 18 | 19 |1365k|5009 | 0.000000e+00 | -- | Inf
1681.47/1682.17 c 1575s| 2590k|618099 | 7323k| 2.8 | 553M| 54 | - | 60 |6219 | 60 | 18 | 19 |1370k|5020 | 0.000000e+00 | -- | Inf
1688.87/1689.56 c 1582s| 2600k|620238 | 7351k| 2.8 | 555M| 54 | 7 | 60 |6255 | 60 | 18 | 19 |1376k|5031 | 0.000000e+00 | -- | Inf
1696.26/1696.90 c 1589s| 2610k|622188 | 7378k| 2.8 | 557M| 54 | 7 | 60 |6462 | 60 | 18 | 19 |1381k|5041 | 0.000000e+00 | -- | Inf
1703.67/1704.31 c 1596s| 2620k|624286 | 7406k| 2.8 | 559M| 54 | 7 | 60 |5944 | 60 | 18 | 19 |1387k|5053 | 0.000000e+00 | -- | Inf
1711.06/1711.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.06/1711.75 c 1603s| 2630k|626255 | 7434k| 2.8 | 561M| 54 | - | 60 |6389 | 0 | 0 | 19 |1392k|5060 | 0.000000e+00 | -- | Inf
1718.56/1719.21 c 1610s| 2640k|628281 | 7462k| 2.8 | 563M| 54 | - | 60 |6718 | 60 | 18 | 19 |1398k|5069 | 0.000000e+00 | -- | Inf
1724.76/1725.48 c 1615s| 2650k|631011 | 7489k| 2.8 | 565M| 54 | 7 | 60 |7194 | 60 | 18 | 19 |1403k|5078 | 0.000000e+00 | -- | Inf
1730.86/1731.57 c 1621s| 2660k|633554 | 7516k| 2.8 | 568M| 54 | 7 | 60 |7910 | 60 | 18 | 19 |1408k|5084 | 0.000000e+00 | -- | Inf
1739.26/1739.98 c 1629s| 2670k|635645 | 7544k| 2.8 | 569M| 54 | - | 60 |6502 | 60 | 18 | 19 |1413k|5092 | 0.000000e+00 | -- | Inf
1746.65/1747.31 c 1636s| 2680k|637840 | 7572k| 2.8 | 571M| 54 | 7 | 60 |6521 | 60 | 18 | 19 |1419k|5106 | 0.000000e+00 | -- | Inf
1753.55/1754.23 c 1643s| 2690k|640180 | 7599k| 2.8 | 573M| 54 | 7 | 60 |6531 | 60 | 18 | 19 |1424k|5114 | 0.000000e+00 | -- | Inf
1760.84/1761.54 c 1649s| 2700k|642410 | 7628k| 2.8 | 575M| 54 | - | 60 |6492 | 60 | 18 | 19 |1429k|5125 | 0.000000e+00 | -- | Inf
1768.34/1769.09 c 1657s| 2710k|644500 | 7656k| 2.8 | 577M| 54 | - | 60 |6387 | 60 | 18 | 19 |1435k|5132 | 0.000000e+00 | -- | Inf
1774.75/1775.47 c 1662s| 2720k|647265 | 7683k| 2.8 | 580M| 54 | 7 | 60 |7696 | 60 | 18 | 19 |1440k|5138 | 0.000000e+00 | -- | Inf
1782.34/1783.06 c 1670s| 2730k|649312 | 7711k| 2.8 | 582M| 54 | 7 | 60 |6866 | 60 | 18 | 19 |1445k|5144 | 0.000000e+00 | -- | Inf
1788.94/1789.70 c 1676s| 2740k|652043 | 7739k| 2.8 | 584M| 54 | 7 | 60 |7789 | 60 | 18 | 19 |1450k|5152 | 0.000000e+00 | -- | Inf
1795.43/1796.13 c 1682s| 2750k|654487 | 7765k| 2.8 | 586M| 54 | - | 60 |8220 | 60 | 18 | 19 |1455k|5157 | 0.000000e+00 | -- | Inf
1800.04/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.71 c
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time (sec) : 1686.24
1800.04/1800.71 c Solving Nodes : 2755737
1800.04/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 s UNKNOWN
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1686.24
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-2666871-1276600292.opb
1800.04/1800.71 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 15 initial, 15 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-2666871-1276600292.opb
1800.04/1800.71 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 7 initial, 9288 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.00 0 0 0 0 0 8 0 0
1800.04/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 0 - - 0 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 1719398 0 511 2013 0 0 3434048
1800.04/1800.71 c linear : 7+ 7 6804439 0 0 125742 3954683 0 0 0
1800.04/1800.71 c logicor : 0+ 0 2721486 0 0 13628 968725 0 0 0
1800.04/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 22.22 0.00 0.00 22.22 0.00
1800.04/1800.71 c linear : 346.32 0.00 346.32 0.00 0.00
1800.04/1800.71 c logicor : 351.55 0.00 351.55 0.00 0.00
1800.04/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c vbounds : 3.26 2 0 0
1800.04/1800.71 c rootredcost : 3.05 0 0 0
1800.04/1800.71 c pseudoobj : 2.81 0 0 0
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 18.90 139370 128641 471685 41.1 49 34.6 -
1800.04/1800.71 c infeasible LP : 72.39 916454 916410 2023623 29.5 11370 35.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.71 c applied globally : - - - 1153801 23.5 - - -
1800.04/1800.71 c applied locally : - - - 305195 36.6 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 5 - - 34 - (maximal pool size: 81)
1800.04/1800.71 c redcost : 4.72 1719401 0 0 0 0
1800.04/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.00 6 0 0 0 0
1800.04/1800.71 c strongcg : 0.00 6 0 0 23 0
1800.04/1800.71 c cmir : 0.05 6 0 0 40 0
1800.04/1800.71 c flowcover : 0.01 6 0 0 48 0
1800.04/1800.71 c clique : 0.00 1 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 1 0 0 0 0
1800.04/1800.71 c rapidlearning : 0.11 1 0 0 0 1
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 20.09 1719398 511 2013 0 0 3434048
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.00 - 0
1800.04/1800.71 c pseudo solutions : 0.00 - 0
1800.04/1800.71 c oneopt : 2.61 0 0
1800.04/1800.71 c crossover : 1.55 0 0
1800.04/1800.71 c guideddiving : 0.18 0 0
1800.04/1800.71 c intshifting : 0.10 0 0
1800.04/1800.71 c feaspump : 0.23 19 0
1800.04/1800.71 c objpscostdiving : 0.15 19 0
1800.04/1800.71 c rootsoldiving : 0.10 19 0
1800.04/1800.71 c coefdiving : 0.16 38 0
1800.04/1800.71 c pscostdiving : 0.17 38 0
1800.04/1800.71 c fracdiving : 0.25 38 0
1800.04/1800.71 c veclendiving : 0.19 38 0
1800.04/1800.71 c linesearchdiving : 0.24 38 0
1800.04/1800.71 c trivial : 0.00 2 0
1800.04/1800.71 c simplerounding : 0.86 0 0
1800.04/1800.71 c zirounding : 1.44 1000 0
1800.04/1800.71 c rounding : 2.28 18577 0
1800.04/1800.71 c shifting : 4.68 5894 0
1800.04/1800.71 c twoopt : 0.00 0 0
1800.04/1800.71 c fixandinfer : 0.00 0 0
1800.04/1800.71 c intdiving : 0.00 0 0
1800.04/1800.71 c actconsdiving : 0.00 0 0
1800.04/1800.71 c octane : 0.00 0 0
1800.04/1800.71 c rens : 0.03 1 0
1800.04/1800.71 c rins : 0.00 0 0
1800.04/1800.71 c localbranching : 0.00 0 0
1800.04/1800.71 c mutation : 0.00 0 0
1800.04/1800.71 c dins : 0.00 0 0
1800.04/1800.71 c undercover : 0.00 0 0
1800.04/1800.71 c nlp : 1.41 0 0
1800.04/1800.71 c trysol : 1.71 0 0
1800.04/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.71 c dual LP : 316.94 2571572 7778760 3.02 24543.32
1800.04/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.71 c diving/probing LP: 0.11 1075 2835 2.64 25772.73
1800.04/1800.71 c strong branching : 1.23 5163 30317 5.87 24647.97
1800.04/1800.71 c (at root node) : - 9 371 41.22 -
1800.04/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.71 c B&B Tree :
1800.04/1800.71 c number of runs : 1
1800.04/1800.71 c nodes : 2755737
1800.04/1800.71 c nodes (total) : 2755737
1800.04/1800.71 c nodes left : 655622
1800.04/1800.71 c max depth : 54
1800.04/1800.71 c max depth (total): 54
1800.04/1800.71 c backtracks : 299147 (10.9%)
1800.04/1800.71 c delayed cutoffs : 22690
1800.04/1800.71 c repropagations : 2543013 (1163866 domain reductions, 17164 cutoffs)
1800.04/1800.71 c avg switch length: 5.44
1800.04/1800.71 c switching time : 298.15
1800.04/1800.71 c Solution :
1800.04/1800.71 c Solutions found : 0 (0 improvements)
1800.04/1800.71 c Primal Bound : -
1800.04/1800.71 c Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Gap : infinite
1800.04/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.71 c Root Iterations : 181
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666871-1276600292/watcher-2666871-1276600292 -o /tmp/evaluation-result-2666871-1276600292/solver-2666871-1276600292 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666871-1276600292.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 1137
/proc/meminfo: memFree=1813076/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=4792 CPUtime=0
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 529 0 0 0 0 0 0 0 25 0 1 0 33681069 4907008 451 1992294400 4194304 8223781 140734104240208 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1137/statm: 1198 453 302 984 0 211 0
[startup+0.029478 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1137
/proc/meminfo: memFree=1813076/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=11340 CPUtime=0.02
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 2774 0 0 0 1 1 0 0 25 0 1 0 33681069 11612160 1817 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 2835 1817 457 984 0 1848 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11340
[startup+0.100491 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1137
/proc/meminfo: memFree=1813076/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=19868 CPUtime=0.09
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 4954 0 0 0 7 2 0 0 25 0 1 0 33681069 20344832 3728 1992294400 4194304 8223781 140734104240208 18446744073709551615 4947088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 4967 3728 568 984 0 3980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19868
[startup+0.300526 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1137
/proc/meminfo: memFree=1813076/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=13440 CPUtime=0.29
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 8216 0 0 0 25 4 0 0 25 0 1 0 33681069 13762560 2517 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 3360 2517 586 984 0 2373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13440
[startup+0.700599 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1137
/proc/meminfo: memFree=1813076/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=13440 CPUtime=0.69
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 8218 0 0 0 61 8 0 0 25 0 1 0 33681069 13762560 2519 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 3360 2519 588 984 0 2373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13440
[startup+1.50074 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 1138
/proc/meminfo: memFree=1804512/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=14276 CPUtime=1.49
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 8405 0 0 0 133 16 0 0 25 0 1 0 33681069 14618624 2706 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 3569 2706 588 984 0 2582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14276
[startup+3.10104 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 1138
/proc/meminfo: memFree=1803520/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=16848 CPUtime=3.09
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 9037 0 0 0 279 30 0 0 25 0 1 0 33681069 17252352 3338 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 4212 3338 588 984 0 3225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16848
[startup+6.30062 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 1138
/proc/meminfo: memFree=1799428/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=19344 CPUtime=6.28
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 9665 0 0 0 572 56 0 0 25 0 1 0 33681069 19808256 3966 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 4836 3966 588 984 0 3849 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19344
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 1138
/proc/meminfo: memFree=1795708/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=22360 CPUtime=12.69
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 10451 0 0 0 1158 111 0 0 25 0 1 0 33681069 22896640 4752 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 5590 4752 588 984 0 4603 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22360
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 1138
/proc/meminfo: memFree=1788764/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=29504 CPUtime=25.48
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 12237 0 0 0 2323 225 0 0 25 0 1 0 33681069 30212096 6538 1992294400 4194304 8223781 140734104240208 18446744073709551615 4219812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 7376 6538 588 984 0 6389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29504
[startup+51.1008 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 1140
/proc/meminfo: memFree=1776736/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=42272 CPUtime=51.07
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 15505 0 0 0 4683 424 0 0 25 0 1 0 33681069 43286528 9806 1992294400 4194304 8223781 140734104240208 18446744073709551615 5913442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 10568 9806 588 984 0 9581 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42272
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 1140
/proc/meminfo: memFree=1751316/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=65956 CPUtime=102.27
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 21502 0 0 0 9397 830 0 0 25 0 1 0 33681069 67538944 15803 1992294400 4194304 8223781 140734104240208 18446744073709551615 5430782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 16489 15803 588 984 0 15502 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65956
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 1142
/proc/meminfo: memFree=1725896/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=92968 CPUtime=162.23
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 27814 0 0 0 14959 1264 0 0 25 0 1 0 33681069 95199232 22115 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 23242 22115 588 984 0 22255 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 92968
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 1144
/proc/meminfo: memFree=1699732/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=118508 CPUtime=222.22
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 34301 0 0 0 20533 1689 0 0 25 0 1 0 33681069 121352192 28602 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 29627 28602 588 984 0 28640 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 118508
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 1146
/proc/meminfo: memFree=1676544/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=142312 CPUtime=282.19
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 40346 0 0 0 26114 2105 0 0 25 0 1 0 33681069 145727488 34647 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 35578 34647 588 984 0 34591 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 142312
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 1146
/proc/meminfo: memFree=1653604/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=163720 CPUtime=342.16
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 45795 0 0 0 31705 2511 0 0 25 0 1 0 33681069 167649280 40096 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 40930 40096 588 984 0 39943 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 163720
[startup+402.301 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 1148
/proc/meminfo: memFree=1627440/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=190212 CPUtime=402.14
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 52479 0 0 0 37279 2935 0 0 25 0 1 0 33681069 194777088 46780 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 47553 46780 588 984 0 46566 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 190212
[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 1150
/proc/meminfo: memFree=1609088/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=211580 CPUtime=462.12
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 56872 0 0 0 42880 3332 0 0 25 0 1 0 33681069 216657920 51173 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 52895 51173 588 984 0 51908 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 211580
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1152
/proc/meminfo: memFree=1586892/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=233944 CPUtime=522.1
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 62598 0 0 0 48480 3730 0 0 25 0 1 0 33681069 239558656 56899 1992294400 4194304 8223781 140734104240208 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 58486 56899 588 984 0 57499 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 233944
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1154
/proc/meminfo: memFree=1565192/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=254532 CPUtime=582.08
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 67771 0 0 0 54092 4116 0 0 25 0 1 0 33681069 260640768 62072 1992294400 4194304 8223781 140734104240208 18446744073709551615 4210707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 63633 62072 588 984 0 62646 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 254532
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1154
/proc/meminfo: memFree=1542748/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=276252 CPUtime=642.06
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 73327 0 0 0 59713 4493 0 0 25 0 1 0 33681069 282882048 67628 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 69063 67628 588 984 0 68076 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 276252
[startup+702.301 s]
################
# More data... #
################
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 107114 0 0 0 99094 7096 0 0 25 0 1 0 33681069 419446784 101415 1992294400 4194304 8223781 140734104240208 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 102404 101415 588 984 0 101417 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 409616
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1168
/proc/meminfo: memFree=1391592/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=423992 CPUtime=1121.88
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 110835 0 0 0 104731 7457 0 0 25 0 1 0 33681069 434167808 105136 1992294400 4194304 8223781 140734104240208 18446744073709551615 4979081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 105998 105136 588 984 0 105011 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 423992
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1170
/proc/meminfo: memFree=1371628/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=451556 CPUtime=1181.86
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 115786 0 0 0 110369 7817 0 0 25 0 1 0 33681069 462393344 110087 1992294400 4194304 8223781 140734104240208 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 112889 110087 588 984 0 111902 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 451556
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1170
/proc/meminfo: memFree=1351292/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=471652 CPUtime=1241.84
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 120793 0 0 0 116007 8177 0 0 25 0 1 0 33681069 482971648 115094 1992294400 4194304 8223781 140734104240208 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 117913 115094 588 984 0 116926 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 471652
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1172
/proc/meminfo: memFree=1332568/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=489808 CPUtime=1301.82
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 125435 0 0 0 121662 8520 0 0 25 0 1 0 33681069 501563392 119736 1992294400 4194304 8223781 140734104240208 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 122452 119736 588 984 0 121465 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 489808
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1174
/proc/meminfo: memFree=1314216/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=507544 CPUtime=1361.79
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 129993 0 0 0 127297 8882 0 0 25 0 1 0 33681069 519725056 124294 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 126886 124294 588 984 0 125899 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 507544
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1176
/proc/meminfo: memFree=1296980/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=524436 CPUtime=1421.77
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 134292 0 0 0 132945 9232 0 0 25 0 1 0 33681069 537022464 128593 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 131109 128593 588 984 0 130122 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 524436
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1178
/proc/meminfo: memFree=1278256/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=542628 CPUtime=1481.75
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 138970 0 0 0 138610 9565 0 0 25 0 1 0 33681069 555651072 133271 1992294400 4194304 8223781 140734104240208 18446744073709551615 6123181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 135657 133271 588 984 0 134670 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 542628
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1178
/proc/meminfo: memFree=1260896/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=560064 CPUtime=1541.72
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 143243 0 0 0 144273 9899 0 0 25 0 1 0 33681069 573505536 137544 1992294400 4194304 8223781 140734104240208 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 140016 137544 588 984 0 139029 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 560064
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1180
/proc/meminfo: memFree=1242668/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=577876 CPUtime=1601.71
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 147798 0 0 0 149934 10237 0 0 25 0 1 0 33681069 591745024 142099 1992294400 4194304 8223781 140734104240208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 144469 142099 588 984 0 143482 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 577876
[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1185
/proc/meminfo: memFree=1225060/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=594344 CPUtime=1661.68
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 152015 0 0 0 155590 10578 0 0 25 0 1 0 33681069 608608256 146316 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 148586 146316 588 984 0 147599 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 594344
[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 1187
/proc/meminfo: memFree=1209932/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=609180 CPUtime=1721.66
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 155796 0 0 0 161249 10917 0 0 25 0 1 0 33681069 623800320 150097 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 152295 150097 588 984 0 151308 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 609180
[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 1189
/proc/meminfo: memFree=1196044/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=622764 CPUtime=1781.64
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 159260 0 0 0 166894 11270 0 0 25 0 1 0 33681069 637710336 153561 1992294400 4194304 8223781 140734104240208 18446744073709551615 5954111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 155691 153561 588 984 0 154704 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 622764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1189
/proc/meminfo: memFree=1188480/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=630024 CPUtime=1800.04
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 161129 0 0 0 168624 11380 0 0 25 0 1 0 33681069 645144576 155430 1992294400 4194304 8223781 140734104240208 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1137/statm: 157506 155430 588 984 0 156519 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 630024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1137
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1189
/proc/meminfo: memFree=1188480/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=630024 CPUtime=1800.73
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 161130 0 0 0 168693 11380 0 0 25 0 1 0 33681069 645144576 155431 1992294400 4194304 8223781 140734104240208 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1137/statm: 157506 155431 589 984 0 156519 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 630024
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1190
/proc/meminfo: memFree=1188472/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=630024 CPUtime=1801.53
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 161130 0 0 0 168773 11380 0 0 25 0 1 0 33681069 645144576 155431 1992294400 4194304 8223781 140734104240208 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1137/statm: 157506 155431 589 984 0 156519 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 630024
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1190
/proc/meminfo: memFree=1188472/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=630024 CPUtime=1801.93
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 161130 0 0 0 168813 11380 0 0 25 0 1 0 33681069 645144576 155431 1992294400 4194304 8223781 140734104240208 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1137/statm: 157506 155431 589 984 0 156519 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 630024
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 1190
/proc/meminfo: memFree=1188472/2059040 swapFree=4140328/4192956
[pid=1137] ppid=1135 vsize=630024 CPUtime=1802.03
/proc/1137/stat : 1137 (pbscip.linux.x8) R 1135 1137 941 0 -1 4202496 161130 0 0 0 168823 11380 0 0 25 0 1 0 33681069 645144576 155431 1992294400 4194304 8223781 140734104240208 18446744073709551615 4212090 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1137/statm: 157506 155431 589 984 0 156519 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 630024
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.78
CPU time (s): 1802.12
CPU user time (s): 1688.25
CPU system time (s): 113.87
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 630024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.25
system time used= 113.87
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 21882
runsolver used 3.84741 second user time and 9.30158 second system time
The end