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-2666870-1276599967.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.01/0.03 c presolving (3 rounds):
0.01/0.03 c 1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.01/0.03 c 8 constraints of type <linear>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/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.01/0.03 c 0.0s| 1 | 0 | 47 | - | 364k| 0 | 8 | 70 | 8 | 70 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 175 | - | 416k| 0 | 14 | 70 | 9 | 70 | 14 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 185 | - | 435k| 0 | 18 | 70 | 9 | 70 | 19 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 189 | - | 440k| 0 | 21 | 70 | 9 | 70 | 22 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 195 | - | 444k| 0 | 21 | 70 | 9 | 70 | 23 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 208 | - | 454k| 0 | 19 | 70 | 9 | 70 | 25 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.28 c 0.2s| 1 | 0 | 216 | - | 469k| 0 | 23 | 70 | 9 | 70 | 29 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.3s| 1 | 2 | 216 | - | 469k| 0 | 23 | 70 | 9 | 70 | 29 | 21 | 0 | 19 | 0.000000e+00 | -- | Inf
5.88/5.93 c 5.5s| 10000 | 4747 | 35384 | 3.5 |4255k| 60 | 8 | 70 |2539 | 70 | 23 | 21 |3253 | 551 | 0.000000e+00 | -- | Inf
11.29/11.34 c 10.5s| 20000 | 9126 | 69045 | 3.4 |6847k| 62 | 8 | 70 |1735 | 70 | 23 | 21 |6624 | 717 | 0.000000e+00 | -- | Inf
16.40/16.40 c 15.1s| 30000 | 13782 |102661 | 3.4 |9524k| 62 | 8 | 70 |1791 | 70 | 23 | 21 |9836 | 838 | 0.000000e+00 | -- | Inf
21.39/21.47 c 19.8s| 40000 | 18284 |136656 | 3.4 | 12M| 62 | 8 | 70 |1862 | 70 | 23 | 21 | 13k| 971 | 0.000000e+00 | -- | Inf
26.59/26.67 c 24.6s| 50000 | 22587 |170778 | 3.4 | 14M| 62 | 8 | 70 |2161 | 70 | 23 | 21 | 16k|1089 | 0.000000e+00 | -- | Inf
31.68/31.77 c 29.3s| 60000 | 27008 |203581 | 3.4 | 17M| 63 | 8 | 70 |2404 | 70 | 23 | 21 | 19k|1171 | 0.000000e+00 | -- | Inf
37.08/37.12 c 34.2s| 70000 | 31024 |237594 | 3.4 | 20M| 63 | - | 70 |2359 | 70 | 23 | 21 | 23k|1249 | 0.000000e+00 | -- | Inf
42.48/42.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.48/42.54 c 39.2s| 80000 | 35061 |271563 | 3.4 | 22M| 63 | 8 | 70 |2363 | 70 | 23 | 21 | 26k|1320 | 0.000000e+00 | -- | Inf
47.78/47.88 c 44.2s| 90000 | 39178 |304899 | 3.4 | 25M| 63 | 8 | 70 |2536 | 70 | 23 | 21 | 30k|1382 | 0.000000e+00 | -- | Inf
53.17/53.20 c 49.1s|100000 | 43334 |337791 | 3.4 | 27M| 63 | - | 70 |2535 | 70 | 23 | 21 | 33k|1457 | 0.000000e+00 | -- | Inf
58.38/58.46 c 54.0s|110000 | 47520 |370622 | 3.4 | 30M| 63 | 8 | 70 |2908 | 70 | 23 | 21 | 37k|1518 | 0.000000e+00 | -- | Inf
63.87/63.97 c 59.1s|120000 | 51536 |403725 | 3.4 | 33M| 63 | 8 | 70 |2855 | 70 | 23 | 21 | 40k|1586 | 0.000000e+00 | -- | Inf
69.28/69.36 c 64.1s|130000 | 55684 |436086 | 3.4 | 35M| 63 | 8 | 70 |3089 | 70 | 23 | 21 | 44k|1654 | 0.000000e+00 | -- | Inf
74.47/74.55 c 68.9s|140000 | 60379 |467491 | 3.3 | 38M| 63 | 8 | 70 |2906 | 70 | 23 | 21 | 47k|1710 | 0.000000e+00 | -- | Inf
79.67/79.72 c 73.6s|150000 | 64784 |499883 | 3.3 | 41M| 63 | - | 70 |3712 | 70 | 23 | 21 | 50k|1781 | 0.000000e+00 | -- | Inf
85.17/85.21 c 78.7s|160000 | 69135 |532644 | 3.3 | 43M| 63 | 8 | 70 |3214 | 70 | 23 | 21 | 54k|1824 | 0.000000e+00 | -- | Inf
90.46/90.55 c 83.6s|170000 | 73356 |564771 | 3.3 | 46M| 63 | 8 | 70 |3650 | 70 | 23 | 21 | 57k|1853 | 0.000000e+00 | -- | Inf
96.07/96.13 c 88.8s|180000 | 77609 |597019 | 3.3 | 49M| 63 | - | 70 |3261 | 70 | 23 | 21 | 60k|1878 | 0.000000e+00 | -- | Inf
101.57/101.67 c 94.0s|190000 | 81959 |629216 | 3.3 | 51M| 63 | 8 | 70 |3002 | 70 | 23 | 21 | 64k|1917 | 0.000000e+00 | -- | Inf
107.16/107.21 c 99.1s|200000 | 86069 |662419 | 3.3 | 54M| 63 | - | 70 |2875 | 70 | 23 | 21 | 67k|1951 | 0.000000e+00 | -- | Inf
112.36/112.44 c 104s|210000 | 90571 |694376 | 3.3 | 56M| 63 | 8 | 70 |3221 | 70 | 23 | 21 | 70k|1986 | 0.000000e+00 | -- | Inf
118.06/118.11 c 109s|220000 | 94660 |726835 | 3.3 | 59M| 63 | 8 | 70 |2997 | 70 | 23 | 21 | 74k|2022 | 0.000000e+00 | -- | Inf
123.45/123.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.45/123.53 c 114s|230000 | 98982 |759169 | 3.3 | 62M| 63 | 8 | 70 |3085 | 70 | 23 | 21 | 77k|2059 | 0.000000e+00 | -- | Inf
128.85/128.92 c 119s|240000 |103351 |791004 | 3.3 | 64M| 63 | 8 | 70 |3141 | 70 | 23 | 21 | 81k|2110 | 0.000000e+00 | -- | Inf
134.26/134.34 c 124s|250000 |107705 |823676 | 3.3 | 67M| 63 | 8 | 70 |3350 | 70 | 23 | 21 | 84k|2140 | 0.000000e+00 | -- | Inf
139.96/140.02 c 130s|260000 |111648 |857324 | 3.3 | 69M| 63 | 8 | 70 |2997 | 70 | 23 | 21 | 88k|2178 | 0.000000e+00 | -- | Inf
145.55/145.62 c 135s|270000 |115847 |889597 | 3.3 | 72M| 63 | 8 | 70 |2752 | 70 | 23 | 21 | 91k|2205 | 0.000000e+00 | -- | Inf
150.66/150.73 c 139s|280000 |120155 |921796 | 3.3 | 75M| 63 | - | 70 |3920 | 70 | 23 | 21 | 94k|2234 | 0.000000e+00 | -- | Inf
156.34/156.40 c 145s|290000 |124229 |953801 | 3.3 | 77M| 63 | 8 | 70 |3380 | 70 | 23 | 21 | 98k|2264 | 0.000000e+00 | -- | Inf
161.75/161.80 c 150s|300000 |128556 |986401 | 3.3 | 80M| 63 | 8 | 70 |3473 | 70 | 23 | 21 | 101k|2296 | 0.000000e+00 | -- | Inf
167.55/167.70 c 155s|310000 |132416 | 1019k| 3.3 | 83M| 63 | - | 70 |3450 | 70 | 23 | 21 | 105k|2342 | 0.000000e+00 | -- | Inf
173.25/173.38 c 160s|320000 |136560 | 1051k| 3.3 | 85M| 63 | - | 70 |3332 | 70 | 23 | 21 | 108k|2365 | 0.000000e+00 | -- | Inf
178.94/179.05 c 166s|330000 |140613 | 1084k| 3.3 | 88M| 63 | 8 | 70 |3383 | 70 | 23 | 21 | 112k|2386 | 0.000000e+00 | -- | Inf
184.64/184.71 c 171s|340000 |144627 | 1116k| 3.3 | 90M| 63 | - | 70 |3533 | 70 | 23 | 21 | 115k|2409 | 0.000000e+00 | -- | Inf
190.04/190.19 c 176s|350000 |148699 | 1148k| 3.3 | 93M| 63 | - | 70 |4057 | 70 | 23 | 21 | 119k|2438 | 0.000000e+00 | -- | Inf
195.83/195.94 c 181s|360000 |152709 | 1182k| 3.3 | 96M| 63 | - | 70 |3720 | 70 | 23 | 21 | 122k|2470 | 0.000000e+00 | -- | Inf
201.43/201.51 c 187s|370000 |156891 | 1213k| 3.3 | 98M| 63 | 8 | 70 |4035 | 70 | 23 | 21 | 126k|2489 | 0.000000e+00 | -- | Inf
207.32/207.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.32/207.45 c 192s|380000 |160889 | 1246k| 3.3 | 101M| 63 | 8 | 70 |3266 | 70 | 23 | 21 | 129k|2515 | 0.000000e+00 | -- | Inf
213.03/213.19 c 197s|390000 |164791 | 1280k| 3.3 | 103M| 63 | 8 | 70 |3482 | 70 | 23 | 21 | 133k|2531 | 0.000000e+00 | -- | Inf
218.83/218.95 c 203s|400000 |168735 | 1313k| 3.3 | 106M| 63 | - | 70 |3593 | 70 | 23 | 21 | 137k|2538 | 0.000000e+00 | -- | Inf
224.52/224.67 c 208s|410000 |172826 | 1345k| 3.3 | 108M| 63 | - | 70 |3574 | 70 | 23 | 21 | 140k|2558 | 0.000000e+00 | -- | Inf
230.53/230.62 c 214s|420000 |176797 | 1379k| 3.3 | 111M| 63 | 8 | 70 |3445 | 70 | 23 | 21 | 144k|2576 | 0.000000e+00 | -- | Inf
236.32/236.46 c 219s|430000 |180783 | 1411k| 3.3 | 113M| 63 | 8 | 70 |3703 | 70 | 23 | 21 | 147k|2587 | 0.000000e+00 | -- | Inf
242.02/242.13 c 224s|440000 |184819 | 1445k| 3.3 | 116M| 63 | 8 | 70 |3899 | 70 | 23 | 21 | 151k|2609 | 0.000000e+00 | -- | Inf
247.42/247.58 c 229s|450000 |188851 | 1477k| 3.3 | 119M| 63 | - | 70 |4411 | 70 | 23 | 21 | 154k|2625 | 0.000000e+00 | -- | Inf
253.31/253.46 c 235s|460000 |192723 | 1510k| 3.3 | 121M| 63 | 8 | 70 |3890 | 70 | 23 | 21 | 158k|2634 | 0.000000e+00 | -- | Inf
259.02/259.19 c 240s|470000 |196875 | 1542k| 3.3 | 124M| 63 | 8 | 70 |3947 | 70 | 23 | 21 | 161k|2650 | 0.000000e+00 | -- | Inf
265.02/265.15 c 246s|480000 |200770 | 1575k| 3.3 | 126M| 63 | 8 | 70 |3817 | 70 | 23 | 21 | 165k|2664 | 0.000000e+00 | -- | Inf
270.91/271.04 c 251s|490000 |204775 | 1608k| 3.3 | 129M| 63 | 8 | 70 |3757 | 70 | 23 | 21 | 169k|2676 | 0.000000e+00 | -- | Inf
276.51/276.67 c 256s|500000 |208872 | 1640k| 3.3 | 131M| 63 | 8 | 70 |3883 | 70 | 23 | 21 | 172k|2684 | 0.000000e+00 | -- | Inf
282.52/282.65 c 262s|510000 |212822 | 1674k| 3.3 | 134M| 63 | 8 | 70 |3860 | 70 | 23 | 21 | 176k|2700 | 0.000000e+00 | -- | Inf
287.71/287.84 c 267s|520000 |217336 | 1706k| 3.3 | 137M| 63 | 8 | 70 |4852 | 70 | 23 | 21 | 179k|2712 | 0.000000e+00 | -- | Inf
293.61/293.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.61/293.72 c 272s|530000 |221305 | 1738k| 3.3 | 139M| 63 | - | 70 |3978 | 70 | 23 | 21 | 183k|2726 | 0.000000e+00 | -- | Inf
299.50/299.64 c 278s|540000 |224949 | 1772k| 3.3 | 142M| 63 | 8 | 70 |3873 | 70 | 23 | 21 | 187k|2726 | 0.000000e+00 | -- | Inf
305.40/305.54 c 283s|550000 |228716 | 1806k| 3.3 | 144M| 63 | 8 | 70 |4050 | 70 | 23 | 21 | 190k|2726 | 0.000000e+00 | -- | Inf
311.50/311.68 c 289s|560000 |232434 | 1838k| 3.3 | 147M| 63 | 8 | 70 |3796 | 70 | 23 | 21 | 194k|2726 | 0.000000e+00 | -- | Inf
317.40/317.57 c 294s|570000 |236204 | 1871k| 3.3 | 149M| 63 | 8 | 70 |3771 | 70 | 23 | 21 | 198k|2739 | 0.000000e+00 | -- | Inf
323.10/323.29 c 300s|580000 |240217 | 1903k| 3.3 | 152M| 63 | 8 | 70 |3841 | 70 | 23 | 21 | 201k|2756 | 0.000000e+00 | -- | Inf
329.10/329.20 c 305s|590000 |244200 | 1936k| 3.3 | 154M| 63 | 8 | 70 |3459 | 70 | 23 | 21 | 205k|2768 | 0.000000e+00 | -- | Inf
334.89/335.01 c 311s|600000 |248212 | 1968k| 3.3 | 157M| 63 | 8 | 70 |3429 | 70 | 23 | 21 | 208k|2773 | 0.000000e+00 | -- | Inf
340.19/340.32 c 316s|610000 |252222 | 2000k| 3.3 | 160M| 63 | - | 70 |4897 | 70 | 23 | 21 | 212k|2775 | 0.000000e+00 | -- | Inf
345.79/345.98 c 321s|620000 |256025 | 2031k| 3.3 | 162M| 63 | 8 | 70 |4356 | 70 | 23 | 21 | 216k|2775 | 0.000000e+00 | -- | Inf
351.49/351.61 c 326s|630000 |260415 | 2063k| 3.3 | 165M| 63 | 8 | 70 |4107 | 70 | 23 | 21 | 219k|2775 | 0.000000e+00 | -- | Inf
357.29/357.43 c 331s|640000 |264414 | 2096k| 3.3 | 167M| 63 | 8 | 70 |3553 | 70 | 23 | 21 | 222k|2775 | 0.000000e+00 | -- | Inf
363.28/363.48 c 337s|650000 |268098 | 2128k| 3.3 | 170M| 63 | 8 | 70 |3887 | 70 | 23 | 21 | 226k|2775 | 0.000000e+00 | -- | Inf
369.39/369.50 c 343s|660000 |272067 | 2160k| 3.3 | 172M| 63 | - | 70 |3430 | 70 | 23 | 21 | 230k|2775 | 0.000000e+00 | -- | Inf
374.89/375.09 c 348s|670000 |276058 | 2192k| 3.3 | 175M| 63 | 8 | 70 |3729 | 70 | 23 | 21 | 233k|2775 | 0.000000e+00 | -- | Inf
380.68/380.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.68/380.81 c 353s|680000 |280109 | 2224k| 3.3 | 177M| 63 | - | 70 |3878 | 70 | 23 | 21 | 237k|2775 | 0.000000e+00 | -- | Inf
386.08/386.27 c 358s|690000 |284078 | 2258k| 3.3 | 180M| 63 | - | 70 |4651 | 0 | 0 | 21 | 241k|2775 | 0.000000e+00 | -- | Inf
392.37/392.54 c 364s|700000 |287777 | 2292k| 3.3 | 183M| 63 | - | 70 |4603 | 70 | 23 | 21 | 244k|2775 | 0.000000e+00 | -- | Inf
397.98/398.14 c 369s|710000 |292122 | 2324k| 3.3 | 185M| 63 | - | 70 |4781 | 70 | 23 | 21 | 248k|2775 | 0.000000e+00 | -- | Inf
404.18/404.34 c 375s|720000 |296140 | 2357k| 3.3 | 188M| 63 | 8 | 70 |3997 | 70 | 23 | 21 | 251k|2775 | 0.000000e+00 | -- | Inf
409.97/410.16 c 381s|730000 |300214 | 2389k| 3.3 | 190M| 63 | 8 | 70 |4238 | 70 | 23 | 21 | 255k|2775 | 0.000000e+00 | -- | Inf
415.87/416.04 c 386s|740000 |304107 | 2421k| 3.3 | 193M| 63 | 8 | 70 |3966 | 70 | 23 | 21 | 258k|2775 | 0.000000e+00 | -- | Inf
421.97/422.12 c 392s|750000 |307879 | 2454k| 3.3 | 195M| 63 | 8 | 70 |3862 | 70 | 23 | 21 | 262k|2775 | 0.000000e+00 | -- | Inf
427.86/428.10 c 397s|760000 |311596 | 2487k| 3.3 | 198M| 63 | 8 | 70 |4151 | 70 | 23 | 21 | 266k|2775 | 0.000000e+00 | -- | Inf
433.56/433.74 c 402s|770000 |315957 | 2518k| 3.3 | 200M| 63 | - | 70 |4216 | 70 | 23 | 21 | 269k|2775 | 0.000000e+00 | -- | Inf
439.86/440.07 c 408s|780000 |319488 | 2552k| 3.3 | 203M| 63 | 8 | 70 |4029 | 70 | 23 | 21 | 273k|2775 | 0.000000e+00 | -- | Inf
446.16/446.35 c 414s|790000 |322915 | 2585k| 3.3 | 205M| 63 | 8 | 70 |3826 | 70 | 23 | 21 | 277k|2775 | 0.000000e+00 | -- | Inf
452.25/452.46 c 420s|800000 |326583 | 2617k| 3.3 | 208M| 63 | - | 70 |3723 | 70 | 23 | 21 | 281k|2775 | 0.000000e+00 | -- | Inf
458.56/458.72 c 426s|810000 |330198 | 2649k| 3.3 | 210M| 63 | 8 | 70 |3493 | 70 | 23 | 21 | 284k|2775 | 0.000000e+00 | -- | Inf
464.85/465.04 c 432s|820000 |333796 | 2682k| 3.3 | 213M| 63 | 8 | 70 |3637 | 70 | 23 | 21 | 288k|2775 | 0.000000e+00 | -- | Inf
470.55/470.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.55/470.80 c 437s|830000 |337910 | 2714k| 3.3 | 215M| 63 | 8 | 70 |4090 | 70 | 23 | 21 | 292k|2775 | 0.000000e+00 | -- | Inf
476.06/476.23 c 442s|840000 |342110 | 2746k| 3.3 | 218M| 63 | 8 | 70 |4753 | 70 | 23 | 21 | 295k|2775 | 0.000000e+00 | -- | Inf
482.14/482.36 c 448s|850000 |345915 | 2779k| 3.3 | 220M| 63 | 8 | 70 |4509 | 70 | 23 | 21 | 299k|2775 | 0.000000e+00 | -- | Inf
488.15/488.36 c 453s|860000 |349765 | 2811k| 3.3 | 223M| 63 | 8 | 70 |4340 | 70 | 23 | 21 | 302k|2775 | 0.000000e+00 | -- | Inf
494.24/494.40 c 459s|870000 |353607 | 2844k| 3.3 | 225M| 63 | 8 | 70 |4133 | 70 | 23 | 21 | 306k|2775 | 0.000000e+00 | -- | Inf
500.14/500.32 c 465s|880000 |357512 | 2878k| 3.3 | 228M| 63 | - | 70 |4158 | 70 | 23 | 21 | 310k|2775 | 0.000000e+00 | -- | Inf
505.84/506.08 c 470s|890000 |361604 | 2910k| 3.3 | 231M| 63 | 8 | 70 |4241 | 70 | 23 | 21 | 313k|2775 | 0.000000e+00 | -- | Inf
511.94/512.10 c 476s|900000 |365435 | 2943k| 3.3 | 233M| 63 | 8 | 70 |4326 | 70 | 23 | 21 | 317k|2775 | 0.000000e+00 | -- | Inf
517.53/517.77 c 481s|910000 |369250 | 2977k| 3.3 | 236M| 63 | - | 70 |5107 | 70 | 23 | 21 | 321k|2776 | 0.000000e+00 | -- | Inf
523.94/524.13 c 487s|920000 |373111 | 3008k| 3.3 | 238M| 63 | - | 70 |4097 | 70 | 23 | 21 | 324k|2776 | 0.000000e+00 | -- | Inf
530.04/530.22 c 492s|930000 |377026 | 3040k| 3.3 | 241M| 63 | - | 70 |4229 | 70 | 23 | 21 | 328k|2776 | 0.000000e+00 | -- | Inf
536.33/536.55 c 498s|940000 |380770 | 3073k| 3.3 | 243M| 63 | 8 | 70 |4078 | 70 | 23 | 21 | 332k|2776 | 0.000000e+00 | -- | Inf
542.43/542.66 c 504s|950000 |384597 | 3106k| 3.3 | 246M| 63 | 8 | 70 |4007 | 70 | 23 | 21 | 335k|2777 | 0.000000e+00 | -- | Inf
547.73/547.91 c 509s|960000 |388891 | 3136k| 3.3 | 248M| 63 | - | 70 |5267 | 70 | 23 | 21 | 339k|2777 | 0.000000e+00 | -- | Inf
553.72/553.95 c 515s|970000 |392765 | 3168k| 3.3 | 251M| 63 | - | 70 |4705 | 0 | 0 | 21 | 342k|2777 | 0.000000e+00 | -- | Inf
560.02/560.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.02/560.28 c 520s|980000 |396503 | 3201k| 3.3 | 253M| 63 | 8 | 70 |4345 | 70 | 23 | 21 | 346k|2777 | 0.000000e+00 | -- | Inf
566.33/566.56 c 526s|990000 |400252 | 3234k| 3.3 | 256M| 63 | 8 | 70 |3989 | 70 | 23 | 21 | 350k|2777 | 0.000000e+00 | -- | Inf
572.62/572.83 c 532s| 1000k|403915 | 3266k| 3.3 | 258M| 63 | 8 | 70 |4253 | 70 | 23 | 21 | 353k|2777 | 0.000000e+00 | -- | Inf
578.72/578.95 c 538s| 1010k|407507 | 3300k| 3.3 | 261M| 63 | 8 | 70 |4967 | 70 | 23 | 21 | 357k|2777 | 0.000000e+00 | -- | Inf
584.92/585.18 c 544s| 1020k|411333 | 3333k| 3.3 | 263M| 63 | 8 | 70 |4588 | 70 | 23 | 21 | 361k|2777 | 0.000000e+00 | -- | Inf
590.82/591.09 c 549s| 1030k|415297 | 3366k| 3.3 | 266M| 63 | - | 70 |4579 | 70 | 23 | 21 | 364k|2777 | 0.000000e+00 | -- | Inf
597.21/597.40 c 555s| 1040k|419116 | 3399k| 3.3 | 268M| 63 | 8 | 70 |4360 | 70 | 23 | 21 | 368k|2777 | 0.000000e+00 | -- | Inf
603.51/603.79 c 561s| 1050k|422795 | 3432k| 3.3 | 271M| 63 | - | 70 |4293 | 70 | 23 | 21 | 372k|2777 | 0.000000e+00 | -- | Inf
609.41/609.67 c 566s| 1060k|426367 | 3465k| 3.3 | 274M| 63 | 8 | 70 |4900 | 70 | 23 | 21 | 376k|2777 | 0.000000e+00 | -- | Inf
615.61/615.85 c 572s| 1070k|430293 | 3498k| 3.3 | 276M| 63 | - | 70 |4578 | 70 | 23 | 21 | 379k|2777 | 0.000000e+00 | -- | Inf
621.80/622.04 c 578s| 1080k|434206 | 3530k| 3.3 | 278M| 63 | - | 70 |4334 | 70 | 23 | 21 | 383k|2777 | 0.000000e+00 | -- | Inf
627.81/628.04 c 584s| 1090k|438268 | 3562k| 3.3 | 281M| 63 | - | 70 |4740 | 70 | 23 | 21 | 386k|2777 | 0.000000e+00 | -- | Inf
634.41/634.62 c 590s| 1100k|441821 | 3596k| 3.3 | 283M| 63 | 8 | 70 |4378 | 70 | 23 | 21 | 390k|2777 | 0.000000e+00 | -- | Inf
640.40/640.60 c 595s| 1110k|445591 | 3629k| 3.3 | 286M| 63 | 8 | 70 |4893 | 70 | 23 | 21 | 394k|2777 | 0.000000e+00 | -- | Inf
646.60/646.87 c 601s| 1120k|449364 | 3661k| 3.3 | 288M| 63 | - | 70 |4580 | 70 | 23 | 21 | 398k|2780 | 0.000000e+00 | -- | Inf
652.90/653.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.90/653.17 c 607s| 1130k|453149 | 3695k| 3.3 | 291M| 63 | 8 | 70 |4364 | 70 | 23 | 21 | 401k|2782 | 0.000000e+00 | -- | Inf
659.19/659.46 c 613s| 1140k|456940 | 3728k| 3.3 | 293M| 63 | - | 70 |3930 | 70 | 23 | 21 | 405k|2785 | 0.000000e+00 | -- | Inf
664.99/665.23 c 618s| 1150k|460589 | 3760k| 3.3 | 296M| 63 | - | 70 |4704 | 70 | 23 | 21 | 409k|2793 | 0.000000e+00 | -- | Inf
671.68/671.99 c 625s| 1160k|464129 | 3793k| 3.3 | 298M| 63 | 8 | 70 |4181 | 70 | 23 | 21 | 413k|2804 | 0.000000e+00 | -- | Inf
677.79/678.03 c 630s| 1170k|467738 | 3826k| 3.3 | 301M| 63 | 8 | 70 |4910 | 70 | 23 | 21 | 416k|2811 | 0.000000e+00 | -- | Inf
683.29/683.53 c 635s| 1180k|471728 | 3859k| 3.3 | 304M| 63 | 8 | 70 |6000 | 70 | 23 | 21 | 420k|2813 | 0.000000e+00 | -- | Inf
689.48/689.71 c 641s| 1190k|475676 | 3892k| 3.3 | 306M| 63 | 8 | 70 |4757 | 70 | 23 | 21 | 424k|2819 | 0.000000e+00 | -- | Inf
696.08/696.32 c 647s| 1200k|479136 | 3926k| 3.3 | 309M| 63 | 8 | 70 |4152 | 70 | 23 | 21 | 428k|2821 | 0.000000e+00 | -- | Inf
702.48/702.76 c 653s| 1210k|482790 | 3959k| 3.3 | 311M| 63 | 8 | 70 |4205 | 70 | 23 | 21 | 431k|2821 | 0.000000e+00 | -- | Inf
708.18/708.48 c 659s| 1220k|487018 | 3991k| 3.3 | 314M| 63 | 8 | 70 |4758 | 70 | 23 | 21 | 435k|2829 | 0.000000e+00 | -- | Inf
713.88/714.14 c 664s| 1230k|491223 | 4022k| 3.3 | 316M| 63 | - | 70 |5081 | 70 | 23 | 21 | 438k|2835 | 0.000000e+00 | -- | Inf
720.48/720.76 c 670s| 1240k|494719 | 4055k| 3.3 | 319M| 63 | 8 | 70 |4312 | 70 | 23 | 21 | 442k|2838 | 0.000000e+00 | -- | Inf
726.27/726.52 c 676s| 1250k|498838 | 4088k| 3.3 | 321M| 63 | 8 | 70 |5072 | 70 | 23 | 21 | 446k|2846 | 0.000000e+00 | -- | Inf
732.28/732.51 c 681s| 1260k|502519 | 4122k| 3.3 | 324M| 63 | 8 | 70 |4965 | 70 | 23 | 21 | 449k|2846 | 0.000000e+00 | -- | Inf
738.67/738.94 c 687s| 1270k|506271 | 4154k| 3.3 | 326M| 63 | 8 | 70 |4280 | 70 | 23 | 21 | 453k|2846 | 0.000000e+00 | -- | Inf
744.67/744.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.67/744.96 c 693s| 1280k|510130 | 4186k| 3.3 | 329M| 63 | 8 | 70 |4388 | 70 | 23 | 21 | 457k|2846 | 0.000000e+00 | -- | Inf
750.07/750.30 c 698s| 1290k|514640 | 4218k| 3.3 | 332M| 63 | 8 | 70 |5177 | 70 | 23 | 21 | 460k|2846 | 0.000000e+00 | -- | Inf
755.17/755.45 c 703s| 1300k|519590 | 4249k| 3.3 | 335M| 63 | 8 | 70 |6181 | 70 | 23 | 21 | 463k|2846 | 0.000000e+00 | -- | Inf
760.66/760.95 c 708s| 1310k|524253 | 4280k| 3.3 | 337M| 63 | 8 | 70 |6218 | 70 | 23 | 21 | 466k|2846 | 0.000000e+00 | -- | Inf
766.26/766.52 c 713s| 1320k|528611 | 4312k| 3.3 | 340M| 63 | - | 70 |6351 | 70 | 23 | 21 | 470k|2846 | 0.000000e+00 | -- | Inf
772.06/772.38 c 718s| 1330k|532971 | 4342k| 3.3 | 342M| 63 | 8 | 70 |6318 | 70 | 23 | 21 | 473k|2846 | 0.000000e+00 | -- | Inf
777.85/778.15 c 724s| 1340k|537271 | 4372k| 3.3 | 345M| 63 | 8 | 70 |6425 | 70 | 23 | 21 | 476k|2846 | 0.000000e+00 | -- | Inf
783.25/783.59 c 729s| 1350k|541728 | 4403k| 3.3 | 348M| 63 | 8 | 70 |6723 | 70 | 23 | 21 | 480k|2846 | 0.000000e+00 | -- | Inf
789.15/789.45 c 734s| 1360k|545890 | 4434k| 3.3 | 350M| 63 | 8 | 70 |6511 | 70 | 23 | 21 | 483k|2846 | 0.000000e+00 | -- | Inf
795.05/795.32 c 740s| 1370k|550060 | 4464k| 3.3 | 353M| 63 | - | 70 |6430 | 70 | 23 | 21 | 487k|2846 | 0.000000e+00 | -- | Inf
801.45/801.76 c 746s| 1380k|554194 | 4495k| 3.3 | 355M| 63 | - | 70 |5349 | 70 | 23 | 21 | 490k|2846 | 0.000000e+00 | -- | Inf
807.85/808.19 c 752s| 1390k|558051 | 4527k| 3.3 | 358M| 63 | 8 | 70 |4446 | 70 | 23 | 21 | 494k|2846 | 0.000000e+00 | -- | Inf
813.84/814.18 c 757s| 1400k|562108 | 4560k| 3.3 | 360M| 63 | 8 | 70 |4666 | 70 | 23 | 21 | 497k|2846 | 0.000000e+00 | -- | Inf
820.34/820.67 c 763s| 1410k|565779 | 4593k| 3.3 | 363M| 63 | - | 70 |4544 | 70 | 23 | 21 | 501k|2846 | 0.000000e+00 | -- | Inf
826.34/826.69 c 769s| 1420k|569539 | 4625k| 3.3 | 365M| 63 | 8 | 70 |4779 | 70 | 23 | 21 | 505k|2846 | 0.000000e+00 | -- | Inf
832.45/832.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.45/832.72 c 775s| 1430k|573545 | 4657k| 3.3 | 368M| 63 | 8 | 70 |4722 | 70 | 23 | 21 | 508k|2846 | 0.000000e+00 | -- | Inf
838.74/839.04 c 780s| 1440k|577100 | 4691k| 3.3 | 370M| 63 | 8 | 70 |4545 | 70 | 23 | 21 | 512k|2846 | 0.000000e+00 | -- | Inf
844.74/845.03 c 786s| 1450k|580888 | 4724k| 3.3 | 373M| 63 | - | 70 |4785 | 70 | 23 | 21 | 516k|2846 | 0.000000e+00 | -- | Inf
851.14/851.42 c 792s| 1460k|584745 | 4755k| 3.3 | 375M| 63 | 8 | 70 |4181 | 70 | 23 | 21 | 519k|2846 | 0.000000e+00 | -- | Inf
857.33/857.65 c 798s| 1470k|588122 | 4789k| 3.3 | 378M| 63 | 8 | 70 |4734 | 70 | 23 | 21 | 523k|2846 | 0.000000e+00 | -- | Inf
863.93/864.20 c 804s| 1480k|591678 | 4821k| 3.3 | 380M| 63 | 8 | 70 |4229 | 70 | 23 | 21 | 527k|2846 | 0.000000e+00 | -- | Inf
870.33/870.64 c 810s| 1490k|595370 | 4853k| 3.3 | 383M| 63 | 8 | 70 |4009 | 70 | 23 | 21 | 531k|2846 | 0.000000e+00 | -- | Inf
876.22/876.55 c 816s| 1500k|599270 | 4885k| 3.3 | 385M| 63 | 8 | 70 |4341 | 70 | 23 | 21 | 534k|2846 | 0.000000e+00 | -- | Inf
882.43/882.75 c 821s| 1510k|603029 | 4918k| 3.3 | 388M| 63 | 8 | 70 |4595 | 70 | 23 | 21 | 538k|2846 | 0.000000e+00 | -- | Inf
888.72/889.03 c 827s| 1520k|606591 | 4951k| 3.3 | 390M| 63 | 8 | 70 |4763 | 70 | 23 | 21 | 542k|2846 | 0.000000e+00 | -- | Inf
895.13/895.49 c 833s| 1530k|610230 | 4983k| 3.3 | 393M| 63 | 8 | 70 |4607 | 70 | 23 | 21 | 546k|2846 | 0.000000e+00 | -- | Inf
901.62/901.90 c 839s| 1540k|613963 | 5015k| 3.3 | 395M| 63 | 8 | 70 |4381 | 70 | 23 | 21 | 550k|2846 | 0.000000e+00 | -- | Inf
908.22/908.59 c 846s| 1550k|617621 | 5048k| 3.3 | 398M| 63 | - | 70 |4407 | 70 | 23 | 21 | 553k|2846 | 0.000000e+00 | -- | Inf
914.51/914.86 c 851s| 1560k|621099 | 5081k| 3.3 | 400M| 63 | - | 70 |4955 | 70 | 23 | 21 | 557k|2846 | 0.000000e+00 | -- | Inf
921.21/921.50 c 858s| 1570k|624783 | 5114k| 3.3 | 403M| 63 | 8 | 70 |4537 | 70 | 23 | 21 | 561k|2846 | 0.000000e+00 | -- | Inf
927.11/927.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.11/927.43 c 863s| 1580k|628290 | 5147k| 3.3 | 405M| 63 | - | 70 |5630 | 70 | 23 | 21 | 565k|2846 | 0.000000e+00 | -- | Inf
933.81/934.15 c 869s| 1590k|631883 | 5180k| 3.3 | 408M| 63 | 8 | 70 |4781 | 70 | 23 | 21 | 568k|2846 | 0.000000e+00 | -- | Inf
940.21/940.59 c 875s| 1600k|635530 | 5212k| 3.3 | 410M| 63 | - | 70 |4897 | 70 | 23 | 21 | 572k|2846 | 0.000000e+00 | -- | Inf
946.20/946.54 c 881s| 1610k|639472 | 5244k| 3.3 | 413M| 63 | 8 | 70 |5734 | 70 | 23 | 21 | 576k|2846 | 0.000000e+00 | -- | Inf
952.30/952.65 c 887s| 1620k|643286 | 5277k| 3.3 | 415M| 63 | - | 70 |5681 | 70 | 23 | 21 | 580k|2846 | 0.000000e+00 | -- | Inf
959.09/959.48 c 893s| 1630k|646773 | 5310k| 3.3 | 418M| 63 | 8 | 70 |5084 | 70 | 23 | 21 | 583k|2846 | 0.000000e+00 | -- | Inf
965.80/966.18 c 899s| 1640k|650521 | 5342k| 3.3 | 420M| 63 | 8 | 70 |4455 | 70 | 23 | 21 | 587k|2846 | 0.000000e+00 | -- | Inf
972.39/972.71 c 906s| 1650k|653804 | 5377k| 3.3 | 423M| 63 | 8 | 70 |4866 | 70 | 23 | 21 | 591k|2846 | 0.000000e+00 | -- | Inf
978.99/979.31 c 912s| 1660k|657493 | 5409k| 3.3 | 425M| 63 | 8 | 70 |4522 | 70 | 23 | 21 | 595k|2846 | 0.000000e+00 | -- | Inf
984.89/985.21 c 917s| 1670k|661069 | 5442k| 3.3 | 428M| 63 | 8 | 70 |4927 | 70 | 23 | 21 | 599k|2846 | 0.000000e+00 | -- | Inf
991.19/991.56 c 923s| 1680k|664765 | 5475k| 3.3 | 430M| 63 | - | 70 |4726 | 70 | 23 | 21 | 602k|2846 | 0.000000e+00 | -- | Inf
997.49/997.89 c 929s| 1690k|668491 | 5507k| 3.3 | 433M| 63 | 8 | 70 |4593 | 70 | 23 | 21 | 606k|2846 | 0.000000e+00 | -- | Inf
1003.89/1004.30 c 935s| 1700k|672057 | 5540k| 3.3 | 435M| 63 | - | 70 |4864 | 70 | 23 | 21 | 610k|2846 | 0.000000e+00 | -- | Inf
1010.28/1010.70 c 941s| 1710k|675798 | 5572k| 3.3 | 438M| 63 | - | 70 |4440 | 70 | 23 | 21 | 614k|2846 | 0.000000e+00 | -- | Inf
1016.58/1016.98 c 947s| 1720k|679309 | 5605k| 3.3 | 440M| 63 | 8 | 70 |4730 | 70 | 23 | 21 | 617k|2846 | 0.000000e+00 | -- | Inf
1022.88/1023.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.88/1023.27 c 953s| 1730k|683178 | 5637k| 3.3 | 443M| 63 | 8 | 70 |4611 | 70 | 23 | 21 | 621k|2846 | 0.000000e+00 | -- | Inf
1029.48/1029.85 c 959s| 1740k|686961 | 5668k| 3.3 | 445M| 63 | 8 | 70 |4473 | 70 | 23 | 21 | 625k|2846 | 0.000000e+00 | -- | Inf
1035.47/1035.88 c 965s| 1750k|690652 | 5703k| 3.3 | 448M| 63 | - | 70 |4789 | 70 | 23 | 21 | 629k|2846 | 0.000000e+00 | -- | Inf
1041.58/1041.95 c 970s| 1760k|694326 | 5736k| 3.3 | 450M| 63 | - | 70 |4638 | 70 | 23 | 21 | 632k|2846 | 0.000000e+00 | -- | Inf
1048.07/1048.46 c 976s| 1770k|697865 | 5768k| 3.3 | 452M| 63 | - | 70 |4361 | 70 | 23 | 21 | 636k|2846 | 0.000000e+00 | -- | Inf
1054.28/1054.65 c 982s| 1780k|701749 | 5800k| 3.3 | 455M| 63 | - | 70 |4619 | 70 | 23 | 21 | 640k|2846 | 0.000000e+00 | -- | Inf
1060.86/1061.26 c 988s| 1790k|705435 | 5832k| 3.3 | 458M| 63 | - | 70 |4502 | 70 | 23 | 21 | 643k|2846 | 0.000000e+00 | -- | Inf
1067.17/1067.60 c 994s| 1800k|709194 | 5864k| 3.3 | 460M| 63 | 8 | 70 |4550 | 70 | 23 | 21 | 647k|2846 | 0.000000e+00 | -- | Inf
1073.66/1074.08 c 1000s| 1810k|712692 | 5898k| 3.3 | 462M| 63 | 8 | 70 |4638 | 70 | 23 | 21 | 651k|2846 | 0.000000e+00 | -- | Inf
1080.26/1080.64 c 1007s| 1820k|716099 | 5930k| 3.3 | 465M| 63 | 8 | 70 |4958 | 70 | 23 | 21 | 655k|2846 | 0.000000e+00 | -- | Inf
1086.47/1086.87 c 1012s| 1830k|719895 | 5963k| 3.3 | 468M| 63 | 8 | 70 |5264 | 70 | 23 | 21 | 659k|2846 | 0.000000e+00 | -- | Inf
1092.46/1092.82 c 1018s| 1840k|723662 | 5996k| 3.3 | 470M| 63 | 8 | 70 |5485 | 70 | 23 | 21 | 662k|2846 | 0.000000e+00 | -- | Inf
1098.86/1099.22 c 1024s| 1850k|727379 | 6029k| 3.3 | 473M| 63 | - | 70 |5257 | 70 | 23 | 21 | 666k|2846 | 0.000000e+00 | -- | Inf
1105.35/1105.72 c 1030s| 1860k|730961 | 6062k| 3.3 | 475M| 63 | 8 | 70 |5118 | 70 | 23 | 21 | 670k|2846 | 0.000000e+00 | -- | Inf
1112.25/1112.69 c 1037s| 1870k|734468 | 6094k| 3.3 | 477M| 63 | 8 | 70 |4592 | 70 | 23 | 21 | 674k|2846 | 0.000000e+00 | -- | Inf
1118.86/1119.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.86/1119.23 c 1043s| 1880k|737833 | 6128k| 3.3 | 480M| 63 | - | 70 |4450 | 70 | 23 | 21 | 678k|2846 | 0.000000e+00 | -- | Inf
1124.36/1124.79 c 1048s| 1890k|741773 | 6160k| 3.3 | 483M| 63 | 8 | 70 |5640 | 70 | 23 | 21 | 681k|2846 | 0.000000e+00 | -- | Inf
1130.95/1131.30 c 1054s| 1900k|745301 | 6192k| 3.3 | 485M| 63 | - | 70 |4993 | 70 | 23 | 21 | 685k|2846 | 0.000000e+00 | -- | Inf
1136.85/1137.27 c 1059s| 1910k|749026 | 6225k| 3.3 | 488M| 63 | 8 | 70 |5827 | 70 | 23 | 21 | 689k|2846 | 0.000000e+00 | -- | Inf
1143.15/1143.57 c 1065s| 1920k|752704 | 6257k| 3.3 | 490M| 63 | 8 | 70 |5289 | 70 | 23 | 21 | 693k|2846 | 0.000000e+00 | -- | Inf
1149.16/1149.54 c 1071s| 1930k|756318 | 6289k| 3.3 | 493M| 63 | 8 | 70 |5794 | 70 | 23 | 21 | 696k|2846 | 0.000000e+00 | -- | Inf
1155.95/1156.34 c 1077s| 1940k|759862 | 6321k| 3.3 | 495M| 63 | - | 70 |5056 | 70 | 23 | 21 | 700k|2846 | 0.000000e+00 | -- | Inf
1162.44/1162.81 c 1083s| 1950k|763632 | 6353k| 3.3 | 498M| 63 | 8 | 70 |5035 | 70 | 23 | 21 | 704k|2846 | 0.000000e+00 | -- | Inf
1168.85/1169.21 c 1089s| 1960k|767273 | 6386k| 3.3 | 500M| 63 | 8 | 70 |5307 | 70 | 23 | 21 | 708k|2846 | 0.000000e+00 | -- | Inf
1175.34/1175.77 c 1096s| 1970k|771086 | 6418k| 3.3 | 502M| 63 | - | 70 |4731 | 70 | 23 | 21 | 711k|2846 | 0.000000e+00 | -- | Inf
1181.63/1182.08 c 1101s| 1980k|774702 | 6450k| 3.3 | 505M| 63 | - | 70 |4685 | 70 | 23 | 21 | 715k|2846 | 0.000000e+00 | -- | Inf
1188.14/1188.51 c 1107s| 1990k|778253 | 6484k| 3.3 | 507M| 63 | 8 | 70 |4919 | 70 | 23 | 21 | 719k|2846 | 0.000000e+00 | -- | Inf
1194.63/1195.04 c 1114s| 2000k|781696 | 6516k| 3.3 | 510M| 63 | 8 | 70 |4486 | 70 | 23 | 21 | 723k|2846 | 0.000000e+00 | -- | Inf
1200.94/1201.34 c 1119s| 2010k|785551 | 6549k| 3.3 | 512M| 63 | - | 70 |4757 | 70 | 23 | 21 | 727k|2846 | 0.000000e+00 | -- | Inf
1207.44/1207.83 c 1126s| 2020k|789123 | 6581k| 3.3 | 515M| 63 | - | 70 |5163 | 70 | 23 | 21 | 730k|2846 | 0.000000e+00 | -- | Inf
1214.33/1214.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.33/1214.71 c 1132s| 2030k|792733 | 6614k| 3.3 | 517M| 63 | - | 70 |4887 | 70 | 23 | 21 | 734k|2846 | 0.000000e+00 | -- | Inf
1220.13/1220.58 c 1138s| 2040k|797092 | 6646k| 3.3 | 520M| 63 | 8 | 70 |5027 | 70 | 23 | 21 | 738k|2846 | 0.000000e+00 | -- | Inf
1225.52/1225.96 c 1142s| 2050k|801359 | 6677k| 3.3 | 523M| 63 | - | 70 |5905 | 70 | 23 | 21 | 741k|2846 | 0.000000e+00 | -- | Inf
1231.02/1231.49 c 1148s| 2060k|805591 | 6708k| 3.3 | 525M| 63 | - | 70 |6383 | 70 | 23 | 21 | 744k|2846 | 0.000000e+00 | -- | Inf
1236.53/1236.91 c 1153s| 2070k|809992 | 6737k| 3.3 | 528M| 63 | 8 | 70 |7275 | 70 | 23 | 21 | 748k|2846 | 0.000000e+00 | -- | Inf
1242.62/1243.00 c 1158s| 2080k|814047 | 6767k| 3.3 | 531M| 63 | 8 | 70 |6696 | 70 | 23 | 21 | 751k|2846 | 0.000000e+00 | -- | Inf
1249.62/1250.01 c 1165s| 2090k|817790 | 6799k| 3.3 | 533M| 63 | - | 70 |4891 | 70 | 23 | 21 | 755k|2846 | 0.000000e+00 | -- | Inf
1256.52/1256.93 c 1171s| 2100k|821331 | 6832k| 3.3 | 535M| 63 | - | 70 |4273 | 70 | 23 | 21 | 758k|2846 | 0.000000e+00 | -- | Inf
1263.22/1263.61 c 1178s| 2110k|824768 | 6864k| 3.3 | 537M| 63 | - | 70 |4522 | 70 | 23 | 21 | 762k|2846 | 0.000000e+00 | -- | Inf
1269.61/1270.04 c 1184s| 2120k|828356 | 6896k| 3.3 | 540M| 63 | 8 | 70 |4975 | 70 | 23 | 21 | 766k|2846 | 0.000000e+00 | -- | Inf
1275.91/1276.31 c 1190s| 2130k|831951 | 6930k| 3.3 | 543M| 63 | 8 | 70 |5314 | 70 | 23 | 21 | 770k|2846 | 0.000000e+00 | -- | Inf
1282.61/1283.02 c 1196s| 2140k|835738 | 6962k| 3.3 | 545M| 63 | 8 | 70 |4585 | 70 | 23 | 21 | 774k|2846 | 0.000000e+00 | -- | Inf
1288.81/1289.29 c 1202s| 2150k|839635 | 6994k| 3.3 | 547M| 63 | 8 | 70 |4271 | 70 | 23 | 21 | 777k|2846 | 0.000000e+00 | -- | Inf
1295.11/1295.52 c 1208s| 2160k|843312 | 7027k| 3.3 | 550M| 63 | - | 70 |4532 | 70 | 23 | 21 | 781k|2846 | 0.000000e+00 | -- | Inf
1301.00/1301.47 c 1213s| 2170k|847329 | 7060k| 3.3 | 553M| 63 | 8 | 70 |4945 | 70 | 23 | 21 | 785k|2846 | 0.000000e+00 | -- | Inf
1306.61/1307.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.61/1307.07 c 1218s| 2180k|851198 | 7093k| 3.3 | 555M| 63 | 8 | 70 |5912 | 70 | 23 | 21 | 788k|2846 | 0.000000e+00 | -- | Inf
1312.60/1313.08 c 1224s| 2190k|854881 | 7126k| 3.3 | 558M| 63 | 8 | 70 |6135 | 70 | 23 | 21 | 792k|2846 | 0.000000e+00 | -- | Inf
1318.70/1319.10 c 1230s| 2200k|858527 | 7158k| 3.3 | 561M| 63 | - | 70 |6718 | 70 | 23 | 21 | 796k|2846 | 0.000000e+00 | -- | Inf
1325.70/1326.18 c 1236s| 2210k|862086 | 7191k| 3.3 | 563M| 63 | 8 | 70 |5294 | 70 | 23 | 21 | 800k|2846 | 0.000000e+00 | -- | Inf
1332.80/1333.28 c 1243s| 2220k|865487 | 7224k| 3.3 | 565M| 63 | - | 70 |4501 | 70 | 23 | 21 | 804k|2846 | 0.000000e+00 | -- | Inf
1339.80/1340.22 c 1249s| 2230k|868730 | 7257k| 3.3 | 567M| 63 | 8 | 70 |4471 | 70 | 23 | 21 | 808k|2846 | 0.000000e+00 | -- | Inf
1346.39/1346.86 c 1256s| 2240k|872215 | 7290k| 3.3 | 570M| 63 | 8 | 70 |4554 | 70 | 23 | 21 | 811k|2846 | 0.000000e+00 | -- | Inf
1353.40/1353.90 c 1262s| 2250k|875612 | 7323k| 3.3 | 572M| 63 | 8 | 70 |4254 | 70 | 23 | 21 | 815k|2846 | 0.000000e+00 | -- | Inf
1359.69/1360.16 c 1268s| 2260k|879207 | 7355k| 3.3 | 575M| 63 | 8 | 70 |4879 | 70 | 23 | 21 | 819k|2846 | 0.000000e+00 | -- | Inf
1366.19/1366.62 c 1274s| 2270k|882951 | 7388k| 3.3 | 577M| 63 | 8 | 70 |4677 | 70 | 23 | 21 | 823k|2846 | 0.000000e+00 | -- | Inf
1372.08/1372.55 c 1280s| 2280k|886649 | 7420k| 3.3 | 580M| 63 | 8 | 70 |5479 | 70 | 23 | 21 | 827k|2846 | 0.000000e+00 | -- | Inf
1378.99/1379.41 c 1286s| 2290k|890462 | 7452k| 3.3 | 582M| 63 | 8 | 70 |4577 | 70 | 23 | 21 | 830k|2846 | 0.000000e+00 | -- | Inf
1385.18/1385.68 c 1292s| 2300k|894169 | 7484k| 3.3 | 585M| 63 | - | 70 |5112 | 70 | 23 | 21 | 834k|2846 | 0.000000e+00 | -- | Inf
1391.88/1392.31 c 1298s| 2310k|897542 | 7517k| 3.3 | 587M| 63 | - | 70 |4619 | 70 | 23 | 21 | 838k|2846 | 0.000000e+00 | -- | Inf
1398.38/1398.82 c 1304s| 2320k|901288 | 7550k| 3.3 | 590M| 63 | 8 | 70 |4556 | 70 | 23 | 21 | 842k|2846 | 0.000000e+00 | -- | Inf
1404.19/1404.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.19/1404.64 c 1310s| 2330k|905284 | 7582k| 3.3 | 593M| 63 | - | 70 |5702 | 70 | 23 | 21 | 845k|2846 | 0.000000e+00 | -- | Inf
1410.89/1411.33 c 1316s| 2340k|908749 | 7615k| 3.3 | 595M| 63 | - | 70 |5242 | 70 | 23 | 21 | 849k|2846 | 0.000000e+00 | -- | Inf
1417.88/1418.39 c 1323s| 2350k|912113 | 7648k| 3.3 | 597M| 63 | - | 70 |4914 | 70 | 23 | 21 | 853k|2846 | 0.000000e+00 | -- | Inf
1423.98/1424.47 c 1328s| 2360k|916079 | 7680k| 3.3 | 600M| 63 | 8 | 70 |5778 | 70 | 23 | 21 | 857k|2846 | 0.000000e+00 | -- | Inf
1429.98/1430.43 c 1334s| 2370k|919908 | 7712k| 3.3 | 603M| 63 | 8 | 70 |6253 | 70 | 23 | 21 | 860k|2846 | 0.000000e+00 | -- | Inf
1436.87/1437.33 c 1340s| 2380k|923399 | 7744k| 3.3 | 605M| 63 | 8 | 70 |5434 | 70 | 23 | 21 | 864k|2846 | 0.000000e+00 | -- | Inf
1442.47/1442.95 c 1346s| 2390k|927561 | 7775k| 3.3 | 608M| 63 | 8 | 70 |6333 | 70 | 23 | 21 | 867k|2846 | 0.000000e+00 | -- | Inf
1449.57/1450.09 c 1352s| 2400k|931216 | 7807k| 3.3 | 610M| 63 | 8 | 70 |5010 | 70 | 23 | 21 | 871k|2846 | 0.000000e+00 | -- | Inf
1456.67/1457.19 c 1359s| 2410k|934620 | 7840k| 3.3 | 612M| 63 | 8 | 70 |4736 | 70 | 23 | 21 | 875k|2846 | 0.000000e+00 | -- | Inf
1462.86/1463.32 c 1365s| 2420k|938451 | 7871k| 3.3 | 615M| 63 | 8 | 70 |5311 | 70 | 23 | 21 | 879k|2846 | 0.000000e+00 | -- | Inf
1470.06/1470.50 c 1372s| 2430k|941879 | 7903k| 3.3 | 617M| 63 | - | 70 |4579 | 70 | 23 | 21 | 883k|2846 | 0.000000e+00 | -- | Inf
1476.06/1476.51 c 1377s| 2440k|945900 | 7935k| 3.3 | 620M| 63 | - | 70 |4955 | 70 | 23 | 21 | 886k|2846 | 0.000000e+00 | -- | Inf
1482.27/1482.80 c 1383s| 2450k|949660 | 7967k| 3.3 | 622M| 63 | 8 | 70 |4493 | 70 | 23 | 21 | 890k|2846 | 0.000000e+00 | -- | Inf
1488.86/1489.40 c 1389s| 2460k|953293 | 8000k| 3.3 | 625M| 63 | - | 70 |4276 | 70 | 23 | 21 | 894k|2846 | 0.000000e+00 | -- | Inf
1494.46/1494.93 c 1394s| 2470k|957234 | 8031k| 3.3 | 627M| 63 | 8 | 70 |5365 | 70 | 23 | 21 | 897k|2846 | 0.000000e+00 | -- | Inf
1500.25/1500.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.25/1500.72 c 1400s| 2480k|960795 | 8061k| 3.3 | 630M| 63 | 8 | 70 |5891 | 70 | 23 | 21 | 901k|2846 | 0.000000e+00 | -- | Inf
1507.45/1507.99 c 1407s| 2490k|963944 | 8093k| 3.3 | 632M| 63 | 8 | 70 |4717 | 70 | 23 | 21 | 905k|2846 | 0.000000e+00 | -- | Inf
1513.25/1513.78 c 1412s| 2500k|967935 | 8124k| 3.2 | 635M| 63 | - | 70 |5390 | 70 | 23 | 21 | 909k|2846 | 0.000000e+00 | -- | Inf
1519.95/1520.44 c 1418s| 2510k|971331 | 8157k| 3.2 | 637M| 63 | 8 | 70 |5284 | 70 | 23 | 21 | 913k|2846 | 0.000000e+00 | -- | Inf
1526.54/1527.10 c 1425s| 2520k|974833 | 8190k| 3.3 | 639M| 63 | 8 | 70 |4682 | 70 | 23 | 21 | 917k|2846 | 0.000000e+00 | -- | Inf
1532.85/1533.38 c 1430s| 2530k|978460 | 8223k| 3.3 | 642M| 63 | 8 | 70 |4878 | 70 | 23 | 21 | 921k|2846 | 0.000000e+00 | -- | Inf
1539.34/1539.88 c 1436s| 2540k|982182 | 8255k| 3.3 | 644M| 63 | 8 | 70 |4718 | 70 | 23 | 21 | 924k|2846 | 0.000000e+00 | -- | Inf
1545.33/1545.89 c 1442s| 2550k|985871 | 8286k| 3.2 | 647M| 63 | 8 | 70 |4891 | 70 | 23 | 21 | 928k|2846 | 0.000000e+00 | -- | Inf
1551.74/1552.26 c 1448s| 2560k|989441 | 8319k| 3.2 | 649M| 63 | 8 | 70 |4807 | 70 | 23 | 21 | 932k|2846 | 0.000000e+00 | -- | Inf
1558.34/1558.89 c 1454s| 2570k|992858 | 8352k| 3.2 | 652M| 63 | - | 70 |4423 | 70 | 23 | 21 | 936k|2846 | 0.000000e+00 | -- | Inf
1564.84/1565.34 c 1460s| 2580k|996414 | 8384k| 3.2 | 654M| 63 | - | 70 |4832 | 70 | 23 | 21 | 939k|2846 | 0.000000e+00 | -- | Inf
1571.03/1571.58 c 1466s| 2590k| 1000k| 8417k| 3.3 | 657M| 63 | - | 70 |5566 | 70 | 23 | 21 | 943k|2846 | 0.000000e+00 | -- | Inf
1577.53/1578.02 c 1472s| 2600k| 1003k| 8450k| 3.3 | 659M| 63 | - | 70 |5475 | 70 | 23 | 21 | 947k|2846 | 0.000000e+00 | -- | Inf
1584.33/1584.82 c 1479s| 2610k| 1007k| 8483k| 3.3 | 662M| 63 | 8 | 70 |4889 | 70 | 23 | 21 | 951k|2846 | 0.000000e+00 | -- | Inf
1590.62/1591.15 c 1485s| 2620k| 1010k| 8516k| 3.3 | 664M| 63 | - | 70 |5471 | 70 | 23 | 21 | 955k|2846 | 0.000000e+00 | -- | Inf
1597.73/1598.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.73/1598.23 c 1491s| 2630k| 1014k| 8547k| 3.2 | 667M| 63 | 8 | 70 |4467 | 70 | 23 | 21 | 959k|2846 | 0.000000e+00 | -- | Inf
1604.22/1604.79 c 1497s| 2640k| 1017k| 8582k| 3.3 | 669M| 63 | 8 | 70 |4993 | 70 | 23 | 21 | 963k|2846 | 0.000000e+00 | -- | Inf
1610.92/1611.48 c 1504s| 2650k| 1020k| 8615k| 3.3 | 672M| 63 | 8 | 70 |4759 | 70 | 23 | 21 | 967k|2846 | 0.000000e+00 | -- | Inf
1617.12/1617.63 c 1509s| 2660k| 1024k| 8647k| 3.3 | 674M| 63 | - | 70 |5323 | 70 | 23 | 21 | 971k|2846 | 0.000000e+00 | -- | Inf
1623.72/1624.28 c 1516s| 2670k| 1028k| 8680k| 3.3 | 677M| 63 | 8 | 70 |4862 | 70 | 23 | 21 | 974k|2846 | 0.000000e+00 | -- | Inf
1630.22/1630.71 c 1522s| 2680k| 1032k| 8712k| 3.3 | 679M| 63 | 8 | 70 |4916 | 70 | 23 | 21 | 978k|2846 | 0.000000e+00 | -- | Inf
1637.51/1638.01 c 1529s| 2690k| 1035k| 8744k| 3.3 | 681M| 63 | 8 | 70 |4368 | 70 | 23 | 21 | 982k|2846 | 0.000000e+00 | -- | Inf
1643.61/1644.12 c 1534s| 2700k| 1039k| 8777k| 3.3 | 684M| 63 | 8 | 70 |5212 | 70 | 23 | 21 | 986k|2846 | 0.000000e+00 | -- | Inf
1649.42/1649.96 c 1540s| 2710k| 1043k| 8808k| 3.3 | 687M| 63 | 8 | 70 |5497 | 70 | 23 | 21 | 989k|2846 | 0.000000e+00 | -- | Inf
1656.21/1656.72 c 1546s| 2720k| 1046k| 8841k| 3.3 | 689M| 63 | 8 | 70 |5404 | 70 | 23 | 21 | 993k|2846 | 0.000000e+00 | -- | Inf
1662.81/1663.35 c 1552s| 2730k| 1050k| 8874k| 3.3 | 691M| 63 | 8 | 70 |5261 | 70 | 23 | 21 | 997k|2846 | 0.000000e+00 | -- | Inf
1669.60/1670.11 c 1559s| 2740k| 1053k| 8906k| 3.3 | 694M| 63 | 8 | 70 |5406 | 70 | 23 | 21 |1001k|2846 | 0.000000e+00 | -- | Inf
1676.41/1676.98 c 1565s| 2750k| 1057k| 8938k| 3.3 | 696M| 63 | - | 70 |4853 | 70 | 23 | 21 |1004k|2846 | 0.000000e+00 | -- | Inf
1683.30/1683.83 c 1571s| 2760k| 1060k| 8971k| 3.3 | 699M| 63 | 8 | 70 |5128 | 70 | 23 | 21 |1008k|2846 | 0.000000e+00 | -- | Inf
1689.69/1690.28 c 1577s| 2770k| 1063k| 9005k| 3.3 | 701M| 63 | 8 | 70 |5482 | 70 | 23 | 21 |1012k|2846 | 0.000000e+00 | -- | Inf
1696.70/1697.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.70/1697.21 c 1584s| 2780k| 1067k| 9037k| 3.3 | 704M| 63 | - | 70 |5622 | 70 | 23 | 21 |1016k|2846 | 0.000000e+00 | -- | Inf
1703.89/1704.44 c 1591s| 2790k| 1070k| 9069k| 3.3 | 706M| 63 | - | 70 |4800 | 70 | 23 | 21 |1020k|2846 | 0.000000e+00 | -- | Inf
1710.89/1711.42 c 1597s| 2800k| 1074k| 9102k| 3.3 | 708M| 63 | - | 70 |4631 | 70 | 23 | 21 |1024k|2846 | 0.000000e+00 | -- | Inf
1717.60/1718.20 c 1604s| 2810k| 1077k| 9135k| 3.3 | 711M| 63 | 8 | 70 |4789 | 70 | 23 | 21 |1028k|2846 | 0.000000e+00 | -- | Inf
1724.39/1724.99 c 1610s| 2820k| 1081k| 9168k| 3.3 | 713M| 63 | 8 | 70 |5038 | 70 | 23 | 21 |1032k|2846 | 0.000000e+00 | -- | Inf
1731.18/1731.73 c 1616s| 2830k| 1084k| 9199k| 3.3 | 716M| 63 | 8 | 70 |5129 | 70 | 23 | 21 |1035k|2846 | 0.000000e+00 | -- | Inf
1737.98/1738.52 c 1623s| 2840k| 1088k| 9231k| 3.3 | 718M| 63 | 8 | 70 |5155 | 70 | 23 | 21 |1039k|2846 | 0.000000e+00 | -- | Inf
1744.48/1745.07 c 1629s| 2850k| 1092k| 9263k| 3.3 | 721M| 63 | - | 70 |5336 | 70 | 23 | 21 |1043k|2846 | 0.000000e+00 | -- | Inf
1751.08/1751.61 c 1635s| 2860k| 1095k| 9296k| 3.3 | 723M| 63 | 8 | 70 |5607 | 70 | 23 | 21 |1047k|2846 | 0.000000e+00 | -- | Inf
1757.68/1758.22 c 1641s| 2870k| 1098k| 9329k| 3.3 | 726M| 63 | 8 | 70 |5374 | 70 | 23 | 21 |1051k|2846 | 0.000000e+00 | -- | Inf
1764.57/1765.16 c 1648s| 2880k| 1102k| 9362k| 3.3 | 728M| 63 | - | 70 |5309 | 70 | 23 | 21 |1055k|2846 | 0.000000e+00 | -- | Inf
1771.08/1771.67 c 1654s| 2890k| 1105k| 9395k| 3.3 | 731M| 63 | 8 | 70 |5542 | 70 | 23 | 21 |1059k|2846 | 0.000000e+00 | -- | Inf
1776.77/1777.38 c 1659s| 2900k| 1109k| 9427k| 3.3 | 733M| 63 | 8 | 70 |6078 | 70 | 23 | 21 |1062k|2846 | 0.000000e+00 | -- | Inf
1782.96/1783.56 c 1665s| 2910k| 1113k| 9458k| 3.3 | 736M| 63 | 8 | 70 |5799 | 70 | 23 | 21 |1066k|2846 | 0.000000e+00 | -- | Inf
1789.46/1790.01 c 1671s| 2920k| 1117k| 9491k| 3.3 | 738M| 63 | - | 70 |6280 | 70 | 23 | 21 |1070k|2846 | 0.000000e+00 | -- | Inf
1795.46/1796.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.46/1796.01 c 1677s| 2930k| 1121k| 9522k| 3.2 | 741M| 63 | - | 70 |6867 | 70 | 23 | 21 |1073k|2846 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1680.96
1800.07/1800.61 c Solving Nodes : 2937864
1800.07/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s UNKNOWN
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1680.96
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2666870-1276599967.opb
1800.07/1800.61 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 17 initial, 17 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2666870-1276599967.opb
1800.07/1800.61 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 8 initial, 8108 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 9 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 0 - - 0 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 2036517 0 180 1017 0 0 4070898
1800.07/1800.61 c linear : 8+ 7 6099283 0 0 11530 462191 0 0 0
1800.07/1800.61 c logicor : 0+ 0 2718620 0 0 1293 798088 0 0 0
1800.07/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 26.57 0.00 0.00 26.57 0.00
1800.07/1800.61 c linear : 410.24 0.00 410.24 0.00 0.00
1800.07/1800.61 c logicor : 245.97 0.00 245.97 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 2.77 2 0 0
1800.07/1800.61 c rootredcost : 2.83 0 0 0
1800.07/1800.61 c pseudoobj : 2.87 0 0 0
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 2.34 12823 11995 46375 50.6 3 41.3 -
1800.07/1800.61 c infeasible LP : 67.84 892913 892886 1627684 31.8 11235 36.1 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 930406 25.8 - - -
1800.07/1800.61 c applied locally : - - - 146287 37.6 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 7 - (maximal pool size: 50)
1800.07/1800.61 c redcost : 5.73 2036522 0 0 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.00 6 0 0 16 0
1800.07/1800.61 c cmir : 0.05 6 0 0 21 0
1800.07/1800.61 c flowcover : 0.01 6 0 0 24 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.13 1 0 0 0 1
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 23.92 2036517 180 1017 0 0 4070898
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.00 - 0
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 3.00 0 0
1800.07/1800.61 c crossover : 1.69 0 0
1800.07/1800.61 c guideddiving : 0.21 0 0
1800.07/1800.61 c linesearchdiving : 0.21 20 0
1800.07/1800.61 c coefdiving : 0.17 21 0
1800.07/1800.61 c pscostdiving : 0.16 21 0
1800.07/1800.61 c fracdiving : 0.20 21 0
1800.07/1800.61 c veclendiving : 0.20 21 0
1800.07/1800.61 c feaspump : 0.11 11 0
1800.07/1800.61 c objpscostdiving : 0.24 11 0
1800.07/1800.61 c rootsoldiving : 0.07 11 0
1800.07/1800.61 c trivial : 0.01 2 0
1800.07/1800.61 c simplerounding : 0.97 0 0
1800.07/1800.61 c zirounding : 1.73 1000 0
1800.07/1800.61 c rounding : 2.84 20159 0
1800.07/1800.61 c shifting : 5.37 6411 0
1800.07/1800.61 c intshifting : 0.10 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.05 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.40 0 0
1800.07/1800.61 c trysol : 2.15 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 414.59 2885154 9543286 3.31 23018.61
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 0.12 1139 2501 2.20 20841.67
1800.07/1800.61 c strong branching : 0.95 2846 22992 8.08 24202.11
1800.07/1800.61 c (at root node) : - 19 1030 54.21 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 2937864
1800.07/1800.61 c nodes (total) : 2937864
1800.07/1800.61 c nodes left : 1124203
1800.07/1800.61 c max depth : 63
1800.07/1800.61 c max depth (total): 63
1800.07/1800.61 c backtracks : 270916 (9.2%)
1800.07/1800.61 c delayed cutoffs : 8832
1800.07/1800.61 c repropagations : 2319331 (808445 domain reductions, 3237 cutoffs)
1800.07/1800.61 c avg switch length: 5.87
1800.07/1800.61 c switching time : 250.21
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 0 (0 improvements)
1800.07/1800.61 c Primal Bound : -
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 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-2666870-1276599967/watcher-2666870-1276599967 -o /tmp/evaluation-result-2666870-1276599967/solver-2666870-1276599967 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666870-1276599967.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.95 1.03 1.00 3/106 11916
/proc/meminfo: memFree=1428988/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=7724 CPUtime=0
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 1064 0 0 0 0 0 0 0 20 0 1 0 1291168 7909376 984 1992294400 4194304 8223781 140734887496048 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 1931 993 348 984 0 944 0
[startup+0.0216119 s]
/proc/loadavg: 0.95 1.03 1.00 3/106 11916
/proc/meminfo: memFree=1428988/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=11452 CPUtime=0.01
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 2781 0 0 0 1 0 0 0 20 0 1 0 1291168 11726848 1824 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 2863 1825 446 984 0 1876 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11452
[startup+0.100616 s]
/proc/loadavg: 0.95 1.03 1.00 3/106 11916
/proc/meminfo: memFree=1428988/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=20112 CPUtime=0.09
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 5016 0 0 0 7 2 0 0 20 0 1 0 1291168 20594688 3790 1992294400 4194304 8223781 140734887496048 18446744073709551615 4976366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 5028 3790 568 984 0 4041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20112
[startup+0.300633 s]
/proc/loadavg: 0.95 1.03 1.00 3/106 11916
/proc/meminfo: memFree=1428988/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=20464 CPUtime=0.29
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 7221 0 0 0 26 3 0 0 20 0 1 0 1291168 20955136 3878 1992294400 4194304 8223781 140734887496048 18446744073709551615 7302071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 5116 3667 584 984 0 4129 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20464
[startup+0.700666 s]
/proc/loadavg: 0.95 1.03 1.00 3/106 11916
/proc/meminfo: memFree=1428988/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=13712 CPUtime=0.69
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 8028 0 0 0 62 7 0 0 20 0 1 0 1291168 14041088 2592 1992294400 4194304 8223781 140734887496048 18446744073709551615 7074048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 3428 2592 588 984 0 2441 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13712
[startup+1.50073 s]
/proc/loadavg: 0.95 1.03 1.00 2/107 11917
/proc/meminfo: memFree=1420300/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=13712 CPUtime=1.49
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 8029 0 0 0 135 14 0 0 22 0 1 0 1291168 14041088 2593 1992294400 4194304 8223781 140734887496048 18446744073709551615 7074011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 3428 2593 588 984 0 2441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13712
[startup+3.10087 s]
/proc/loadavg: 0.95 1.03 1.00 2/107 11917
/proc/meminfo: memFree=1419556/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=15624 CPUtime=3.09
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 8508 0 0 0 283 26 0 0 25 0 1 0 1291168 15998976 3072 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 3906 3072 588 984 0 2919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15624
[startup+6.30114 s]
/proc/loadavg: 0.96 1.03 1.00 2/107 11917
/proc/meminfo: memFree=1415712/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=19136 CPUtime=6.29
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 9366 0 0 0 580 49 0 0 25 0 1 0 1291168 19595264 3930 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 4784 3930 588 984 0 3797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19136
[startup+12.7017 s]
/proc/loadavg: 0.96 1.03 1.00 2/107 11917
/proc/meminfo: memFree=1411868/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=23268 CPUtime=12.69
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 10434 0 0 0 1170 99 0 0 25 0 1 0 1291168 23826432 4998 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 5817 4998 588 984 0 4830 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23268
[startup+25.5007 s]
/proc/loadavg: 0.97 1.03 1.00 2/107 11917
/proc/meminfo: memFree=1403560/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=30528 CPUtime=25.48
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 12286 0 0 0 2349 199 0 0 25 0 1 0 1291168 31260672 6850 1992294400 4194304 8223781 140734887496048 18446744073709551615 4978982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 7632 6850 588 984 0 6645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30528
[startup+51.1009 s]
/proc/loadavg: 0.98 1.02 1.00 2/107 11919
/proc/meminfo: memFree=1389920/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=44324 CPUtime=51.08
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 15795 0 0 0 4719 389 0 0 25 0 1 0 1291168 45387776 10359 1992294400 4194304 8223781 140734887496048 18446744073709551615 4947403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 11081 10359 588 984 0 10094 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44324
[startup+102.308 s]
/proc/loadavg: 0.99 1.02 1.00 2/107 11919
/proc/meminfo: memFree=1361524/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=73496 CPUtime=102.27
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 22728 0 0 0 9458 769 0 0 25 0 1 0 1291168 75259904 17292 1992294400 4194304 8223781 140734887496048 18446744073709551615 5905734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 18374 17292 588 984 0 17387 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73496
[startup+162.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 11921
/proc/meminfo: memFree=1331020/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=103700 CPUtime=162.25
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 30418 0 0 0 15022 1203 0 0 25 0 1 0 1291168 106188800 24982 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 25925 24982 588 984 0 24938 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 103700
[startup+222.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/107 11923
/proc/meminfo: memFree=1302624/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=130876 CPUtime=222.23
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 37357 0 0 0 20584 1639 0 0 25 0 1 0 1291168 134017024 31921 1992294400 4194304 8223781 140734887496048 18446744073709551615 4210349 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 32719 31921 588 984 0 31732 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 130876
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11925
/proc/meminfo: memFree=1274476/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=162780 CPUtime=282.21
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 44453 0 0 0 26160 2061 0 0 25 0 1 0 1291168 166686720 39017 1992294400 4194304 8223781 140734887496048 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 40695 39017 588 984 0 39708 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 162780
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11925
/proc/meminfo: memFree=1245708/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=190500 CPUtime=342.19
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 51552 0 0 0 31737 2482 0 0 25 0 1 0 1291168 195072000 46116 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 47625 46116 588 984 0 46638 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 190500
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11927
/proc/meminfo: memFree=1218924/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=216748 CPUtime=402.18
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 58269 0 0 0 37318 2900 0 0 25 0 1 0 1291168 221949952 52833 1992294400 4194304 8223781 140734887496048 18446744073709551615 5953128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 54187 52833 588 984 0 53200 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 216748
[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11929
/proc/meminfo: memFree=1192760/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=241672 CPUtime=462.15
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 64666 0 0 0 42913 3302 0 0 25 0 1 0 1291168 247472128 59230 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 60418 59230 588 984 0 59431 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 241672
[startup+522.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11931
/proc/meminfo: memFree=1163620/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=270220 CPUtime=522.13
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 71915 0 0 0 48505 3708 0 0 25 0 1 0 1291168 276705280 66479 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 67555 66479 588 984 0 66568 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 270220
[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1140680/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=292060 CPUtime=582.11
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 77575 0 0 0 54100 4111 0 0 25 0 1 0 1291168 299069440 72139 1992294400 4194304 8223781 140734887496048 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 73015 72139 588 984 0 72028 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 292060
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11933
/proc/meminfo: memFree=1113772/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=318476 CPUtime=642.1
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 84264 0 0 0 59694 4516 0 0 25 0 1 0 1291168 326119424 78828 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 79619 78828 588 984 0 78632 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 318476
[startup+702.3 s]
################
# More data... #
################
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 122473 0 0 0 93322 6877 0 0 25 0 1 0 1291168 487620608 117037 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 119048 117037 588 984 0 118061 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 476192
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11945
/proc/meminfo: memFree=933600/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=502532 CPUtime=1061.97
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 129118 0 0 0 98935 7262 0 0 25 0 1 0 1291168 514592768 123682 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 125633 123682 588 984 0 124646 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 502532
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11947
/proc/meminfo: memFree=911156/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=524428 CPUtime=1121.96
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 134760 0 0 0 104551 7645 0 0 25 0 1 0 1291168 537014272 129324 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 131107 129324 588 984 0 130120 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 524428
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11949
/proc/meminfo: memFree=888216/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=545900 CPUtime=1181.93
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 140324 0 0 0 110165 8028 0 0 25 0 1 0 1291168 559001600 134888 1992294400 4194304 8223781 140734887496048 18446744073709551615 5004434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 136475 134888 588 984 0 135488 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 545900
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11949
/proc/meminfo: memFree=863664/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=569480 CPUtime=1241.92
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 146403 0 0 0 115767 8425 0 0 25 0 1 0 1291168 583147520 140967 1992294400 4194304 8223781 140734887496048 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 142370 140967 588 984 0 141383 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 569480
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11951
/proc/meminfo: memFree=836136/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=596816 CPUtime=1301.91
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 153263 0 0 0 121388 8803 0 0 25 0 1 0 1291168 611139584 147827 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 149204 147827 588 984 0 148217 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 596816
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11953
/proc/meminfo: memFree=814560/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=618624 CPUtime=1361.89
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 158842 0 0 0 127017 9172 0 0 25 0 1 0 1291168 633470976 153406 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 154656 153406 588 984 0 153669 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 618624
[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11955
/proc/meminfo: memFree=791744/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=639732 CPUtime=1421.88
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 164296 0 0 0 132631 9557 0 0 25 0 1 0 1291168 655085568 158860 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 159933 158860 588 984 0 158946 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 639732
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11957
/proc/meminfo: memFree=764712/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=666344 CPUtime=1481.86
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 171120 0 0 0 138260 9926 0 0 25 0 1 0 1291168 682336256 165684 1992294400 4194304 8223781 140734887496048 18446744073709551615 5434193 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 166586 165684 588 984 0 165599 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 666344
[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 3/108 11960
/proc/meminfo: memFree=724652/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=705816 CPUtime=1541.84
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 176873 0 0 0 143874 10310 0 0 25 0 1 0 1291168 722755584 171437 1992294400 4194304 8223781 140734887496048 18446744073709551615 5000696 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 176454 171437 588 984 0 175467 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 705816
[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 11962
/proc/meminfo: memFree=717840/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=728664 CPUtime=1601.82
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 182750 0 0 0 149494 10688 0 0 25 0 1 0 1291168 746151936 177314 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 182166 177314 588 984 0 181179 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 728664
[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 11964
/proc/meminfo: memFree=692296/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=753004 CPUtime=1661.8
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 189003 0 0 0 155120 11060 0 0 25 0 1 0 1291168 771076096 183567 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 188251 183567 588 984 0 187264 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 753004
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11966
/proc/meminfo: memFree=673696/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=771148 CPUtime=1721.79
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 193688 0 0 0 160752 11427 0 0 25 0 1 0 1291168 789655552 188252 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 192787 188252 588 984 0 191800 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 771148
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11968
/proc/meminfo: memFree=648400/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=795156 CPUtime=1781.76
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 199873 0 0 0 166381 11795 0 0 25 0 1 0 1291168 814239744 194437 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 198789 194437 588 984 0 197802 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 795156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11968
/proc/meminfo: memFree=642076/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=801236 CPUtime=1800.07
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 201451 0 0 0 168096 11911 0 0 25 0 1 0 1291168 820465664 196015 1992294400 4194304 8223781 140734887496048 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11916/statm: 200309 196015 588 984 0 199322 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 801236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11916
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11968
/proc/meminfo: memFree=642076/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=801548 CPUtime=1800.86
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 201511 0 0 0 168175 11911 0 0 25 0 1 0 1291168 820785152 196075 1992294400 4194304 8223781 140734887496048 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 200387 196075 589 984 0 199400 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 801548
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11969
/proc/meminfo: memFree=641696/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=801548 CPUtime=1801.66
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 201511 0 0 0 168255 11911 0 0 25 0 1 0 1291168 820785152 196075 1992294400 4194304 8223781 140734887496048 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 200387 196075 589 984 0 199400 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 801548
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11969
/proc/meminfo: memFree=641696/2059040 swapFree=4192956/4192956
[pid=11916] ppid=11914 vsize=801548 CPUtime=1802.06
/proc/11916/stat : 11916 (pbscip.linux.x8) R 11914 11916 2496 0 -1 4202496 201511 0 0 0 168295 11911 0 0 25 0 1 0 1291168 820785152 196075 1992294400 4194304 8223781 140734887496048 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11916/statm: 200387 196075 589 984 0 199400 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 801548
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.16
CPU user time (s): 1682.97
CPU system time (s): 119.191
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 801548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1682.97
system time used= 119.191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2329
runsolver used 3.2555 second user time and 8.25375 second system time
The end