0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666879-1276615780.opb>
0.00/0.01 c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 44 | - | 364k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 179 | - | 413k| 0 | 14 | 70 | 8 | 70 | 15 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 189 | - | 444k| 0 | 18 | 70 | 8 | 70 | 18 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 201 | - | 463k| 0 | 22 | 70 | 8 | 70 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 213 | - | 475k| 0 | 23 | 70 | 8 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 216 | - | 479k| 0 | 23 | 70 | 8 | 70 | 26 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.30/0.38 c 0.3s| 1 | 2 | 216 | - | 480k| 0 | 23 | 70 | 8 | 70 | 26 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
5.79/5.83 c 5.4s| 10000 | 5247 | 33429 | 3.3 |4317k| 57 | - | 70 |2344 | 70 | 23 | 18 |2970 | 705 | 0.000000e+00 | -- | Inf
11.09/11.16 c 10.3s| 20000 | 9781 | 65771 | 3.3 |6920k| 59 | 8 | 70 |1563 | 70 | 23 | 18 |6355 | 914 | 0.000000e+00 | -- | Inf
16.39/16.40 c 15.1s| 30000 | 13734 | 98632 | 3.3 |9572k| 60 | - | 70 |1823 | 0 | 0 | 18 | 10k|1076 | 0.000000e+00 | -- | Inf
21.68/21.75 c 20.0s| 40000 | 17466 |131958 | 3.3 | 12M| 60 | 8 | 70 |1986 | 70 | 23 | 18 | 14k|1228 | 0.000000e+00 | -- | Inf
27.08/27.10 c 25.0s| 50000 | 20963 |164893 | 3.3 | 14M| 60 | 8 | 70 |2269 | 70 | 23 | 18 | 18k|1330 | 0.000000e+00 | -- | Inf
32.18/32.28 c 29.8s| 60000 | 25006 |197869 | 3.3 | 17M| 60 | - | 70 |2377 | 70 | 23 | 18 | 21k|1405 | 0.000000e+00 | -- | Inf
37.58/37.64 c 34.7s| 70000 | 28718 |230212 | 3.3 | 19M| 61 | - | 70 |2014 | 70 | 23 | 18 | 25k|1466 | 0.000000e+00 | -- | Inf
42.88/42.97 c 39.6s| 80000 | 32347 |263514 | 3.3 | 22M| 61 | 8 | 70 |1897 | 70 | 23 | 18 | 29k|1534 | 0.000000e+00 | -- | Inf
47.97/48.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.97/48.07 c 44.3s| 90000 | 36250 |295855 | 3.3 | 24M| 61 | - | 70 |2422 | 70 | 23 | 18 | 33k|1595 | 0.000000e+00 | -- | Inf
53.37/53.43 c 49.2s|100000 | 39976 |328383 | 3.3 | 27M| 61 | - | 70 |2169 | 70 | 23 | 18 | 37k|1655 | 0.000000e+00 | -- | Inf
58.77/58.80 c 54.1s|110000 | 43317 |360694 | 3.3 | 30M| 61 | 8 | 70 |2347 | 70 | 23 | 18 | 41k|1694 | 0.000000e+00 | -- | Inf
64.07/64.11 c 59.0s|120000 | 46938 |392421 | 3.3 | 32M| 61 | 8 | 70 |2333 | 70 | 23 | 18 | 45k|1739 | 0.000000e+00 | -- | Inf
69.27/69.39 c 63.9s|130000 | 50666 |424803 | 3.3 | 35M| 61 | - | 70 |2257 | 0 | 0 | 18 | 49k|1769 | 0.000000e+00 | -- | Inf
74.66/74.75 c 68.8s|140000 | 54173 |457397 | 3.3 | 37M| 62 | 8 | 70 |2634 | 70 | 23 | 18 | 53k|1804 | 0.000000e+00 | -- | Inf
80.16/80.25 c 73.9s|150000 | 57477 |490064 | 3.3 | 40M| 62 | 8 | 70 |2352 | 70 | 23 | 18 | 57k|1842 | 0.000000e+00 | -- | Inf
85.46/85.59 c 78.8s|160000 | 60993 |522165 | 3.3 | 42M| 62 | 8 | 70 |2582 | 70 | 23 | 18 | 61k|1882 | 0.000000e+00 | -- | Inf
90.96/91.04 c 83.8s|170000 | 64295 |554523 | 3.3 | 45M| 62 | 8 | 70 |2714 | 70 | 23 | 18 | 66k|1917 | 0.000000e+00 | -- | Inf
96.35/96.45 c 88.8s|180000 | 67687 |586292 | 3.3 | 47M| 62 | - | 70 |2443 | 70 | 23 | 18 | 70k|1957 | 0.000000e+00 | -- | Inf
101.75/101.84 c 93.8s|190000 | 70910 |618082 | 3.3 | 50M| 62 | 8 | 70 |2586 | 70 | 23 | 18 | 74k|1987 | 0.000000e+00 | -- | Inf
107.35/107.40 c 98.9s|200000 | 74166 |650544 | 3.3 | 52M| 62 | - | 70 |2735 | 70 | 23 | 18 | 78k|2017 | 0.000000e+00 | -- | Inf
112.85/112.90 c 104s|210000 | 77446 |682154 | 3.2 | 55M| 62 | 8 | 70 |2697 | 70 | 23 | 18 | 82k|2041 | 0.000000e+00 | -- | Inf
118.35/118.43 c 109s|220000 | 80698 |714799 | 3.2 | 57M| 62 | - | 70 |3009 | 70 | 23 | 18 | 87k|2072 | 0.000000e+00 | -- | Inf
123.94/124.05 c 114s|230000 | 83854 |746986 | 3.2 | 60M| 62 | 8 | 70 |3027 | 70 | 23 | 18 | 91k|2109 | 0.000000e+00 | -- | Inf
129.54/129.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
129.54/129.70 c 120s|240000 | 87018 |779278 | 3.2 | 62M| 62 | - | 70 |2863 | 70 | 23 | 18 | 95k|2145 | 0.000000e+00 | -- | Inf
135.15/135.28 c 125s|250000 | 90108 |810373 | 3.2 | 64M| 62 | 8 | 70 |2790 | 70 | 23 | 18 | 100k|2166 | 0.000000e+00 | -- | Inf
140.74/140.89 c 130s|260000 | 93346 |842258 | 3.2 | 67M| 62 | 8 | 70 |2743 | 70 | 23 | 18 | 104k|2193 | 0.000000e+00 | -- | Inf
146.24/146.37 c 135s|270000 | 96476 |873754 | 3.2 | 69M| 62 | - | 70 |3197 | 0 | 0 | 18 | 108k|2215 | 0.000000e+00 | -- | Inf
151.84/151.93 c 140s|280000 | 99834 |906155 | 3.2 | 72M| 62 | 8 | 70 |3200 | 70 | 23 | 18 | 112k|2237 | 0.000000e+00 | -- | Inf
157.43/157.59 c 145s|290000 |103126 |937669 | 3.2 | 74M| 62 | - | 70 |3342 | 70 | 23 | 18 | 116k|2266 | 0.000000e+00 | -- | Inf
163.33/163.45 c 151s|300000 |106046 |969905 | 3.2 | 77M| 62 | - | 70 |2977 | 0 | 0 | 18 | 121k|2295 | 0.000000e+00 | -- | Inf
168.92/169.01 c 156s|310000 |109305 | 1001k| 3.2 | 79M| 62 | - | 70 |3303 | 70 | 23 | 18 | 125k|2318 | 0.000000e+00 | -- | Inf
174.32/174.45 c 161s|320000 |112769 | 1033k| 3.2 | 81M| 62 | 8 | 70 |3226 | 70 | 23 | 18 | 129k|2338 | 0.000000e+00 | -- | Inf
179.92/180.01 c 166s|330000 |116246 | 1066k| 3.2 | 84M| 62 | - | 70 |3225 | 70 | 23 | 18 | 133k|2360 | 0.000000e+00 | -- | Inf
185.42/185.57 c 171s|340000 |119526 | 1098k| 3.2 | 86M| 62 | - | 70 |3464 | 70 | 23 | 18 | 138k|2381 | 0.000000e+00 | -- | Inf
191.02/191.18 c 176s|350000 |122742 | 1130k| 3.2 | 89M| 62 | 8 | 70 |3147 | 70 | 23 | 18 | 142k|2403 | 0.000000e+00 | -- | Inf
196.62/196.77 c 182s|360000 |125897 | 1161k| 3.2 | 91M| 62 | 8 | 70 |3170 | 70 | 23 | 18 | 146k|2423 | 0.000000e+00 | -- | Inf
202.02/202.16 c 187s|370000 |129221 | 1192k| 3.2 | 94M| 62 | 8 | 70 |3849 | 70 | 23 | 18 | 150k|2444 | 0.000000e+00 | -- | Inf
207.91/208.06 c 192s|380000 |132375 | 1224k| 3.2 | 96M| 62 | 8 | 70 |2978 | 70 | 23 | 18 | 155k|2460 | 0.000000e+00 | -- | Inf
213.61/213.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.61/213.76 c 197s|390000 |135208 | 1256k| 3.2 | 99M| 62 | 8 | 70 |3148 | 70 | 23 | 18 | 159k|2483 | 0.000000e+00 | -- | Inf
219.40/219.53 c 203s|400000 |138190 | 1288k| 3.2 | 101M| 62 | 8 | 70 |3322 | 70 | 23 | 18 | 164k|2502 | 0.000000e+00 | -- | Inf
225.10/225.21 c 208s|410000 |141379 | 1319k| 3.2 | 103M| 62 | 8 | 70 |3437 | 70 | 23 | 18 | 168k|2515 | 0.000000e+00 | -- | Inf
230.71/230.86 c 213s|420000 |144517 | 1350k| 3.2 | 106M| 62 | - | 70 |3455 | 70 | 23 | 18 | 172k|2532 | 0.000000e+00 | -- | Inf
236.41/236.52 c 218s|430000 |147565 | 1382k| 3.2 | 108M| 62 | 8 | 70 |4177 | 70 | 23 | 18 | 176k|2545 | 0.000000e+00 | -- | Inf
242.40/242.50 c 224s|440000 |150382 | 1414k| 3.2 | 111M| 62 | 8 | 70 |3846 | 70 | 23 | 18 | 181k|2562 | 0.000000e+00 | -- | Inf
248.30/248.47 c 230s|450000 |153239 | 1446k| 3.2 | 113M| 62 | 8 | 70 |3526 | 70 | 23 | 18 | 185k|2580 | 0.000000e+00 | -- | Inf
254.20/254.39 c 235s|460000 |156209 | 1477k| 3.2 | 115M| 62 | 8 | 70 |3498 | 70 | 23 | 18 | 190k|2599 | 0.000000e+00 | -- | Inf
260.19/260.33 c 241s|470000 |159085 | 1509k| 3.2 | 118M| 62 | - | 70 |3341 | 70 | 23 | 18 | 194k|2621 | 0.000000e+00 | -- | Inf
265.99/266.13 c 246s|480000 |162072 | 1541k| 3.2 | 120M| 62 | 8 | 70 |3386 | 70 | 23 | 18 | 199k|2637 | 0.000000e+00 | -- | Inf
271.79/271.98 c 252s|490000 |164963 | 1573k| 3.2 | 122M| 62 | 8 | 70 |3334 | 70 | 23 | 18 | 203k|2658 | 0.000000e+00 | -- | Inf
277.69/277.80 c 257s|500000 |167776 | 1605k| 3.2 | 125M| 62 | - | 70 |3803 | 70 | 23 | 18 | 208k|2676 | 0.000000e+00 | -- | Inf
283.59/283.70 c 262s|510000 |170777 | 1636k| 3.2 | 127M| 62 | 8 | 70 |4020 | 70 | 23 | 18 | 212k|2688 | 0.000000e+00 | -- | Inf
288.98/289.16 c 267s|520000 |174353 | 1666k| 3.2 | 130M| 62 | 8 | 70 |4497 | 70 | 23 | 18 | 216k|2696 | 0.000000e+00 | -- | Inf
294.99/295.14 c 273s|530000 |177378 | 1697k| 3.2 | 132M| 62 | - | 70 |3966 | 70 | 23 | 18 | 221k|2707 | 0.000000e+00 | -- | Inf
300.68/300.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.68/300.87 c 278s|540000 |180152 | 1729k| 3.2 | 135M| 62 | 8 | 70 |4195 | 70 | 23 | 18 | 225k|2718 | 0.000000e+00 | -- | Inf
306.78/306.97 c 284s|550000 |182845 | 1761k| 3.2 | 137M| 62 | 8 | 70 |4056 | 70 | 23 | 18 | 230k|2733 | 0.000000e+00 | -- | Inf
312.87/313.05 c 290s|560000 |185613 | 1793k| 3.2 | 139M| 62 | 8 | 70 |3637 | 70 | 23 | 18 | 234k|2742 | 0.000000e+00 | -- | Inf
318.68/318.88 c 295s|570000 |188708 | 1825k| 3.2 | 142M| 62 | 8 | 70 |3650 | 70 | 23 | 18 | 238k|2756 | 0.000000e+00 | -- | Inf
324.28/324.40 c 300s|580000 |192263 | 1857k| 3.2 | 144M| 62 | 8 | 70 |4556 | 70 | 23 | 18 | 242k|2764 | 0.000000e+00 | -- | Inf
330.17/330.32 c 306s|590000 |195169 | 1889k| 3.2 | 147M| 62 | 8 | 70 |4189 | 70 | 23 | 18 | 247k|2775 | 0.000000e+00 | -- | Inf
336.26/336.45 c 311s|600000 |198030 | 1920k| 3.2 | 149M| 62 | 8 | 70 |3556 | 70 | 23 | 18 | 251k|2789 | 0.000000e+00 | -- | Inf
341.97/342.14 c 317s|610000 |201005 | 1952k| 3.2 | 152M| 62 | - | 70 |4593 | 70 | 23 | 18 | 256k|2806 | 0.000000e+00 | -- | Inf
347.66/347.89 c 322s|620000 |204518 | 1983k| 3.2 | 154M| 62 | - | 70 |4738 | 70 | 23 | 18 | 260k|2819 | 0.000000e+00 | -- | Inf
353.36/353.56 c 327s|630000 |207817 | 2015k| 3.2 | 157M| 62 | 8 | 70 |5400 | 70 | 23 | 18 | 264k|2826 | 0.000000e+00 | -- | Inf
359.26/359.48 c 333s|640000 |211075 | 2047k| 3.2 | 159M| 62 | - | 70 |5358 | 70 | 23 | 18 | 268k|2834 | 0.000000e+00 | -- | Inf
365.65/365.87 c 339s|650000 |213876 | 2078k| 3.2 | 161M| 62 | - | 70 |3998 | 70 | 23 | 18 | 272k|2845 | 0.000000e+00 | -- | Inf
371.85/372.00 c 344s|660000 |216719 | 2110k| 3.2 | 164M| 62 | 8 | 70 |4003 | 70 | 23 | 18 | 277k|2856 | 0.000000e+00 | -- | Inf
377.95/378.12 c 350s|670000 |219622 | 2142k| 3.2 | 166M| 62 | 8 | 70 |3969 | 70 | 23 | 18 | 281k|2872 | 0.000000e+00 | -- | Inf
383.76/383.92 c 355s|680000 |222950 | 2174k| 3.2 | 169M| 62 | 8 | 70 |4388 | 70 | 23 | 18 | 286k|2888 | 0.000000e+00 | -- | Inf
389.65/389.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.65/389.81 c 361s|690000 |226097 | 2206k| 3.2 | 171M| 62 | 8 | 70 |4473 | 70 | 23 | 18 | 290k|2900 | 0.000000e+00 | -- | Inf
395.34/395.51 c 366s|700000 |229417 | 2237k| 3.2 | 173M| 62 | 8 | 70 |4315 | 70 | 23 | 18 | 294k|2915 | 0.000000e+00 | -- | Inf
400.64/400.87 c 371s|710000 |233506 | 2269k| 3.2 | 176M| 62 | 8 | 70 |4555 | 70 | 23 | 18 | 298k|2927 | 0.000000e+00 | -- | Inf
406.54/406.72 c 377s|720000 |236760 | 2303k| 3.2 | 179M| 62 | 8 | 70 |5115 | 70 | 23 | 18 | 302k|2936 | 0.000000e+00 | -- | Inf
412.24/412.40 c 382s|730000 |240348 | 2335k| 3.2 | 181M| 62 | 8 | 70 |5769 | 70 | 23 | 18 | 306k|2948 | 0.000000e+00 | -- | Inf
418.43/418.63 c 388s|740000 |243657 | 2368k| 3.2 | 184M| 62 | 8 | 70 |4863 | 70 | 23 | 18 | 310k|2960 | 0.000000e+00 | -- | Inf
424.83/425.03 c 394s|750000 |246365 | 2399k| 3.2 | 186M| 62 | - | 70 |4551 | 70 | 23 | 18 | 315k|2965 | 0.000000e+00 | -- | Inf
431.23/431.42 c 400s|760000 |249027 | 2431k| 3.2 | 188M| 62 | 8 | 70 |3793 | 70 | 23 | 18 | 319k|2972 | 0.000000e+00 | -- | Inf
437.03/437.22 c 405s|770000 |252184 | 2463k| 3.2 | 191M| 62 | 8 | 70 |4277 | 70 | 23 | 18 | 324k|2980 | 0.000000e+00 | -- | Inf
443.14/443.35 c 411s|780000 |254970 | 2496k| 3.2 | 193M| 62 | 8 | 70 |3569 | 70 | 23 | 18 | 328k|2986 | 0.000000e+00 | -- | Inf
449.23/449.40 c 416s|790000 |257747 | 2528k| 3.2 | 195M| 62 | 8 | 70 |3896 | 70 | 23 | 18 | 333k|2991 | 0.000000e+00 | -- | Inf
454.82/455.08 c 422s|800000 |260820 | 2559k| 3.2 | 198M| 62 | - | 70 |3989 | 70 | 23 | 18 | 337k|2998 | 0.000000e+00 | -- | Inf
460.92/461.15 c 427s|810000 |263661 | 2591k| 3.2 | 200M| 62 | 8 | 70 |3502 | 70 | 23 | 18 | 341k|3005 | 0.000000e+00 | -- | Inf
466.92/467.11 c 433s|820000 |266535 | 2623k| 3.2 | 202M| 62 | 8 | 70 |3907 | 70 | 23 | 18 | 346k|3018 | 0.000000e+00 | -- | Inf
472.82/473.01 c 438s|830000 |269426 | 2654k| 3.2 | 205M| 62 | 8 | 70 |4296 | 70 | 23 | 18 | 350k|3028 | 0.000000e+00 | -- | Inf
479.01/479.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.01/479.29 c 444s|840000 |272127 | 2686k| 3.2 | 207M| 62 | - | 70 |3705 | 70 | 23 | 18 | 355k|3043 | 0.000000e+00 | -- | Inf
484.91/485.17 c 450s|850000 |275124 | 2717k| 3.2 | 209M| 62 | 8 | 70 |4179 | 70 | 23 | 18 | 359k|3060 | 0.000000e+00 | -- | Inf
491.10/491.30 c 455s|860000 |278105 | 2749k| 3.2 | 212M| 62 | 8 | 70 |3998 | 70 | 23 | 18 | 364k|3067 | 0.000000e+00 | -- | Inf
497.20/497.44 c 461s|870000 |280966 | 2781k| 3.2 | 214M| 62 | 8 | 70 |3691 | 70 | 23 | 18 | 368k|3072 | 0.000000e+00 | -- | Inf
503.10/503.33 c 467s|880000 |283867 | 2813k| 3.2 | 217M| 62 | 8 | 70 |4418 | 70 | 23 | 18 | 373k|3083 | 0.000000e+00 | -- | Inf
509.11/509.35 c 472s|890000 |286866 | 2844k| 3.2 | 219M| 62 | 8 | 70 |3956 | 70 | 23 | 18 | 377k|3096 | 0.000000e+00 | -- | Inf
515.20/515.46 c 478s|900000 |289635 | 2875k| 3.2 | 221M| 62 | - | 70 |4096 | 70 | 23 | 18 | 382k|3109 | 0.000000e+00 | -- | Inf
521.29/521.56 c 484s|910000 |292629 | 2907k| 3.2 | 224M| 62 | - | 70 |4232 | 70 | 23 | 18 | 386k|3116 | 0.000000e+00 | -- | Inf
527.29/527.52 c 489s|920000 |295653 | 2938k| 3.2 | 226M| 62 | 8 | 70 |4842 | 70 | 23 | 18 | 390k|3126 | 0.000000e+00 | -- | Inf
533.30/533.53 c 495s|930000 |298855 | 2971k| 3.2 | 229M| 62 | 8 | 70 |5031 | 70 | 23 | 18 | 395k|3137 | 0.000000e+00 | -- | Inf
539.28/539.58 c 500s|940000 |301976 | 3003k| 3.2 | 231M| 63 | - | 70 |5080 | 0 | 0 | 18 | 399k|3151 | 0.000000e+00 | -- | Inf
545.58/545.83 c 506s|950000 |304696 | 3034k| 3.2 | 233M| 63 | 8 | 70 |4631 | 70 | 23 | 18 | 403k|3161 | 0.000000e+00 | -- | Inf
551.38/551.66 c 512s|960000 |307850 | 3066k| 3.2 | 236M| 63 | 8 | 70 |5213 | 70 | 23 | 18 | 408k|3170 | 0.000000e+00 | -- | Inf
557.68/557.95 c 517s|970000 |310626 | 3098k| 3.2 | 238M| 63 | - | 70 |5007 | 70 | 23 | 18 | 412k|3178 | 0.000000e+00 | -- | Inf
563.88/564.15 c 523s|980000 |313432 | 3130k| 3.2 | 240M| 63 | 8 | 70 |4360 | 70 | 23 | 18 | 417k|3188 | 0.000000e+00 | -- | Inf
570.07/570.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.07/570.37 c 529s|990000 |316080 | 3161k| 3.2 | 243M| 63 | 8 | 70 |4236 | 70 | 23 | 18 | 421k|3199 | 0.000000e+00 | -- | Inf
576.37/576.63 c 535s| 1000k|318799 | 3192k| 3.2 | 245M| 63 | - | 70 |4078 | 70 | 23 | 18 | 426k|3209 | 0.000000e+00 | -- | Inf
582.37/582.65 c 541s| 1010k|321666 | 3224k| 3.2 | 248M| 63 | 8 | 70 |4764 | 70 | 23 | 18 | 430k|3224 | 0.000000e+00 | -- | Inf
588.37/588.66 c 546s| 1020k|324681 | 3255k| 3.2 | 250M| 63 | 8 | 70 |5031 | 70 | 23 | 18 | 435k|3233 | 0.000000e+00 | -- | Inf
594.67/594.92 c 552s| 1030k|327592 | 3288k| 3.2 | 252M| 63 | 8 | 70 |4927 | 70 | 23 | 18 | 439k|3248 | 0.000000e+00 | -- | Inf
601.07/601.31 c 558s| 1040k|330268 | 3319k| 3.2 | 255M| 63 | 8 | 70 |4435 | 70 | 23 | 18 | 444k|3260 | 0.000000e+00 | -- | Inf
607.26/607.60 c 564s| 1050k|333017 | 3351k| 3.2 | 257M| 63 | 8 | 70 |4239 | 70 | 23 | 18 | 448k|3269 | 0.000000e+00 | -- | Inf
613.36/613.69 c 570s| 1060k|335958 | 3382k| 3.2 | 259M| 63 | - | 70 |4670 | 70 | 23 | 18 | 453k|3274 | 0.000000e+00 | -- | Inf
619.66/619.92 c 575s| 1070k|338775 | 3414k| 3.2 | 262M| 63 | - | 70 |4824 | 70 | 23 | 18 | 457k|3284 | 0.000000e+00 | -- | Inf
625.86/626.14 c 581s| 1080k|341739 | 3445k| 3.2 | 264M| 63 | 8 | 70 |4388 | 70 | 23 | 18 | 461k|3287 | 0.000000e+00 | -- | Inf
631.45/631.78 c 586s| 1090k|345165 | 3477k| 3.2 | 267M| 63 | - | 70 |5344 | 70 | 23 | 18 | 466k|3287 | 0.000000e+00 | -- | Inf
637.65/637.91 c 592s| 1100k|348082 | 3509k| 3.2 | 269M| 63 | 8 | 70 |4789 | 70 | 23 | 18 | 470k|3287 | 0.000000e+00 | -- | Inf
643.75/644.07 c 598s| 1110k|351025 | 3541k| 3.2 | 271M| 63 | 8 | 70 |4705 | 70 | 23 | 18 | 474k|3287 | 0.000000e+00 | -- | Inf
650.24/650.50 c 604s| 1120k|353523 | 3572k| 3.2 | 274M| 63 | 8 | 70 |4371 | 70 | 23 | 18 | 479k|3297 | 0.000000e+00 | -- | Inf
656.24/656.58 c 609s| 1130k|356283 | 3603k| 3.2 | 276M| 63 | 8 | 70 |4263 | 70 | 23 | 18 | 484k|3308 | 0.000000e+00 | -- | Inf
662.33/662.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.33/662.69 c 615s| 1140k|359105 | 3635k| 3.2 | 278M| 63 | 8 | 70 |4204 | 70 | 23 | 18 | 488k|3310 | 0.000000e+00 | -- | Inf
668.34/668.69 c 621s| 1150k|362062 | 3667k| 3.2 | 281M| 63 | - | 70 |4209 | 70 | 23 | 18 | 493k|3316 | 0.000000e+00 | -- | Inf
674.43/674.73 c 626s| 1160k|364769 | 3699k| 3.2 | 283M| 63 | - | 70 |4657 | 70 | 23 | 18 | 497k|3324 | 0.000000e+00 | -- | Inf
680.43/680.76 c 632s| 1170k|367818 | 3731k| 3.2 | 285M| 63 | 8 | 70 |4412 | 70 | 23 | 18 | 502k|3333 | 0.000000e+00 | -- | Inf
686.23/686.58 c 637s| 1180k|370884 | 3762k| 3.2 | 288M| 63 | 8 | 70 |5495 | 70 | 23 | 18 | 506k|3336 | 0.000000e+00 | -- | Inf
692.63/692.95 c 643s| 1190k|373722 | 3793k| 3.2 | 290M| 63 | - | 70 |4855 | 0 | 0 | 18 | 510k|3338 | 0.000000e+00 | -- | Inf
698.83/699.12 c 649s| 1200k|376496 | 3825k| 3.2 | 293M| 63 | - | 70 |4427 | 70 | 23 | 18 | 515k|3338 | 0.000000e+00 | -- | Inf
705.02/705.31 c 655s| 1210k|379170 | 3858k| 3.2 | 295M| 63 | 8 | 70 |4629 | 70 | 23 | 18 | 519k|3338 | 0.000000e+00 | -- | Inf
711.22/711.55 c 661s| 1220k|381886 | 3889k| 3.2 | 297M| 63 | - | 70 |4627 | 70 | 23 | 18 | 524k|3338 | 0.000000e+00 | -- | Inf
716.72/717.01 c 666s| 1230k|385578 | 3920k| 3.2 | 300M| 63 | 8 | 70 |6076 | 70 | 23 | 18 | 528k|3342 | 0.000000e+00 | -- | Inf
722.52/722.86 c 671s| 1240k|389128 | 3951k| 3.2 | 303M| 63 | - | 70 |6372 | 70 | 23 | 18 | 532k|3357 | 0.000000e+00 | -- | Inf
728.62/728.98 c 677s| 1250k|392594 | 3982k| 3.2 | 305M| 63 | 8 | 70 |5900 | 70 | 23 | 18 | 536k|3364 | 0.000000e+00 | -- | Inf
735.31/735.69 c 683s| 1260k|395064 | 4014k| 3.2 | 307M| 63 | 8 | 70 |5366 | 70 | 23 | 18 | 541k|3373 | 0.000000e+00 | -- | Inf
741.91/742.22 c 689s| 1270k|397778 | 4046k| 3.2 | 309M| 63 | - | 70 |4999 | 70 | 23 | 18 | 545k|3374 | 0.000000e+00 | -- | Inf
748.21/748.56 c 695s| 1280k|400522 | 4077k| 3.2 | 312M| 63 | 8 | 70 |4953 | 70 | 23 | 18 | 550k|3376 | 0.000000e+00 | -- | Inf
754.41/754.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.41/754.76 c 701s| 1290k|403389 | 4109k| 3.2 | 314M| 63 | - | 70 |4546 | 70 | 23 | 18 | 554k|3382 | 0.000000e+00 | -- | Inf
760.81/761.15 c 707s| 1300k|406110 | 4141k| 3.2 | 316M| 63 | 8 | 70 |4319 | 70 | 23 | 18 | 559k|3382 | 0.000000e+00 | -- | Inf
767.20/767.54 c 713s| 1310k|408766 | 4173k| 3.2 | 319M| 63 | - | 70 |3953 | 70 | 23 | 18 | 563k|3385 | 0.000000e+00 | -- | Inf
773.50/773.82 c 719s| 1320k|411459 | 4205k| 3.2 | 321M| 63 | - | 70 |3587 | 70 | 23 | 18 | 568k|3392 | 0.000000e+00 | -- | Inf
779.00/779.37 c 724s| 1330k|414663 | 4237k| 3.2 | 324M| 63 | 8 | 70 |5055 | 70 | 23 | 18 | 572k|3402 | 0.000000e+00 | -- | Inf
785.49/785.86 c 730s| 1340k|417185 | 4269k| 3.2 | 326M| 63 | 8 | 70 |4871 | 70 | 23 | 18 | 577k|3408 | 0.000000e+00 | -- | Inf
791.90/792.26 c 736s| 1350k|419823 | 4301k| 3.2 | 328M| 63 | - | 70 |4738 | 70 | 23 | 18 | 581k|3419 | 0.000000e+00 | -- | Inf
798.30/798.63 c 742s| 1360k|422560 | 4331k| 3.2 | 331M| 63 | 8 | 70 |4522 | 70 | 23 | 18 | 586k|3431 | 0.000000e+00 | -- | Inf
804.58/804.91 c 748s| 1370k|425295 | 4363k| 3.2 | 333M| 63 | 8 | 70 |4485 | 70 | 23 | 18 | 590k|3437 | 0.000000e+00 | -- | Inf
810.58/810.95 c 753s| 1380k|428165 | 4397k| 3.2 | 336M| 63 | - | 70 |5843 | 70 | 23 | 18 | 595k|3443 | 0.000000e+00 | -- | Inf
817.28/817.64 c 760s| 1390k|430749 | 4430k| 3.2 | 338M| 63 | 8 | 70 |5246 | 70 | 23 | 18 | 599k|3453 | 0.000000e+00 | -- | Inf
823.98/824.30 c 766s| 1400k|433376 | 4462k| 3.2 | 340M| 63 | - | 70 |4713 | 0 | 0 | 18 | 604k|3464 | 0.000000e+00 | -- | Inf
829.97/830.34 c 772s| 1410k|436300 | 4494k| 3.2 | 342M| 63 | - | 70 |5041 | 70 | 23 | 18 | 608k|3468 | 0.000000e+00 | -- | Inf
836.38/836.79 c 778s| 1420k|439114 | 4526k| 3.2 | 345M| 63 | 8 | 70 |4801 | 70 | 23 | 18 | 613k|3471 | 0.000000e+00 | -- | Inf
842.46/842.80 c 783s| 1430k|442053 | 4558k| 3.2 | 347M| 63 | 8 | 70 |5686 | 70 | 23 | 18 | 617k|3476 | 0.000000e+00 | -- | Inf
848.67/849.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
848.67/849.05 c 789s| 1440k|445194 | 4590k| 3.2 | 350M| 63 | - | 70 |6004 | 70 | 23 | 18 | 622k|3481 | 0.000000e+00 | -- | Inf
855.26/855.61 c 795s| 1450k|447962 | 4623k| 3.2 | 352M| 63 | 8 | 70 |4809 | 70 | 23 | 18 | 626k|3483 | 0.000000e+00 | -- | Inf
861.47/861.81 c 801s| 1460k|450886 | 4655k| 3.2 | 354M| 63 | - | 70 |4924 | 70 | 23 | 18 | 630k|3483 | 0.000000e+00 | -- | Inf
867.86/868.20 c 807s| 1470k|453537 | 4686k| 3.2 | 357M| 63 | 8 | 70 |4619 | 70 | 23 | 18 | 635k|3483 | 0.000000e+00 | -- | Inf
874.26/874.67 c 813s| 1480k|456179 | 4717k| 3.2 | 359M| 63 | - | 70 |4232 | 70 | 23 | 18 | 640k|3483 | 0.000000e+00 | -- | Inf
880.56/880.99 c 819s| 1490k|459028 | 4748k| 3.2 | 361M| 63 | 8 | 70 |4178 | 70 | 23 | 18 | 644k|3483 | 0.000000e+00 | -- | Inf
886.85/887.24 c 825s| 1500k|461695 | 4780k| 3.2 | 364M| 63 | - | 70 |4517 | 70 | 23 | 18 | 649k|3486 | 0.000000e+00 | -- | Inf
893.16/893.55 c 831s| 1510k|464417 | 4811k| 3.2 | 366M| 63 | 8 | 70 |4502 | 70 | 23 | 18 | 653k|3492 | 0.000000e+00 | -- | Inf
899.55/899.96 c 837s| 1520k|466982 | 4842k| 3.2 | 368M| 63 | - | 70 |4989 | 70 | 23 | 18 | 658k|3497 | 0.000000e+00 | -- | Inf
906.15/906.53 c 843s| 1530k|469581 | 4874k| 3.2 | 371M| 63 | - | 70 |4671 | 70 | 23 | 18 | 662k|3503 | 0.000000e+00 | -- | Inf
912.34/912.72 c 848s| 1540k|472453 | 4905k| 3.2 | 373M| 63 | 8 | 70 |5040 | 70 | 23 | 18 | 667k|3510 | 0.000000e+00 | -- | Inf
918.44/918.85 c 854s| 1550k|475336 | 4937k| 3.2 | 375M| 63 | 8 | 70 |5144 | 70 | 23 | 18 | 671k|3517 | 0.000000e+00 | -- | Inf
924.54/924.99 c 860s| 1560k|478161 | 4969k| 3.2 | 378M| 63 | 8 | 70 |5821 | 70 | 23 | 18 | 676k|3519 | 0.000000e+00 | -- | Inf
931.04/931.42 c 866s| 1570k|481009 | 4999k| 3.2 | 380M| 63 | 8 | 70 |4845 | 70 | 23 | 18 | 680k|3519 | 0.000000e+00 | -- | Inf
937.44/937.89 c 872s| 1580k|483541 | 5031k| 3.2 | 382M| 63 | 8 | 70 |5111 | 70 | 23 | 18 | 685k|3519 | 0.000000e+00 | -- | Inf
943.83/944.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.83/944.26 c 878s| 1590k|486272 | 5062k| 3.2 | 385M| 63 | 8 | 70 |4662 | 70 | 23 | 18 | 690k|3519 | 0.000000e+00 | -- | Inf
950.13/950.53 c 884s| 1600k|489254 | 5094k| 3.2 | 387M| 63 | 8 | 70 |4775 | 70 | 23 | 18 | 694k|3519 | 0.000000e+00 | -- | Inf
956.54/956.97 c 890s| 1610k|492001 | 5125k| 3.2 | 389M| 63 | 8 | 70 |4563 | 70 | 23 | 18 | 698k|3519 | 0.000000e+00 | -- | Inf
962.82/963.21 c 896s| 1620k|494920 | 5157k| 3.2 | 392M| 63 | - | 70 |4674 | 70 | 23 | 18 | 703k|3519 | 0.000000e+00 | -- | Inf
969.22/969.68 c 902s| 1630k|497616 | 5190k| 3.2 | 394M| 63 | - | 70 |4714 | 70 | 23 | 18 | 707k|3519 | 0.000000e+00 | -- | Inf
975.52/975.95 c 908s| 1640k|500589 | 5221k| 3.2 | 397M| 63 | 8 | 70 |4897 | 70 | 23 | 18 | 712k|3519 | 0.000000e+00 | -- | Inf
982.02/982.48 c 914s| 1650k|503264 | 5252k| 3.2 | 399M| 63 | - | 70 |4883 | 70 | 23 | 18 | 716k|3519 | 0.000000e+00 | -- | Inf
988.43/988.81 c 920s| 1660k|506023 | 5284k| 3.2 | 401M| 63 | - | 70 |5668 | 70 | 23 | 18 | 721k|3525 | 0.000000e+00 | -- | Inf
994.91/995.34 c 926s| 1670k|508856 | 5314k| 3.2 | 404M| 63 | 8 | 70 |5273 | 70 | 23 | 18 | 725k|3529 | 0.000000e+00 | -- | Inf
1001.41/1001.87 c 932s| 1680k|511529 | 5345k| 3.2 | 406M| 63 | 8 | 70 |5090 | 70 | 23 | 18 | 730k|3530 | 0.000000e+00 | -- | Inf
1007.81/1008.23 c 938s| 1690k|514385 | 5377k| 3.2 | 408M| 63 | 8 | 70 |4842 | 70 | 23 | 18 | 734k|3531 | 0.000000e+00 | -- | Inf
1014.41/1014.88 c 944s| 1700k|516917 | 5408k| 3.2 | 410M| 63 | 8 | 70 |4689 | 70 | 23 | 18 | 739k|3531 | 0.000000e+00 | -- | Inf
1020.41/1020.88 c 950s| 1710k|519882 | 5440k| 3.2 | 413M| 63 | 8 | 70 |5152 | 70 | 23 | 18 | 743k|3531 | 0.000000e+00 | -- | Inf
1026.50/1026.94 c 955s| 1720k|522965 | 5472k| 3.2 | 415M| 63 | 8 | 70 |4866 | 70 | 23 | 18 | 747k|3531 | 0.000000e+00 | -- | Inf
1032.90/1033.34 c 961s| 1730k|525519 | 5504k| 3.2 | 418M| 63 | - | 70 |4505 | 70 | 23 | 18 | 752k|3531 | 0.000000e+00 | -- | Inf
1039.11/1039.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.11/1039.52 c 967s| 1740k|528376 | 5537k| 3.2 | 420M| 63 | 8 | 70 |5074 | 70 | 23 | 18 | 757k|3531 | 0.000000e+00 | -- | Inf
1045.09/1045.59 c 973s| 1750k|531310 | 5569k| 3.2 | 423M| 63 | 8 | 70 |5907 | 70 | 23 | 18 | 761k|3531 | 0.000000e+00 | -- | Inf
1051.60/1052.02 c 979s| 1760k|534221 | 5600k| 3.2 | 425M| 63 | 8 | 70 |5690 | 70 | 23 | 18 | 765k|3531 | 0.000000e+00 | -- | Inf
1058.28/1058.75 c 985s| 1770k|536923 | 5632k| 3.2 | 427M| 63 | 8 | 70 |5464 | 70 | 23 | 18 | 770k|3531 | 0.000000e+00 | -- | Inf
1064.49/1064.97 c 991s| 1780k|539864 | 5664k| 3.2 | 430M| 63 | - | 70 |6228 | 70 | 23 | 18 | 774k|3531 | 0.000000e+00 | -- | Inf
1070.90/1071.40 c 997s| 1790k|542729 | 5696k| 3.2 | 432M| 63 | 8 | 70 |5627 | 70 | 23 | 18 | 779k|3531 | 0.000000e+00 | -- | Inf
1077.49/1077.93 c 1003s| 1800k|545444 | 5727k| 3.2 | 434M| 63 | 8 | 70 |5019 | 70 | 23 | 18 | 783k|3531 | 0.000000e+00 | -- | Inf
1083.78/1084.24 c 1009s| 1810k|548573 | 5758k| 3.2 | 437M| 63 | 8 | 70 |5647 | 70 | 23 | 18 | 787k|3531 | 0.000000e+00 | -- | Inf
1090.47/1090.96 c 1015s| 1820k|551387 | 5790k| 3.2 | 439M| 63 | - | 70 |4853 | 70 | 23 | 18 | 792k|3531 | 0.000000e+00 | -- | Inf
1096.98/1097.49 c 1021s| 1830k|554025 | 5822k| 3.2 | 441M| 63 | 8 | 70 |4870 | 70 | 23 | 18 | 796k|3531 | 0.000000e+00 | -- | Inf
1103.67/1104.17 c 1027s| 1840k|556569 | 5854k| 3.2 | 443M| 63 | 8 | 70 |4623 | 70 | 23 | 18 | 801k|3539 | 0.000000e+00 | -- | Inf
1109.87/1110.30 c 1033s| 1850k|560037 | 5888k| 3.2 | 446M| 63 | - | 70 |5610 | 70 | 23 | 18 | 805k|3937 | 0.000000e+00 | -- | Inf
1116.47/1116.98 c 1039s| 1860k|562730 | 5922k| 3.2 | 449M| 63 | 8 | 70 |6152 | 70 | 23 | 18 | 810k|4337 | 0.000000e+00 | -- | Inf
1123.17/1123.62 c 1046s| 1870k|565428 | 5955k| 3.2 | 451M| 63 | - | 70 |6364 | 0 | 0 | 18 | 815k|4450 | 0.000000e+00 | -- | Inf
1129.76/1130.21 c 1052s| 1880k|568294 | 5987k| 3.2 | 453M| 63 | 8 | 70 |6601 | 70 | 23 | 18 | 819k|4450 | 0.000000e+00 | -- | Inf
1136.46/1136.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.46/1136.90 c 1058s| 1890k|571118 | 6019k| 3.2 | 456M| 63 | 8 | 70 |6012 | 70 | 23 | 18 | 824k|4450 | 0.000000e+00 | -- | Inf
1143.26/1143.77 c 1065s| 1900k|573653 | 6051k| 3.2 | 458M| 63 | 8 | 70 |5677 | 70 | 23 | 18 | 828k|4450 | 0.000000e+00 | -- | Inf
1149.76/1150.21 c 1071s| 1910k|576588 | 6083k| 3.2 | 460M| 63 | 8 | 70 |5874 | 70 | 23 | 18 | 833k|4450 | 0.000000e+00 | -- | Inf
1156.35/1156.89 c 1077s| 1920k|579110 | 6114k| 3.2 | 463M| 63 | 8 | 70 |5498 | 70 | 23 | 18 | 837k|4450 | 0.000000e+00 | -- | Inf
1162.65/1163.12 c 1083s| 1930k|581947 | 6145k| 3.2 | 465M| 63 | 8 | 70 |6397 | 70 | 23 | 18 | 842k|4450 | 0.000000e+00 | -- | Inf
1169.55/1170.00 c 1089s| 1940k|584691 | 6177k| 3.2 | 467M| 63 | - | 70 |5390 | 70 | 23 | 18 | 846k|4450 | 0.000000e+00 | -- | Inf
1176.35/1176.85 c 1095s| 1950k|587140 | 6209k| 3.2 | 469M| 63 | 8 | 70 |4781 | 70 | 23 | 18 | 851k|4450 | 0.000000e+00 | -- | Inf
1183.04/1183.56 c 1102s| 1960k|589891 | 6240k| 3.2 | 472M| 63 | 8 | 70 |4579 | 70 | 23 | 18 | 855k|4450 | 0.000000e+00 | -- | Inf
1189.14/1189.63 c 1107s| 1970k|592774 | 6270k| 3.2 | 474M| 63 | 8 | 70 |5349 | 70 | 23 | 18 | 860k|4450 | 0.000000e+00 | -- | Inf
1195.44/1195.94 c 1113s| 1980k|595591 | 6303k| 3.2 | 477M| 63 | 8 | 70 |5722 | 70 | 23 | 18 | 864k|4450 | 0.000000e+00 | -- | Inf
1201.84/1202.35 c 1119s| 1990k|598499 | 6334k| 3.2 | 479M| 63 | 8 | 70 |5280 | 70 | 23 | 18 | 869k|4450 | 0.000000e+00 | -- | Inf
1207.84/1208.37 c 1125s| 2000k|601452 | 6366k| 3.2 | 482M| 63 | - | 70 |6541 | 0 | 0 | 18 | 873k|4450 | 0.000000e+00 | -- | Inf
1214.43/1214.98 c 1131s| 2010k|604399 | 6398k| 3.2 | 484M| 63 | 8 | 70 |6487 | 70 | 23 | 18 | 877k|4450 | 0.000000e+00 | -- | Inf
1221.54/1222.05 c 1138s| 2020k|607017 | 6430k| 3.2 | 486M| 63 | - | 70 |5484 | 70 | 23 | 18 | 882k|4450 | 0.000000e+00 | -- | Inf
1228.52/1229.03 c 1144s| 2030k|609475 | 6461k| 3.2 | 488M| 63 | 8 | 70 |4719 | 70 | 23 | 18 | 887k|4450 | 0.000000e+00 | -- | Inf
1234.93/1235.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.93/1235.41 c 1150s| 2040k|612168 | 6493k| 3.2 | 491M| 63 | 8 | 70 |5167 | 70 | 23 | 18 | 891k|4450 | 0.000000e+00 | -- | Inf
1241.43/1241.95 c 1156s| 2050k|614923 | 6525k| 3.2 | 493M| 63 | - | 70 |5545 | 70 | 23 | 18 | 896k|4450 | 0.000000e+00 | -- | Inf
1247.12/1247.67 c 1162s| 2060k|618453 | 6556k| 3.2 | 496M| 63 | 8 | 70 |6913 | 70 | 23 | 18 | 900k|4450 | 0.000000e+00 | -- | Inf
1252.61/1253.13 c 1167s| 2070k|622695 | 6587k| 3.2 | 499M| 63 | 8 | 70 |7941 | 70 | 23 | 18 | 903k|4450 | 0.000000e+00 | -- | Inf
1258.61/1259.14 c 1172s| 2080k|626296 | 6617k| 3.2 | 501M| 63 | 8 | 70 |8344 | 70 | 23 | 18 | 907k|4450 | 0.000000e+00 | -- | Inf
1265.91/1266.47 c 1179s| 2090k|629047 | 6648k| 3.2 | 503M| 63 | 8 | 70 |6554 | 70 | 23 | 18 | 912k|4450 | 0.000000e+00 | -- | Inf
1272.61/1273.18 c 1186s| 2100k|631993 | 6679k| 3.2 | 506M| 63 | - | 70 |6111 | 70 | 23 | 18 | 916k|4450 | 0.000000e+00 | -- | Inf
1279.41/1279.99 c 1192s| 2110k|634657 | 6710k| 3.2 | 508M| 63 | - | 70 |5640 | 70 | 23 | 18 | 921k|4450 | 0.000000e+00 | -- | Inf
1286.60/1287.18 c 1199s| 2120k|637175 | 6742k| 3.2 | 510M| 63 | 8 | 70 |5233 | 70 | 23 | 18 | 926k|4450 | 0.000000e+00 | -- | Inf
1293.10/1293.66 c 1205s| 2130k|639878 | 6773k| 3.2 | 512M| 63 | 8 | 70 |4970 | 70 | 23 | 18 | 930k|4450 | 0.000000e+00 | -- | Inf
1299.79/1300.33 c 1211s| 2140k|642555 | 6805k| 3.2 | 514M| 63 | 8 | 70 |4476 | 70 | 23 | 18 | 935k|4450 | 0.000000e+00 | -- | Inf
1305.99/1306.50 c 1217s| 2150k|645274 | 6838k| 3.2 | 517M| 63 | - | 70 |5281 | 70 | 23 | 18 | 939k|4450 | 0.000000e+00 | -- | Inf
1311.99/1312.59 c 1223s| 2160k|648362 | 6869k| 3.2 | 520M| 63 | - | 70 |6122 | 70 | 23 | 18 | 943k|4450 | 0.000000e+00 | -- | Inf
1318.99/1319.57 c 1229s| 2170k|651037 | 6901k| 3.2 | 522M| 63 | 8 | 70 |5480 | 70 | 23 | 18 | 948k|4450 | 0.000000e+00 | -- | Inf
1325.00/1325.57 c 1235s| 2180k|654117 | 6933k| 3.2 | 524M| 63 | - | 70 |6654 | 70 | 23 | 18 | 952k|4450 | 0.000000e+00 | -- | Inf
1331.68/1332.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.68/1332.27 c 1241s| 2190k|656868 | 6964k| 3.2 | 527M| 63 | 8 | 70 |5909 | 70 | 23 | 18 | 957k|4450 | 0.000000e+00 | -- | Inf
1338.29/1338.87 c 1247s| 2200k|659702 | 6997k| 3.2 | 529M| 63 | 8 | 70 |5875 | 70 | 23 | 18 | 961k|4450 | 0.000000e+00 | -- | Inf
1344.98/1345.58 c 1254s| 2210k|662261 | 7029k| 3.2 | 531M| 63 | - | 70 |5608 | 70 | 23 | 18 | 966k|4450 | 0.000000e+00 | -- | Inf
1351.88/1352.44 c 1260s| 2220k|664820 | 7060k| 3.2 | 533M| 63 | 8 | 70 |4712 | 70 | 23 | 18 | 971k|4450 | 0.000000e+00 | -- | Inf
1357.98/1358.54 c 1266s| 2230k|667804 | 7092k| 3.2 | 536M| 63 | - | 70 |5545 | 70 | 23 | 18 | 975k|4450 | 0.000000e+00 | -- | Inf
1364.48/1365.00 c 1272s| 2240k|670360 | 7124k| 3.2 | 538M| 63 | 8 | 70 |5801 | 70 | 23 | 18 | 980k|4450 | 0.000000e+00 | -- | Inf
1371.08/1371.68 c 1278s| 2250k|673315 | 7155k| 3.2 | 540M| 63 | 8 | 70 |4930 | 70 | 23 | 18 | 984k|4450 | 0.000000e+00 | -- | Inf
1377.78/1378.36 c 1284s| 2260k|675805 | 7186k| 3.2 | 543M| 63 | 8 | 70 |4569 | 70 | 23 | 18 | 989k|4450 | 0.000000e+00 | -- | Inf
1384.27/1384.87 c 1290s| 2270k|678525 | 7218k| 3.2 | 545M| 63 | - | 70 |4725 | 70 | 23 | 18 | 993k|4450 | 0.000000e+00 | -- | Inf
1390.77/1391.40 c 1297s| 2280k|681055 | 7249k| 3.2 | 547M| 63 | 8 | 70 |4396 | 70 | 23 | 18 | 998k|4450 | 0.000000e+00 | -- | Inf
1397.37/1397.96 c 1303s| 2290k|683572 | 7280k| 3.2 | 549M| 63 | - | 70 |4519 | 70 | 23 | 18 |1003k|4451 | 0.000000e+00 | -- | Inf
1403.76/1404.39 c 1309s| 2300k|686191 | 7312k| 3.2 | 552M| 63 | - | 70 |4688 | 70 | 23 | 18 |1007k|4454 | 0.000000e+00 | -- | Inf
1410.26/1410.86 c 1315s| 2310k|688960 | 7344k| 3.2 | 554M| 63 | 8 | 70 |5259 | 70 | 23 | 18 |1012k|4454 | 0.000000e+00 | -- | Inf
1416.65/1417.23 c 1321s| 2320k|691812 | 7376k| 3.2 | 557M| 63 | 8 | 70 |5485 | 70 | 23 | 18 |1016k|4459 | 0.000000e+00 | -- | Inf
1422.86/1423.43 c 1326s| 2330k|694710 | 7407k| 3.2 | 559M| 63 | 8 | 70 |5570 | 70 | 23 | 18 |1021k|4459 | 0.000000e+00 | -- | Inf
1429.05/1429.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.05/1429.63 c 1332s| 2340k|697567 | 7439k| 3.2 | 562M| 63 | - | 70 |6134 | 70 | 23 | 18 |1025k|4459 | 0.000000e+00 | -- | Inf
1435.35/1435.92 c 1338s| 2350k|700475 | 7472k| 3.2 | 564M| 63 | 8 | 70 |6795 | 70 | 23 | 18 |1030k|4459 | 0.000000e+00 | -- | Inf
1442.44/1443.09 c 1345s| 2360k|702955 | 7505k| 3.2 | 566M| 63 | 8 | 70 |5959 | 70 | 23 | 18 |1034k|4459 | 0.000000e+00 | -- | Inf
1449.35/1449.99 c 1351s| 2370k|705737 | 7537k| 3.2 | 568M| 63 | - | 70 |5765 | 70 | 23 | 18 |1039k|4460 | 0.000000e+00 | -- | Inf
1456.24/1456.89 c 1358s| 2380k|708166 | 7568k| 3.2 | 570M| 63 | 8 | 70 |4436 | 70 | 23 | 18 |1044k|4464 | 0.000000e+00 | -- | Inf
1462.45/1463.09 c 1364s| 2390k|710955 | 7600k| 3.2 | 573M| 63 | 8 | 70 |5524 | 70 | 23 | 18 |1048k|4464 | 0.000000e+00 | -- | Inf
1469.53/1470.10 c 1370s| 2400k|713449 | 7631k| 3.2 | 575M| 63 | - | 70 |4928 | 70 | 23 | 18 |1053k|4465 | 0.000000e+00 | -- | Inf
1476.03/1476.62 c 1376s| 2410k|716357 | 7663k| 3.2 | 578M| 63 | - | 70 |5102 | 70 | 23 | 18 |1057k|4469 | 0.000000e+00 | -- | Inf
1482.53/1483.19 c 1383s| 2420k|719181 | 7693k| 3.2 | 580M| 63 | - | 70 |5024 | 70 | 23 | 18 |1062k|4471 | 0.000000e+00 | -- | Inf
1489.03/1489.62 c 1389s| 2430k|722055 | 7725k| 3.2 | 583M| 63 | 8 | 70 |6119 | 70 | 23 | 18 |1066k|4471 | 0.000000e+00 | -- | Inf
1495.34/1495.97 c 1394s| 2440k|725078 | 7756k| 3.2 | 585M| 63 | 8 | 70 |5506 | 70 | 23 | 18 |1070k|4471 | 0.000000e+00 | -- | Inf
1501.93/1502.57 c 1401s| 2450k|727855 | 7787k| 3.2 | 587M| 63 | 8 | 70 |5188 | 70 | 23 | 18 |1075k|4476 | 0.000000e+00 | -- | Inf
1508.82/1509.42 c 1407s| 2460k|730416 | 7818k| 3.2 | 589M| 63 | 8 | 70 |4966 | 70 | 23 | 18 |1079k|4476 | 0.000000e+00 | -- | Inf
1515.42/1516.02 c 1413s| 2470k|733102 | 7849k| 3.2 | 592M| 63 | - | 70 |4976 | 70 | 23 | 18 |1084k|4476 | 0.000000e+00 | -- | Inf
1522.02/1522.69 c 1420s| 2480k|735771 | 7880k| 3.2 | 594M| 63 | 8 | 70 |4703 | 70 | 23 | 18 |1089k|4477 | 0.000000e+00 | -- | Inf
1528.42/1529.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.42/1529.09 c 1426s| 2490k|738536 | 7911k| 3.2 | 596M| 63 | 8 | 70 |5147 | 70 | 23 | 18 |1093k|4487 | 0.000000e+00 | -- | Inf
1534.92/1535.59 c 1432s| 2500k|741303 | 7941k| 3.2 | 599M| 63 | 8 | 70 |5403 | 70 | 23 | 18 |1098k|4487 | 0.000000e+00 | -- | Inf
1541.91/1542.58 c 1438s| 2510k|743786 | 7973k| 3.2 | 601M| 63 | 8 | 70 |4684 | 70 | 23 | 18 |1102k|4487 | 0.000000e+00 | -- | Inf
1548.51/1549.13 c 1444s| 2520k|746386 | 8005k| 3.2 | 603M| 63 | 8 | 70 |5325 | 70 | 23 | 18 |1107k|4487 | 0.000000e+00 | -- | Inf
1555.21/1555.81 c 1451s| 2530k|749026 | 8035k| 3.2 | 606M| 63 | - | 70 |5429 | 70 | 23 | 18 |1111k|4503 | 0.000000e+00 | -- | Inf
1561.31/1561.92 c 1456s| 2540k|751942 | 8068k| 3.2 | 608M| 63 | 8 | 70 |6331 | 70 | 23 | 18 |1116k|4503 | 0.000000e+00 | -- | Inf
1568.01/1568.69 c 1463s| 2550k|754760 | 8099k| 3.2 | 610M| 63 | 8 | 70 |5678 | 70 | 23 | 18 |1120k|4503 | 0.000000e+00 | -- | Inf
1574.70/1575.36 c 1469s| 2560k|757486 | 8131k| 3.2 | 613M| 63 | 8 | 70 |5750 | 70 | 23 | 18 |1125k|4504 | 0.000000e+00 | -- | Inf
1581.29/1581.98 c 1475s| 2570k|760217 | 8164k| 3.2 | 615M| 63 | 8 | 70 |5694 | 70 | 23 | 18 |1129k|4549 | 0.000000e+00 | -- | Inf
1587.99/1588.62 c 1481s| 2580k|762911 | 8195k| 3.2 | 617M| 63 | - | 70 |5434 | 70 | 23 | 18 |1134k|4549 | 0.000000e+00 | -- | Inf
1594.90/1595.57 c 1488s| 2590k|765446 | 8227k| 3.2 | 620M| 63 | 8 | 70 |4999 | 70 | 23 | 18 |1138k|4549 | 0.000000e+00 | -- | Inf
1600.90/1601.52 c 1493s| 2600k|768616 | 8260k| 3.2 | 622M| 63 | 8 | 70 |6486 | 70 | 23 | 18 |1143k|4549 | 0.000000e+00 | -- | Inf
1607.78/1608.47 c 1500s| 2610k|771195 | 8292k| 3.2 | 625M| 63 | 8 | 70 |6222 | 70 | 23 | 18 |1147k|4550 | 0.000000e+00 | -- | Inf
1614.59/1615.22 c 1506s| 2620k|773883 | 8324k| 3.2 | 627M| 63 | 8 | 70 |5501 | 70 | 23 | 18 |1152k|4555 | 0.000000e+00 | -- | Inf
1621.68/1622.30 c 1513s| 2630k|776252 | 8356k| 3.2 | 629M| 63 | 8 | 70 |5343 | 70 | 23 | 18 |1157k|4555 | 0.000000e+00 | -- | Inf
1628.18/1628.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.18/1628.88 c 1519s| 2640k|778971 | 8388k| 3.2 | 631M| 63 | - | 70 |5075 | 70 | 23 | 18 |1161k|4556 | 0.000000e+00 | -- | Inf
1634.78/1635.47 c 1525s| 2650k|781675 | 8419k| 3.2 | 634M| 63 | 8 | 70 |5179 | 70 | 23 | 18 |1166k|4557 | 0.000000e+00 | -- | Inf
1640.67/1641.36 c 1531s| 2660k|785127 | 8450k| 3.2 | 637M| 63 | - | 70 |6690 | 70 | 23 | 18 |1170k|4557 | 0.000000e+00 | -- | Inf
1646.97/1647.61 c 1537s| 2670k|788173 | 8481k| 3.2 | 639M| 63 | 8 | 70 |7626 | 70 | 23 | 18 |1174k|4557 | 0.000000e+00 | -- | Inf
1654.07/1654.75 c 1543s| 2680k|790999 | 8513k| 3.2 | 641M| 63 | 8 | 70 |6800 | 70 | 23 | 18 |1179k|4559 | 0.000000e+00 | -- | Inf
1660.77/1661.44 c 1550s| 2690k|793734 | 8545k| 3.2 | 644M| 63 | - | 70 |6887 | 70 | 23 | 18 |1183k|4559 | 0.000000e+00 | -- | Inf
1667.97/1668.61 c 1556s| 2700k|796401 | 8576k| 3.2 | 646M| 63 | - | 70 |5890 | 70 | 23 | 18 |1188k|4565 | 0.000000e+00 | -- | Inf
1674.86/1675.60 c 1563s| 2710k|798964 | 8608k| 3.2 | 648M| 63 | - | 70 |6053 | 0 | 0 | 18 |1192k|4565 | 0.000000e+00 | -- | Inf
1681.76/1682.45 c 1569s| 2720k|801465 | 8640k| 3.2 | 650M| 63 | - | 70 |5467 | 70 | 23 | 18 |1197k|4567 | 0.000000e+00 | -- | Inf
1688.56/1689.20 c 1576s| 2730k|804044 | 8671k| 3.2 | 653M| 63 | - | 70 |5674 | 70 | 23 | 18 |1202k|4567 | 0.000000e+00 | -- | Inf
1695.05/1695.71 c 1582s| 2740k|806820 | 8702k| 3.2 | 655M| 63 | - | 70 |5679 | 70 | 23 | 18 |1206k|4567 | 0.000000e+00 | -- | Inf
1701.75/1702.45 c 1588s| 2750k|809546 | 8733k| 3.2 | 657M| 63 | 8 | 70 |4873 | 70 | 23 | 18 |1211k|4568 | 0.000000e+00 | -- | Inf
1708.15/1708.87 c 1594s| 2760k|812195 | 8765k| 3.2 | 660M| 63 | 8 | 70 |5476 | 70 | 23 | 18 |1215k|4568 | 0.000000e+00 | -- | Inf
1714.85/1715.59 c 1600s| 2770k|814896 | 8796k| 3.2 | 662M| 63 | - | 70 |5374 | 70 | 23 | 18 |1220k|4568 | 0.000000e+00 | -- | Inf
1720.94/1721.66 c 1606s| 2780k|818231 | 8827k| 3.2 | 665M| 63 | 8 | 70 |6168 | 70 | 23 | 18 |1224k|4568 | 0.000000e+00 | -- | Inf
1727.54/1728.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.54/1728.20 c 1612s| 2790k|821284 | 8858k| 3.2 | 667M| 63 | - | 70 |5309 | 70 | 23 | 18 |1228k|4568 | 0.000000e+00 | -- | Inf
1734.44/1735.19 c 1619s| 2800k|823841 | 8889k| 3.2 | 669M| 63 | 8 | 70 |4534 | 70 | 23 | 18 |1232k|4572 | 0.000000e+00 | -- | Inf
1741.13/1741.83 c 1625s| 2810k|826301 | 8920k| 3.2 | 671M| 63 | 8 | 70 |4869 | 70 | 23 | 18 |1237k|4621 | 0.000000e+00 | -- | Inf
1747.83/1748.52 c 1631s| 2820k|828821 | 8951k| 3.2 | 674M| 63 | - | 70 |4659 | 70 | 23 | 18 |1242k|4622 | 0.000000e+00 | -- | Inf
1754.33/1755.03 c 1637s| 2830k|831531 | 8982k| 3.2 | 676M| 63 | 8 | 70 |4918 | 70 | 23 | 18 |1246k|4626 | 0.000000e+00 | -- | Inf
1760.43/1761.12 c 1643s| 2840k|834566 | 9013k| 3.2 | 679M| 63 | 8 | 70 |5595 | 70 | 23 | 18 |1251k|4626 | 0.000000e+00 | -- | Inf
1767.32/1768.06 c 1649s| 2850k|837127 | 9044k| 3.2 | 681M| 63 | - | 70 |5054 | 70 | 23 | 18 |1255k|4627 | 0.000000e+00 | -- | Inf
1773.72/1774.49 c 1656s| 2860k|839973 | 9076k| 3.2 | 683M| 63 | - | 70 |5817 | 70 | 23 | 18 |1260k|4627 | 0.000000e+00 | -- | Inf
1780.42/1781.13 c 1662s| 2870k|842741 | 9107k| 3.2 | 685M| 63 | 8 | 70 |5755 | 70 | 23 | 18 |1264k|4627 | 0.000000e+00 | -- | Inf
1786.52/1787.25 c 1667s| 2880k|846011 | 9137k| 3.2 | 688M| 63 | 8 | 70 |6744 | 70 | 23 | 18 |1268k|4627 | 0.000000e+00 | -- | Inf
1793.32/1794.05 c 1674s| 2890k|848961 | 9169k| 3.2 | 690M| 63 | - | 70 |6319 | 70 | 23 | 18 |1273k|4629 | 0.000000e+00 | -- | Inf
1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.71 c
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time (sec) : 1680.12
1800.03/1800.71 c Solving Nodes : 2899751
1800.03/1800.71 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.71 c Dual Bound : +0.00000000000000e+00
1800.03/1800.71 c Gap : infinite
1800.03/1800.71 s UNKNOWN
1800.03/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.71 c Solving Time : 1680.12
1800.03/1800.71 c Original Problem :
1800.03/1800.71 c Problem name : HOME/instance-2666879-1276615780.opb
1800.03/1800.71 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71 c Constraints : 17 initial, 17 maximal
1800.03/1800.71 c Presolved Problem :
1800.03/1800.71 c Problem name : t_HOME/instance-2666879-1276615780.opb
1800.03/1800.71 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.71 c Constraints : 8 initial, 8414 maximal
1800.03/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.71 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.03/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.71 c linear : 0.00 0 0 0 0 0 9 0 0
1800.03/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.71 c root node : - 0 - - 0 - - - -
1800.03/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.71 c integral : 0 0 0 1881779 0 353 1506 0 0 3760038
1800.03/1800.71 c linear : 8 6 6888630 0 0 83701 3421311 0 0 0
1800.03/1800.71 c logicor : 0+ 0 2591832 0 0 5582 943291 0 0 0
1800.03/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.71 c integral : 25.85 0.00 0.00 25.85 0.00
1800.03/1800.71 c linear : 437.45 0.00 437.45 0.00 0.00
1800.03/1800.71 c logicor : 230.76 0.00 230.76 0.00 0.00
1800.03/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.71 c vbounds : 3.22 2 0 0
1800.03/1800.71 c rootredcost : 3.11 0 0 0
1800.03/1800.71 c pseudoobj : 3.13 0 0 0
1800.03/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.71 c propagation : 17.23 89283 82237 316030 47.9 21 39.4 -
1800.03/1800.71 c infeasible LP : 76.89 935797 935767 1906013 33.0 9817 38.0 0
1800.03/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.71 c applied globally : - - - 960410 25.8 - - -
1800.03/1800.71 c applied locally : - - - 317345 39.6 - - -
1800.03/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.71 c cut pool : 0.00 5 - - 11 - (maximal pool size: 56)
1800.03/1800.71 c redcost : 5.70 1881784 0 0 0 0
1800.03/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.72 c intobj : 0.00 0 0 0 0 0
1800.03/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.72 c gomory : 0.00 6 0 0 0 0
1800.03/1800.72 c strongcg : 0.00 6 0 0 22 0
1800.03/1800.72 c cmir : 0.05 6 0 0 19 0
1800.03/1800.72 c flowcover : 0.04 6 0 0 22 0
1800.03/1800.72 c clique : 0.00 1 0 0 0 0
1800.03/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.72 c mcf : 0.00 1 0 0 0 0
1800.03/1800.72 c rapidlearning : 0.11 1 0 0 0 0
1800.03/1800.72 c Pricers : Time Calls Vars
1800.03/1800.72 c problem variables: 0.00 0 0
1800.03/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.72 c relpscost : 23.17 1881779 353 1506 0 0 3760038
1800.03/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.72 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.72 c random : 0.00 0 0 0 0 0 0
1800.03/1800.72 c Primal Heuristics : Time Calls Found
1800.03/1800.72 c LP solutions : 0.00 - 0
1800.03/1800.72 c pseudo solutions : 0.00 - 0
1800.03/1800.72 c oneopt : 2.73 0 0
1800.03/1800.72 c crossover : 1.82 0 0
1800.03/1800.72 c guideddiving : 0.13 0 0
1800.03/1800.72 c fracdiving : 0.21 36 0
1800.03/1800.72 c veclendiving : 0.16 36 0
1800.03/1800.72 c linesearchdiving : 0.28 36 0
1800.03/1800.72 c coefdiving : 0.19 37 0
1800.03/1800.72 c pscostdiving : 0.18 37 0
1800.03/1800.72 c feaspump : 0.22 19 0
1800.03/1800.72 c objpscostdiving : 0.15 19 0
1800.03/1800.72 c rootsoldiving : 0.14 19 0
1800.03/1800.72 c trivial : 0.00 2 0
1800.03/1800.72 c simplerounding : 0.92 0 0
1800.03/1800.72 c zirounding : 1.76 1000 0
1800.03/1800.72 c rounding : 2.72 19467 0
1800.03/1800.72 c shifting : 6.26 6122 0
1800.03/1800.72 c intshifting : 0.18 0 0
1800.03/1800.72 c twoopt : 0.00 0 0
1800.03/1800.72 c fixandinfer : 0.00 0 0
1800.03/1800.72 c intdiving : 0.00 0 0
1800.03/1800.72 c actconsdiving : 0.00 0 0
1800.03/1800.72 c octane : 0.00 0 0
1800.03/1800.72 c rens : 0.08 1 0
1800.03/1800.72 c rins : 0.00 0 0
1800.03/1800.72 c localbranching : 0.00 0 0
1800.03/1800.72 c mutation : 0.00 0 0
1800.03/1800.72 c dins : 0.00 0 0
1800.03/1800.72 c undercover : 0.00 0 0
1800.03/1800.72 c nlp : 1.46 0 0
1800.03/1800.72 c trysol : 1.80 0 0
1800.03/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.72 c dual LP : 408.22 2767776 9197899 3.32 22531.72
1800.03/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.72 c diving/probing LP: 0.22 1561 3652 2.34 16600.00
1800.03/1800.72 c strong branching : 1.34 4634 30928 6.67 23080.60
1800.03/1800.72 c (at root node) : - 9 430 47.78 -
1800.03/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.72 c B&B Tree :
1800.03/1800.72 c number of runs : 1
1800.03/1800.72 c nodes : 2899751
1800.03/1800.72 c nodes (total) : 2899751
1800.03/1800.72 c nodes left : 851668
1800.03/1800.72 c max depth : 63
1800.03/1800.72 c max depth (total): 63
1800.03/1800.72 c backtracks : 229022 (7.9%)
1800.03/1800.72 c delayed cutoffs : 8620
1800.03/1800.72 c repropagations : 2707172 (985840 domain reductions, 5266 cutoffs)
1800.03/1800.72 c avg switch length: 5.22
1800.03/1800.72 c switching time : 232.39
1800.03/1800.72 c Solution :
1800.03/1800.72 c Solutions found : 0 (0 improvements)
1800.03/1800.72 c Primal Bound : -
1800.03/1800.72 c Dual Bound : +0.00000000000000e+00
1800.03/1800.72 c Gap : infinite
1800.03/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.72 c Root Iterations : 216
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666879-1276615780/watcher-2666879-1276615780 -o /tmp/evaluation-result-2666879-1276615780/solver-2666879-1276615780 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666879-1276615780.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.80 1.90 1.61 2/106 4430
/proc/meminfo: memFree=1813876/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=7724 CPUtime=0
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 1059 0 0 0 0 0 0 0 24 0 1 0 37179355 7909376 979 1992294400 4194304 8223781 140736627618976 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4430/statm: 1931 989 348 984 0 944 0
[startup+0.085491 s]
/proc/loadavg: 1.80 1.90 1.61 2/106 4430
/proc/meminfo: memFree=1813876/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=20096 CPUtime=0.08
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 5001 0 0 0 6 2 0 0 24 0 1 0 37179355 20578304 3775 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 5024 3775 568 984 0 4037 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20096
[startup+0.101493 s]
/proc/loadavg: 1.80 1.90 1.61 2/106 4430
/proc/meminfo: memFree=1813876/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=20096 CPUtime=0.09
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 5002 0 0 0 7 2 0 0 24 0 1 0 37179355 20578304 3776 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 5024 3776 568 984 0 4037 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20096
[startup+0.301528 s]
/proc/loadavg: 1.80 1.90 1.61 2/106 4430
/proc/meminfo: memFree=1813876/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=20504 CPUtime=0.3
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 8031 0 0 0 26 4 0 0 25 0 1 0 37179355 20996096 3948 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 5126 3948 584 984 0 4139 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20504
[startup+0.701598 s]
/proc/loadavg: 1.80 1.90 1.61 2/106 4430
/proc/meminfo: memFree=1813876/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=13480 CPUtime=0.69
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 8036 0 0 0 63 6 0 0 25 0 1 0 37179355 13803520 2530 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 3370 2530 588 984 0 2383 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13480
[startup+1.50073 s]
/proc/loadavg: 1.80 1.90 1.61 2/107 4431
/proc/meminfo: memFree=1805312/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=14080 CPUtime=1.49
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 8161 0 0 0 136 13 0 0 25 0 1 0 37179355 14417920 2655 1992294400 4194304 8223781 140736627618976 18446744073709551615 5004480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 3520 2655 588 984 0 2533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14080
[startup+3.10101 s]
/proc/loadavg: 1.74 1.89 1.60 2/107 4431
/proc/meminfo: memFree=1804568/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=16228 CPUtime=3.09
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 8707 0 0 0 283 26 0 0 25 0 1 0 37179355 16617472 3201 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 4057 3201 588 984 0 3070 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16228
[startup+6.30056 s]
/proc/loadavg: 1.74 1.89 1.60 2/107 4431
/proc/meminfo: memFree=1800600/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=19344 CPUtime=6.29
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 9480 0 0 0 579 50 0 0 25 0 1 0 37179355 19808256 3974 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 4836 3974 588 984 0 3849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19344
[startup+12.7007 s]
/proc/loadavg: 1.62 1.86 1.60 2/107 4431
/proc/meminfo: memFree=1797128/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=23196 CPUtime=12.69
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 10468 0 0 0 1171 98 0 0 25 0 1 0 37179355 23752704 4962 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 5799 4962 588 984 0 4812 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23196
[startup+25.5019 s]
/proc/loadavg: 1.53 1.83 1.59 2/107 4433
/proc/meminfo: memFree=1789316/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=29624 CPUtime=25.48
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 12108 0 0 0 2351 197 0 0 25 0 1 0 37179355 30334976 6602 1992294400 4194304 8223781 140736627618976 18446744073709551615 4981165 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 7406 6602 588 984 0 6419 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29624
[startup+51.1013 s]
/proc/loadavg: 1.35 1.76 1.57 2/107 4433
/proc/meminfo: memFree=1775180/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=43508 CPUtime=51.07
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 15664 0 0 0 4706 401 0 0 25 0 1 0 37179355 44552192 10158 1992294400 4194304 8223781 140736627618976 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 10877 10158 588 984 0 9890 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43508
[startup+102.309 s]
/proc/loadavg: 1.14 1.63 1.54 2/107 4435
/proc/meminfo: memFree=1748396/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=71760 CPUtime=102.25
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 22277 0 0 0 9421 804 0 0 25 0 1 0 37179355 73482240 16771 1992294400 4194304 8223781 140736627618976 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 17940 16771 588 984 0 16953 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 71760
[startup+162.301 s]
/proc/loadavg: 1.05 1.52 1.50 2/107 4435
/proc/meminfo: memFree=1719752/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=99628 CPUtime=162.23
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 29389 0 0 0 14981 1242 0 0 25 0 1 0 37179355 102019072 23883 1992294400 4194304 8223781 140736627618976 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 24907 23883 588 984 0 23920 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 99628
[startup+222.302 s]
/proc/loadavg: 1.02 1.42 1.47 2/107 4437
/proc/meminfo: memFree=1691232/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=127568 CPUtime=222.21
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 36475 0 0 0 20533 1688 0 0 25 0 1 0 37179355 130629632 30969 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 31892 30969 588 984 0 30905 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 127568
[startup+282.301 s]
/proc/loadavg: 1.00 1.34 1.44 2/107 4439
/proc/meminfo: memFree=1662588/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=155620 CPUtime=282.19
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 43604 0 0 0 26105 2114 0 0 25 0 1 0 37179355 159354880 38098 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 38905 38098 588 984 0 37918 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 155620
[startup+342.3 s]
/proc/loadavg: 1.00 1.27 1.41 2/107 4441
/proc/meminfo: memFree=1638656/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=182996 CPUtime=342.16
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 49557 0 0 0 31670 2546 0 0 25 0 1 0 37179355 187387904 44051 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 45749 44051 588 984 0 44762 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 182996
[startup+402.301 s]
/proc/loadavg: 1.00 1.23 1.38 2/107 4443
/proc/meminfo: memFree=1612120/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=208956 CPUtime=402.14
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 56131 0 0 0 37252 2962 0 0 25 0 1 0 37179355 213970944 50625 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 52239 50625 588 984 0 51252 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 208956
[startup+462.301 s]
/proc/loadavg: 1.00 1.18 1.35 2/107 4443
/proc/meminfo: memFree=1582856/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=237736 CPUtime=462.11
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 63401 0 0 0 42840 3371 0 0 25 0 1 0 37179355 243441664 57895 1992294400 4194304 8223781 140736627618976 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 59434 57895 588 984 0 58447 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 237736
[startup+522.301 s]
/proc/loadavg: 1.00 1.15 1.33 2/107 4445
/proc/meminfo: memFree=1554956/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=265356 CPUtime=522.09
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 70460 0 0 0 48431 3778 0 0 25 0 1 0 37179355 271724544 64954 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 66339 64954 588 984 0 65352 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 265356
[startup+582.301 s]
/proc/loadavg: 1.00 1.12 1.30 2/107 4447
/proc/meminfo: memFree=1533876/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=286288 CPUtime=582.07
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 75771 0 0 0 54021 4186 0 0 25 0 1 0 37179355 293158912 70265 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 71572 70265 588 984 0 70585 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 286288
[startup+642.301 s]
/proc/loadavg: 1.00 1.09 1.28 2/107 4449
/proc/meminfo: memFree=1511308/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=307776 CPUtime=642.06
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 81150 0 0 0 59616 4590 0 0 25 0 1 0 37179355 315162624 75644 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 76944 75644 588 984 0 75957 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 307776
[startup+702.3 s]
################
# More data... #
################
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 122529 0 0 0 98832 7357 0 0 25 0 1 0 37179355 489717760 117023 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 119560 117023 588 984 0 118573 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 478240
[startup+1122.3 s]
/proc/loadavg: 1.06 1.02 1.16 2/107 4461
/proc/meminfo: memFree=1324812/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=497528 CPUtime=1121.87
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 127494 0 0 0 104440 7747 0 0 25 0 1 0 37179355 509468672 121988 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 124382 121988 588 984 0 123395 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 497528
[startup+1182.3 s]
/proc/loadavg: 1.02 1.02 1.15 2/107 4463
/proc/meminfo: memFree=1303732/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=518756 CPUtime=1181.84
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 132775 0 0 0 110058 8126 0 0 25 0 1 0 37179355 531206144 127269 1992294400 4194304 8223781 140736627618976 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 129689 127269 588 984 0 128702 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 518756
[startup+1242.3 s]
/proc/loadavg: 1.01 1.01 1.13 2/107 4465
/proc/meminfo: memFree=1282156/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=539140 CPUtime=1241.82
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 138050 0 0 0 115680 8502 0 0 25 0 1 0 37179355 552079360 132544 1992294400 4194304 8223781 140736627618976 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 134785 132544 588 984 0 133798 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 539140
[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/107 4467
/proc/meminfo: memFree=1261572/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=559316 CPUtime=1301.8
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 143165 0 0 0 121306 8874 0 0 25 0 1 0 37179355 572739584 137659 1992294400 4194304 8223781 140736627618976 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 139829 137659 588 984 0 138842 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 559316
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 4467
/proc/meminfo: memFree=1240120/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=580100 CPUtime=1361.78
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 148502 0 0 0 126923 9255 0 0 25 0 1 0 37179355 594022400 142996 1992294400 4194304 8223781 140736627618976 18446744073709551615 4948400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 145025 142996 588 984 0 144038 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 580100
[startup+1422.31 s]
/proc/loadavg: 1.12 1.03 1.11 2/107 4469
/proc/meminfo: memFree=1217924/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=602528 CPUtime=1421.76
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 154025 0 0 0 132543 9633 0 0 25 0 1 0 37179355 616988672 148519 1992294400 4194304 8223781 140736627618976 18446744073709551615 4999897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 150632 148519 588 984 0 149645 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 602528
[startup+1482.3 s]
/proc/loadavg: 1.05 1.02 1.10 2/107 4471
/proc/meminfo: memFree=1197960/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=622984 CPUtime=1481.73
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 159306 0 0 0 138169 10004 0 0 25 0 1 0 37179355 637935616 153800 1992294400 4194304 8223781 140736627618976 18446744073709551615 4978404 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 155746 153800 588 984 0 154759 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 622984
[startup+1542.3 s]
/proc/loadavg: 1.01 1.02 1.09 2/107 4473
/proc/meminfo: memFree=1170060/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=648940 CPUtime=1541.71
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 165902 0 0 0 143788 10383 0 0 25 0 1 0 37179355 664514560 160396 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 162235 160396 588 984 0 161248 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 648940
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 4475
/proc/meminfo: memFree=1148856/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=669572 CPUtime=1601.69
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 171197 0 0 0 149412 10757 0 0 25 0 1 0 37179355 685641728 165691 1992294400 4194304 8223781 140736627618976 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 167393 165691 588 984 0 166406 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 669572
[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 4475
/proc/meminfo: memFree=1125048/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=693512 CPUtime=1661.66
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 177127 0 0 0 155041 11125 0 0 25 0 1 0 37179355 710156288 171621 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 173378 171621 588 984 0 172391 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 693512
[startup+1722.3 s]
/proc/loadavg: 1.39 1.10 1.10 2/107 4477
/proc/meminfo: memFree=1102604/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=715176 CPUtime=1721.65
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 182679 0 0 0 160661 11504 0 0 25 0 1 0 37179355 732340224 177173 1992294400 4194304 8223781 140736627618976 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 178794 177173 588 984 0 177807 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 715176
[startup+1782.3 s]
/proc/loadavg: 1.20 1.09 1.10 2/107 4479
/proc/meminfo: memFree=1084500/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=732640 CPUtime=1781.62
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 187149 0 0 0 166281 11881 0 0 25 0 1 0 37179355 750223360 181643 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 183160 181643 588 984 0 182173 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 732640
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.14 1.08 1.09 2/107 4479
/proc/meminfo: memFree=1076936/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=740044 CPUtime=1800.03
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 189005 0 0 0 168012 11991 0 0 25 0 1 0 37179355 757805056 183499 1992294400 4194304 8223781 140736627618976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4430/statm: 185011 183499 588 984 0 184024 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 740044
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4430
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.14 1.08 1.09 2/107 4479
/proc/meminfo: memFree=1076936/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=740044 CPUtime=1800.72
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 189006 0 0 0 168081 11991 0 0 25 0 1 0 37179355 757805056 183500 1992294400 4194304 8223781 140736627618976 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4430/statm: 185011 183500 589 984 0 184024 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 740044
[startup+1802.2 s]
/proc/loadavg: 1.14 1.08 1.09 2/108 4480
/proc/meminfo: memFree=1076928/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=740044 CPUtime=1801.52
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 189006 0 0 0 168161 11991 0 0 25 0 1 0 37179355 757805056 183500 1992294400 4194304 8223781 140736627618976 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4430/statm: 185011 183500 589 984 0 184024 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 740044
[startup+1802.6 s]
/proc/loadavg: 1.14 1.08 1.09 2/108 4480
/proc/meminfo: memFree=1076928/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=740044 CPUtime=1801.92
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 189006 0 0 0 168201 11991 0 0 25 0 1 0 37179355 757805056 183500 1992294400 4194304 8223781 140736627618976 18446744073709551615 6206548 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4430/statm: 185011 183500 589 984 0 184024 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 740044
[startup+1802.7 s]
/proc/loadavg: 1.14 1.08 1.09 2/108 4480
/proc/meminfo: memFree=1076928/2059040 swapFree=4136120/4192956
[pid=4430] ppid=4428 vsize=740044 CPUtime=1802.02
/proc/4430/stat : 4430 (pbscip.linux.x8) R 4428 4430 4405 0 -1 4202496 189006 0 0 0 168211 11991 0 0 25 0 1 0 37179355 757805056 183500 1992294400 4194304 8223781 140736627618976 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4430/statm: 185011 183500 589 984 0 184024 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 740044
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.79
CPU time (s): 1802.11
CPU user time (s): 1682.13
CPU system time (s): 119.984
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (KiB): 740044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1682.13
system time used= 119.984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 25584
runsolver used 3.02254 second user time and 8.49171 second system time
The end