0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665442-1276600926.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 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.02 c 0.0s| 1 | 0 | 24 | - | 233k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 31 | - | 351k| 0 | 8 | 40 | 54 | 40 | 10 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 37 | - | 375k| 0 | 12 | 40 | 54 | 40 | 14 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 50 | - | 401k| 0 | 9 | 40 | 54 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 57 | - | 431k| 0 | 12 | 40 | 54 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 65 | - | 460k| 0 | 12 | 40 | 54 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 69 | - | 474k| 0 | 13 | 40 | 54 | 40 | 26 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 2 | 69 | - | 475k| 0 | 13 | 40 | 54 | 40 | 26 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf
5.50/5.59 c 4.7s| 10000 | 3407 | 22680 | 2.3 |3545k| 34 | 5 | 40 |2846 | 40 | 13 | 21 |3511 | 460 | 0.000000e+00 | -- | Inf
11.19/11.23 c 9.5s| 20000 | 6354 | 44814 | 2.2 |5203k| 34 | - | 40 |2270 | 40 | 13 | 21 |7190 | 626 | 0.000000e+00 | -- | Inf
16.68/16.78 c 14.2s| 30000 | 9082 | 67272 | 2.2 |6886k| 34 | - | 40 |2487 | 40 | 13 | 21 | 10k| 776 | 0.000000e+00 | -- | Inf
22.58/22.63 c 19.3s| 40000 | 11423 | 89916 | 2.2 |8531k| 34 | 5 | 40 |2768 | 40 | 13 | 21 | 14k| 891 | 0.000000e+00 | -- | Inf
28.29/28.38 c 24.3s| 50000 | 14014 |111881 | 2.2 | 10M| 34 | 5 | 40 |2923 | 40 | 13 | 21 | 18k|1026 | 0.000000e+00 | -- | Inf
34.18/34.29 c 29.3s| 60000 | 16686 |134212 | 2.2 | 11M| 35 | - | 40 |3009 | 0 | 0 | 21 | 21k|1115 | 0.000000e+00 | -- | Inf
40.18/40.25 c 34.5s| 70000 | 19159 |156619 | 2.2 | 13M| 35 | 5 | 40 |3198 | 40 | 13 | 21 | 25k|1214 | 0.000000e+00 | -- | Inf
46.28/46.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.28/46.37 c 39.8s| 80000 | 21249 |179680 | 2.2 | 14M| 35 | - | 40 |3541 | 40 | 13 | 21 | 29k|1296 | 0.000000e+00 | -- | Inf
52.08/52.11 c 44.8s| 90000 | 24145 |201950 | 2.2 | 16M| 35 | 5 | 40 |4377 | 40 | 13 | 21 | 32k|1353 | 0.000000e+00 | -- | Inf
58.78/58.81 c 50.6s|100000 | 26341 |224512 | 2.2 | 18M| 35 | - | 40 |3846 | 40 | 13 | 21 | 36k|1419 | 0.000000e+00 | -- | Inf
65.07/65.18 c 56.2s|110000 | 28626 |246820 | 2.2 | 19M| 36 | 5 | 40 |3946 | 40 | 13 | 21 | 39k|1463 | 0.000000e+00 | -- | Inf
71.57/71.64 c 61.8s|120000 | 30762 |269295 | 2.2 | 20M| 36 | 5 | 40 |3524 | 40 | 13 | 21 | 43k|1505 | 0.000000e+00 | -- | Inf
78.07/78.16 c 67.5s|130000 | 32700 |291628 | 2.2 | 22M| 36 | - | 40 |3829 | 40 | 13 | 21 | 46k|1554 | 0.000000e+00 | -- | Inf
84.87/84.96 c 73.4s|140000 | 34615 |314579 | 2.2 | 23M| 36 | 5 | 40 |3690 | 40 | 13 | 21 | 50k|1597 | 0.000000e+00 | -- | Inf
91.37/91.47 c 79.1s|150000 | 36646 |336737 | 2.2 | 24M| 36 | 5 | 40 |3790 | 40 | 13 | 21 | 54k|1644 | 0.000000e+00 | -- | Inf
98.16/98.29 c 85.0s|160000 | 38311 |359669 | 2.2 | 26M| 36 | 5 | 40 |3694 | 40 | 13 | 21 | 57k|1704 | 0.000000e+00 | -- | Inf
104.76/104.87 c 90.8s|170000 | 40342 |382254 | 2.2 | 27M| 36 | 5 | 40 |3740 | 40 | 13 | 21 | 61k|1785 | 0.000000e+00 | -- | Inf
111.66/111.78 c 96.9s|180000 | 41931 |405062 | 2.2 | 28M| 36 | - | 40 |3614 | 40 | 13 | 21 | 64k|1831 | 0.000000e+00 | -- | Inf
118.36/118.45 c 103s|190000 | 43771 |427205 | 2.2 | 29M| 36 | - | 40 |4006 | 0 | 0 | 21 | 68k|1869 | 0.000000e+00 | -- | Inf
124.86/124.92 c 108s|200000 | 45778 |449808 | 2.2 | 31M| 36 | 5 | 40 |4346 | 40 | 13 | 21 | 71k|1904 | 0.000000e+00 | -- | Inf
131.36/131.43 c 114s|210000 | 47572 |472464 | 2.2 | 32M| 36 | - | 40 |4797 | 40 | 13 | 21 | 75k|1940 | 0.000000e+00 | -- | Inf
138.56/138.64 c 120s|220000 | 49284 |495188 | 2.3 | 33M| 36 | 5 | 40 |4459 | 40 | 13 | 21 | 79k|1973 | 0.000000e+00 | -- | Inf
145.75/145.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.75/145.89 c 127s|230000 | 50853 |517538 | 2.2 | 34M| 36 | - | 40 |3929 | 40 | 13 | 21 | 82k|2013 | 0.000000e+00 | -- | Inf
152.35/152.42 c 133s|240000 | 52806 |539771 | 2.2 | 36M| 36 | 5 | 40 |4376 | 40 | 13 | 21 | 86k|2055 | 0.000000e+00 | -- | Inf
159.46/159.52 c 139s|250000 | 54388 |562300 | 2.2 | 37M| 36 | 5 | 40 |4193 | 40 | 13 | 21 | 89k|2085 | 0.000000e+00 | -- | Inf
166.24/166.36 c 145s|260000 | 56020 |584789 | 2.2 | 38M| 36 | 5 | 40 |4260 | 40 | 13 | 21 | 93k|2117 | 0.000000e+00 | -- | Inf
173.15/173.28 c 151s|270000 | 57641 |607476 | 2.2 | 39M| 36 | 5 | 40 |4664 | 40 | 13 | 21 | 96k|2150 | 0.000000e+00 | -- | Inf
180.55/180.60 c 157s|280000 | 59204 |630304 | 2.3 | 40M| 36 | 5 | 40 |4694 | 40 | 13 | 21 | 100k|2187 | 0.000000e+00 | -- | Inf
188.05/188.11 c 164s|290000 | 60617 |652956 | 2.3 | 41M| 36 | 5 | 40 |4386 | 40 | 13 | 21 | 104k|2220 | 0.000000e+00 | -- | Inf
195.64/195.78 c 171s|300000 | 61761 |675907 | 2.3 | 42M| 36 | 5 | 40 |3914 | 40 | 13 | 21 | 108k|2259 | 0.000000e+00 | -- | Inf
201.74/201.85 c 176s|310000 | 64009 |698284 | 2.3 | 44M| 36 | - | 40 |5014 | 40 | 13 | 21 | 111k|2282 | 0.000000e+00 | -- | Inf
209.04/209.18 c 183s|320000 | 65581 |720726 | 2.3 | 45M| 36 | - | 40 |4185 | 40 | 13 | 21 | 114k|2302 | 0.000000e+00 | -- | Inf
216.33/216.44 c 189s|330000 | 67183 |742835 | 2.3 | 46M| 36 | 5 | 40 |4391 | 40 | 13 | 21 | 118k|2334 | 0.000000e+00 | -- | Inf
223.93/224.01 c 196s|340000 | 68602 |765219 | 2.3 | 47M| 36 | 5 | 40 |4177 | 40 | 13 | 21 | 121k|2372 | 0.000000e+00 | -- | Inf
231.53/231.62 c 202s|350000 | 69843 |787863 | 2.3 | 48M| 36 | 5 | 40 |4121 | 40 | 13 | 21 | 125k|2403 | 0.000000e+00 | -- | Inf
238.73/238.84 c 209s|360000 | 71256 |810538 | 2.3 | 49M| 36 | 5 | 40 |4682 | 40 | 13 | 21 | 129k|2435 | 0.000000e+00 | -- | Inf
245.83/245.90 c 215s|370000 | 73052 |833495 | 2.3 | 51M| 36 | - | 40 |5334 | 0 | 0 | 21 | 132k|2530 | 0.000000e+00 | -- | Inf
253.32/253.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.32/253.49 c 222s|380000 | 74348 |855839 | 2.3 | 52M| 36 | - | 40 |5327 | 40 | 13 | 21 | 136k|2548 | 0.000000e+00 | -- | Inf
260.22/260.31 c 228s|390000 | 76350 |878792 | 2.3 | 53M| 36 | 5 | 40 |6009 | 40 | 13 | 21 | 139k|2561 | 0.000000e+00 | -- | Inf
268.12/268.29 c 235s|400000 | 77745 |901396 | 2.3 | 54M| 36 | 5 | 40 |5670 | 40 | 13 | 21 | 143k|2590 | 0.000000e+00 | -- | Inf
276.22/276.35 c 242s|410000 | 79136 |923754 | 2.3 | 55M| 36 | 5 | 40 |5531 | 40 | 13 | 21 | 146k|2616 | 0.000000e+00 | -- | Inf
284.31/284.47 c 249s|420000 | 80374 |946793 | 2.3 | 56M| 36 | 5 | 40 |4890 | 40 | 13 | 21 | 150k|2645 | 0.000000e+00 | -- | Inf
292.01/292.16 c 256s|430000 | 81703 |969679 | 2.3 | 57M| 36 | 5 | 40 |4910 | 40 | 13 | 21 | 153k|2675 | 0.000000e+00 | -- | Inf
299.81/299.91 c 263s|440000 | 82961 |992514 | 2.3 | 58M| 36 | - | 40 |4823 | 40 | 13 | 21 | 157k|2694 | 0.000000e+00 | -- | Inf
307.61/307.75 c 270s|450000 | 84236 | 1015k| 2.3 | 59M| 36 | 5 | 40 |4626 | 40 | 13 | 21 | 160k|2720 | 0.000000e+00 | -- | Inf
315.11/315.21 c 277s|460000 | 85620 | 1038k| 2.3 | 60M| 36 | - | 40 |5113 | 40 | 13 | 21 | 164k|2757 | 0.000000e+00 | -- | Inf
322.70/322.81 c 283s|470000 | 87150 | 1060k| 2.3 | 61M| 36 | 5 | 40 |5779 | 40 | 13 | 21 | 168k|2795 | 0.000000e+00 | -- | Inf
330.71/330.89 c 291s|480000 | 88432 | 1083k| 2.3 | 62M| 36 | - | 40 |5635 | 0 | 0 | 21 | 171k|2817 | 0.000000e+00 | -- | Inf
338.61/338.80 c 298s|490000 | 89844 | 1105k| 2.3 | 63M| 36 | - | 40 |4892 | 40 | 13 | 21 | 175k|2836 | 0.000000e+00 | -- | Inf
346.50/346.64 c 305s|500000 | 91129 | 1128k| 2.3 | 64M| 36 | - | 40 |4804 | 40 | 13 | 21 | 178k|2851 | 0.000000e+00 | -- | Inf
353.10/353.24 c 310s|510000 | 93326 | 1151k| 2.3 | 66M| 36 | 5 | 40 |5743 | 40 | 13 | 21 | 182k|2880 | 0.000000e+00 | -- | Inf
360.30/360.49 c 317s|520000 | 94698 | 1174k| 2.3 | 67M| 36 | - | 40 |6241 | 40 | 13 | 21 | 185k|2908 | 0.000000e+00 | -- | Inf
368.89/369.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.89/369.03 c 325s|530000 | 95839 | 1197k| 2.3 | 68M| 36 | - | 40 |5251 | 40 | 13 | 21 | 189k|2926 | 0.000000e+00 | -- | Inf
376.89/377.09 c 332s|540000 | 97153 | 1220k| 2.3 | 69M| 36 | 5 | 40 |4600 | 40 | 13 | 21 | 192k|2949 | 0.000000e+00 | -- | Inf
383.80/383.92 c 338s|550000 | 98688 | 1243k| 2.3 | 70M| 36 | - | 40 |5718 | 40 | 13 | 21 | 196k|2970 | 0.000000e+00 | -- | Inf
391.09/391.29 c 344s|560000 |100198 | 1265k| 2.3 | 71M| 36 | 5 | 40 |6364 | 40 | 13 | 21 | 199k|2988 | 0.000000e+00 | -- | Inf
399.09/399.24 c 351s|570000 |101635 | 1288k| 2.3 | 72M| 36 | - | 40 |6037 | 40 | 13 | 21 | 203k|3010 | 0.000000e+00 | -- | Inf
407.69/407.88 c 359s|580000 |102783 | 1310k| 2.3 | 73M| 36 | - | 40 |5322 | 40 | 13 | 21 | 207k|3022 | 0.000000e+00 | -- | Inf
416.29/416.47 c 367s|590000 |103884 | 1334k| 2.3 | 74M| 36 | 5 | 40 |4719 | 40 | 13 | 21 | 210k|3040 | 0.000000e+00 | -- | Inf
423.99/424.16 c 374s|600000 |105098 | 1356k| 2.3 | 75M| 36 | 5 | 40 |5194 | 40 | 13 | 21 | 214k|3058 | 0.000000e+00 | -- | Inf
431.09/431.29 c 380s|610000 |106720 | 1379k| 2.3 | 76M| 36 | - | 40 |5640 | 40 | 13 | 21 | 217k|3076 | 0.000000e+00 | -- | Inf
439.79/439.97 c 388s|620000 |107687 | 1402k| 2.3 | 77M| 36 | - | 40 |4702 | 40 | 13 | 21 | 221k|3104 | 0.000000e+00 | -- | Inf
447.28/447.50 c 394s|630000 |109003 | 1424k| 2.3 | 78M| 36 | 5 | 40 |4611 | 40 | 13 | 21 | 224k|3126 | 0.000000e+00 | -- | Inf
454.28/454.41 c 401s|640000 |110391 | 1447k| 2.3 | 79M| 36 | - | 40 |5680 | 0 | 0 | 21 | 228k|3143 | 0.000000e+00 | -- | Inf
461.68/461.86 c 407s|650000 |111928 | 1468k| 2.3 | 80M| 36 | - | 40 |5257 | 40 | 13 | 21 | 231k|3149 | 0.000000e+00 | -- | Inf
469.68/469.81 c 414s|660000 |113110 | 1491k| 2.3 | 81M| 36 | 5 | 40 |4673 | 40 | 13 | 21 | 235k|3162 | 0.000000e+00 | -- | Inf
477.47/477.60 c 421s|670000 |114243 | 1514k| 2.3 | 82M| 36 | 5 | 40 |4423 | 40 | 13 | 21 | 238k|3184 | 0.000000e+00 | -- | Inf
485.47/485.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.47/485.60 c 428s|680000 |115231 | 1537k| 2.3 | 82M| 36 | 5 | 40 |4284 | 40 | 13 | 21 | 242k|3199 | 0.000000e+00 | -- | Inf
492.06/492.27 c 434s|690000 |117172 | 1560k| 2.3 | 84M| 36 | - | 40 |5228 | 40 | 13 | 21 | 245k|3209 | 0.000000e+00 | -- | Inf
499.77/499.90 c 441s|700000 |118258 | 1582k| 2.3 | 85M| 36 | - | 40 |5260 | 40 | 13 | 21 | 248k|3226 | 0.000000e+00 | -- | Inf
507.56/507.78 c 448s|710000 |119572 | 1604k| 2.3 | 86M| 36 | - | 40 |5191 | 40 | 13 | 21 | 252k|3239 | 0.000000e+00 | -- | Inf
515.26/515.47 c 455s|720000 |120696 | 1627k| 2.3 | 87M| 36 | 5 | 40 |5197 | 40 | 13 | 21 | 255k|3250 | 0.000000e+00 | -- | Inf
522.66/522.85 c 461s|730000 |121969 | 1650k| 2.3 | 88M| 36 | - | 40 |5076 | 40 | 13 | 21 | 259k|3266 | 0.000000e+00 | -- | Inf
530.85/531.01 c 469s|740000 |122959 | 1673k| 2.3 | 89M| 36 | 5 | 40 |4850 | 40 | 13 | 21 | 262k|3276 | 0.000000e+00 | -- | Inf
538.56/538.70 c 476s|750000 |123994 | 1696k| 2.3 | 89M| 36 | 5 | 40 |5033 | 40 | 13 | 21 | 266k|3298 | 0.000000e+00 | -- | Inf
546.65/546.87 c 483s|760000 |125090 | 1718k| 2.3 | 90M| 36 | 5 | 40 |4678 | 40 | 13 | 21 | 270k|3315 | 0.000000e+00 | -- | Inf
554.45/554.64 c 490s|770000 |126355 | 1741k| 2.3 | 91M| 36 | 5 | 40 |4777 | 40 | 13 | 21 | 273k|3328 | 0.000000e+00 | -- | Inf
560.85/561.01 c 495s|780000 |128584 | 1763k| 2.3 | 93M| 36 | - | 40 |6079 | 40 | 13 | 21 | 276k|3338 | 0.000000e+00 | -- | Inf
567.84/568.02 c 502s|790000 |130974 | 1786k| 2.3 | 94M| 36 | 5 | 40 |6176 | 40 | 13 | 21 | 279k|3359 | 0.000000e+00 | -- | Inf
574.75/574.98 c 508s|800000 |133153 | 1808k| 2.3 | 96M| 36 | 5 | 40 |6624 | 40 | 13 | 21 | 282k|3372 | 0.000000e+00 | -- | Inf
582.14/582.37 c 514s|810000 |134846 | 1832k| 2.3 | 97M| 36 | 5 | 40 |6713 | 40 | 13 | 21 | 286k|3381 | 0.000000e+00 | -- | Inf
589.74/589.97 c 521s|820000 |136430 | 1854k| 2.3 | 98M| 36 | - | 40 |6689 | 40 | 13 | 21 | 289k|3393 | 0.000000e+00 | -- | Inf
597.54/597.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.54/597.72 c 528s|830000 |137972 | 1876k| 2.3 | 99M| 36 | 5 | 40 |6746 | 40 | 13 | 21 | 292k|3408 | 0.000000e+00 | -- | Inf
605.04/605.20 c 535s|840000 |139509 | 1898k| 2.3 | 100M| 36 | 5 | 40 |6790 | 40 | 13 | 21 | 295k|3415 | 0.000000e+00 | -- | Inf
612.74/612.93 c 542s|850000 |140854 | 1921k| 2.3 | 101M| 36 | 5 | 40 |6804 | 40 | 13 | 21 | 299k|3429 | 0.000000e+00 | -- | Inf
620.44/620.64 c 549s|860000 |142254 | 1944k| 2.3 | 102M| 36 | 5 | 40 |7177 | 40 | 13 | 21 | 302k|3444 | 0.000000e+00 | -- | Inf
628.63/628.81 c 556s|870000 |143357 | 1966k| 2.3 | 103M| 36 | 5 | 40 |6754 | 40 | 13 | 21 | 305k|3459 | 0.000000e+00 | -- | Inf
636.23/636.46 c 563s|880000 |145024 | 1989k| 2.3 | 104M| 36 | 5 | 40 |7258 | 40 | 13 | 21 | 309k|3471 | 0.000000e+00 | -- | Inf
644.52/644.70 c 570s|890000 |146407 | 2011k| 2.3 | 106M| 36 | 5 | 40 |8201 | 40 | 13 | 21 | 313k|3489 | 0.000000e+00 | -- | Inf
653.72/653.95 c 578s|900000 |147557 | 2034k| 2.3 | 106M| 36 | - | 40 |7162 | 40 | 13 | 21 | 316k|3506 | 0.000000e+00 | -- | Inf
663.22/663.44 c 587s|910000 |148475 | 2056k| 2.3 | 107M| 36 | - | 40 |6063 | 40 | 13 | 21 | 320k|3525 | 0.000000e+00 | -- | Inf
671.93/672.12 c 595s|920000 |149565 | 2079k| 2.3 | 108M| 36 | - | 40 |5347 | 0 | 0 | 21 | 323k|3537 | 0.000000e+00 | -- | Inf
680.01/680.29 c 602s|930000 |150976 | 2102k| 2.3 | 109M| 36 | 5 | 40 |5320 | 40 | 13 | 21 | 327k|3551 | 0.000000e+00 | -- | Inf
687.32/687.50 c 609s|940000 |152252 | 2125k| 2.3 | 110M| 36 | 5 | 40 |6154 | 40 | 13 | 21 | 331k|3565 | 0.000000e+00 | -- | Inf
695.02/695.25 c 615s|950000 |153481 | 2148k| 2.3 | 111M| 36 | 5 | 40 |6274 | 40 | 13 | 21 | 334k|3588 | 0.000000e+00 | -- | Inf
704.31/704.53 c 624s|960000 |154243 | 2171k| 2.3 | 111M| 36 | 5 | 40 |4965 | 40 | 13 | 21 | 338k|3600 | 0.000000e+00 | -- | Inf
713.01/713.21 c 632s|970000 |155129 | 2194k| 2.3 | 112M| 36 | - | 40 |4589 | 0 | 0 | 21 | 342k|3616 | 0.000000e+00 | -- | Inf
721.00/721.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
721.00/721.20 c 639s|980000 |156243 | 2217k| 2.3 | 113M| 36 | - | 40 |5153 | 40 | 13 | 21 | 345k|3636 | 0.000000e+00 | -- | Inf
728.40/728.69 c 645s|990000 |157731 | 2240k| 2.3 | 114M| 36 | 5 | 40 |5567 | 40 | 13 | 21 | 348k|3648 | 0.000000e+00 | -- | Inf
736.71/736.98 c 653s| 1000k|158906 | 2264k| 2.3 | 115M| 36 | - | 40 |5847 | 40 | 13 | 21 | 352k|3661 | 0.000000e+00 | -- | Inf
743.70/743.90 c 659s| 1010k|160803 | 2287k| 2.3 | 117M| 36 | 5 | 40 |7146 | 40 | 13 | 21 | 355k|3669 | 0.000000e+00 | -- | Inf
752.49/752.73 c 667s| 1020k|161766 | 2310k| 2.3 | 117M| 36 | - | 40 |5906 | 40 | 13 | 21 | 358k|3677 | 0.000000e+00 | -- | Inf
761.40/761.69 c 675s| 1030k|162809 | 2333k| 2.3 | 118M| 36 | 5 | 40 |5316 | 40 | 13 | 21 | 362k|3693 | 0.000000e+00 | -- | Inf
770.09/770.33 c 683s| 1040k|163681 | 2355k| 2.3 | 119M| 36 | 5 | 40 |4955 | 40 | 13 | 21 | 365k|3706 | 0.000000e+00 | -- | Inf
778.89/779.14 c 691s| 1050k|164471 | 2378k| 2.3 | 120M| 36 | 5 | 40 |4800 | 40 | 13 | 21 | 369k|3726 | 0.000000e+00 | -- | Inf
787.30/787.57 c 698s| 1060k|165301 | 2401k| 2.3 | 120M| 36 | - | 40 |5073 | 40 | 13 | 21 | 373k|3735 | 0.000000e+00 | -- | Inf
795.39/795.62 c 706s| 1070k|166632 | 2423k| 2.3 | 122M| 36 | 5 | 40 |5571 | 40 | 13 | 21 | 376k|3748 | 0.000000e+00 | -- | Inf
803.39/803.66 c 713s| 1080k|167760 | 2446k| 2.3 | 122M| 36 | - | 40 |5260 | 40 | 13 | 21 | 380k|3762 | 0.000000e+00 | -- | Inf
811.39/811.64 c 720s| 1090k|168960 | 2468k| 2.3 | 123M| 36 | 5 | 40 |5405 | 40 | 13 | 21 | 383k|3775 | 0.000000e+00 | -- | Inf
819.88/820.16 c 728s| 1100k|169822 | 2491k| 2.3 | 124M| 36 | 5 | 40 |4774 | 40 | 13 | 21 | 386k|3784 | 0.000000e+00 | -- | Inf
826.98/827.23 c 734s| 1110k|171472 | 2514k| 2.3 | 125M| 36 | - | 40 |6436 | 40 | 13 | 21 | 390k|3800 | 0.000000e+00 | -- | Inf
834.78/835.08 c 741s| 1120k|172570 | 2537k| 2.3 | 127M| 36 | 5 | 40 |7029 | 40 | 13 | 21 | 394k|3814 | 0.000000e+00 | -- | Inf
843.87/844.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.87/844.17 c 749s| 1130k|173461 | 2560k| 2.3 | 127M| 36 | 5 | 40 |5568 | 40 | 13 | 21 | 397k|3822 | 0.000000e+00 | -- | Inf
852.28/852.54 c 756s| 1140k|174465 | 2583k| 2.3 | 128M| 36 | - | 40 |5665 | 40 | 13 | 21 | 401k|3835 | 0.000000e+00 | -- | Inf
861.17/861.47 c 765s| 1150k|175352 | 2607k| 2.3 | 128M| 36 | 5 | 40 |5001 | 40 | 13 | 21 | 405k|3845 | 0.000000e+00 | -- | Inf
868.97/869.24 c 771s| 1160k|176460 | 2629k| 2.3 | 129M| 36 | 5 | 40 |5427 | 40 | 13 | 21 | 408k|3856 | 0.000000e+00 | -- | Inf
877.67/877.93 c 779s| 1170k|177337 | 2652k| 2.3 | 130M| 36 | 5 | 40 |5116 | 40 | 13 | 21 | 412k|3874 | 0.000000e+00 | -- | Inf
886.27/886.50 c 787s| 1180k|178236 | 2674k| 2.3 | 131M| 36 | - | 40 |5058 | 40 | 13 | 21 | 415k|3886 | 0.000000e+00 | -- | Inf
895.17/895.41 c 795s| 1190k|178926 | 2697k| 2.3 | 132M| 36 | - | 40 |4614 | 40 | 13 | 21 | 419k|3907 | 0.000000e+00 | -- | Inf
903.47/903.77 c 803s| 1200k|179743 | 2720k| 2.3 | 132M| 36 | - | 40 |4632 | 40 | 13 | 21 | 422k|3924 | 0.000000e+00 | -- | Inf
911.26/911.56 c 809s| 1210k|180686 | 2743k| 2.3 | 133M| 36 | 5 | 40 |5194 | 40 | 13 | 21 | 426k|3934 | 0.000000e+00 | -- | Inf
919.76/920.08 c 817s| 1220k|181599 | 2766k| 2.3 | 134M| 36 | 5 | 40 |5222 | 40 | 13 | 21 | 429k|3952 | 0.000000e+00 | -- | Inf
926.25/926.53 c 823s| 1230k|184659 | 2789k| 2.3 | 136M| 36 | 5 | 40 |5438 | 40 | 13 | 21 | 432k|3963 | 0.000000e+00 | -- | Inf
933.15/933.44 c 829s| 1240k|187295 | 2812k| 2.3 | 137M| 36 | - | 40 |5897 | 40 | 13 | 21 | 435k|3976 | 0.000000e+00 | -- | Inf
940.16/940.48 c 835s| 1250k|189696 | 2836k| 2.3 | 139M| 36 | 5 | 40 |6029 | 40 | 13 | 21 | 438k|3990 | 0.000000e+00 | -- | Inf
947.45/947.78 c 841s| 1260k|191891 | 2860k| 2.3 | 140M| 36 | - | 40 |6145 | 40 | 13 | 21 | 442k|3999 | 0.000000e+00 | -- | Inf
955.05/955.34 c 848s| 1270k|193904 | 2884k| 2.3 | 142M| 36 | - | 40 |6071 | 40 | 13 | 21 | 445k|4013 | 0.000000e+00 | -- | Inf
962.45/962.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.45/962.79 c 855s| 1280k|195843 | 2908k| 2.3 | 143M| 36 | - | 40 |6157 | 40 | 13 | 21 | 448k|4025 | 0.000000e+00 | -- | Inf
970.14/970.44 c 861s| 1290k|197714 | 2931k| 2.3 | 144M| 36 | - | 40 |5959 | 40 | 13 | 21 | 451k|4039 | 0.000000e+00 | -- | Inf
977.85/978.14 c 868s| 1300k|199368 | 2956k| 2.3 | 145M| 36 | - | 40 |6066 | 40 | 13 | 21 | 454k|4048 | 0.000000e+00 | -- | Inf
985.44/985.76 c 875s| 1310k|201242 | 2979k| 2.3 | 147M| 36 | - | 40 |6444 | 40 | 13 | 21 | 458k|4058 | 0.000000e+00 | -- | Inf
993.44/993.79 c 882s| 1320k|202767 | 3004k| 2.3 | 148M| 36 | 5 | 40 |6111 | 40 | 13 | 21 | 461k|4071 | 0.000000e+00 | -- | Inf
1001.54/1001.80 c 889s| 1330k|204153 | 3028k| 2.3 | 149M| 36 | - | 40 |6176 | 40 | 13 | 21 | 464k|4083 | 0.000000e+00 | -- | Inf
1009.04/1009.37 c 896s| 1340k|205917 | 3052k| 2.3 | 150M| 36 | 5 | 40 |6595 | 40 | 13 | 21 | 467k|4091 | 0.000000e+00 | -- | Inf
1016.94/1017.24 c 903s| 1350k|207339 | 3075k| 2.3 | 151M| 36 | 5 | 40 |6967 | 40 | 13 | 21 | 471k|4105 | 0.000000e+00 | -- | Inf
1024.84/1025.17 c 910s| 1360k|209013 | 3100k| 2.3 | 153M| 36 | - | 40 |7610 | 40 | 13 | 21 | 474k|4119 | 0.000000e+00 | -- | Inf
1033.43/1033.78 c 918s| 1370k|210202 | 3124k| 2.3 | 153M| 36 | - | 40 |6593 | 40 | 13 | 21 | 477k|4135 | 0.000000e+00 | -- | Inf
1041.62/1041.98 c 925s| 1380k|211560 | 3148k| 2.3 | 155M| 36 | - | 40 |6577 | 40 | 13 | 21 | 481k|4145 | 0.000000e+00 | -- | Inf
1050.02/1050.32 c 933s| 1390k|212937 | 3171k| 2.3 | 155M| 36 | 5 | 40 |6240 | 40 | 13 | 21 | 484k|4155 | 0.000000e+00 | -- | Inf
1058.23/1058.56 c 940s| 1400k|214176 | 3195k| 2.3 | 157M| 36 | - | 40 |6594 | 40 | 13 | 21 | 487k|4167 | 0.000000e+00 | -- | Inf
1065.92/1066.24 c 947s| 1410k|216059 | 3219k| 2.3 | 158M| 36 | 5 | 40 |6863 | 40 | 13 | 21 | 491k|4180 | 0.000000e+00 | -- | Inf
1074.52/1074.84 c 955s| 1420k|217133 | 3243k| 2.3 | 159M| 36 | 5 | 40 |6405 | 40 | 13 | 21 | 494k|4189 | 0.000000e+00 | -- | Inf
1083.32/1083.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.32/1083.63 c 963s| 1430k|217992 | 3267k| 2.3 | 159M| 36 | 5 | 40 |6081 | 40 | 13 | 21 | 498k|4209 | 0.000000e+00 | -- | Inf
1091.61/1091.92 c 970s| 1440k|219086 | 3291k| 2.3 | 160M| 36 | 5 | 40 |6247 | 40 | 13 | 21 | 501k|4221 | 0.000000e+00 | -- | Inf
1100.01/1100.36 c 978s| 1450k|220012 | 3315k| 2.3 | 161M| 36 | - | 40 |5984 | 40 | 13 | 21 | 504k|4236 | 0.000000e+00 | -- | Inf
1108.31/1108.63 c 985s| 1460k|220997 | 3339k| 2.3 | 162M| 36 | 5 | 40 |6359 | 40 | 13 | 21 | 508k|4245 | 0.000000e+00 | -- | Inf
1116.31/1116.65 c 992s| 1470k|222022 | 3363k| 2.3 | 163M| 36 | - | 40 |6844 | 40 | 13 | 21 | 511k|4269 | 0.000000e+00 | -- | Inf
1124.92/1125.29 c 1000s| 1480k|223026 | 3387k| 2.3 | 164M| 36 | - | 40 |6314 | 40 | 13 | 21 | 515k|4282 | 0.000000e+00 | -- | Inf
1133.41/1133.74 c 1008s| 1490k|223927 | 3411k| 2.3 | 165M| 36 | 5 | 40 |6662 | 40 | 13 | 21 | 518k|4291 | 0.000000e+00 | -- | Inf
1141.51/1141.85 c 1015s| 1500k|225338 | 3435k| 2.3 | 166M| 36 | - | 40 |6443 | 40 | 13 | 21 | 522k|4307 | 0.000000e+00 | -- | Inf
1149.69/1150.02 c 1022s| 1510k|226540 | 3459k| 2.3 | 167M| 36 | 5 | 40 |7348 | 40 | 13 | 21 | 525k|4317 | 0.000000e+00 | -- | Inf
1158.19/1158.59 c 1030s| 1520k|228110 | 3483k| 2.3 | 168M| 36 | 5 | 40 |6710 | 40 | 13 | 21 | 528k|4332 | 0.000000e+00 | -- | Inf
1166.29/1166.68 c 1037s| 1530k|229545 | 3507k| 2.3 | 169M| 36 | 5 | 40 |7333 | 40 | 13 | 21 | 532k|4340 | 0.000000e+00 | -- | Inf
1175.10/1175.48 c 1045s| 1540k|230501 | 3531k| 2.3 | 170M| 36 | - | 40 |7530 | 40 | 13 | 21 | 535k|4352 | 0.000000e+00 | -- | Inf
1183.59/1183.98 c 1053s| 1550k|231734 | 3555k| 2.3 | 171M| 36 | - | 40 |8174 | 40 | 13 | 21 | 538k|4361 | 0.000000e+00 | -- | Inf
1192.79/1193.18 c 1061s| 1560k|232574 | 3579k| 2.3 | 172M| 36 | 5 | 40 |6849 | 40 | 13 | 21 | 542k|4382 | 0.000000e+00 | -- | Inf
1201.38/1201.77 c 1069s| 1570k|233616 | 3603k| 2.3 | 173M| 36 | 5 | 40 |7110 | 40 | 13 | 21 | 545k|4392 | 0.000000e+00 | -- | Inf
1209.99/1210.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.99/1210.39 c 1077s| 1580k|234870 | 3626k| 2.3 | 174M| 36 | 5 | 40 |7151 | 40 | 13 | 21 | 549k|4405 | 0.000000e+00 | -- | Inf
1220.68/1221.07 c 1087s| 1590k|235287 | 3649k| 2.3 | 174M| 36 | - | 40 |4813 | 40 | 13 | 21 | 553k|4422 | 0.000000e+00 | -- | Inf
1229.67/1230.03 c 1095s| 1600k|235858 | 3672k| 2.3 | 174M| 36 | - | 40 |4504 | 0 | 0 | 21 | 556k|4434 | 0.000000e+00 | -- | Inf
1237.77/1238.11 c 1102s| 1610k|236786 | 3695k| 2.3 | 175M| 36 | 5 | 40 |4705 | 40 | 13 | 21 | 560k|4451 | 0.000000e+00 | -- | Inf
1245.88/1246.20 c 1109s| 1620k|237857 | 3718k| 2.3 | 176M| 36 | 5 | 40 |4959 | 40 | 13 | 21 | 563k|4458 | 0.000000e+00 | -- | Inf
1254.47/1254.82 c 1117s| 1630k|238640 | 3741k| 2.3 | 177M| 36 | - | 40 |4646 | 40 | 13 | 21 | 567k|4469 | 0.000000e+00 | -- | Inf
1262.27/1262.69 c 1124s| 1640k|239638 | 3763k| 2.3 | 178M| 36 | - | 40 |5431 | 40 | 13 | 21 | 571k|4480 | 0.000000e+00 | -- | Inf
1271.07/1271.40 c 1132s| 1650k|240359 | 3787k| 2.3 | 179M| 36 | 5 | 40 |5105 | 40 | 13 | 21 | 574k|4494 | 0.000000e+00 | -- | Inf
1280.07/1280.40 c 1140s| 1660k|240917 | 3810k| 2.3 | 179M| 36 | 5 | 40 |4077 | 40 | 13 | 21 | 578k|4505 | 0.000000e+00 | -- | Inf
1288.67/1289.06 c 1148s| 1670k|241337 | 3833k| 2.3 | 180M| 36 | - | 40 |3855 | 40 | 13 | 21 | 582k|4510 | 0.000000e+00 | -- | Inf
1296.57/1296.96 c 1155s| 1680k|242049 | 3856k| 2.3 | 180M| 36 | 5 | 40 |4441 | 40 | 13 | 21 | 585k|4520 | 0.000000e+00 | -- | Inf
1304.76/1305.13 c 1162s| 1690k|242690 | 3879k| 2.3 | 181M| 36 | 5 | 40 |4194 | 40 | 13 | 21 | 589k|4528 | 0.000000e+00 | -- | Inf
1312.56/1312.94 c 1169s| 1700k|243691 | 3902k| 2.3 | 182M| 36 | 5 | 40 |4652 | 40 | 13 | 21 | 593k|4535 | 0.000000e+00 | -- | Inf
1319.86/1320.22 c 1175s| 1710k|245041 | 3925k| 2.3 | 183M| 36 | - | 40 |5691 | 40 | 13 | 21 | 596k|4539 | 0.000000e+00 | -- | Inf
1328.47/1328.82 c 1183s| 1720k|245676 | 3948k| 2.3 | 184M| 36 | - | 40 |4938 | 40 | 13 | 21 | 600k|4549 | 0.000000e+00 | -- | Inf
1336.75/1337.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.75/1337.11 c 1191s| 1730k|246613 | 3972k| 2.3 | 185M| 36 | 5 | 40 |4916 | 40 | 13 | 21 | 604k|4562 | 0.000000e+00 | -- | Inf
1344.65/1345.05 c 1198s| 1740k|247565 | 3995k| 2.3 | 186M| 36 | 5 | 40 |5187 | 40 | 13 | 21 | 608k|4578 | 0.000000e+00 | -- | Inf
1352.85/1353.26 c 1205s| 1750k|248272 | 4018k| 2.3 | 186M| 36 | - | 40 |5399 | 40 | 13 | 21 | 612k|4589 | 0.000000e+00 | -- | Inf
1360.36/1360.72 c 1212s| 1760k|249803 | 4040k| 2.3 | 188M| 36 | 5 | 40 |6738 | 40 | 13 | 21 | 615k|4597 | 0.000000e+00 | -- | Inf
1368.54/1368.94 c 1219s| 1770k|250858 | 4063k| 2.3 | 189M| 36 | 5 | 40 |6835 | 40 | 13 | 21 | 619k|4610 | 0.000000e+00 | -- | Inf
1376.94/1377.33 c 1227s| 1780k|251910 | 4086k| 2.3 | 190M| 36 | - | 40 |6985 | 40 | 13 | 21 | 623k|4617 | 0.000000e+00 | -- | Inf
1385.34/1385.75 c 1234s| 1790k|253118 | 4109k| 2.3 | 191M| 36 | 5 | 40 |6715 | 40 | 13 | 21 | 626k|4633 | 0.000000e+00 | -- | Inf
1394.35/1394.73 c 1242s| 1800k|253899 | 4133k| 2.3 | 191M| 36 | - | 40 |5937 | 40 | 13 | 21 | 630k|4646 | 0.000000e+00 | -- | Inf
1402.14/1402.56 c 1249s| 1810k|255357 | 4155k| 2.3 | 192M| 36 | - | 40 |6321 | 40 | 13 | 21 | 634k|4657 | 0.000000e+00 | -- | Inf
1410.33/1410.70 c 1257s| 1820k|256459 | 4176k| 2.3 | 193M| 36 | - | 40 |6889 | 40 | 13 | 21 | 637k|4666 | 0.000000e+00 | -- | Inf
1419.33/1419.73 c 1265s| 1830k|257163 | 4199k| 2.3 | 194M| 36 | 5 | 40 |6280 | 40 | 13 | 21 | 641k|4681 | 0.000000e+00 | -- | Inf
1428.43/1428.82 c 1273s| 1840k|257970 | 4221k| 2.3 | 195M| 36 | - | 40 |5419 | 40 | 13 | 21 | 645k|4694 | 0.000000e+00 | -- | Inf
1437.03/1437.42 c 1281s| 1850k|258686 | 4244k| 2.3 | 195M| 36 | - | 40 |5098 | 0 | 0 | 21 | 648k|4706 | 0.000000e+00 | -- | Inf
1444.12/1444.52 c 1287s| 1860k|260634 | 4267k| 2.3 | 197M| 36 | 5 | 40 |5653 | 40 | 13 | 21 | 652k|4716 | 0.000000e+00 | -- | Inf
1451.53/1451.97 c 1294s| 1870k|262026 | 4289k| 2.3 | 198M| 36 | 5 | 40 |5880 | 40 | 13 | 21 | 655k|4730 | 0.000000e+00 | -- | Inf
1459.23/1459.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1459.23/1459.70 c 1301s| 1880k|262971 | 4312k| 2.3 | 199M| 36 | 5 | 40 |6327 | 40 | 13 | 21 | 658k|4738 | 0.000000e+00 | -- | Inf
1468.62/1469.01 c 1309s| 1890k|263625 | 4335k| 2.3 | 199M| 36 | - | 40 |4993 | 0 | 0 | 21 | 662k|4751 | 0.000000e+00 | -- | Inf
1476.52/1476.91 c 1316s| 1900k|264549 | 4357k| 2.3 | 200M| 36 | 5 | 40 |5453 | 40 | 13 | 21 | 666k|4768 | 0.000000e+00 | -- | Inf
1485.51/1485.97 c 1324s| 1910k|265188 | 4380k| 2.3 | 201M| 36 | - | 40 |4803 | 40 | 13 | 21 | 669k|4783 | 0.000000e+00 | -- | Inf
1492.91/1493.32 c 1331s| 1920k|266397 | 4402k| 2.3 | 202M| 36 | - | 40 |6534 | 40 | 13 | 21 | 673k|4799 | 0.000000e+00 | -- | Inf
1502.31/1502.73 c 1339s| 1930k|267021 | 4425k| 2.3 | 202M| 36 | - | 40 |5458 | 40 | 13 | 21 | 677k|4807 | 0.000000e+00 | -- | Inf
1510.92/1511.34 c 1347s| 1940k|267699 | 4448k| 2.3 | 203M| 36 | 5 | 40 |5706 | 40 | 13 | 21 | 681k|4823 | 0.000000e+00 | -- | Inf
1518.21/1518.63 c 1354s| 1950k|269218 | 4472k| 2.3 | 205M| 36 | - | 40 |6753 | 40 | 13 | 21 | 684k|4836 | 0.000000e+00 | -- | Inf
1526.20/1526.68 c 1361s| 1960k|270427 | 4495k| 2.3 | 206M| 36 | 5 | 40 |7366 | 40 | 13 | 21 | 688k|4847 | 0.000000e+00 | -- | Inf
1535.90/1536.38 c 1370s| 1970k|271102 | 4519k| 2.3 | 206M| 36 | 5 | 40 |5409 | 40 | 13 | 21 | 691k|4858 | 0.000000e+00 | -- | Inf
1544.80/1545.20 c 1378s| 1980k|271920 | 4543k| 2.3 | 207M| 36 | 5 | 40 |5375 | 40 | 13 | 21 | 695k|4864 | 0.000000e+00 | -- | Inf
1553.60/1554.05 c 1386s| 1990k|272567 | 4566k| 2.3 | 207M| 36 | 5 | 40 |5086 | 40 | 13 | 21 | 699k|4873 | 0.000000e+00 | -- | Inf
1562.19/1562.64 c 1393s| 2000k|273326 | 4590k| 2.3 | 208M| 36 | 5 | 40 |4889 | 40 | 13 | 21 | 702k|4884 | 0.000000e+00 | -- | Inf
1570.40/1570.88 c 1401s| 2010k|274128 | 4613k| 2.3 | 209M| 36 | 5 | 40 |5234 | 40 | 13 | 21 | 706k|4890 | 0.000000e+00 | -- | Inf
1578.50/1578.90 c 1408s| 2020k|275103 | 4636k| 2.3 | 210M| 36 | 5 | 40 |5864 | 40 | 13 | 21 | 710k|4903 | 0.000000e+00 | -- | Inf
1587.79/1588.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.79/1588.26 c 1416s| 2030k|275580 | 4659k| 2.3 | 210M| 36 | - | 40 |4818 | 40 | 13 | 21 | 713k|4909 | 0.000000e+00 | -- | Inf
1594.79/1595.29 c 1423s| 2040k|277346 | 4683k| 2.3 | 212M| 36 | - | 40 |6083 | 40 | 13 | 21 | 717k|4918 | 0.000000e+00 | -- | Inf
1602.68/1603.17 c 1430s| 2050k|278383 | 4707k| 2.3 | 213M| 36 | 5 | 40 |6147 | 40 | 13 | 21 | 720k|4926 | 0.000000e+00 | -- | Inf
1611.00/1611.41 c 1437s| 2060k|279521 | 4730k| 2.3 | 214M| 36 | 5 | 40 |6907 | 40 | 13 | 21 | 724k|4940 | 0.000000e+00 | -- | Inf
1620.78/1621.26 c 1446s| 2070k|280008 | 4753k| 2.3 | 214M| 36 | - | 40 |4848 | 40 | 13 | 21 | 728k|4947 | 0.000000e+00 | -- | Inf
1628.88/1629.36 c 1453s| 2080k|280856 | 4776k| 2.3 | 215M| 36 | 5 | 40 |5247 | 40 | 13 | 21 | 731k|4956 | 0.000000e+00 | -- | Inf
1637.88/1638.31 c 1461s| 2090k|281351 | 4799k| 2.3 | 215M| 36 | 5 | 40 |4628 | 40 | 13 | 21 | 735k|4965 | 0.000000e+00 | -- | Inf
1646.37/1646.81 c 1469s| 2100k|281953 | 4821k| 2.3 | 216M| 36 | - | 40 |4722 | 40 | 13 | 21 | 739k|4973 | 0.000000e+00 | -- | Inf
1654.58/1655.07 c 1476s| 2110k|282596 | 4844k| 2.3 | 217M| 36 | - | 40 |4716 | 40 | 13 | 21 | 742k|4982 | 0.000000e+00 | -- | Inf
1663.57/1664.03 c 1485s| 2120k|282988 | 4867k| 2.3 | 217M| 36 | 5 | 40 |4500 | 40 | 13 | 21 | 746k|4988 | 0.000000e+00 | -- | Inf
1671.48/1671.90 c 1492s| 2130k|283852 | 4890k| 2.3 | 218M| 36 | - | 40 |4941 | 40 | 13 | 21 | 750k|4995 | 0.000000e+00 | -- | Inf
1680.46/1680.94 c 1500s| 2140k|284388 | 4914k| 2.3 | 218M| 36 | - | 40 |4256 | 40 | 13 | 21 | 754k|5010 | 0.000000e+00 | -- | Inf
1688.46/1689.00 c 1507s| 2150k|285027 | 4936k| 2.3 | 219M| 36 | 5 | 40 |4604 | 40 | 13 | 21 | 757k|5018 | 0.000000e+00 | -- | Inf
1695.46/1695.96 c 1513s| 2160k|286670 | 4958k| 2.3 | 220M| 36 | 5 | 40 |5190 | 40 | 13 | 21 | 760k|5027 | 0.000000e+00 | -- | Inf
1702.76/1703.27 c 1520s| 2170k|287633 | 4980k| 2.3 | 221M| 36 | - | 40 |5603 | 40 | 13 | 21 | 764k|5036 | 0.000000e+00 | -- | Inf
1710.86/1711.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.86/1711.30 c 1527s| 2180k|288444 | 5003k| 2.3 | 222M| 36 | 5 | 40 |5972 | 40 | 13 | 21 | 767k|5051 | 0.000000e+00 | -- | Inf
1718.45/1718.97 c 1534s| 2190k|290109 | 5026k| 2.3 | 223M| 36 | 5 | 40 |6698 | 40 | 13 | 21 | 771k|5057 | 0.000000e+00 | -- | Inf
1726.25/1726.70 c 1541s| 2200k|292228 | 5049k| 2.3 | 225M| 36 | - | 40 |7328 | 40 | 13 | 21 | 774k|5067 | 0.000000e+00 | -- | Inf
1734.75/1735.23 c 1548s| 2210k|293459 | 5073k| 2.3 | 226M| 36 | - | 40 |7980 | 40 | 13 | 21 | 778k|5078 | 0.000000e+00 | -- | Inf
1742.85/1743.37 c 1556s| 2220k|295249 | 5097k| 2.3 | 227M| 36 | 5 | 40 |6855 | 40 | 13 | 21 | 781k|5087 | 0.000000e+00 | -- | Inf
1750.66/1751.14 c 1562s| 2230k|297036 | 5119k| 2.3 | 229M| 36 | - | 40 |8189 | 0 | 0 | 21 | 785k|5092 | 0.000000e+00 | -- | Inf
1759.46/1759.91 c 1570s| 2240k|298466 | 5142k| 2.3 | 229M| 36 | 5 | 40 |7221 | 40 | 13 | 21 | 788k|5099 | 0.000000e+00 | -- | Inf
1767.45/1767.93 c 1578s| 2250k|299957 | 5164k| 2.3 | 231M| 36 | - | 40 |7450 | 40 | 13 | 21 | 792k|5108 | 0.000000e+00 | -- | Inf
1775.45/1775.98 c 1585s| 2260k|301514 | 5187k| 2.3 | 232M| 36 | 5 | 40 |7760 | 40 | 13 | 21 | 796k|5119 | 0.000000e+00 | -- | Inf
1784.64/1785.10 c 1593s| 2270k|302335 | 5210k| 2.3 | 232M| 36 | - | 40 |6729 | 40 | 13 | 21 | 799k|5135 | 0.000000e+00 | -- | Inf
1793.24/1793.79 c 1601s| 2280k|303068 | 5233k| 2.3 | 233M| 36 | - | 40 |6443 | 40 | 13 | 21 | 803k|5143 | 0.000000e+00 | -- | Inf
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1607.01
1800.04/1800.50 c Solving Nodes : 2288164
1800.04/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.50 c Dual Bound : +0.00000000000000e+00
1800.04/1800.50 c Gap : infinite
1800.04/1800.51 s UNKNOWN
1800.04/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.51 c Solving Time : 1607.01
1800.04/1800.51 c Original Problem :
1800.04/1800.51 c Problem name : HOME/instance-2665442-1276600926.opb
1800.04/1800.51 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 11 initial, 11 maximal
1800.04/1800.51 c Presolved Problem :
1800.04/1800.51 c Problem name : t_HOME/instance-2665442-1276600926.opb
1800.04/1800.51 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.51 c Constraints : 5 initial, 8409 maximal
1800.04/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.04/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.51 c linear : 0.00 0 0 0 0 0 6 0 0
1800.04/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.51 c root node : - 0 - - 0 - - - -
1800.04/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c integral : 0 0 0 1330807 0 530 2228 0 0 2656380
1800.04/1800.51 c linear : 5+ 7 4940810 0 0 165856 2396539 0 0 0
1800.04/1800.51 c logicor : 0+ 0 2423121 0 0 7624 691749 0 0 0
1800.04/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.51 c integral : 18.94 0.00 0.00 18.94 0.00
1800.04/1800.51 c linear : 180.41 0.00 180.41 0.00 0.00
1800.04/1800.51 c logicor : 381.43 0.00 381.43 0.00 0.00
1800.04/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.51 c vbounds : 2.57 2 0 0
1800.04/1800.51 c rootredcost : 2.25 0 0 0
1800.04/1800.51 c pseudoobj : 1.93 0 0 0
1800.04/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.51 c propagation : 10.92 173480 111981 327367 28.8 16 22.9 -
1800.04/1800.51 c infeasible LP : 34.05 846129 494227 782881 18.7 3798 23.6 0
1800.04/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.51 c applied globally : - - - 800364 18.7 - - -
1800.04/1800.51 c applied locally : - - - 6357 31.4 - - -
1800.04/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.51 c cut pool : 0.00 5 - - 33 - (maximal pool size: 114)
1800.04/1800.51 c redcost : 2.99 1330812 0 0 0 0
1800.04/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.51 c intobj : 0.00 0 0 0 0 0
1800.04/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.51 c gomory : 0.01 6 0 0 0 0
1800.04/1800.51 c strongcg : 0.00 6 0 0 42 0
1800.04/1800.51 c cmir : 0.01 6 0 0 44 0
1800.04/1800.51 c flowcover : 0.01 6 0 0 51 0
1800.04/1800.51 c clique : 0.00 1 0 0 0 0
1800.04/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.51 c mcf : 0.00 1 0 0 0 0
1800.04/1800.51 c rapidlearning : 0.06 1 0 0 0 49
1800.04/1800.51 c Pricers : Time Calls Vars
1800.04/1800.51 c problem variables: 0.00 0 0
1800.04/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.51 c relpscost : 16.45 1330807 530 2228 0 0 2656380
1800.04/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.51 c random : 0.00 0 0 0 0 0 0
1800.04/1800.51 c Primal Heuristics : Time Calls Found
1800.04/1800.51 c LP solutions : 0.00 - 0
1800.04/1800.51 c pseudo solutions : 0.00 - 0
1800.04/1800.51 c oneopt : 2.19 0 0
1800.04/1800.51 c crossover : 1.46 0 0
1800.04/1800.51 c guideddiving : 0.33 0 0
1800.04/1800.51 c fracdiving : 0.30 59 0
1800.04/1800.51 c veclendiving : 0.24 59 0
1800.04/1800.51 c linesearchdiving : 0.20 59 0
1800.04/1800.51 c objpscostdiving : 0.22 30 0
1800.04/1800.51 c feaspump : 0.24 30 0
1800.04/1800.51 c coefdiving : 0.20 60 0
1800.04/1800.51 c pscostdiving : 0.37 60 0
1800.04/1800.51 c rootsoldiving : 0.25 31 0
1800.04/1800.51 c trivial : 0.00 2 0
1800.04/1800.51 c simplerounding : 0.86 0 0
1800.04/1800.51 c zirounding : 1.49 1000 0
1800.04/1800.51 c rounding : 1.47 16399 0
1800.04/1800.51 c shifting : 1.98 4153 0
1800.04/1800.51 c intshifting : 0.08 0 0
1800.04/1800.51 c twoopt : 0.00 0 0
1800.04/1800.51 c fixandinfer : 0.00 0 0
1800.04/1800.51 c intdiving : 0.00 0 0
1800.04/1800.51 c actconsdiving : 0.00 0 0
1800.04/1800.51 c octane : 0.00 0 0
1800.04/1800.51 c rens : 0.03 1 0
1800.04/1800.51 c rins : 0.00 0 0
1800.04/1800.51 c localbranching : 0.00 0 0
1800.04/1800.51 c mutation : 0.00 0 0
1800.04/1800.51 c dins : 0.00 0 0
1800.04/1800.51 c undercover : 0.00 0 0
1800.04/1800.51 c nlp : 1.22 0 0
1800.04/1800.51 c trysol : 1.68 0 0
1800.04/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.51 c dual LP : 383.48 2084864 5250809 2.52 13692.52
1800.04/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.51 c diving/probing LP: 0.25 797 1616 2.03 6464.00
1800.04/1800.51 c strong branching : 1.55 5153 24906 4.83 16068.39
1800.04/1800.51 c (at root node) : - 9 225 25.00 -
1800.04/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.51 c B&B Tree :
1800.04/1800.51 c number of runs : 1
1800.04/1800.51 c nodes : 2288164
1800.04/1800.51 c nodes (total) : 2288164
1800.04/1800.51 c nodes left : 303886
1800.04/1800.51 c max depth : 36
1800.04/1800.51 c max depth (total): 36
1800.04/1800.51 c backtracks : 479617 (21.0%)
1800.04/1800.51 c delayed cutoffs : 64331
1800.04/1800.51 c repropagations : 1348307 (1229303 domain reductions, 59436 cutoffs)
1800.04/1800.51 c avg switch length: 5.55
1800.04/1800.51 c switching time : 369.42
1800.04/1800.51 c Solution :
1800.04/1800.51 c Solutions found : 0 (0 improvements)
1800.04/1800.51 c Primal Bound : -
1800.04/1800.51 c Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Gap : infinite
1800.04/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.51 c Root Iterations : 69
1801.64/1802.18 c Time complete: 1801.72.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665442-1276600926/watcher-2665442-1276600926 -o /tmp/evaluation-result-2665442-1276600926/solver-2665442-1276600926 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665442-1276600926.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.00 1.00 1.00 3/106 9276
/proc/meminfo: memFree=1499720/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=9288 CPUtime=0
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 1131 0 0 0 0 0 0 0 20 0 1 0 1385473 9510912 1051 1992294400 4194304 9819077 140734535673360 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9276/statm: 2322 1061 371 1374 0 943 0
[startup+0.033284 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9276
/proc/meminfo: memFree=1499720/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=17088 CPUtime=0.02
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 3640 0 0 0 1 1 0 0 20 0 1 0 1385473 17498112 2684 1992294400 4194304 9819077 140734535673360 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 4272 2695 664 1374 0 2893 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17088
[startup+0.101289 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9276
/proc/meminfo: memFree=1499720/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=21612 CPUtime=0.09
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 4989 0 0 0 7 2 0 0 20 0 1 0 1385473 22130688 3775 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 5403 3775 676 1374 0 4024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21612
[startup+0.301309 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9276
/proc/meminfo: memFree=1499720/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=16324 CPUtime=0.29
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 11988 0 0 0 21 8 0 0 20 0 1 0 1385473 16715776 2627 1992294400 4194304 9819077 140734535673360 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 4081 2627 723 1374 0 2702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16324
[startup+0.701347 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 9276
/proc/meminfo: memFree=1499720/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=15588 CPUtime=0.69
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 17569 0 0 0 53 16 0 0 20 0 1 0 1385473 15962112 2638 1992294400 4194304 9819077 140734535673360 18446744073709551615 4924703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 3897 2638 723 1374 0 2518 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15588
[startup+1.50143 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9277
/proc/meminfo: memFree=1491280/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=16264 CPUtime=1.49
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 26369 0 0 0 119 30 0 0 23 0 1 0 1385473 16654336 2789 1992294400 4194304 9819077 140734535673360 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 4106 2790 723 1374 0 2727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16264
[startup+3.10158 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9277
/proc/meminfo: memFree=1490288/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=18004 CPUtime=3.09
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 44059 0 0 0 255 54 0 0 25 0 1 0 1385473 18436096 3238 1992294400 4194304 9819077 140734535673360 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 4541 3239 723 1374 0 3162 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18004
[startup+6.30089 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9277
/proc/meminfo: memFree=1487188/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=20552 CPUtime=6.29
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 75908 0 0 0 530 99 0 0 25 0 1 0 1385473 21045248 3819 1992294400 4194304 9819077 140734535673360 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 4899 3814 723 1374 0 3520 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20552
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9277
/proc/meminfo: memFree=1485328/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=22460 CPUtime=12.68
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 140850 0 0 0 1077 191 0 0 25 0 1 0 1385473 22999040 4291 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 5615 4291 724 1374 0 4236 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22460
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9279
/proc/meminfo: memFree=1481112/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=26272 CPUtime=25.49
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 269096 0 0 0 2178 371 0 0 25 0 1 0 1385473 26902528 5274 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 6568 5274 724 1374 0 5189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26272
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9279
/proc/meminfo: memFree=1472556/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=34700 CPUtime=51.07
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 515912 0 0 0 4387 720 0 0 25 0 1 0 1385473 35532800 7421 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 8675 7421 724 1374 0 7296 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34700
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9281
/proc/meminfo: memFree=1461644/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=45132 CPUtime=102.27
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 958401 0 0 0 8855 1372 0 0 25 0 1 0 1385473 46215168 10080 1992294400 4194304 9819077 140734535673360 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 11283 10080 724 1374 0 9904 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45132
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9281
/proc/meminfo: memFree=1449244/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=57612 CPUtime=162.25
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 1460428 0 0 0 14124 2101 0 0 25 0 1 0 1385473 58994688 13247 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 14403 13247 724 1374 0 13024 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57612
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9283
/proc/meminfo: memFree=1438332/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=69460 CPUtime=222.24
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 1941553 0 0 0 19418 2806 0 0 25 0 1 0 1385473 71127040 15844 1992294400 4194304 9819077 140734535673360 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 17445 15846 725 1374 0 16066 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 69460
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9285
/proc/meminfo: memFree=1428908/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=79084 CPUtime=282.22
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 2402612 0 0 0 24733 3489 0 0 25 0 1 0 1385473 80982016 18156 1992294400 4194304 9819077 140734535673360 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 19771 18156 725 1374 0 18392 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 79084
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9287
/proc/meminfo: memFree=1419856/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=87920 CPUtime=342.2
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 2847163 0 0 0 30084 4136 0 0 25 0 1 0 1385473 90030080 20417 1992294400 4194304 9819077 140734535673360 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 21900 20416 725 1374 0 20521 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 87920
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9289
/proc/meminfo: memFree=1409936/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=97516 CPUtime=402.19
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 3303064 0 0 0 35416 4803 0 0 25 0 1 0 1385473 99856384 22868 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 24379 22868 725 1374 0 23000 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 97516
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9289
/proc/meminfo: memFree=1403860/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=103404 CPUtime=462.17
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 3745614 0 0 0 40756 5461 0 0 25 0 1 0 1385473 105885696 24363 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 25851 24363 725 1374 0 24472 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 103404
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9291
/proc/meminfo: memFree=1395304/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=111524 CPUtime=522.16
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 4200648 0 0 0 46099 6117 0 0 25 0 1 0 1385473 114200576 26482 1992294400 4194304 9819077 140734535673360 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 27921 26483 725 1374 0 26542 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 111524
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9293
/proc/meminfo: memFree=1386376/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=120400 CPUtime=582.14
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 4658298 0 0 0 51435 6779 0 0 25 0 1 0 1385473 123289600 28687 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 30100 28687 725 1374 0 28721 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 120400
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9298
/proc/meminfo: memFree=1376208/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=129600 CPUtime=642.13
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 5096894 0 0 0 56789 7424 0 0 25 0 1 0 1385473 132710400 31043 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 32400 31043 725 1374 0 31021 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 129600
[startup+702.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9308
/proc/meminfo: memFree=1322888/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=186672 CPUtime=1062.02
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 8105189 0 0 0 94349 11853 0 0 25 0 1 0 1385473 191152128 44492 1992294400 4194304 9819077 140734535673360 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 46627 44492 725 1374 0 45248 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 186672
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9310
/proc/meminfo: memFree=1316068/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=192604 CPUtime=1122
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 8529902 0 0 0 99740 12460 0 0 25 0 1 0 1385473 197226496 46016 1992294400 4194304 9819077 140734535673360 18446744073709551615 8655429 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 47991 46013 725 1374 0 46612 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 192604
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9312
/proc/meminfo: memFree=1309124/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=199332 CPUtime=1181.99
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 8951273 0 0 0 105137 13062 0 0 25 0 1 0 1385473 204115968 47747 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 49833 47747 725 1374 0 48454 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 199332
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9314
/proc/meminfo: memFree=1302924/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=205168 CPUtime=1241.98
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 9352758 0 0 0 110556 13642 0 0 25 0 1 0 1385473 210092032 49242 1992294400 4194304 9819077 140734535673360 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 51292 49242 725 1374 0 49913 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 205168
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9316
/proc/meminfo: memFree=1298212/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=209608 CPUtime=1301.97
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 9772200 0 0 0 115961 14236 0 0 25 0 1 0 1385473 214638592 50374 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 52402 50374 725 1374 0 51023 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 209608
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9316
/proc/meminfo: memFree=1290276/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=217372 CPUtime=1361.95
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 10209844 0 0 0 121318 14877 0 0 25 0 1 0 1385473 222588928 52343 1992294400 4194304 9819077 140734535673360 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 54383 52344 725 1374 0 53004 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 217372
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9318
/proc/meminfo: memFree=1283084/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=224096 CPUtime=1421.94
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 10620103 0 0 0 126722 15472 0 0 25 0 1 0 1385473 229474304 54140 1992294400 4194304 9819077 140734535673360 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 56104 54141 725 1374 0 54725 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 224096
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9320
/proc/meminfo: memFree=1276760/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=230532 CPUtime=1481.91
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 11048228 0 0 0 132102 16089 0 0 25 0 1 0 1385473 236064768 55707 1992294400 4194304 9819077 140734535673360 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 57673 55708 725 1374 0 56294 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 230532
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9322
/proc/meminfo: memFree=1268948/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=238324 CPUtime=1541.9
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 11464976 0 0 0 137502 16688 0 0 25 0 1 0 1385473 244043776 57655 1992294400 4194304 9819077 140734535673360 18446744073709551615 4969482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 59581 57655 725 1374 0 58202 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 238324
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9324
/proc/meminfo: memFree=1263492/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=243420 CPUtime=1601.88
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 11889935 0 0 0 142888 17300 0 0 25 0 1 0 1385473 249262080 58964 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 60855 58964 725 1374 0 59476 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 243420
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9324
/proc/meminfo: memFree=1259648/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=247228 CPUtime=1661.87
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 12298341 0 0 0 148294 17893 0 0 25 0 1 0 1385473 253161472 59940 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 61807 59940 725 1374 0 60428 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 247228
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9326
/proc/meminfo: memFree=1253200/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=253868 CPUtime=1721.86
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 12740237 0 0 0 153665 18521 0 0 25 0 1 0 1385473 259960832 61581 1992294400 4194304 9819077 140734535673360 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 63467 61581 725 1374 0 62088 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 253868
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9328
/proc/meminfo: memFree=1244148/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=262088 CPUtime=1781.84
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 13157081 0 0 0 159062 19122 0 0 25 0 1 0 1385473 268378112 63695 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 65522 63695 725 1374 0 64143 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 262088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9328
/proc/meminfo: memFree=1242660/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=263508 CPUtime=1800.04
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 13280679 0 0 0 160701 19303 0 0 25 0 1 0 1385473 269832192 64058 1992294400 4194304 9819077 140734535673360 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9276/statm: 65877 64058 725 1374 0 64498 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 263508
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9329
/proc/meminfo: memFree=1242652/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=263508 CPUtime=1800.93
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 13280690 0 0 0 160790 19303 0 0 25 0 1 0 1385473 269832192 64059 1992294400 4194304 9819077 140734535673360 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9276/statm: 65877 64059 726 1374 0 64498 0
Current children cumulated CPU time (s) 1800.93
Current children cumulated vsize (KiB) 263508
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9329
/proc/meminfo: memFree=1242528/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=263508 CPUtime=1801.34
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 13280690 0 0 0 160831 19303 0 0 25 0 1 0 1385473 269832192 64059 1992294400 4194304 9819077 140734535673360 18446744073709551615 6180101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9276/statm: 65877 64059 726 1374 0 64498 0
Current children cumulated CPU time (s) 1801.34
Current children cumulated vsize (KiB) 263508
[startup+1802 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9329
/proc/meminfo: memFree=1242528/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=263508 CPUtime=1801.53
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 13280690 0 0 0 160850 19303 0 0 25 0 1 0 1385473 269832192 64059 1992294400 4194304 9819077 140734535673360 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9276/statm: 65877 64059 726 1374 0 64498 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 263508
[startup+1802.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 9329
/proc/meminfo: memFree=1242528/2059040 swapFree=4192956/4192956
[pid=9276] ppid=9274 vsize=262148 CPUtime=1801.64
/proc/9276/stat : 9276 (pbscip.linux.x8) R 9274 9276 2336 0 -1 4202496 13280690 0 0 0 160860 19304 0 0 25 0 1 0 1385473 268439552 63719 1992294400 4194304 9819077 140734535673360 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9276/statm: 65537 63719 726 1374 0 64158 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 262148
Child status: 0
Real time (s): 1802.19
CPU time (s): 1801.73
CPU user time (s): 1608.66
CPU system time (s): 193.067
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 263508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1608.66
system time used= 193.067
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13280694
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= 4
involuntary context switches= 1731
runsolver used 2.96255 second user time and 8.5417 second system time
The end