0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665441-1276600275.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.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 60 variables (60 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 34 | - | 317k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 45 | - | 360k| 0 | 12 | 60 | 8 | 60 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 58 | - | 385k| 0 | 15 | 60 | 8 | 60 | 19 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 72 | - | 414k| 0 | 17 | 60 | 8 | 60 | 22 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 95 | - | 432k| 0 | 19 | 60 | 8 | 60 | 25 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 109 | - | 435k| 0 | 17 | 60 | 8 | 60 | 27 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 130 | - | 448k| 0 | 21 | 60 | 8 | 60 | 29 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 2 | 130 | - | 448k| 0 | 21 | 60 | 8 | 60 | 29 | 22 | 0 | 15 | 0.000000e+00 | -- | Inf
7.09/7.15 c 6.2s| 10000 | 3383 | 36585 | 3.6 |3507k| 51 | 7 | 60 |1932 | 60 | 21 | 22 |3825 | 619 | 0.000000e+00 | -- | Inf
13.59/13.66 c 11.8s| 20000 | 6586 | 77524 | 3.9 |5335k| 51 | - | 60 |1292 | 60 | 21 | 22 |7733 | 825 | 0.000000e+00 | -- | Inf
20.08/20.11 c 17.4s| 30000 | 9248 |116804 | 3.9 |7203k| 51 | - | 60 |1571 | 0 | 0 | 22 | 11k| 983 | 0.000000e+00 | -- | Inf
26.48/26.54 c 22.9s| 40000 | 12059 |156427 | 3.9 |9104k| 51 | 7 | 60 |1685 | 60 | 21 | 22 | 16k|1087 | 0.000000e+00 | -- | Inf
32.99/33.01 c 28.6s| 50000 | 14652 |194982 | 3.9 | 10M| 51 | 7 | 60 |1650 | 60 | 21 | 22 | 20k|1181 | 0.000000e+00 | -- | Inf
39.28/39.31 c 34.0s| 60000 | 17717 |234280 | 3.9 | 12M| 51 | 7 | 60 |1857 | 60 | 21 | 22 | 24k|1270 | 0.000000e+00 | -- | Inf
45.78/45.81 c 39.6s| 70000 | 20181 |271954 | 3.9 | 14M| 51 | 7 | 60 |1967 | 60 | 21 | 22 | 28k|1333 | 0.000000e+00 | -- | Inf
52.27/52.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.27/52.36 c 45.3s| 80000 | 22748 |310810 | 3.9 | 16M| 51 | 7 | 60 |1852 | 60 | 21 | 22 | 32k|1417 | 0.000000e+00 | -- | Inf
58.87/58.93 c 51.0s| 90000 | 25064 |348556 | 3.9 | 18M| 52 | 7 | 60 |1763 | 60 | 21 | 22 | 36k|1477 | 0.000000e+00 | -- | Inf
65.47/65.50 c 56.7s|100000 | 27550 |386200 | 3.9 | 20M| 52 | - | 60 |2245 | 0 | 0 | 22 | 41k|1540 | 0.000000e+00 | -- | Inf
71.77/71.88 c 62.2s|110000 | 30446 |422853 | 3.8 | 21M| 52 | 7 | 60 |2028 | 60 | 21 | 22 | 45k|1578 | 0.000000e+00 | -- | Inf
78.27/78.36 c 67.8s|120000 | 32989 |460380 | 3.8 | 23M| 52 | 7 | 60 |2597 | 60 | 21 | 22 | 49k|1607 | 0.000000e+00 | -- | Inf
85.07/85.14 c 73.7s|130000 | 35329 |497757 | 3.8 | 25M| 52 | - | 60 |2545 | 0 | 0 | 22 | 53k|1642 | 0.000000e+00 | -- | Inf
91.77/91.80 c 79.5s|140000 | 37809 |535274 | 3.8 | 27M| 52 | 7 | 60 |2278 | 60 | 21 | 22 | 57k|1685 | 0.000000e+00 | -- | Inf
98.26/98.32 c 85.2s|150000 | 40380 |573144 | 3.8 | 29M| 52 | - | 60 |2378 | 60 | 21 | 22 | 61k|1718 | 0.000000e+00 | -- | Inf
104.86/104.99 c 90.9s|160000 | 42726 |610567 | 3.8 | 30M| 52 | - | 60 |2082 | 0 | 0 | 22 | 66k|1758 | 0.000000e+00 | -- | Inf
111.47/111.52 c 96.6s|170000 | 45140 |648757 | 3.8 | 32M| 53 | 7 | 60 |2299 | 60 | 21 | 22 | 70k|1794 | 0.000000e+00 | -- | Inf
118.06/118.14 c 102s|180000 | 47694 |688793 | 3.8 | 34M| 53 | - | 60 |2773 | 60 | 21 | 22 | 74k|1820 | 0.000000e+00 | -- | Inf
124.96/125.09 c 108s|190000 | 49787 |729323 | 3.8 | 36M| 53 | 7 | 60 |2220 | 60 | 21 | 22 | 78k|1837 | 0.000000e+00 | -- | Inf
131.66/131.77 c 114s|200000 | 52147 |767574 | 3.8 | 37M| 53 | 7 | 60 |2419 | 60 | 21 | 22 | 83k|1864 | 0.000000e+00 | -- | Inf
138.35/138.47 c 120s|210000 | 54312 |804877 | 3.8 | 39M| 53 | 7 | 60 |2098 | 60 | 21 | 22 | 87k|1902 | 0.000000e+00 | -- | Inf
145.16/145.26 c 126s|220000 | 56410 |843518 | 3.8 | 41M| 53 | - | 60 |2112 | 60 | 21 | 22 | 91k|1943 | 0.000000e+00 | -- | Inf
151.85/151.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.85/151.99 c 132s|230000 | 58415 |880979 | 3.8 | 42M| 53 | - | 60 |2098 | 60 | 21 | 22 | 96k|1982 | 0.000000e+00 | -- | Inf
158.45/158.58 c 138s|240000 | 60983 |920448 | 3.8 | 44M| 53 | - | 60 |3159 | 60 | 21 | 22 | 100k|2019 | 0.000000e+00 | -- | Inf
165.35/165.41 c 144s|250000 | 63331 |958552 | 3.8 | 46M| 53 | - | 60 |2194 | 60 | 21 | 22 | 104k|2038 | 0.000000e+00 | -- | Inf
171.94/172.05 c 149s|260000 | 65803 |997584 | 3.8 | 47M| 53 | - | 60 |2477 | 60 | 21 | 22 | 108k|2062 | 0.000000e+00 | -- | Inf
178.85/178.97 c 155s|270000 | 67787 | 1035k| 3.8 | 49M| 53 | - | 60 |2261 | 0 | 0 | 22 | 113k|2074 | 0.000000e+00 | -- | Inf
185.54/185.65 c 161s|280000 | 69874 | 1072k| 3.8 | 51M| 53 | - | 60 |2024 | 60 | 21 | 22 | 117k|2102 | 0.000000e+00 | -- | Inf
192.24/192.35 c 167s|290000 | 71890 | 1108k| 3.8 | 52M| 53 | - | 60 |2081 | 60 | 21 | 22 | 122k|2130 | 0.000000e+00 | -- | Inf
198.74/198.85 c 173s|300000 | 74104 | 1139k| 3.8 | 54M| 53 | - | 60 |2753 | 60 | 21 | 22 | 126k|2151 | 0.000000e+00 | -- | Inf
205.34/205.42 c 178s|310000 | 76490 | 1171k| 3.8 | 56M| 53 | - | 60 |2347 | 60 | 21 | 22 | 130k|2168 | 0.000000e+00 | -- | Inf
212.04/212.10 c 184s|320000 | 78594 | 1203k| 3.8 | 58M| 53 | - | 60 |2388 | 60 | 21 | 22 | 134k|2196 | 0.000000e+00 | -- | Inf
218.64/218.76 c 190s|330000 | 80712 | 1234k| 3.7 | 59M| 54 | - | 60 |2236 | 60 | 21 | 22 | 139k|2215 | 0.000000e+00 | -- | Inf
225.44/225.51 c 196s|340000 | 82767 | 1267k| 3.7 | 61M| 54 | 7 | 60 |2333 | 60 | 21 | 22 | 143k|2242 | 0.000000e+00 | -- | Inf
232.23/232.30 c 202s|350000 | 84882 | 1305k| 3.7 | 63M| 54 | 7 | 60 |2532 | 60 | 21 | 22 | 147k|2264 | 0.000000e+00 | -- | Inf
238.93/239.07 c 208s|360000 | 86948 | 1342k| 3.7 | 64M| 54 | 7 | 60 |2623 | 60 | 21 | 22 | 152k|2284 | 0.000000e+00 | -- | Inf
245.73/245.89 c 214s|370000 | 89104 | 1380k| 3.7 | 66M| 54 | - | 60 |2059 | 60 | 21 | 22 | 156k|2311 | 0.000000e+00 | -- | Inf
252.42/252.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.42/252.51 c 219s|380000 | 91186 | 1415k| 3.7 | 67M| 54 | 7 | 60 |2438 | 60 | 21 | 22 | 160k|2329 | 0.000000e+00 | -- | Inf
259.12/259.26 c 225s|390000 | 93376 | 1451k| 3.7 | 69M| 54 | 7 | 60 |2211 | 60 | 21 | 22 | 164k|2345 | 0.000000e+00 | -- | Inf
265.92/266.09 c 231s|400000 | 95397 | 1486k| 3.7 | 71M| 54 | - | 60 |2101 | 60 | 21 | 22 | 169k|2367 | 0.000000e+00 | -- | Inf
272.42/272.53 c 237s|410000 | 97951 | 1520k| 3.7 | 73M| 54 | 7 | 60 |3167 | 60 | 21 | 22 | 173k|2391 | 0.000000e+00 | -- | Inf
279.23/279.32 c 243s|420000 |100196 | 1555k| 3.7 | 74M| 54 | 7 | 60 |2472 | 60 | 21 | 22 | 177k|2396 | 0.000000e+00 | -- | Inf
285.82/285.96 c 248s|430000 |102407 | 1590k| 3.7 | 76M| 54 | 7 | 60 |2372 | 60 | 21 | 22 | 182k|2406 | 0.000000e+00 | -- | Inf
292.62/292.72 c 254s|440000 |104413 | 1625k| 3.7 | 78M| 54 | 7 | 60 |2945 | 60 | 21 | 22 | 186k|2419 | 0.000000e+00 | -- | Inf
299.41/299.50 c 260s|450000 |106624 | 1659k| 3.7 | 79M| 54 | 7 | 60 |2652 | 60 | 21 | 22 | 190k|2429 | 0.000000e+00 | -- | Inf
306.11/306.27 c 266s|460000 |109013 | 1693k| 3.7 | 81M| 54 | 7 | 60 |2732 | 60 | 21 | 22 | 195k|2446 | 0.000000e+00 | -- | Inf
312.91/313.01 c 272s|470000 |111171 | 1728k| 3.7 | 83M| 54 | - | 60 |2745 | 0 | 0 | 22 | 199k|2465 | 0.000000e+00 | -- | Inf
319.61/319.78 c 278s|480000 |113331 | 1763k| 3.7 | 84M| 54 | 7 | 60 |2563 | 60 | 21 | 22 | 203k|2477 | 0.000000e+00 | -- | Inf
326.41/326.55 c 284s|490000 |115478 | 1799k| 3.7 | 86M| 54 | 7 | 60 |2312 | 60 | 21 | 22 | 207k|2482 | 0.000000e+00 | -- | Inf
333.21/333.38 c 290s|500000 |117543 | 1837k| 3.7 | 88M| 54 | - | 60 |2440 | 60 | 21 | 22 | 212k|2500 | 0.000000e+00 | -- | Inf
340.10/340.28 c 296s|510000 |119318 | 1873k| 3.7 | 89M| 54 | 7 | 60 |2115 | 60 | 21 | 22 | 216k|2516 | 0.000000e+00 | -- | Inf
346.80/346.96 c 302s|520000 |121544 | 1911k| 3.7 | 91M| 54 | - | 60 |2631 | 60 | 21 | 22 | 220k|2537 | 0.000000e+00 | -- | Inf
353.70/353.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.70/353.88 c 308s|530000 |123384 | 1947k| 3.7 | 93M| 54 | - | 60 |2636 | 60 | 21 | 22 | 225k|2557 | 0.000000e+00 | -- | Inf
360.60/360.75 c 314s|540000 |125579 | 1985k| 3.7 | 94M| 54 | - | 60 |2778 | 60 | 21 | 22 | 229k|2583 | 0.000000e+00 | -- | Inf
367.50/367.66 c 320s|550000 |127749 | 2025k| 3.7 | 96M| 54 | - | 60 |2529 | 60 | 21 | 22 | 233k|2596 | 0.000000e+00 | -- | Inf
374.39/374.59 c 326s|560000 |129708 | 2062k| 3.7 | 98M| 54 | - | 60 |2275 | 60 | 21 | 22 | 237k|2609 | 0.000000e+00 | -- | Inf
381.19/381.36 c 332s|570000 |131534 | 2100k| 3.7 | 99M| 54 | - | 60 |2377 | 60 | 21 | 22 | 242k|2624 | 0.000000e+00 | -- | Inf
387.88/388.04 c 337s|580000 |133666 | 2133k| 3.7 | 101M| 54 | 7 | 60 |2618 | 60 | 21 | 22 | 246k|2636 | 0.000000e+00 | -- | Inf
394.49/394.69 c 343s|590000 |135970 | 2163k| 3.7 | 103M| 54 | 7 | 60 |2626 | 60 | 21 | 22 | 250k|2644 | 0.000000e+00 | -- | Inf
401.29/401.45 c 349s|600000 |137968 | 2193k| 3.7 | 104M| 54 | - | 60 |3089 | 0 | 0 | 22 | 255k|2657 | 0.000000e+00 | -- | Inf
407.99/408.14 c 355s|610000 |140162 | 2223k| 3.6 | 106M| 54 | - | 60 |3032 | 60 | 21 | 22 | 259k|2668 | 0.000000e+00 | -- | Inf
414.68/414.87 c 361s|620000 |142305 | 2253k| 3.6 | 108M| 54 | 7 | 60 |2383 | 60 | 21 | 22 | 263k|2678 | 0.000000e+00 | -- | Inf
421.48/421.62 c 367s|630000 |144207 | 2284k| 3.6 | 109M| 54 | 7 | 60 |2237 | 60 | 21 | 22 | 267k|2692 | 0.000000e+00 | -- | Inf
428.08/428.22 c 373s|640000 |146433 | 2314k| 3.6 | 111M| 54 | - | 60 |2436 | 60 | 21 | 22 | 271k|2709 | 0.000000e+00 | -- | Inf
434.68/434.80 c 378s|650000 |148710 | 2344k| 3.6 | 113M| 54 | 7 | 60 |2518 | 60 | 21 | 22 | 276k|2725 | 0.000000e+00 | -- | Inf
441.57/441.78 c 384s|660000 |150437 | 2375k| 3.6 | 115M| 54 | - | 60 |2740 | 60 | 21 | 22 | 280k|2746 | 0.000000e+00 | -- | Inf
448.58/448.72 c 390s|670000 |152314 | 2406k| 3.6 | 116M| 54 | 7 | 60 |2599 | 60 | 21 | 22 | 285k|2767 | 0.000000e+00 | -- | Inf
455.18/455.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.18/455.40 c 396s|680000 |154361 | 2436k| 3.6 | 118M| 54 | 7 | 60 |2894 | 60 | 21 | 22 | 289k|2789 | 0.000000e+00 | -- | Inf
461.78/461.98 c 402s|690000 |156653 | 2466k| 3.6 | 120M| 54 | 7 | 60 |3361 | 60 | 21 | 22 | 293k|2808 | 0.000000e+00 | -- | Inf
468.67/468.84 c 408s|700000 |158771 | 2496k| 3.6 | 121M| 54 | 7 | 60 |3000 | 60 | 21 | 22 | 297k|2822 | 0.000000e+00 | -- | Inf
475.57/475.72 c 414s|710000 |160797 | 2526k| 3.6 | 123M| 54 | 7 | 60 |2380 | 60 | 21 | 22 | 302k|2836 | 0.000000e+00 | -- | Inf
482.26/482.46 c 420s|720000 |162754 | 2557k| 3.6 | 125M| 54 | - | 60 |2497 | 60 | 21 | 22 | 306k|2850 | 0.000000e+00 | -- | Inf
488.87/489.05 c 426s|730000 |164909 | 2587k| 3.5 | 126M| 54 | - | 60 |2667 | 60 | 21 | 22 | 310k|2854 | 0.000000e+00 | -- | Inf
495.67/495.84 c 432s|740000 |166830 | 2617k| 3.5 | 128M| 54 | 7 | 60 |2264 | 60 | 21 | 22 | 314k|2855 | 0.000000e+00 | -- | Inf
502.05/502.24 c 437s|750000 |169157 | 2647k| 3.5 | 130M| 54 | - | 60 |2617 | 60 | 21 | 22 | 319k|2870 | 0.000000e+00 | -- | Inf
508.65/508.84 c 443s|760000 |171539 | 2677k| 3.5 | 132M| 54 | - | 60 |2744 | 60 | 21 | 22 | 323k|2879 | 0.000000e+00 | -- | Inf
515.25/515.46 c 449s|770000 |173797 | 2709k| 3.5 | 133M| 54 | 7 | 60 |3099 | 60 | 21 | 22 | 327k|2889 | 0.000000e+00 | -- | Inf
522.05/522.22 c 454s|780000 |175918 | 2739k| 3.5 | 135M| 54 | 7 | 60 |2537 | 60 | 21 | 22 | 331k|2893 | 0.000000e+00 | -- | Inf
528.46/528.65 c 460s|790000 |178257 | 2769k| 3.5 | 137M| 54 | 7 | 60 |3280 | 60 | 21 | 22 | 335k|2896 | 0.000000e+00 | -- | Inf
535.35/535.53 c 466s|800000 |180294 | 2800k| 3.5 | 139M| 54 | - | 60 |2752 | 60 | 21 | 22 | 339k|2898 | 0.000000e+00 | -- | Inf
542.16/542.32 c 472s|810000 |182265 | 2830k| 3.5 | 140M| 54 | 7 | 60 |2626 | 60 | 21 | 22 | 344k|2904 | 0.000000e+00 | -- | Inf
548.94/549.19 c 478s|820000 |184172 | 2861k| 3.5 | 142M| 54 | - | 60 |2735 | 60 | 21 | 22 | 348k|2916 | 0.000000e+00 | -- | Inf
555.74/555.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.74/555.92 c 484s|830000 |186194 | 2891k| 3.5 | 144M| 54 | 7 | 60 |2621 | 60 | 21 | 22 | 352k|2928 | 0.000000e+00 | -- | Inf
562.54/562.77 c 490s|840000 |188115 | 2921k| 3.5 | 145M| 54 | 7 | 60 |2259 | 60 | 21 | 22 | 357k|2947 | 0.000000e+00 | -- | Inf
569.34/569.59 c 496s|850000 |189959 | 2950k| 3.5 | 147M| 54 | - | 60 |2318 | 60 | 21 | 22 | 361k|2957 | 0.000000e+00 | -- | Inf
576.14/576.33 c 502s|860000 |191831 | 2980k| 3.5 | 148M| 54 | 7 | 60 |2446 | 60 | 21 | 22 | 365k|2967 | 0.000000e+00 | -- | Inf
582.74/583.00 c 507s|870000 |193874 | 3011k| 3.5 | 150M| 54 | - | 60 |3854 | 0 | 0 | 22 | 370k|2978 | 0.000000e+00 | -- | Inf
589.83/590.04 c 514s|880000 |195879 | 3041k| 3.5 | 152M| 54 | - | 60 |2657 | 60 | 21 | 22 | 374k|2985 | 0.000000e+00 | -- | Inf
596.74/596.98 c 520s|890000 |197578 | 3071k| 3.5 | 153M| 54 | 7 | 60 |2635 | 60 | 21 | 22 | 379k|2997 | 0.000000e+00 | -- | Inf
603.43/603.65 c 526s|900000 |199789 | 3101k| 3.4 | 155M| 54 | 7 | 60 |2203 | 60 | 21 | 22 | 383k|3012 | 0.000000e+00 | -- | Inf
610.13/610.34 c 531s|910000 |201837 | 3131k| 3.4 | 157M| 54 | 7 | 60 |2458 | 60 | 21 | 22 | 387k|3028 | 0.000000e+00 | -- | Inf
616.93/617.14 c 537s|920000 |203820 | 3162k| 3.4 | 159M| 54 | 7 | 60 |2747 | 60 | 21 | 22 | 391k|3042 | 0.000000e+00 | -- | Inf
623.73/623.98 c 543s|930000 |205694 | 3193k| 3.4 | 160M| 54 | 7 | 60 |2454 | 60 | 21 | 22 | 396k|3058 | 0.000000e+00 | -- | Inf
630.53/630.76 c 549s|940000 |207451 | 3222k| 3.4 | 162M| 54 | - | 60 |2891 | 60 | 21 | 22 | 400k|3071 | 0.000000e+00 | -- | Inf
637.23/637.41 c 555s|950000 |209826 | 3252k| 3.4 | 164M| 54 | 7 | 60 |3142 | 60 | 21 | 22 | 404k|3079 | 0.000000e+00 | -- | Inf
644.02/644.22 c 561s|960000 |211735 | 3281k| 3.4 | 165M| 54 | - | 60 |2770 | 60 | 21 | 22 | 409k|3095 | 0.000000e+00 | -- | Inf
650.82/651.01 c 567s|970000 |213653 | 3312k| 3.4 | 167M| 54 | 7 | 60 |2230 | 60 | 21 | 22 | 413k|3101 | 0.000000e+00 | -- | Inf
657.41/657.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.41/657.68 c 573s|980000 |215858 | 3342k| 3.4 | 168M| 54 | - | 60 |2434 | 60 | 21 | 22 | 417k|3118 | 0.000000e+00 | -- | Inf
663.91/664.19 c 579s|990000 |218143 | 3372k| 3.4 | 170M| 54 | 7 | 60 |2788 | 60 | 21 | 22 | 421k|3130 | 0.000000e+00 | -- | Inf
670.61/670.87 c 585s| 1000k|220160 | 3402k| 3.4 | 172M| 54 | 7 | 60 |2783 | 60 | 21 | 22 | 426k|3143 | 0.000000e+00 | -- | Inf
677.42/677.65 c 591s| 1010k|222004 | 3432k| 3.4 | 173M| 54 | - | 60 |2168 | 60 | 21 | 22 | 430k|3161 | 0.000000e+00 | -- | Inf
684.02/684.25 c 596s| 1020k|224200 | 3462k| 3.4 | 175M| 54 | 7 | 60 |2439 | 60 | 21 | 22 | 434k|3171 | 0.000000e+00 | -- | Inf
690.51/690.79 c 602s| 1030k|226394 | 3493k| 3.4 | 177M| 54 | 7 | 60 |3380 | 60 | 21 | 22 | 438k|3172 | 0.000000e+00 | -- | Inf
697.31/697.54 c 608s| 1040k|228910 | 3523k| 3.4 | 179M| 54 | - | 60 |4036 | 60 | 21 | 22 | 443k|3173 | 0.000000e+00 | -- | Inf
704.31/704.58 c 614s| 1050k|230916 | 3553k| 3.4 | 181M| 54 | 7 | 60 |3296 | 60 | 21 | 22 | 447k|3179 | 0.000000e+00 | -- | Inf
711.20/711.48 c 620s| 1060k|233073 | 3584k| 3.4 | 182M| 54 | - | 60 |2786 | 60 | 21 | 22 | 451k|3187 | 0.000000e+00 | -- | Inf
718.20/718.48 c 627s| 1070k|234704 | 3614k| 3.4 | 184M| 54 | 7 | 60 |2242 | 60 | 21 | 22 | 456k|3194 | 0.000000e+00 | -- | Inf
724.80/725.07 c 632s| 1080k|236795 | 3645k| 3.4 | 186M| 54 | - | 60 |3098 | 60 | 21 | 22 | 460k|3204 | 0.000000e+00 | -- | Inf
731.50/731.73 c 638s| 1090k|238983 | 3674k| 3.4 | 188M| 54 | 7 | 60 |3268 | 60 | 21 | 22 | 465k|3207 | 0.000000e+00 | -- | Inf
738.40/738.67 c 644s| 1100k|241017 | 3705k| 3.4 | 189M| 54 | - | 60 |2890 | 60 | 21 | 22 | 469k|3219 | 0.000000e+00 | -- | Inf
745.40/745.62 c 650s| 1110k|242870 | 3735k| 3.4 | 191M| 54 | 7 | 60 |2463 | 60 | 21 | 22 | 473k|3227 | 0.000000e+00 | -- | Inf
752.11/752.35 c 656s| 1120k|244802 | 3765k| 3.4 | 192M| 54 | 7 | 60 |2778 | 60 | 21 | 22 | 477k|3234 | 0.000000e+00 | -- | Inf
758.70/758.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
758.70/758.98 c 662s| 1130k|246992 | 3795k| 3.4 | 194M| 54 | - | 60 |3046 | 60 | 21 | 22 | 482k|3239 | 0.000000e+00 | -- | Inf
765.59/765.87 c 668s| 1140k|248881 | 3825k| 3.4 | 196M| 54 | 7 | 60 |2211 | 60 | 21 | 22 | 486k|3248 | 0.000000e+00 | -- | Inf
772.29/772.57 c 674s| 1150k|250852 | 3855k| 3.4 | 197M| 54 | - | 60 |2619 | 60 | 21 | 22 | 490k|3255 | 0.000000e+00 | -- | Inf
778.99/779.28 c 680s| 1160k|252908 | 3885k| 3.3 | 199M| 54 | 7 | 60 |2794 | 60 | 21 | 22 | 494k|3258 | 0.000000e+00 | -- | Inf
785.98/786.23 c 686s| 1170k|254880 | 3916k| 3.3 | 201M| 54 | - | 60 |2780 | 60 | 21 | 22 | 499k|3273 | 0.000000e+00 | -- | Inf
792.79/793.04 c 692s| 1180k|256606 | 3945k| 3.3 | 202M| 54 | 7 | 60 |2749 | 60 | 21 | 22 | 503k|3283 | 0.000000e+00 | -- | Inf
799.58/799.90 c 698s| 1190k|258584 | 3975k| 3.3 | 204M| 54 | 7 | 60 |2500 | 60 | 21 | 22 | 507k|3297 | 0.000000e+00 | -- | Inf
806.37/806.67 c 704s| 1200k|260511 | 4006k| 3.3 | 206M| 54 | - | 60 |3115 | 60 | 21 | 22 | 512k|3313 | 0.000000e+00 | -- | Inf
813.28/813.58 c 710s| 1210k|262369 | 4036k| 3.3 | 207M| 54 | - | 60 |2934 | 60 | 21 | 22 | 516k|3322 | 0.000000e+00 | -- | Inf
820.18/820.48 c 716s| 1220k|264702 | 4068k| 3.3 | 209M| 54 | 7 | 60 |3085 | 60 | 21 | 22 | 520k|3339 | 0.000000e+00 | -- | Inf
826.98/827.26 c 722s| 1230k|266814 | 4098k| 3.3 | 211M| 54 | 7 | 60 |3772 | 60 | 21 | 22 | 525k|3346 | 0.000000e+00 | -- | Inf
833.97/834.20 c 728s| 1240k|268757 | 4128k| 3.3 | 213M| 54 | - | 60 |3244 | 60 | 21 | 22 | 529k|3349 | 0.000000e+00 | -- | Inf
840.97/841.27 c 734s| 1250k|270552 | 4158k| 3.3 | 214M| 54 | 7 | 60 |2833 | 60 | 21 | 22 | 533k|3353 | 0.000000e+00 | -- | Inf
847.78/848.06 c 740s| 1260k|272684 | 4187k| 3.3 | 216M| 54 | 7 | 60 |3167 | 60 | 21 | 22 | 537k|3354 | 0.000000e+00 | -- | Inf
854.77/855.08 c 747s| 1270k|274540 | 4217k| 3.3 | 218M| 54 | 7 | 60 |2903 | 60 | 21 | 22 | 542k|3355 | 0.000000e+00 | -- | Inf
861.76/862.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.76/862.08 c 753s| 1280k|276309 | 4247k| 3.3 | 219M| 54 | - | 60 |3007 | 60 | 21 | 22 | 546k|3362 | 0.000000e+00 | -- | Inf
868.67/868.93 c 759s| 1290k|278098 | 4276k| 3.3 | 221M| 54 | - | 60 |3015 | 0 | 0 | 22 | 550k|3370 | 0.000000e+00 | -- | Inf
875.56/875.82 c 765s| 1300k|280063 | 4305k| 3.3 | 223M| 54 | 7 | 60 |3142 | 60 | 21 | 22 | 555k|3375 | 0.000000e+00 | -- | Inf
882.35/882.63 c 771s| 1310k|282165 | 4336k| 3.3 | 224M| 54 | 7 | 60 |3341 | 60 | 21 | 22 | 559k|3389 | 0.000000e+00 | -- | Inf
889.35/889.69 c 777s| 1320k|284162 | 4365k| 3.3 | 226M| 54 | 7 | 60 |2973 | 60 | 21 | 22 | 563k|3394 | 0.000000e+00 | -- | Inf
896.26/896.56 c 783s| 1330k|286083 | 4396k| 3.3 | 228M| 54 | 7 | 60 |2669 | 60 | 21 | 22 | 567k|3404 | 0.000000e+00 | -- | Inf
903.06/903.39 c 789s| 1340k|288117 | 4425k| 3.3 | 229M| 54 | 7 | 60 |2739 | 60 | 21 | 22 | 572k|3410 | 0.000000e+00 | -- | Inf
909.85/910.18 c 795s| 1350k|290152 | 4455k| 3.3 | 231M| 54 | 7 | 60 |3000 | 60 | 21 | 22 | 576k|3417 | 0.000000e+00 | -- | Inf
916.95/917.24 c 801s| 1360k|291920 | 4486k| 3.3 | 233M| 54 | 7 | 60 |2820 | 60 | 21 | 22 | 580k|3427 | 0.000000e+00 | -- | Inf
923.76/924.01 c 807s| 1370k|293898 | 4515k| 3.3 | 234M| 54 | 7 | 60 |2909 | 60 | 21 | 22 | 585k|3435 | 0.000000e+00 | -- | Inf
930.45/930.77 c 813s| 1380k|296057 | 4544k| 3.3 | 236M| 54 | - | 60 |2808 | 60 | 21 | 22 | 589k|3444 | 0.000000e+00 | -- | Inf
937.24/937.55 c 819s| 1390k|298104 | 4574k| 3.3 | 238M| 54 | 7 | 60 |3238 | 60 | 21 | 22 | 593k|3451 | 0.000000e+00 | -- | Inf
944.04/944.31 c 825s| 1400k|300050 | 4604k| 3.3 | 239M| 54 | - | 60 |3376 | 60 | 21 | 22 | 597k|3459 | 0.000000e+00 | -- | Inf
950.74/951.06 c 831s| 1410k|302273 | 4634k| 3.3 | 241M| 54 | 7 | 60 |3742 | 60 | 21 | 22 | 601k|3464 | 0.000000e+00 | -- | Inf
957.85/958.16 c 837s| 1420k|304173 | 4663k| 3.3 | 243M| 54 | - | 60 |2892 | 60 | 21 | 22 | 606k|3475 | 0.000000e+00 | -- | Inf
964.64/964.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.64/964.90 c 843s| 1430k|306137 | 4693k| 3.3 | 244M| 54 | - | 60 |3199 | 60 | 21 | 22 | 610k|3486 | 0.000000e+00 | -- | Inf
971.54/971.88 c 849s| 1440k|308090 | 4723k| 3.3 | 246M| 54 | 7 | 60 |2802 | 60 | 21 | 22 | 614k|3505 | 0.000000e+00 | -- | Inf
978.43/978.75 c 855s| 1450k|310026 | 4755k| 3.3 | 247M| 54 | 7 | 60 |2379 | 60 | 21 | 22 | 619k|3516 | 0.000000e+00 | -- | Inf
985.03/985.34 c 861s| 1460k|312217 | 4785k| 3.3 | 249M| 54 | 7 | 60 |3493 | 60 | 21 | 22 | 623k|3531 | 0.000000e+00 | -- | Inf
992.33/992.62 c 868s| 1470k|313931 | 4816k| 3.3 | 251M| 54 | 7 | 60 |2908 | 60 | 21 | 22 | 627k|3541 | 0.000000e+00 | -- | Inf
999.23/999.52 c 874s| 1480k|315813 | 4845k| 3.3 | 253M| 54 | - | 60 |3302 | 60 | 21 | 22 | 632k|3550 | 0.000000e+00 | -- | Inf
1006.14/1006.45 c 880s| 1490k|318069 | 4876k| 3.3 | 254M| 54 | 7 | 60 |2808 | 60 | 21 | 22 | 636k|3556 | 0.000000e+00 | -- | Inf
1013.02/1013.32 c 886s| 1500k|320196 | 4905k| 3.3 | 256M| 54 | 7 | 60 |2941 | 60 | 21 | 22 | 640k|3563 | 0.000000e+00 | -- | Inf
1019.82/1020.13 c 892s| 1510k|322240 | 4936k| 3.3 | 258M| 54 | 7 | 60 |3074 | 60 | 21 | 22 | 644k|3571 | 0.000000e+00 | -- | Inf
1026.82/1027.11 c 898s| 1520k|324165 | 4966k| 3.3 | 259M| 54 | 7 | 60 |3186 | 60 | 21 | 22 | 649k|3577 | 0.000000e+00 | -- | Inf
1033.42/1033.78 c 904s| 1530k|326576 | 4996k| 3.3 | 261M| 54 | 7 | 60 |3913 | 60 | 21 | 22 | 652k|3583 | 0.000000e+00 | -- | Inf
1040.52/1040.85 c 910s| 1540k|328525 | 5027k| 3.3 | 263M| 54 | - | 60 |3288 | 60 | 21 | 22 | 657k|3594 | 0.000000e+00 | -- | Inf
1047.32/1047.60 c 916s| 1550k|330805 | 5058k| 3.3 | 265M| 54 | - | 60 |3664 | 60 | 21 | 22 | 661k|3604 | 0.000000e+00 | -- | Inf
1054.21/1054.56 c 922s| 1560k|332922 | 5088k| 3.3 | 266M| 54 | - | 60 |3394 | 60 | 21 | 22 | 665k|3612 | 0.000000e+00 | -- | Inf
1061.22/1061.51 c 928s| 1570k|334904 | 5118k| 3.3 | 268M| 54 | 7 | 60 |3002 | 60 | 21 | 22 | 669k|3618 | 0.000000e+00 | -- | Inf
1067.91/1068.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.91/1068.26 c 934s| 1580k|337096 | 5148k| 3.3 | 270M| 54 | 7 | 60 |3352 | 60 | 21 | 22 | 674k|3623 | 0.000000e+00 | -- | Inf
1074.91/1075.22 c 940s| 1590k|338958 | 5179k| 3.3 | 271M| 54 | - | 60 |3641 | 60 | 21 | 22 | 678k|3626 | 0.000000e+00 | -- | Inf
1081.81/1082.14 c 946s| 1600k|340860 | 5208k| 3.3 | 273M| 54 | - | 60 |3152 | 60 | 21 | 22 | 682k|3631 | 0.000000e+00 | -- | Inf
1088.51/1088.84 c 952s| 1610k|343071 | 5238k| 3.3 | 275M| 54 | - | 60 |2982 | 60 | 21 | 22 | 686k|3635 | 0.000000e+00 | -- | Inf
1095.31/1095.67 c 958s| 1620k|345293 | 5268k| 3.3 | 276M| 54 | - | 60 |3295 | 60 | 21 | 22 | 691k|3644 | 0.000000e+00 | -- | Inf
1102.40/1102.72 c 964s| 1630k|347154 | 5298k| 3.3 | 278M| 54 | - | 60 |2813 | 60 | 21 | 22 | 695k|3649 | 0.000000e+00 | -- | Inf
1109.10/1109.48 c 970s| 1640k|349212 | 5329k| 3.2 | 280M| 54 | - | 60 |3119 | 60 | 21 | 22 | 699k|3654 | 0.000000e+00 | -- | Inf
1115.70/1116.02 c 976s| 1650k|351523 | 5359k| 3.2 | 282M| 54 | - | 60 |3781 | 60 | 21 | 22 | 703k|3657 | 0.000000e+00 | -- | Inf
1122.70/1123.08 c 982s| 1660k|353423 | 5389k| 3.2 | 283M| 54 | - | 60 |3212 | 0 | 0 | 22 | 707k|3660 | 0.000000e+00 | -- | Inf
1129.89/1130.21 c 988s| 1670k|355161 | 5420k| 3.2 | 285M| 54 | - | 60 |2991 | 60 | 21 | 22 | 712k|3665 | 0.000000e+00 | -- | Inf
1136.79/1137.12 c 994s| 1680k|356962 | 5449k| 3.2 | 286M| 54 | - | 60 |3216 | 0 | 0 | 22 | 716k|3665 | 0.000000e+00 | -- | Inf
1143.70/1144.09 c 1000s| 1690k|358839 | 5479k| 3.2 | 288M| 54 | - | 60 |2905 | 60 | 21 | 22 | 721k|3671 | 0.000000e+00 | -- | Inf
1150.19/1150.60 c 1006s| 1700k|361215 | 5509k| 3.2 | 290M| 54 | 7 | 60 |3488 | 60 | 21 | 22 | 724k|3677 | 0.000000e+00 | -- | Inf
1157.39/1157.77 c 1012s| 1710k|363082 | 5540k| 3.2 | 291M| 54 | - | 60 |2986 | 60 | 21 | 22 | 729k|3685 | 0.000000e+00 | -- | Inf
1164.29/1164.62 c 1018s| 1720k|365134 | 5570k| 3.2 | 293M| 54 | - | 60 |3280 | 60 | 21 | 22 | 733k|3689 | 0.000000e+00 | -- | Inf
1171.09/1171.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.09/1171.40 c 1024s| 1730k|367460 | 5600k| 3.2 | 295M| 54 | 7 | 60 |4035 | 60 | 21 | 22 | 737k|3695 | 0.000000e+00 | -- | Inf
1178.28/1178.60 c 1031s| 1740k|369315 | 5630k| 3.2 | 297M| 54 | 7 | 60 |2901 | 60 | 21 | 22 | 741k|3701 | 0.000000e+00 | -- | Inf
1185.18/1185.51 c 1037s| 1750k|371226 | 5660k| 3.2 | 298M| 54 | - | 60 |2861 | 60 | 21 | 22 | 746k|3709 | 0.000000e+00 | -- | Inf
1191.98/1192.35 c 1043s| 1760k|373329 | 5690k| 3.2 | 300M| 54 | - | 60 |2733 | 60 | 21 | 22 | 750k|3711 | 0.000000e+00 | -- | Inf
1198.87/1199.27 c 1049s| 1770k|375235 | 5720k| 3.2 | 302M| 54 | 7 | 60 |3240 | 60 | 21 | 22 | 754k|3713 | 0.000000e+00 | -- | Inf
1205.77/1206.15 c 1055s| 1780k|377327 | 5750k| 3.2 | 304M| 54 | - | 60 |3909 | 60 | 21 | 22 | 759k|3713 | 0.000000e+00 | -- | Inf
1212.88/1213.29 c 1061s| 1790k|379213 | 5780k| 3.2 | 305M| 54 | 7 | 60 |3179 | 60 | 21 | 22 | 763k|3713 | 0.000000e+00 | -- | Inf
1220.06/1220.41 c 1068s| 1800k|380927 | 5810k| 3.2 | 306M| 54 | 7 | 60 |2313 | 60 | 21 | 22 | 767k|3713 | 0.000000e+00 | -- | Inf
1226.97/1227.30 c 1074s| 1810k|382676 | 5839k| 3.2 | 308M| 54 | - | 60 |2621 | 60 | 21 | 22 | 772k|3717 | 0.000000e+00 | -- | Inf
1233.67/1234.07 c 1080s| 1820k|384819 | 5869k| 3.2 | 310M| 54 | 7 | 60 |2911 | 60 | 21 | 22 | 776k|3720 | 0.000000e+00 | -- | Inf
1240.56/1240.94 c 1086s| 1830k|386797 | 5899k| 3.2 | 312M| 54 | - | 60 |2748 | 60 | 21 | 22 | 780k|3726 | 0.000000e+00 | -- | Inf
1247.57/1247.90 c 1092s| 1840k|388619 | 5929k| 3.2 | 313M| 54 | 7 | 60 |3087 | 60 | 21 | 22 | 785k|3737 | 0.000000e+00 | -- | Inf
1254.26/1254.67 c 1098s| 1850k|390722 | 5959k| 3.2 | 315M| 54 | - | 60 |3547 | 60 | 21 | 22 | 789k|3746 | 0.000000e+00 | -- | Inf
1261.16/1261.57 c 1104s| 1860k|392774 | 5988k| 3.2 | 317M| 54 | 7 | 60 |3553 | 60 | 21 | 22 | 793k|3753 | 0.000000e+00 | -- | Inf
1268.16/1268.54 c 1110s| 1870k|395094 | 6018k| 3.2 | 318M| 54 | 7 | 60 |3439 | 60 | 21 | 22 | 797k|3762 | 0.000000e+00 | -- | Inf
1275.16/1275.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1275.16/1275.55 c 1116s| 1880k|397016 | 6048k| 3.2 | 320M| 54 | 7 | 60 |3171 | 60 | 21 | 22 | 801k|3771 | 0.000000e+00 | -- | Inf
1282.16/1282.60 c 1122s| 1890k|398950 | 6078k| 3.2 | 322M| 54 | - | 60 |2854 | 60 | 21 | 22 | 805k|3779 | 0.000000e+00 | -- | Inf
1289.15/1289.54 c 1128s| 1900k|400942 | 6108k| 3.2 | 323M| 54 | 7 | 60 |3086 | 60 | 21 | 22 | 810k|3790 | 0.000000e+00 | -- | Inf
1296.05/1296.45 c 1134s| 1910k|403034 | 6139k| 3.2 | 325M| 54 | 7 | 60 |2911 | 60 | 21 | 22 | 814k|3799 | 0.000000e+00 | -- | Inf
1303.06/1303.42 c 1141s| 1920k|404741 | 6168k| 3.2 | 327M| 54 | - | 60 |3190 | 60 | 21 | 22 | 818k|3804 | 0.000000e+00 | -- | Inf
1310.05/1310.40 c 1147s| 1930k|406580 | 6197k| 3.2 | 328M| 54 | 7 | 60 |2787 | 60 | 21 | 22 | 823k|3809 | 0.000000e+00 | -- | Inf
1317.05/1317.41 c 1153s| 1940k|408285 | 6227k| 3.2 | 330M| 54 | - | 60 |2551 | 0 | 0 | 22 | 827k|3818 | 0.000000e+00 | -- | Inf
1323.64/1324.06 c 1159s| 1950k|410473 | 6257k| 3.2 | 332M| 54 | 7 | 60 |3150 | 60 | 21 | 22 | 831k|3825 | 0.000000e+00 | -- | Inf
1330.24/1330.61 c 1164s| 1960k|413056 | 6287k| 3.2 | 334M| 54 | - | 60 |3494 | 60 | 21 | 22 | 835k|3832 | 0.000000e+00 | -- | Inf
1337.25/1337.64 c 1171s| 1970k|415015 | 6317k| 3.2 | 335M| 54 | 7 | 60 |3112 | 60 | 21 | 22 | 839k|3837 | 0.000000e+00 | -- | Inf
1344.14/1344.57 c 1177s| 1980k|417016 | 6348k| 3.2 | 337M| 54 | 7 | 60 |3065 | 60 | 21 | 22 | 843k|3841 | 0.000000e+00 | -- | Inf
1351.24/1351.69 c 1183s| 1990k|418877 | 6378k| 3.2 | 338M| 54 | 7 | 60 |2639 | 60 | 21 | 22 | 848k|3846 | 0.000000e+00 | -- | Inf
1358.04/1358.47 c 1189s| 2000k|420734 | 6407k| 3.2 | 340M| 54 | 7 | 60 |3362 | 60 | 21 | 22 | 852k|3847 | 0.000000e+00 | -- | Inf
1365.13/1365.56 c 1195s| 2010k|422530 | 6436k| 3.2 | 342M| 54 | 7 | 60 |3086 | 60 | 21 | 22 | 856k|3850 | 0.000000e+00 | -- | Inf
1372.23/1372.62 c 1201s| 2020k|424420 | 6466k| 3.2 | 343M| 54 | - | 60 |2836 | 60 | 21 | 22 | 861k|3857 | 0.000000e+00 | -- | Inf
1379.33/1379.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1379.33/1379.71 c 1208s| 2030k|426235 | 6496k| 3.2 | 345M| 54 | 7 | 60 |2590 | 60 | 21 | 22 | 865k|3863 | 0.000000e+00 | -- | Inf
1386.12/1386.51 c 1214s| 2040k|428181 | 6526k| 3.2 | 347M| 54 | 7 | 60 |3098 | 60 | 21 | 22 | 869k|3869 | 0.000000e+00 | -- | Inf
1392.92/1393.39 c 1220s| 2050k|430292 | 6556k| 3.2 | 348M| 54 | 7 | 60 |3340 | 60 | 21 | 22 | 873k|3876 | 0.000000e+00 | -- | Inf
1400.02/1400.47 c 1226s| 2060k|432283 | 6586k| 3.2 | 350M| 54 | 7 | 60 |2884 | 60 | 21 | 22 | 877k|3885 | 0.000000e+00 | -- | Inf
1406.82/1407.27 c 1232s| 2070k|434309 | 6616k| 3.2 | 352M| 54 | 7 | 60 |3308 | 60 | 21 | 22 | 882k|3890 | 0.000000e+00 | -- | Inf
1413.62/1414.04 c 1238s| 2080k|436641 | 6647k| 3.2 | 354M| 54 | 7 | 60 |3679 | 60 | 21 | 22 | 886k|3895 | 0.000000e+00 | -- | Inf
1420.83/1421.28 c 1244s| 2090k|438653 | 6677k| 3.2 | 355M| 54 | 7 | 60 |3134 | 60 | 21 | 22 | 890k|3901 | 0.000000e+00 | -- | Inf
1428.02/1428.44 c 1251s| 2100k|440413 | 6707k| 3.2 | 357M| 54 | - | 60 |3026 | 0 | 0 | 22 | 894k|3909 | 0.000000e+00 | -- | Inf
1435.02/1435.45 c 1257s| 2110k|442295 | 6738k| 3.2 | 358M| 54 | 7 | 60 |3178 | 60 | 21 | 22 | 899k|3917 | 0.000000e+00 | -- | Inf
1442.21/1442.61 c 1263s| 2120k|443986 | 6767k| 3.2 | 360M| 54 | 7 | 60 |2702 | 60 | 21 | 22 | 903k|3926 | 0.000000e+00 | -- | Inf
1449.01/1449.46 c 1269s| 2130k|445835 | 6797k| 3.2 | 362M| 54 | 7 | 60 |2745 | 60 | 21 | 22 | 907k|3933 | 0.000000e+00 | -- | Inf
1455.91/1456.37 c 1275s| 2140k|447676 | 6826k| 3.2 | 363M| 54 | - | 60 |3146 | 60 | 21 | 22 | 911k|3937 | 0.000000e+00 | -- | Inf
1462.71/1463.16 c 1281s| 2150k|449679 | 6856k| 3.2 | 365M| 54 | 7 | 60 |3101 | 60 | 21 | 22 | 916k|3942 | 0.000000e+00 | -- | Inf
1469.81/1470.29 c 1288s| 2160k|451369 | 6885k| 3.2 | 366M| 54 | - | 60 |2612 | 60 | 21 | 22 | 920k|3949 | 0.000000e+00 | -- | Inf
1476.91/1477.37 c 1294s| 2170k|452933 | 6916k| 3.2 | 368M| 54 | 7 | 60 |2545 | 60 | 21 | 22 | 925k|3955 | 0.000000e+00 | -- | Inf
1483.60/1484.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.60/1484.06 c 1300s| 2180k|455016 | 6945k| 3.2 | 370M| 54 | 7 | 60 |3316 | 60 | 21 | 22 | 929k|3955 | 0.000000e+00 | -- | Inf
1490.89/1491.32 c 1306s| 2190k|456713 | 6975k| 3.2 | 371M| 54 | 7 | 60 |2925 | 60 | 21 | 22 | 933k|3955 | 0.000000e+00 | -- | Inf
1497.70/1498.17 c 1312s| 2200k|458668 | 7005k| 3.2 | 373M| 54 | - | 60 |3345 | 60 | 21 | 22 | 938k|3955 | 0.000000e+00 | -- | Inf
1504.60/1505.03 c 1318s| 2210k|460688 | 7035k| 3.2 | 375M| 54 | 7 | 60 |4568 | 60 | 21 | 22 | 942k|3955 | 0.000000e+00 | -- | Inf
1511.89/1512.38 c 1325s| 2220k|462498 | 7065k| 3.2 | 376M| 54 | 7 | 60 |2957 | 60 | 21 | 22 | 946k|3955 | 0.000000e+00 | -- | Inf
1518.90/1519.34 c 1331s| 2230k|464355 | 7094k| 3.2 | 378M| 54 | 7 | 60 |2962 | 60 | 21 | 22 | 950k|3955 | 0.000000e+00 | -- | Inf
1525.69/1526.19 c 1337s| 2240k|466336 | 7124k| 3.2 | 380M| 54 | - | 60 |3459 | 60 | 21 | 22 | 955k|3962 | 0.000000e+00 | -- | Inf
1532.99/1533.49 c 1343s| 2250k|468056 | 7154k| 3.2 | 381M| 54 | 7 | 60 |2880 | 60 | 21 | 22 | 959k|3968 | 0.000000e+00 | -- | Inf
1539.99/1540.42 c 1349s| 2260k|469898 | 7183k| 3.2 | 383M| 54 | 7 | 60 |3308 | 60 | 21 | 22 | 963k|3972 | 0.000000e+00 | -- | Inf
1546.98/1547.48 c 1356s| 2270k|471913 | 7213k| 3.2 | 385M| 54 | 7 | 60 |3476 | 60 | 21 | 22 | 968k|3976 | 0.000000e+00 | -- | Inf
1554.28/1554.75 c 1362s| 2280k|473703 | 7243k| 3.2 | 386M| 54 | 7 | 60 |2756 | 60 | 21 | 22 | 972k|3981 | 0.000000e+00 | -- | Inf
1561.08/1561.54 c 1368s| 2290k|475955 | 7273k| 3.2 | 388M| 54 | 7 | 60 |3987 | 60 | 21 | 22 | 977k|3987 | 0.000000e+00 | -- | Inf
1567.97/1568.46 c 1374s| 2300k|478191 | 7302k| 3.2 | 390M| 54 | 7 | 60 |4435 | 60 | 21 | 22 | 981k|3992 | 0.000000e+00 | -- | Inf
1575.08/1575.58 c 1380s| 2310k|480551 | 7333k| 3.2 | 392M| 54 | - | 60 |3917 | 60 | 21 | 22 | 985k|3997 | 0.000000e+00 | -- | Inf
1581.97/1582.49 c 1386s| 2320k|482966 | 7362k| 3.2 | 393M| 54 | 7 | 60 |4092 | 60 | 21 | 22 | 989k|3999 | 0.000000e+00 | -- | Inf
1589.37/1589.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.37/1589.89 c 1393s| 2330k|484741 | 7392k| 3.2 | 395M| 54 | 7 | 60 |3017 | 60 | 21 | 22 | 993k|3999 | 0.000000e+00 | -- | Inf
1596.37/1596.86 c 1399s| 2340k|486655 | 7422k| 3.2 | 396M| 54 | 7 | 60 |3396 | 60 | 21 | 22 | 997k|3999 | 0.000000e+00 | -- | Inf
1603.17/1603.61 c 1405s| 2350k|489155 | 7452k| 3.2 | 398M| 54 | - | 60 |4358 | 60 | 21 | 22 |1001k|3999 | 0.000000e+00 | -- | Inf
1610.27/1610.70 c 1411s| 2360k|491569 | 7482k| 3.2 | 400M| 54 | - | 60 |4112 | 60 | 21 | 22 |1005k|4003 | 0.000000e+00 | -- | Inf
1617.16/1617.63 c 1417s| 2370k|494152 | 7513k| 3.2 | 402M| 54 | 7 | 60 |4426 | 60 | 21 | 22 |1009k|4007 | 0.000000e+00 | -- | Inf
1624.57/1625.00 c 1424s| 2380k|496232 | 7542k| 3.2 | 403M| 54 | - | 60 |3194 | 60 | 21 | 22 |1013k|4011 | 0.000000e+00 | -- | Inf
1631.66/1632.10 c 1430s| 2390k|498074 | 7573k| 3.2 | 405M| 54 | - | 60 |2728 | 60 | 21 | 22 |1017k|4016 | 0.000000e+00 | -- | Inf
1638.76/1639.24 c 1437s| 2400k|499733 | 7603k| 3.2 | 407M| 54 | 7 | 60 |2910 | 60 | 21 | 22 |1022k|4022 | 0.000000e+00 | -- | Inf
1645.56/1646.02 c 1443s| 2410k|501797 | 7632k| 3.2 | 408M| 54 | - | 60 |3278 | 60 | 21 | 22 |1026k|4025 | 0.000000e+00 | -- | Inf
1652.36/1652.86 c 1449s| 2420k|503999 | 7662k| 3.2 | 410M| 54 | 7 | 60 |3585 | 60 | 21 | 22 |1030k|4030 | 0.000000e+00 | -- | Inf
1659.65/1660.10 c 1455s| 2430k|505710 | 7692k| 3.2 | 412M| 54 | - | 60 |2904 | 60 | 21 | 22 |1035k|4037 | 0.000000e+00 | -- | Inf
1666.55/1667.06 c 1461s| 2440k|507731 | 7722k| 3.2 | 413M| 54 | - | 60 |3066 | 60 | 21 | 22 |1039k|4042 | 0.000000e+00 | -- | Inf
1673.85/1674.34 c 1467s| 2450k|509417 | 7752k| 3.2 | 415M| 54 | 7 | 60 |2664 | 60 | 21 | 22 |1043k|4046 | 0.000000e+00 | -- | Inf
1680.55/1681.07 c 1473s| 2460k|511609 | 7781k| 3.2 | 416M| 54 | 7 | 60 |2739 | 60 | 21 | 22 |1047k|4055 | 0.000000e+00 | -- | Inf
1687.75/1688.26 c 1480s| 2470k|513327 | 7812k| 3.2 | 418M| 54 | - | 60 |3015 | 60 | 21 | 22 |1051k|4059 | 0.000000e+00 | -- | Inf
1694.85/1695.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.85/1695.36 c 1486s| 2480k|515006 | 7841k| 3.2 | 420M| 54 | - | 60 |3190 | 60 | 21 | 22 |1056k|4063 | 0.000000e+00 | -- | Inf
1701.75/1702.26 c 1492s| 2490k|517069 | 7872k| 3.2 | 422M| 54 | 7 | 60 |4226 | 60 | 21 | 22 |1060k|4066 | 0.000000e+00 | -- | Inf
1709.34/1709.89 c 1499s| 2500k|518757 | 7902k| 3.2 | 423M| 54 | 7 | 60 |2728 | 60 | 21 | 22 |1064k|4067 | 0.000000e+00 | -- | Inf
1716.34/1716.82 c 1505s| 2510k|520803 | 7932k| 3.2 | 425M| 54 | 7 | 60 |3167 | 60 | 21 | 22 |1069k|4072 | 0.000000e+00 | -- | Inf
1723.44/1723.92 c 1511s| 2520k|522792 | 7962k| 3.2 | 426M| 54 | - | 60 |3033 | 60 | 21 | 22 |1073k|4075 | 0.000000e+00 | -- | Inf
1730.44/1730.98 c 1517s| 2530k|524527 | 7991k| 3.2 | 428M| 54 | - | 60 |3177 | 60 | 21 | 22 |1077k|4082 | 0.000000e+00 | -- | Inf
1737.44/1738.00 c 1524s| 2540k|526521 | 8021k| 3.2 | 429M| 54 | 7 | 60 |3149 | 60 | 21 | 22 |1081k|4089 | 0.000000e+00 | -- | Inf
1744.33/1744.88 c 1530s| 2550k|528589 | 8051k| 3.2 | 431M| 54 | - | 60 |3482 | 60 | 21 | 22 |1085k|4092 | 0.000000e+00 | -- | Inf
1751.23/1751.74 c 1536s| 2560k|530958 | 8081k| 3.2 | 433M| 54 | 7 | 60 |4159 | 60 | 21 | 22 |1089k|4095 | 0.000000e+00 | -- | Inf
1758.44/1758.92 c 1542s| 2570k|532863 | 8110k| 3.2 | 435M| 54 | - | 60 |3695 | 60 | 21 | 22 |1093k|4103 | 0.000000e+00 | -- | Inf
1765.63/1766.18 c 1548s| 2580k|534761 | 8140k| 3.2 | 436M| 54 | - | 60 |2940 | 60 | 21 | 22 |1098k|4109 | 0.000000e+00 | -- | Inf
1772.82/1773.31 c 1555s| 2590k|536547 | 8170k| 3.2 | 438M| 54 | 7 | 60 |3204 | 60 | 21 | 22 |1102k|4116 | 0.000000e+00 | -- | Inf
1779.72/1780.24 c 1561s| 2600k|538996 | 8201k| 3.2 | 440M| 54 | 7 | 60 |3397 | 60 | 21 | 22 |1106k|4120 | 0.000000e+00 | -- | Inf
1787.03/1787.53 c 1567s| 2610k|541038 | 8232k| 3.2 | 441M| 54 | - | 60 |3096 | 0 | 0 | 22 |1110k|4126 | 0.000000e+00 | -- | Inf
1793.92/1794.47 c 1573s| 2620k|543175 | 8262k| 3.2 | 443M| 54 | 7 | 60 |3735 | 60 | 21 | 22 |1114k|4129 | 0.000000e+00 | -- | Inf
1800.02/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.50 c
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time (sec) : 1578.60
1800.02/1800.50 c Solving Nodes : 2628210
1800.02/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50 c Dual Bound : +0.00000000000000e+00
1800.02/1800.50 c Gap : infinite
1800.02/1800.50 s UNKNOWN
1800.02/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.50 c Solving Time : 1578.60
1800.02/1800.50 c Original Problem :
1800.02/1800.50 c Problem name : HOME/instance-2665441-1276600275.opb
1800.02/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 15 initial, 15 maximal
1800.02/1800.50 c Presolved Problem :
1800.02/1800.50 c Problem name : t_HOME/instance-2665441-1276600275.opb
1800.02/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50 c Constraints : 7 initial, 4976 maximal
1800.02/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.02/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c linear : 0.01 0 0 0 0 0 8 0 0
1800.02/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.50 c root node : - 0 - - 0 - - - -
1800.02/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c integral : 0 0 0 1591996 0 239 1420 0 0 3180916
1800.02/1800.50 c linear : 7+ 7 6411010 0 0 162851 4658677 0 0 0
1800.02/1800.50 c logicor : 0+ 0 2454618 0 0 9307 895600 0 0 0
1800.02/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.50 c integral : 23.12 0.00 0.00 23.12 0.00
1800.02/1800.50 c linear : 320.95 0.00 320.95 0.00 0.00
1800.02/1800.50 c logicor : 158.81 0.00 158.81 0.00 0.00
1800.02/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.50 c vbounds : 3.21 2 0 0
1800.02/1800.50 c rootredcost : 2.76 0 0 0
1800.02/1800.50 c pseudoobj : 2.83 0 0 0
1800.02/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.50 c propagation : 23.94 172158 158027 574458 40.1 16 35.8 -
1800.02/1800.50 c infeasible LP : 52.82 873465 674600 1292666 27.4 2908 30.7 0
1800.02/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.50 c applied globally : - - - 856212 23.1 - - -
1800.02/1800.50 c applied locally : - - - 262176 36.1 - - -
1800.02/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.50 c cut pool : 0.00 5 - - 9 - (maximal pool size: 71)
1800.02/1800.50 c redcost : 4.20 1591994 0 0 0 0
1800.02/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.02/1800.50 c intobj : 0.00 0 0 0 0 0
1800.02/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.02/1800.50 c gomory : 0.01 6 0 0 0 0
1800.02/1800.50 c strongcg : 0.00 6 0 0 25 0
1800.02/1800.50 c cmir : 0.02 6 0 0 29 0
1800.02/1800.50 c flowcover : 0.02 6 0 0 26 0
1800.02/1800.50 c clique : 0.00 1 0 0 0 0
1800.02/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.50 c mcf : 0.00 1 0 0 0 0
1800.02/1800.50 c rapidlearning : 0.11 1 0 0 0 1
1800.02/1800.50 c Pricers : Time Calls Vars
1800.02/1800.50 c problem variables: 0.00 0 0
1800.02/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.50 c relpscost : 20.59 1591996 239 1420 0 0 3180916
1800.02/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.02/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.50 c random : 0.00 0 0 0 0 0 0
1800.02/1800.50 c Primal Heuristics : Time Calls Found
1800.02/1800.50 c LP solutions : 0.00 - 0
1800.02/1800.50 c pseudo solutions : 0.00 - 0
1800.02/1800.50 c oneopt : 2.44 0 0
1800.02/1800.50 c crossover : 1.63 0 0
1800.02/1800.50 c guideddiving : 0.15 0 0
1800.02/1800.50 c intshifting : 0.08 0 0
1800.02/1800.50 c fracdiving : 0.14 24 0
1800.02/1800.50 c veclendiving : 0.19 24 0
1800.02/1800.50 c linesearchdiving : 0.13 24 0
1800.02/1800.50 c coefdiving : 0.18 25 0
1800.02/1800.50 c pscostdiving : 0.13 25 0
1800.02/1800.50 c feaspump : 0.11 13 0
1800.02/1800.50 c objpscostdiving : 0.18 13 0
1800.02/1800.50 c rootsoldiving : 0.18 13 0
1800.02/1800.50 c trivial : 0.00 2 0
1800.02/1800.50 c simplerounding : 0.71 0 0
1800.02/1800.50 c zirounding : 1.68 1000 0
1800.02/1800.50 c rounding : 2.07 17798 0
1800.02/1800.50 c shifting : 4.41 5566 0
1800.02/1800.50 c twoopt : 0.00 0 0
1800.02/1800.50 c fixandinfer : 0.00 0 0
1800.02/1800.51 c intdiving : 0.00 0 0
1800.02/1800.51 c actconsdiving : 0.00 0 0
1800.02/1800.51 c octane : 0.00 0 0
1800.02/1800.51 c rens : 0.12 1 0
1800.02/1800.51 c rins : 0.00 0 0
1800.02/1800.51 c localbranching : 0.00 0 0
1800.02/1800.51 c mutation : 0.00 0 0
1800.02/1800.51 c dins : 0.00 0 0
1800.02/1800.51 c undercover : 0.00 0 0
1800.02/1800.51 c nlp : 1.39 0 0
1800.02/1800.51 c trysol : 1.86 0 0
1800.02/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.02/1800.51 c dual LP : 620.28 2407900 8285716 3.44 13358.03
1800.02/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.02/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.51 c diving/probing LP: 0.14 520 1339 2.58 9564.29
1800.02/1800.51 c strong branching : 1.43 4134 25241 6.11 17651.05
1800.02/1800.51 c (at root node) : - 15 1007 67.13 -
1800.02/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.51 c B&B Tree :
1800.02/1800.51 c number of runs : 1
1800.02/1800.51 c nodes : 2628210
1800.02/1800.51 c nodes (total) : 2628210
1800.02/1800.51 c nodes left : 544572
1800.02/1800.51 c max depth : 54
1800.02/1800.51 c max depth (total): 54
1800.02/1800.51 c backtracks : 251035 (9.6%)
1800.02/1800.51 c delayed cutoffs : 8135
1800.02/1800.51 c repropagations : 2446408 (959821 domain reductions, 7819 cutoffs)
1800.02/1800.51 c avg switch length: 5.18
1800.02/1800.51 c switching time : 179.06
1800.02/1800.51 c Solution :
1800.02/1800.51 c Solutions found : 0 (0 improvements)
1800.02/1800.51 c Primal Bound : -
1800.02/1800.51 c Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Gap : infinite
1800.02/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.02/1800.51 c Root Iterations : 130
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665441-1276600275/watcher-2665441-1276600275 -o /tmp/evaluation-result-2665441-1276600275/solver-2665441-1276600275 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665441-1276600275.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 2442
/proc/meminfo: memFree=1664960/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=9288 CPUtime=0
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 1042 0 0 0 0 0 0 0 20 0 1 0 35629236 9510912 963 1992294400 4194304 9819077 140735736755280 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2442/statm: 2322 973 371 1374 0 943 0
[startup+0.0506439 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 2442
/proc/meminfo: memFree=1664960/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=21712 CPUtime=0.04
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 4694 0 0 0 3 1 0 0 20 0 1 0 35629236 22233088 3738 1992294400 4194304 9819077 140735736755280 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 5428 3750 668 1374 0 4049 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21712
[startup+0.101649 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 2442
/proc/meminfo: memFree=1664960/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=21844 CPUtime=0.09
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 5054 0 0 0 7 2 0 0 20 0 1 0 35629236 22368256 3841 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 5461 3841 676 1374 0 4082 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21844
[startup+0.301671 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 2442
/proc/meminfo: memFree=1664960/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=23496 CPUtime=0.29
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 8409 0 0 0 25 4 0 0 20 0 1 0 35629236 24059904 4138 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 5874 4138 712 1374 0 4495 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23496
[startup+0.700716 s]
/proc/loadavg: 0.99 1.00 1.00 3/106 2442
/proc/meminfo: memFree=1664960/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=15372 CPUtime=0.69
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15886 0 0 0 58 11 0 0 21 0 1 0 35629236 15740928 2662 1992294400 4194304 9819077 140735736755280 18446744073709551615 7816437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 3843 2662 722 1374 0 2464 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15372
[startup+1.5008 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2443
/proc/meminfo: memFree=1656396/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=15692 CPUtime=1.49
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 23953 0 0 0 127 22 0 0 23 0 1 0 35629236 16068608 2711 1992294400 4194304 9819077 140735736755280 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 3963 2712 722 1374 0 2584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15692
[startup+3.10098 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2443
/proc/meminfo: memFree=1656272/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=17252 CPUtime=3.09
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 38336 0 0 0 268 41 0 0 25 0 1 0 35629236 17666048 2992 1992294400 4194304 9819077 140735736755280 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 4313 2992 722 1374 0 2934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17252
[startup+6.30133 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2443
/proc/meminfo: memFree=1653792/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=19276 CPUtime=6.29
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 67302 0 0 0 545 84 0 0 25 0 1 0 35629236 19738624 3505 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 4819 3505 722 1374 0 3440 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19276
[startup+12.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2443
/proc/meminfo: memFree=1651188/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=21360 CPUtime=12.69
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 126333 0 0 0 1100 169 0 0 25 0 1 0 35629236 21872640 4037 1992294400 4194304 9819077 140735736755280 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 5340 4037 722 1374 0 3961 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21360
[startup+25.5015 s]
/proc/loadavg: 0.99 1.00 1.00 3/107 2443
/proc/meminfo: memFree=1646848/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=25872 CPUtime=25.48
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 248169 0 0 0 2203 345 0 0 25 0 1 0 35629236 26492928 5175 1992294400 4194304 9819077 140735736755280 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 6468 5175 722 1374 0 5089 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25872
[startup+51.1013 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2443
/proc/meminfo: memFree=1638168/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=34236 CPUtime=51.07
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 484313 0 0 0 4418 689 0 0 25 0 1 0 35629236 35057664 7299 1992294400 4194304 9819077 140735736755280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 8559 7299 722 1374 0 7180 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34236
[startup+102.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2445
/proc/meminfo: memFree=1622792/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=49024 CPUtime=102.27
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 943773 0 0 0 8860 1367 0 0 25 0 1 0 35629236 50200576 11063 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 12256 11063 722 1374 0 10877 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49024
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2447
/proc/meminfo: memFree=1605184/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=66436 CPUtime=162.25
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 1475267 0 0 0 14081 2144 0 0 25 0 1 0 35629236 68030464 15484 1992294400 4194304 9819077 140735736755280 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 16449 15480 722 1374 0 15070 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 66436
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2452
/proc/meminfo: memFree=1587080/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=85756 CPUtime=222.23
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 2002494 0 0 0 19308 2915 0 0 25 0 1 0 35629236 87814144 19825 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 21439 19825 722 1374 0 20060 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 85756
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2452
/proc/meminfo: memFree=1570340/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=102092 CPUtime=282.22
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 2528527 0 0 0 24525 3697 0 0 25 0 1 0 35629236 104542208 24003 1992294400 4194304 9819077 140735736755280 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 25523 24003 722 1374 0 24144 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 102092
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2454
/proc/meminfo: memFree=1557196/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=114976 CPUtime=342.2
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 3050756 0 0 0 29755 4465 0 0 25 0 1 0 35629236 117735424 27298 1992294400 4194304 9819077 140735736755280 18446744073709551615 4454518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 28744 27298 722 1374 0 27365 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 114976
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2456
/proc/meminfo: memFree=1540828/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=131652 CPUtime=402.19
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 3570514 0 0 0 34994 5225 0 0 25 0 1 0 35629236 134811648 31497 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 32913 31497 722 1374 0 31534 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 131652
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2458
/proc/meminfo: memFree=1520864/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=150920 CPUtime=462.17
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 4089784 0 0 0 40225 5992 0 0 25 0 1 0 35629236 154542080 36387 1992294400 4194304 9819077 140735736755280 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 37730 36387 722 1374 0 36351 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 150920
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2460
/proc/meminfo: memFree=1508340/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=163380 CPUtime=522.16
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 4604136 0 0 0 45455 6761 0 0 25 0 1 0 35629236 167301120 39567 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 40845 39567 722 1374 0 39466 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 163380
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2460
/proc/meminfo: memFree=1491848/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=179092 CPUtime=582.14
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 5118913 0 0 0 50683 7531 0 0 25 0 1 0 35629236 183390208 43575 1992294400 4194304 9819077 140735736755280 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 44773 43575 722 1374 0 43394 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 179092
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2462
/proc/meminfo: memFree=1478084/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=196424 CPUtime=642.13
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 5626953 0 0 0 55957 8256 0 0 25 0 1 0 35629236 201138176 46962 1992294400 4194304 9819077 140735736755280 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 49146 46963 722 1374 0 47767 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 196424
[startup+702.3 s]
################
# More data... #
################
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 9165637 0 0 0 92875 13326 0 0 25 0 1 0 35629236 313462784 74782 1992294400 4194304 9819077 140735736755280 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 76570 74783 722 1374 0 75191 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 306116
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2476
/proc/meminfo: memFree=1351108/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=320832 CPUtime=1122
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 9670505 0 0 0 98137 14063 0 0 25 0 1 0 35629236 328531968 78503 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 80208 78503 722 1374 0 78829 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 320832
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2476
/proc/meminfo: memFree=1335856/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=335500 CPUtime=1181.98
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 10173235 0 0 0 103410 14788 0 0 25 0 1 0 35629236 343552000 82287 1992294400 4194304 9819077 140735736755280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 83875 82287 722 1374 0 82496 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 335500
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2478
/proc/meminfo: memFree=1320356/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=350192 CPUtime=1241.96
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 10668366 0 0 0 108689 15507 0 0 25 0 1 0 35629236 358596608 86280 1992294400 4194304 9819077 140735736755280 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 87748 86284 722 1374 0 86369 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 350192
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2480
/proc/meminfo: memFree=1306220/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=364272 CPUtime=1301.95
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 11168922 0 0 0 113961 16234 0 0 25 0 1 0 35629236 373014528 89539 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 91068 89539 722 1374 0 89689 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 364272
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2482
/proc/meminfo: memFree=1291340/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=378968 CPUtime=1361.93
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 11668702 0 0 0 119244 16949 0 0 25 0 1 0 35629236 388063232 93307 1992294400 4194304 9819077 140735736755280 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 94702 93306 722 1374 0 93323 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 378968
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2484
/proc/meminfo: memFree=1277576/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=392052 CPUtime=1421.93
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 12165936 0 0 0 124529 17664 0 0 25 0 1 0 35629236 401461248 96673 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 98013 96673 722 1374 0 96634 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 392052
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2484
/proc/meminfo: memFree=1261828/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=407872 CPUtime=1481.9
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 12663587 0 0 0 129819 18371 0 0 25 0 1 0 35629236 417660928 100715 1992294400 4194304 9819077 140735736755280 18446744073709551615 4221231 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 101968 100715 722 1374 0 100589 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 407872
[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2486
/proc/meminfo: memFree=1246824/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=430588 CPUtime=1541.88
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 13156665 0 0 0 135108 19080 0 0 25 0 1 0 35629236 440922112 104305 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 107647 104305 722 1374 0 106268 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 430588
[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2488
/proc/meminfo: memFree=1231572/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=445636 CPUtime=1601.87
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 13643729 0 0 0 140396 19791 0 0 25 0 1 0 35629236 456331264 108179 1992294400 4194304 9819077 140735736755280 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 111369 108178 722 1374 0 109990 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 445636
[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2490
/proc/meminfo: memFree=1218304/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=458208 CPUtime=1661.85
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 14131407 0 0 0 145680 20505 0 0 25 0 1 0 35629236 469204992 111397 1992294400 4194304 9819077 140735736755280 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 114552 111397 722 1374 0 113173 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 458208
[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2492
/proc/meminfo: memFree=1205408/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=470620 CPUtime=1721.83
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 14623898 0 0 0 150966 21217 0 0 25 0 1 0 35629236 481914880 114589 1992294400 4194304 9819077 140735736755280 18446744073709551615 4677571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 117655 114589 722 1374 0 116276 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 470620
[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2492
/proc/meminfo: memFree=1189908/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=485492 CPUtime=1781.82
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15115395 0 0 0 156252 21930 0 0 25 0 1 0 35629236 497143808 118400 1992294400 4194304 9819077 140735736755280 18446744073709551615 4947568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 121373 118400 722 1374 0 119994 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 485492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 2494
/proc/meminfo: memFree=1185940/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=489312 CPUtime=1800.02
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15261696 0 0 0 157860 22142 0 0 25 0 1 0 35629236 501055488 119374 1992294400 4194304 9819077 140735736755280 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2442/statm: 122328 119374 722 1374 0 120949 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 489312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2442
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 2495
/proc/meminfo: memFree=1185932/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=489312 CPUtime=1800.91
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15261702 0 0 0 157949 22142 0 0 25 0 1 0 35629236 501055488 119375 1992294400 4194304 9819077 140735736755280 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2442/statm: 122328 119375 723 1374 0 120949 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 489312
[startup+1802.2 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 2495
/proc/meminfo: memFree=1185808/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=489312 CPUtime=1801.71
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15261702 0 0 0 158029 22142 0 0 25 0 1 0 35629236 501055488 119375 1992294400 4194304 9819077 140735736755280 18446744073709551615 6180452 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2442/statm: 122328 119375 723 1374 0 120949 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 489312
[startup+1802.4 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 2495
/proc/meminfo: memFree=1185808/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=489312 CPUtime=1801.91
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15261702 0 0 0 158049 22142 0 0 25 0 1 0 35629236 501055488 119375 1992294400 4194304 9819077 140735736755280 18446744073709551615 6179982 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2442/statm: 122328 119375 723 1374 0 120949 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 489312
[startup+1802.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 2495
/proc/meminfo: memFree=1185808/2059040 swapFree=4140260/4192956
[pid=2442] ppid=2440 vsize=489312 CPUtime=1802.01
/proc/2442/stat : 2442 (pbscip.linux.x8) R 2440 2442 2052 0 -1 4202496 15261702 0 0 0 158059 22142 0 0 25 0 1 0 35629236 501055488 119375 1992294400 4194304 9819077 140735736755280 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2442/statm: 122328 119375 723 1374 0 120949 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 489312
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.09
CPU user time (s): 1580.61
CPU system time (s): 221.476
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 489312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1580.61
system time used= 221.476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15261702
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= 1408
runsolver used 3.12652 second user time and 8.37273 second system time
The end