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-2665445-1276612663.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 7 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, 7 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 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 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 | 30 | - | 272k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 39 | - | 299k| 0 | 11 | 50 | 7 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 44 | - | 315k| 0 | 12 | 50 | 7 | 50 | 14 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 52 | - | 339k| 0 | 14 | 50 | 7 | 50 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 58 | - | 358k| 0 | 14 | 50 | 7 | 50 | 20 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 73 | - | 369k| 0 | 15 | 50 | 7 | 50 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 76 | - | 393k| 0 | 17 | 50 | 7 | 50 | 25 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 2 | 76 | - | 394k| 0 | 17 | 50 | 7 | 50 | 25 | 19 | 0 | 10 | 0.000000e+00 | -- | Inf
5.89/5.92 c 5.0s| 10000 | 3280 | 24539 | 2.4 |3652k| 44 | - | 50 |2768 | 0 | 0 | 19 |3757 | 526 | 0.000000e+00 | -- | Inf
11.69/11.78 c 10.1s| 20000 | 5847 | 48732 | 2.4 |5515k| 44 | - | 50 |2709 | 50 | 17 | 19 |8101 | 677 | 0.000000e+00 | -- | Inf
17.59/17.65 c 15.2s| 30000 | 8119 | 72650 | 2.4 |7212k| 44 | 6 | 50 |2924 | 50 | 17 | 19 | 12k| 811 | 0.000000e+00 | -- | Inf
23.39/23.48 c 20.2s| 40000 | 10511 | 97197 | 2.4 |8922k| 44 | - | 50 |2973 | 50 | 17 | 19 | 16k| 911 | 0.000000e+00 | -- | Inf
29.59/29.63 c 25.6s| 50000 | 12601 |121681 | 2.4 | 10M| 44 | 6 | 50 |3398 | 50 | 17 | 19 | 20k|1006 | 0.000000e+00 | -- | Inf
35.68/35.79 c 31.0s| 60000 | 14754 |146408 | 2.4 | 12M| 44 | 6 | 50 |4009 | 50 | 17 | 19 | 25k|1078 | 0.000000e+00 | -- | Inf
42.18/42.20 c 36.7s| 70000 | 17016 |171316 | 2.4 | 13M| 44 | 6 | 50 |4088 | 50 | 17 | 19 | 29k|1156 | 0.000000e+00 | -- | Inf
48.48/48.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.48/48.50 c 42.2s| 80000 | 19239 |195997 | 2.4 | 15M| 44 | 6 | 50 |4094 | 50 | 17 | 19 | 33k|1214 | 0.000000e+00 | -- | Inf
54.89/54.98 c 47.9s| 90000 | 21348 |220734 | 2.5 | 17M| 44 | 6 | 50 |4233 | 50 | 17 | 19 | 38k|1275 | 0.000000e+00 | -- | Inf
61.58/61.65 c 53.8s|100000 | 23234 |245746 | 2.5 | 18M| 44 | - | 50 |4524 | 50 | 17 | 19 | 42k|1334 | 0.000000e+00 | -- | Inf
68.27/68.38 c 59.8s|110000 | 25118 |270729 | 2.5 | 20M| 44 | 6 | 50 |4669 | 50 | 17 | 19 | 47k|1393 | 0.000000e+00 | -- | Inf
74.87/74.98 c 65.6s|120000 | 27157 |295557 | 2.5 | 22M| 44 | 6 | 50 |5414 | 50 | 17 | 19 | 52k|1443 | 0.000000e+00 | -- | Inf
81.67/81.72 c 71.5s|130000 | 29296 |319351 | 2.5 | 23M| 44 | 6 | 50 |5354 | 50 | 17 | 19 | 56k|1483 | 0.000000e+00 | -- | Inf
88.47/88.53 c 77.5s|140000 | 31242 |343962 | 2.5 | 25M| 44 | - | 50 |5102 | 50 | 17 | 19 | 60k|1521 | 0.000000e+00 | -- | Inf
95.17/95.28 c 83.5s|150000 | 33394 |367846 | 2.5 | 27M| 44 | - | 50 |5511 | 50 | 17 | 19 | 64k|1562 | 0.000000e+00 | -- | Inf
102.36/102.40 c 89.8s|160000 | 35365 |392445 | 2.5 | 28M| 44 | - | 50 |5064 | 0 | 0 | 19 | 69k|1600 | 0.000000e+00 | -- | Inf
109.26/109.38 c 96.0s|170000 | 37343 |417052 | 2.5 | 30M| 44 | 6 | 50 |5367 | 50 | 17 | 19 | 73k|1648 | 0.000000e+00 | -- | Inf
116.36/116.49 c 102s|180000 | 39155 |441107 | 2.5 | 31M| 44 | - | 50 |4815 | 50 | 17 | 19 | 77k|1681 | 0.000000e+00 | -- | Inf
123.26/123.35 c 108s|190000 | 40954 |465760 | 2.5 | 33M| 44 | - | 50 |5308 | 0 | 0 | 19 | 82k|1715 | 0.000000e+00 | -- | Inf
130.46/130.52 c 115s|200000 | 43014 |490492 | 2.5 | 34M| 44 | 6 | 50 |5749 | 50 | 17 | 19 | 86k|1758 | 0.000000e+00 | -- | Inf
137.56/137.69 c 121s|210000 | 44955 |515407 | 2.5 | 36M| 44 | 6 | 50 |6237 | 50 | 17 | 19 | 91k|1795 | 0.000000e+00 | -- | Inf
145.16/145.21 c 128s|220000 | 46773 |540294 | 2.5 | 37M| 44 | - | 50 |5561 | 50 | 17 | 19 | 95k|1833 | 0.000000e+00 | -- | Inf
151.45/151.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.45/151.56 c 133s|230000 | 49465 |564687 | 2.5 | 39M| 44 | - | 50 |6136 | 50 | 17 | 19 | 99k|1869 | 0.000000e+00 | -- | Inf
158.65/158.77 c 140s|240000 | 51438 |590232 | 2.5 | 41M| 44 | 6 | 50 |6434 | 50 | 17 | 19 | 103k|1910 | 0.000000e+00 | -- | Inf
165.95/166.04 c 146s|250000 | 53573 |617215 | 2.5 | 42M| 44 | - | 50 |6340 | 0 | 0 | 19 | 107k|1943 | 0.000000e+00 | -- | Inf
172.75/172.87 c 152s|260000 | 55715 |642206 | 2.5 | 44M| 44 | 6 | 50 |6150 | 50 | 17 | 19 | 111k|1972 | 0.000000e+00 | -- | Inf
179.74/179.85 c 159s|270000 | 57666 |667395 | 2.5 | 45M| 44 | - | 50 |6326 | 50 | 17 | 19 | 115k|1997 | 0.000000e+00 | -- | Inf
187.04/187.13 c 165s|280000 | 59775 |694815 | 2.5 | 47M| 44 | 6 | 50 |5858 | 50 | 17 | 19 | 119k|2033 | 0.000000e+00 | -- | Inf
194.24/194.38 c 171s|290000 | 61504 |721505 | 2.5 | 48M| 44 | 6 | 50 |5290 | 50 | 17 | 19 | 123k|2068 | 0.000000e+00 | -- | Inf
201.25/201.33 c 178s|300000 | 63455 |748908 | 2.5 | 50M| 44 | - | 50 |5735 | 50 | 17 | 19 | 128k|2098 | 0.000000e+00 | -- | Inf
208.54/208.65 c 184s|310000 | 65322 |775676 | 2.5 | 51M| 44 | 6 | 50 |5283 | 50 | 17 | 19 | 132k|2123 | 0.000000e+00 | -- | Inf
215.93/216.04 c 191s|320000 | 66962 |802325 | 2.5 | 52M| 44 | 6 | 50 |5101 | 50 | 17 | 19 | 136k|2152 | 0.000000e+00 | -- | Inf
222.94/223.05 c 197s|330000 | 68690 |828776 | 2.5 | 54M| 44 | - | 50 |5738 | 50 | 17 | 19 | 141k|2172 | 0.000000e+00 | -- | Inf
230.13/230.22 c 203s|340000 | 70408 |854628 | 2.5 | 55M| 44 | - | 50 |5568 | 50 | 17 | 19 | 145k|2202 | 0.000000e+00 | -- | Inf
237.13/237.23 c 209s|350000 | 72131 |881573 | 2.5 | 57M| 44 | 6 | 50 |5658 | 50 | 17 | 19 | 149k|2225 | 0.000000e+00 | -- | Inf
244.83/244.94 c 216s|360000 | 73931 |908527 | 2.5 | 58M| 44 | 6 | 50 |5193 | 50 | 17 | 19 | 153k|2248 | 0.000000e+00 | -- | Inf
252.13/252.23 c 223s|370000 | 75760 |936284 | 2.5 | 60M| 44 | 6 | 50 |5589 | 50 | 17 | 19 | 158k|2277 | 0.000000e+00 | -- | Inf
259.33/259.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
259.33/259.49 c 229s|380000 | 77557 |963972 | 2.5 | 61M| 44 | 6 | 50 |5722 | 50 | 17 | 19 | 162k|2304 | 0.000000e+00 | -- | Inf
266.62/266.78 c 236s|390000 | 79268 |989518 | 2.5 | 62M| 44 | - | 50 |5532 | 50 | 17 | 19 | 166k|2327 | 0.000000e+00 | -- | Inf
273.52/273.61 c 242s|400000 | 81254 | 1016k| 2.5 | 64M| 44 | 6 | 50 |6140 | 50 | 17 | 19 | 170k|2351 | 0.000000e+00 | -- | Inf
281.02/281.10 c 248s|410000 | 82991 | 1044k| 2.5 | 65M| 44 | - | 50 |5164 | 50 | 17 | 19 | 174k|2373 | 0.000000e+00 | -- | Inf
288.32/288.45 c 255s|420000 | 84759 | 1071k| 2.6 | 67M| 44 | 6 | 50 |5317 | 50 | 17 | 19 | 178k|2403 | 0.000000e+00 | -- | Inf
295.32/295.47 c 261s|430000 | 86641 | 1098k| 2.6 | 68M| 44 | 6 | 50 |5550 | 50 | 17 | 19 | 182k|2423 | 0.000000e+00 | -- | Inf
302.71/302.81 c 268s|440000 | 88182 | 1124k| 2.6 | 70M| 44 | 6 | 50 |6093 | 50 | 17 | 19 | 187k|2447 | 0.000000e+00 | -- | Inf
309.80/309.91 c 274s|450000 | 90251 | 1151k| 2.6 | 71M| 44 | - | 50 |6651 | 50 | 17 | 19 | 191k|2465 | 0.000000e+00 | -- | Inf
317.61/317.74 c 281s|460000 | 92013 | 1176k| 2.6 | 72M| 44 | 6 | 50 |5574 | 50 | 17 | 19 | 195k|2489 | 0.000000e+00 | -- | Inf
324.61/324.76 c 287s|470000 | 93893 | 1201k| 2.6 | 74M| 44 | - | 50 |6194 | 50 | 17 | 19 | 199k|2506 | 0.000000e+00 | -- | Inf
332.20/332.31 c 294s|480000 | 95653 | 1224k| 2.6 | 75M| 44 | - | 50 |5897 | 50 | 17 | 19 | 204k|2526 | 0.000000e+00 | -- | Inf
339.91/340.03 c 301s|490000 | 97325 | 1249k| 2.5 | 77M| 44 | - | 50 |5619 | 50 | 17 | 19 | 208k|2546 | 0.000000e+00 | -- | Inf
347.00/347.10 c 307s|500000 | 99250 | 1273k| 2.5 | 78M| 44 | 6 | 50 |5757 | 50 | 17 | 19 | 212k|2572 | 0.000000e+00 | -- | Inf
354.00/354.10 c 313s|510000 |101108 | 1297k| 2.5 | 80M| 44 | 6 | 50 |6071 | 50 | 17 | 19 | 216k|2600 | 0.000000e+00 | -- | Inf
361.09/361.27 c 320s|520000 |103161 | 1321k| 2.5 | 82M| 44 | 6 | 50 |7026 | 50 | 17 | 19 | 220k|2624 | 0.000000e+00 | -- | Inf
368.80/368.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.80/368.98 c 326s|530000 |105042 | 1345k| 2.5 | 83M| 44 | 6 | 50 |6833 | 50 | 17 | 19 | 225k|2646 | 0.000000e+00 | -- | Inf
377.30/377.48 c 334s|540000 |106561 | 1369k| 2.5 | 84M| 44 | 6 | 50 |5848 | 50 | 17 | 19 | 229k|2670 | 0.000000e+00 | -- | Inf
384.69/384.90 c 341s|550000 |108223 | 1393k| 2.5 | 86M| 44 | - | 50 |6635 | 50 | 17 | 19 | 233k|2699 | 0.000000e+00 | -- | Inf
392.99/393.13 c 348s|560000 |109759 | 1417k| 2.5 | 87M| 44 | - | 50 |5995 | 50 | 17 | 19 | 238k|2721 | 0.000000e+00 | -- | Inf
400.88/401.02 c 355s|570000 |111392 | 1441k| 2.5 | 88M| 44 | 6 | 50 |6012 | 50 | 17 | 19 | 242k|2744 | 0.000000e+00 | -- | Inf
408.28/408.44 c 362s|580000 |113198 | 1465k| 2.5 | 90M| 44 | 6 | 50 |6691 | 50 | 17 | 19 | 246k|2763 | 0.000000e+00 | -- | Inf
415.69/415.83 c 368s|590000 |115013 | 1489k| 2.5 | 91M| 44 | - | 50 |6804 | 50 | 17 | 19 | 250k|2791 | 0.000000e+00 | -- | Inf
423.67/423.89 c 376s|600000 |116631 | 1513k| 2.5 | 93M| 44 | 6 | 50 |6010 | 50 | 17 | 19 | 255k|2816 | 0.000000e+00 | -- | Inf
431.38/431.54 c 383s|610000 |118379 | 1537k| 2.5 | 94M| 44 | - | 50 |5641 | 50 | 17 | 19 | 259k|2829 | 0.000000e+00 | -- | Inf
438.48/438.63 c 389s|620000 |120249 | 1561k| 2.5 | 96M| 44 | - | 50 |6218 | 50 | 17 | 19 | 263k|2844 | 0.000000e+00 | -- | Inf
446.48/446.66 c 396s|630000 |121695 | 1585k| 2.5 | 97M| 44 | - | 50 |6460 | 50 | 17 | 19 | 268k|2858 | 0.000000e+00 | -- | Inf
454.37/454.58 c 403s|640000 |123412 | 1609k| 2.5 | 98M| 44 | 6 | 50 |6471 | 50 | 17 | 19 | 272k|2882 | 0.000000e+00 | -- | Inf
461.77/461.91 c 410s|650000 |125437 | 1634k| 2.5 | 100M| 44 | 6 | 50 |7453 | 50 | 17 | 19 | 276k|2902 | 0.000000e+00 | -- | Inf
469.57/469.73 c 417s|660000 |127070 | 1658k| 2.5 | 101M| 44 | - | 50 |7022 | 50 | 17 | 19 | 281k|2916 | 0.000000e+00 | -- | Inf
476.96/477.13 c 423s|670000 |129158 | 1683k| 2.5 | 103M| 44 | 6 | 50 |7828 | 50 | 17 | 19 | 285k|2933 | 0.000000e+00 | -- | Inf
484.76/484.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.76/484.95 c 430s|680000 |131356 | 1707k| 2.5 | 105M| 44 | 6 | 50 |7193 | 50 | 17 | 19 | 288k|2953 | 0.000000e+00 | -- | Inf
492.46/492.68 c 437s|690000 |133227 | 1731k| 2.5 | 106M| 44 | - | 50 |7706 | 50 | 17 | 19 | 293k|2969 | 0.000000e+00 | -- | Inf
499.75/499.98 c 444s|700000 |135588 | 1757k| 2.5 | 108M| 44 | 6 | 50 |8511 | 50 | 17 | 19 | 296k|2988 | 0.000000e+00 | -- | Inf
507.65/507.81 c 451s|710000 |137511 | 1783k| 2.5 | 109M| 44 | 6 | 50 |7778 | 50 | 17 | 19 | 300k|3007 | 0.000000e+00 | -- | Inf
515.16/515.32 c 458s|720000 |139810 | 1808k| 2.5 | 111M| 44 | - | 50 |8704 | 50 | 17 | 19 | 304k|3021 | 0.000000e+00 | -- | Inf
523.25/523.47 c 465s|730000 |141878 | 1833k| 2.5 | 113M| 44 | 6 | 50 |8612 | 50 | 17 | 19 | 308k|3039 | 0.000000e+00 | -- | Inf
531.55/531.79 c 472s|740000 |143705 | 1858k| 2.5 | 114M| 44 | - | 50 |7854 | 50 | 17 | 19 | 312k|3061 | 0.000000e+00 | -- | Inf
539.96/540.20 c 480s|750000 |145469 | 1882k| 2.5 | 115M| 44 | - | 50 |6389 | 50 | 17 | 19 | 317k|3080 | 0.000000e+00 | -- | Inf
547.55/547.80 c 487s|760000 |147565 | 1906k| 2.5 | 116M| 44 | - | 50 |6055 | 0 | 0 | 19 | 320k|3097 | 0.000000e+00 | -- | Inf
555.24/555.48 c 494s|770000 |149439 | 1931k| 2.5 | 118M| 44 | - | 50 |6452 | 50 | 17 | 19 | 325k|3113 | 0.000000e+00 | -- | Inf
562.95/563.10 c 500s|780000 |151177 | 1956k| 2.5 | 119M| 44 | - | 50 |6681 | 50 | 17 | 19 | 329k|3129 | 0.000000e+00 | -- | Inf
571.43/571.65 c 508s|790000 |152680 | 1981k| 2.5 | 121M| 44 | 6 | 50 |6500 | 50 | 17 | 19 | 333k|3150 | 0.000000e+00 | -- | Inf
579.55/579.74 c 515s|800000 |154124 | 2004k| 2.5 | 122M| 44 | 6 | 50 |6654 | 50 | 17 | 19 | 338k|3173 | 0.000000e+00 | -- | Inf
587.63/587.89 c 523s|810000 |155898 | 2028k| 2.5 | 124M| 44 | - | 50 |6882 | 50 | 17 | 19 | 342k|3192 | 0.000000e+00 | -- | Inf
595.94/596.19 c 530s|820000 |157563 | 2053k| 2.5 | 125M| 44 | 6 | 50 |6222 | 50 | 17 | 19 | 346k|3207 | 0.000000e+00 | -- | Inf
604.13/604.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.13/604.30 c 537s|830000 |159198 | 2077k| 2.5 | 126M| 44 | 6 | 50 |6196 | 50 | 17 | 19 | 350k|3226 | 0.000000e+00 | -- | Inf
611.73/611.90 c 544s|840000 |160873 | 2101k| 2.5 | 128M| 44 | 6 | 50 |6917 | 50 | 17 | 19 | 355k|3242 | 0.000000e+00 | -- | Inf
620.13/620.33 c 552s|850000 |162606 | 2125k| 2.5 | 129M| 44 | 6 | 50 |6227 | 50 | 17 | 19 | 359k|3259 | 0.000000e+00 | -- | Inf
627.52/627.78 c 559s|860000 |164426 | 2150k| 2.5 | 130M| 44 | - | 50 |6716 | 50 | 17 | 19 | 363k|3273 | 0.000000e+00 | -- | Inf
635.63/635.83 c 566s|870000 |166162 | 2174k| 2.5 | 132M| 44 | - | 50 |6544 | 50 | 17 | 19 | 367k|3287 | 0.000000e+00 | -- | Inf
642.52/642.72 c 572s|880000 |168390 | 2198k| 2.5 | 134M| 44 | 6 | 50 |7950 | 50 | 17 | 19 | 371k|3302 | 0.000000e+00 | -- | Inf
651.21/651.43 c 580s|890000 |169979 | 2223k| 2.5 | 135M| 44 | - | 50 |7268 | 50 | 17 | 19 | 375k|3324 | 0.000000e+00 | -- | Inf
659.82/660.09 c 588s|900000 |171540 | 2247k| 2.5 | 136M| 44 | - | 50 |6940 | 50 | 17 | 19 | 380k|3339 | 0.000000e+00 | -- | Inf
667.71/667.93 c 595s|910000 |173432 | 2273k| 2.5 | 138M| 44 | 6 | 50 |7226 | 50 | 17 | 19 | 384k|3357 | 0.000000e+00 | -- | Inf
675.91/676.15 c 602s|920000 |174940 | 2296k| 2.5 | 139M| 44 | 6 | 50 |6305 | 50 | 17 | 19 | 388k|3380 | 0.000000e+00 | -- | Inf
682.61/682.82 c 608s|930000 |177485 | 2321k| 2.5 | 141M| 44 | 6 | 50 |7168 | 50 | 17 | 19 | 392k|3393 | 0.000000e+00 | -- | Inf
690.01/690.20 c 615s|940000 |179335 | 2345k| 2.5 | 142M| 44 | 6 | 50 |7758 | 50 | 17 | 19 | 396k|3409 | 0.000000e+00 | -- | Inf
698.00/698.29 c 622s|950000 |181016 | 2370k| 2.5 | 144M| 44 | 6 | 50 |7832 | 50 | 17 | 19 | 400k|3425 | 0.000000e+00 | -- | Inf
705.70/705.90 c 629s|960000 |183105 | 2394k| 2.5 | 146M| 44 | 6 | 50 |8848 | 50 | 17 | 19 | 404k|3444 | 0.000000e+00 | -- | Inf
714.80/715.03 c 637s|970000 |184822 | 2419k| 2.5 | 147M| 44 | 6 | 50 |8101 | 50 | 17 | 19 | 408k|3456 | 0.000000e+00 | -- | Inf
723.50/723.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.50/723.79 c 645s|980000 |186558 | 2443k| 2.5 | 148M| 44 | - | 50 |7119 | 50 | 17 | 19 | 412k|3467 | 0.000000e+00 | -- | Inf
731.90/732.14 c 652s|990000 |188209 | 2468k| 2.5 | 149M| 44 | - | 50 |6470 | 50 | 17 | 19 | 416k|3475 | 0.000000e+00 | -- | Inf
739.09/739.34 c 659s| 1000k|190266 | 2492k| 2.5 | 151M| 44 | 6 | 50 |7409 | 50 | 17 | 19 | 420k|3484 | 0.000000e+00 | -- | Inf
746.50/746.73 c 665s| 1010k|192347 | 2515k| 2.5 | 153M| 44 | 6 | 50 |8407 | 50 | 17 | 19 | 424k|3491 | 0.000000e+00 | -- | Inf
754.89/755.18 c 673s| 1020k|194001 | 2540k| 2.5 | 154M| 44 | 6 | 50 |7913 | 50 | 17 | 19 | 429k|3504 | 0.000000e+00 | -- | Inf
763.59/763.81 c 681s| 1030k|195555 | 2564k| 2.5 | 155M| 44 | 6 | 50 |6957 | 50 | 17 | 19 | 433k|3518 | 0.000000e+00 | -- | Inf
772.09/772.31 c 688s| 1040k|196991 | 2588k| 2.5 | 157M| 44 | - | 50 |6246 | 0 | 0 | 19 | 437k|3529 | 0.000000e+00 | -- | Inf
780.29/780.54 c 696s| 1050k|198506 | 2613k| 2.5 | 158M| 44 | - | 50 |6090 | 50 | 17 | 19 | 441k|3545 | 0.000000e+00 | -- | Inf
788.39/788.61 c 703s| 1060k|200046 | 2638k| 2.5 | 159M| 44 | - | 50 |6027 | 50 | 17 | 19 | 446k|3557 | 0.000000e+00 | -- | Inf
796.09/796.38 c 710s| 1070k|201698 | 2662k| 2.5 | 161M| 44 | 6 | 50 |6886 | 50 | 17 | 19 | 450k|3571 | 0.000000e+00 | -- | Inf
803.28/803.55 c 716s| 1080k|203785 | 2686k| 2.5 | 162M| 44 | - | 50 |7278 | 0 | 0 | 19 | 454k|3591 | 0.000000e+00 | -- | Inf
811.18/811.41 c 724s| 1090k|205698 | 2710k| 2.5 | 164M| 44 | - | 50 |7784 | 50 | 17 | 19 | 458k|3604 | 0.000000e+00 | -- | Inf
819.18/819.45 c 731s| 1100k|207469 | 2735k| 2.5 | 165M| 44 | 6 | 50 |7356 | 50 | 17 | 19 | 462k|3621 | 0.000000e+00 | -- | Inf
827.87/828.15 c 739s| 1110k|209045 | 2762k| 2.5 | 166M| 44 | 6 | 50 |6041 | 50 | 17 | 19 | 466k|3638 | 0.000000e+00 | -- | Inf
835.78/836.04 c 746s| 1120k|210815 | 2790k| 2.5 | 168M| 44 | 6 | 50 |6744 | 50 | 17 | 19 | 470k|3656 | 0.000000e+00 | -- | Inf
843.47/843.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.47/843.76 c 753s| 1130k|212854 | 2817k| 2.5 | 170M| 44 | - | 50 |7539 | 50 | 17 | 19 | 474k|3672 | 0.000000e+00 | -- | Inf
851.26/851.56 c 760s| 1140k|214909 | 2845k| 2.5 | 171M| 44 | 6 | 50 |7562 | 50 | 17 | 19 | 478k|3686 | 0.000000e+00 | -- | Inf
859.36/859.64 c 767s| 1150k|216737 | 2871k| 2.5 | 173M| 44 | 6 | 50 |7755 | 50 | 17 | 19 | 482k|3698 | 0.000000e+00 | -- | Inf
866.96/867.28 c 774s| 1160k|219057 | 2898k| 2.5 | 174M| 44 | - | 50 |7109 | 50 | 17 | 19 | 486k|3715 | 0.000000e+00 | -- | Inf
874.06/874.35 c 780s| 1170k|221593 | 2924k| 2.5 | 176M| 44 | 6 | 50 |7565 | 50 | 17 | 19 | 489k|3726 | 0.000000e+00 | -- | Inf
881.25/881.50 c 786s| 1180k|224076 | 2952k| 2.5 | 177M| 44 | - | 50 |7472 | 50 | 17 | 19 | 492k|3744 | 0.000000e+00 | -- | Inf
888.46/888.70 c 793s| 1190k|226312 | 2979k| 2.5 | 179M| 44 | - | 50 |7403 | 50 | 17 | 19 | 496k|3758 | 0.000000e+00 | -- | Inf
896.05/896.35 c 800s| 1200k|228105 | 3005k| 2.5 | 180M| 44 | 6 | 50 |7604 | 50 | 17 | 19 | 499k|3776 | 0.000000e+00 | -- | Inf
904.15/904.45 c 807s| 1210k|229885 | 3032k| 2.5 | 182M| 44 | - | 50 |6868 | 50 | 17 | 19 | 503k|3795 | 0.000000e+00 | -- | Inf
912.65/912.95 c 815s| 1220k|231362 | 3060k| 2.5 | 183M| 44 | 6 | 50 |6677 | 50 | 17 | 19 | 507k|3813 | 0.000000e+00 | -- | Inf
919.85/920.19 c 821s| 1230k|233544 | 3087k| 2.5 | 185M| 44 | - | 50 |7583 | 0 | 0 | 19 | 511k|3829 | 0.000000e+00 | -- | Inf
928.54/928.82 c 829s| 1240k|235229 | 3114k| 2.5 | 186M| 44 | - | 50 |6480 | 50 | 17 | 19 | 515k|3848 | 0.000000e+00 | -- | Inf
935.75/936.04 c 835s| 1250k|237910 | 3142k| 2.5 | 188M| 44 | - | 50 |6778 | 0 | 0 | 19 | 519k|3859 | 0.000000e+00 | -- | Inf
943.04/943.33 c 842s| 1260k|240472 | 3170k| 2.5 | 189M| 44 | - | 50 |7926 | 0 | 0 | 19 | 523k|3871 | 0.000000e+00 | -- | Inf
950.84/951.14 c 849s| 1270k|242604 | 3198k| 2.5 | 191M| 44 | 6 | 50 |8096 | 50 | 17 | 19 | 526k|3882 | 0.000000e+00 | -- | Inf
958.43/958.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.43/958.75 c 856s| 1280k|245077 | 3225k| 2.5 | 193M| 44 | 6 | 50 |8649 | 50 | 17 | 19 | 530k|3896 | 0.000000e+00 | -- | Inf
966.64/966.91 c 863s| 1290k|247170 | 3253k| 2.5 | 194M| 44 | 6 | 50 |8497 | 50 | 17 | 19 | 534k|3906 | 0.000000e+00 | -- | Inf
974.83/975.13 c 870s| 1300k|249031 | 3280k| 2.5 | 196M| 44 | - | 50 |8286 | 0 | 0 | 19 | 538k|3919 | 0.000000e+00 | -- | Inf
982.73/983.02 c 877s| 1310k|251313 | 3308k| 2.5 | 197M| 44 | - | 50 |8789 | 50 | 17 | 19 | 541k|3936 | 0.000000e+00 | -- | Inf
990.52/990.84 c 884s| 1320k|253565 | 3336k| 2.5 | 199M| 44 | - | 50 |9425 | 0 | 0 | 19 | 545k|3948 | 0.000000e+00 | -- | Inf
998.72/999.00 c 892s| 1330k|255837 | 3363k| 2.5 | 200M| 44 | 6 | 50 |9336 | 50 | 17 | 19 | 548k|3963 | 0.000000e+00 | -- | Inf
1007.23/1007.52 c 899s| 1340k|257777 | 3390k| 2.5 | 202M| 44 | - | 50 |9378 | 50 | 17 | 19 | 552k|3975 | 0.000000e+00 | -- | Inf
1015.62/1015.99 c 907s| 1350k|259825 | 3416k| 2.5 | 203M| 44 | - | 50 |8733 | 50 | 17 | 19 | 556k|3987 | 0.000000e+00 | -- | Inf
1024.62/1024.90 c 915s| 1360k|261592 | 3444k| 2.5 | 204M| 44 | - | 50 |7790 | 50 | 17 | 19 | 560k|4002 | 0.000000e+00 | -- | Inf
1032.62/1032.98 c 922s| 1370k|263451 | 3471k| 2.5 | 206M| 44 | 6 | 50 |7850 | 50 | 17 | 19 | 563k|4017 | 0.000000e+00 | -- | Inf
1041.42/1041.71 c 930s| 1380k|265113 | 3497k| 2.5 | 207M| 44 | 6 | 50 |7162 | 50 | 17 | 19 | 567k|4031 | 0.000000e+00 | -- | Inf
1049.51/1049.86 c 938s| 1390k|266921 | 3523k| 2.5 | 208M| 44 | - | 50 |6994 | 50 | 17 | 19 | 572k|4042 | 0.000000e+00 | -- | Inf
1057.41/1057.76 c 945s| 1400k|268731 | 3549k| 2.5 | 210M| 44 | 6 | 50 |7042 | 50 | 17 | 19 | 575k|4058 | 0.000000e+00 | -- | Inf
1065.41/1065.73 c 952s| 1410k|270468 | 3575k| 2.5 | 211M| 44 | 6 | 50 |6976 | 50 | 17 | 19 | 580k|4070 | 0.000000e+00 | -- | Inf
1073.81/1074.11 c 959s| 1420k|272041 | 3601k| 2.5 | 213M| 44 | 6 | 50 |7562 | 50 | 17 | 19 | 584k|4079 | 0.000000e+00 | -- | Inf
1082.40/1082.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.40/1082.72 c 967s| 1430k|273519 | 3626k| 2.5 | 214M| 44 | - | 50 |6615 | 50 | 17 | 19 | 588k|4091 | 0.000000e+00 | -- | Inf
1090.20/1090.54 c 974s| 1440k|275248 | 3652k| 2.5 | 215M| 44 | 6 | 50 |6717 | 50 | 17 | 19 | 592k|4106 | 0.000000e+00 | -- | Inf
1098.61/1098.94 c 982s| 1450k|276925 | 3677k| 2.5 | 217M| 44 | - | 50 |6135 | 50 | 17 | 19 | 596k|4124 | 0.000000e+00 | -- | Inf
1106.50/1106.81 c 989s| 1460k|278456 | 3704k| 2.5 | 218M| 44 | 6 | 50 |6332 | 50 | 17 | 19 | 600k|4137 | 0.000000e+00 | -- | Inf
1114.80/1115.11 c 996s| 1470k|279942 | 3729k| 2.5 | 219M| 44 | 6 | 50 |6447 | 50 | 17 | 19 | 604k|4148 | 0.000000e+00 | -- | Inf
1122.49/1122.83 c 1003s| 1480k|281808 | 3755k| 2.5 | 221M| 44 | 6 | 50 |6934 | 50 | 17 | 19 | 608k|4160 | 0.000000e+00 | -- | Inf
1129.49/1129.81 c 1009s| 1490k|283906 | 3782k| 2.5 | 223M| 44 | 6 | 50 |7708 | 50 | 17 | 19 | 612k|4174 | 0.000000e+00 | -- | Inf
1137.39/1137.78 c 1016s| 1500k|286011 | 3810k| 2.5 | 224M| 44 | 6 | 50 |7415 | 50 | 17 | 19 | 615k|4188 | 0.000000e+00 | -- | Inf
1146.29/1146.61 c 1024s| 1510k|287642 | 3837k| 2.5 | 225M| 44 | - | 50 |6375 | 50 | 17 | 19 | 620k|4205 | 0.000000e+00 | -- | Inf
1154.48/1154.86 c 1032s| 1520k|289290 | 3863k| 2.5 | 226M| 44 | 6 | 50 |6557 | 50 | 17 | 19 | 624k|4219 | 0.000000e+00 | -- | Inf
1162.69/1163.02 c 1039s| 1530k|291035 | 3891k| 2.5 | 228M| 44 | 6 | 50 |6549 | 50 | 17 | 19 | 627k|4235 | 0.000000e+00 | -- | Inf
1170.98/1171.35 c 1047s| 1540k|292765 | 3919k| 2.5 | 229M| 44 | 6 | 50 |6419 | 50 | 17 | 19 | 631k|4247 | 0.000000e+00 | -- | Inf
1178.27/1178.67 c 1053s| 1550k|294787 | 3947k| 2.5 | 231M| 44 | - | 50 |7028 | 50 | 17 | 19 | 635k|4263 | 0.000000e+00 | -- | Inf
1186.27/1186.61 c 1060s| 1560k|296526 | 3973k| 2.5 | 232M| 44 | 6 | 50 |7162 | 50 | 17 | 19 | 639k|4270 | 0.000000e+00 | -- | Inf
1193.77/1194.16 c 1067s| 1570k|299137 | 4001k| 2.5 | 234M| 44 | - | 50 |7623 | 50 | 17 | 19 | 642k|4711 | 0.000000e+00 | -- | Inf
1201.77/1202.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.77/1202.10 c 1074s| 1580k|301359 | 4030k| 2.6 | 236M| 44 | - | 50 |8335 | 50 | 17 | 19 | 646k|4919 | 0.000000e+00 | -- | Inf
1209.77/1210.13 c 1081s| 1590k|303262 | 4058k| 2.6 | 237M| 44 | 6 | 50 |8368 | 50 | 17 | 19 | 649k|4919 | 0.000000e+00 | -- | Inf
1217.77/1218.15 c 1089s| 1600k|305166 | 4085k| 2.6 | 239M| 44 | 6 | 50 |8377 | 50 | 17 | 19 | 653k|4919 | 0.000000e+00 | -- | Inf
1226.18/1226.53 c 1096s| 1610k|307061 | 4112k| 2.6 | 240M| 44 | - | 50 |8395 | 0 | 0 | 19 | 657k|4919 | 0.000000e+00 | -- | Inf
1234.06/1234.46 c 1103s| 1620k|308791 | 4138k| 2.6 | 242M| 44 | - | 50 |8667 | 50 | 17 | 19 | 661k|4919 | 0.000000e+00 | -- | Inf
1243.16/1243.58 c 1112s| 1630k|310206 | 4165k| 2.6 | 243M| 44 | - | 50 |6729 | 50 | 17 | 19 | 665k|4919 | 0.000000e+00 | -- | Inf
1251.46/1251.81 c 1119s| 1640k|311838 | 4191k| 2.6 | 244M| 44 | 6 | 50 |6661 | 50 | 17 | 19 | 669k|4919 | 0.000000e+00 | -- | Inf
1260.16/1260.54 c 1127s| 1650k|313315 | 4218k| 2.6 | 245M| 44 | 6 | 50 |6539 | 50 | 17 | 19 | 673k|4919 | 0.000000e+00 | -- | Inf
1268.65/1269.06 c 1135s| 1660k|314836 | 4245k| 2.6 | 246M| 44 | - | 50 |5964 | 50 | 17 | 19 | 677k|4919 | 0.000000e+00 | -- | Inf
1276.85/1277.25 c 1142s| 1670k|316330 | 4273k| 2.6 | 248M| 44 | 6 | 50 |5596 | 50 | 17 | 19 | 681k|4919 | 0.000000e+00 | -- | Inf
1284.95/1285.31 c 1149s| 1680k|317812 | 4300k| 2.6 | 249M| 44 | - | 50 |5366 | 50 | 17 | 19 | 685k|4919 | 0.000000e+00 | -- | Inf
1292.65/1293.09 c 1156s| 1690k|319379 | 4327k| 2.6 | 250M| 44 | 6 | 50 |5608 | 50 | 17 | 19 | 689k|4919 | 0.000000e+00 | -- | Inf
1300.14/1300.53 c 1163s| 1700k|320983 | 4353k| 2.6 | 252M| 44 | 6 | 50 |6628 | 50 | 17 | 19 | 693k|4919 | 0.000000e+00 | -- | Inf
1308.04/1308.46 c 1170s| 1710k|322609 | 4381k| 2.6 | 253M| 44 | 6 | 50 |6063 | 50 | 17 | 19 | 697k|4919 | 0.000000e+00 | -- | Inf
1315.14/1315.59 c 1176s| 1720k|324683 | 4409k| 2.6 | 255M| 44 | 6 | 50 |7756 | 50 | 17 | 19 | 701k|4919 | 0.000000e+00 | -- | Inf
1324.23/1324.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.23/1324.67 c 1185s| 1730k|326155 | 4437k| 2.6 | 256M| 44 | 6 | 50 |6611 | 50 | 17 | 19 | 705k|4919 | 0.000000e+00 | -- | Inf
1332.43/1332.89 c 1192s| 1740k|327835 | 4464k| 2.6 | 257M| 44 | - | 50 |6526 | 50 | 17 | 19 | 709k|4919 | 0.000000e+00 | -- | Inf
1340.23/1340.68 c 1199s| 1750k|329501 | 4491k| 2.6 | 259M| 44 | 6 | 50 |6980 | 50 | 17 | 19 | 713k|4919 | 0.000000e+00 | -- | Inf
1347.93/1348.34 c 1206s| 1760k|331181 | 4517k| 2.6 | 260M| 44 | - | 50 |8011 | 50 | 17 | 19 | 717k|4919 | 0.000000e+00 | -- | Inf
1357.13/1357.52 c 1214s| 1770k|332921 | 4545k| 2.6 | 261M| 44 | - | 50 |6786 | 50 | 17 | 19 | 721k|4919 | 0.000000e+00 | -- | Inf
1364.23/1364.66 c 1220s| 1780k|335264 | 4573k| 2.6 | 263M| 44 | 6 | 50 |7716 | 50 | 17 | 19 | 724k|4919 | 0.000000e+00 | -- | Inf
1371.93/1372.38 c 1227s| 1790k|337337 | 4599k| 2.6 | 265M| 44 | - | 50 |8082 | 50 | 17 | 19 | 728k|4919 | 0.000000e+00 | -- | Inf
1380.03/1380.49 c 1235s| 1800k|339474 | 4627k| 2.6 | 266M| 44 | - | 50 |8239 | 0 | 0 | 19 | 731k|4923 | 0.000000e+00 | -- | Inf
1388.42/1388.87 c 1242s| 1810k|341533 | 4654k| 2.6 | 268M| 44 | 6 | 50 |7383 | 50 | 17 | 19 | 735k|4933 | 0.000000e+00 | -- | Inf
1396.22/1396.69 c 1249s| 1820k|343495 | 4680k| 2.6 | 269M| 44 | 6 | 50 |8100 | 50 | 17 | 19 | 739k|4941 | 0.000000e+00 | -- | Inf
1404.91/1405.37 c 1257s| 1830k|345074 | 4707k| 2.6 | 270M| 44 | 6 | 50 |6713 | 50 | 17 | 19 | 743k|4949 | 0.000000e+00 | -- | Inf
1413.01/1413.47 c 1264s| 1840k|346577 | 4734k| 2.6 | 272M| 44 | 6 | 50 |6921 | 50 | 17 | 19 | 747k|4956 | 0.000000e+00 | -- | Inf
1421.20/1421.62 c 1272s| 1850k|348310 | 4761k| 2.6 | 273M| 44 | 6 | 50 |6298 | 50 | 17 | 19 | 751k|4972 | 0.000000e+00 | -- | Inf
1428.40/1428.81 c 1278s| 1860k|350372 | 4787k| 2.6 | 275M| 44 | - | 50 |6671 | 50 | 17 | 19 | 754k|4989 | 0.000000e+00 | -- | Inf
1435.99/1436.46 c 1285s| 1870k|352368 | 4814k| 2.6 | 276M| 44 | 6 | 50 |6764 | 50 | 17 | 19 | 758k|4999 | 0.000000e+00 | -- | Inf
1444.79/1445.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.79/1445.23 c 1293s| 1880k|353862 | 4841k| 2.6 | 277M| 44 | - | 50 |6222 | 50 | 17 | 19 | 762k|5009 | 0.000000e+00 | -- | Inf
1451.39/1451.88 c 1299s| 1890k|356118 | 4867k| 2.6 | 279M| 44 | - | 50 |7192 | 50 | 17 | 19 | 766k|5028 | 0.000000e+00 | -- | Inf
1459.69/1460.10 c 1306s| 1900k|357701 | 4893k| 2.6 | 280M| 44 | - | 50 |6177 | 50 | 17 | 19 | 770k|5036 | 0.000000e+00 | -- | Inf
1467.58/1468.09 c 1313s| 1910k|359271 | 4920k| 2.6 | 282M| 44 | 6 | 50 |5995 | 50 | 17 | 19 | 774k|5045 | 0.000000e+00 | -- | Inf
1475.70/1476.17 c 1321s| 1920k|360875 | 4946k| 2.6 | 283M| 44 | - | 50 |6225 | 50 | 17 | 19 | 778k|5053 | 0.000000e+00 | -- | Inf
1483.29/1483.72 c 1327s| 1930k|362679 | 4973k| 2.6 | 284M| 44 | - | 50 |6551 | 0 | 0 | 19 | 782k|5066 | 0.000000e+00 | -- | Inf
1491.39/1491.88 c 1335s| 1940k|364370 | 5000k| 2.6 | 286M| 44 | 6 | 50 |6162 | 50 | 17 | 19 | 786k|5078 | 0.000000e+00 | -- | Inf
1498.98/1499.49 c 1341s| 1950k|366190 | 5027k| 2.6 | 287M| 44 | 6 | 50 |6506 | 50 | 17 | 19 | 789k|5087 | 0.000000e+00 | -- | Inf
1507.28/1507.75 c 1349s| 1960k|367805 | 5054k| 2.6 | 288M| 44 | - | 50 |6532 | 50 | 17 | 19 | 793k|5103 | 0.000000e+00 | -- | Inf
1514.67/1515.12 c 1355s| 1970k|369899 | 5080k| 2.6 | 290M| 44 | 6 | 50 |7174 | 50 | 17 | 19 | 797k|5113 | 0.000000e+00 | -- | Inf
1521.57/1522.08 c 1362s| 1980k|372369 | 5107k| 2.6 | 292M| 44 | 6 | 50 |7926 | 50 | 17 | 19 | 801k|5119 | 0.000000e+00 | -- | Inf
1529.07/1529.54 c 1368s| 1990k|374646 | 5134k| 2.6 | 294M| 44 | - | 50 |8291 | 0 | 0 | 19 | 804k|5129 | 0.000000e+00 | -- | Inf
1536.87/1537.39 c 1375s| 2000k|376420 | 5162k| 2.6 | 295M| 44 | 6 | 50 |7883 | 50 | 17 | 19 | 808k|5135 | 0.000000e+00 | -- | Inf
1544.66/1545.10 c 1382s| 2010k|378140 | 5190k| 2.6 | 296M| 44 | - | 50 |7993 | 50 | 17 | 19 | 812k|5144 | 0.000000e+00 | -- | Inf
1553.77/1554.21 c 1390s| 2020k|379811 | 5217k| 2.6 | 297M| 44 | 6 | 50 |6781 | 50 | 17 | 19 | 816k|5150 | 0.000000e+00 | -- | Inf
1562.27/1562.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.27/1562.78 c 1398s| 2030k|381237 | 5244k| 2.6 | 299M| 44 | 6 | 50 |6508 | 50 | 17 | 19 | 820k|5159 | 0.000000e+00 | -- | Inf
1569.36/1569.85 c 1405s| 2040k|383400 | 5271k| 2.6 | 300M| 44 | 6 | 50 |7193 | 50 | 17 | 19 | 823k|5169 | 0.000000e+00 | -- | Inf
1578.16/1578.63 c 1412s| 2050k|384775 | 5298k| 2.6 | 302M| 44 | 6 | 50 |6618 | 50 | 17 | 19 | 828k|5182 | 0.000000e+00 | -- | Inf
1586.06/1586.58 c 1420s| 2060k|386473 | 5325k| 2.6 | 303M| 44 | 6 | 50 |6641 | 50 | 17 | 19 | 831k|5191 | 0.000000e+00 | -- | Inf
1595.25/1595.73 c 1428s| 2070k|387882 | 5352k| 2.6 | 304M| 44 | 6 | 50 |5815 | 50 | 17 | 19 | 835k|5201 | 0.000000e+00 | -- | Inf
1603.36/1603.86 c 1435s| 2080k|389394 | 5379k| 2.6 | 305M| 44 | 6 | 50 |6512 | 50 | 17 | 19 | 839k|5212 | 0.000000e+00 | -- | Inf
1611.96/1612.45 c 1443s| 2090k|390786 | 5406k| 2.6 | 307M| 44 | - | 50 |6291 | 50 | 17 | 19 | 843k|5222 | 0.000000e+00 | -- | Inf
1620.45/1620.95 c 1451s| 2100k|392309 | 5433k| 2.6 | 308M| 44 | 6 | 50 |6228 | 50 | 17 | 19 | 847k|5236 | 0.000000e+00 | -- | Inf
1628.15/1628.68 c 1458s| 2110k|394340 | 5460k| 2.6 | 309M| 44 | - | 50 |6438 | 50 | 17 | 19 | 851k|5247 | 0.000000e+00 | -- | Inf
1634.95/1635.47 c 1464s| 2120k|397245 | 5487k| 2.6 | 311M| 44 | 6 | 50 |7077 | 50 | 17 | 19 | 855k|5261 | 0.000000e+00 | -- | Inf
1642.34/1642.81 c 1470s| 2130k|399287 | 5516k| 2.6 | 313M| 44 | - | 50 |7169 | 50 | 17 | 19 | 858k|5270 | 0.000000e+00 | -- | Inf
1649.84/1650.36 c 1477s| 2140k|401257 | 5544k| 2.6 | 314M| 44 | 6 | 50 |7303 | 50 | 17 | 19 | 862k|5282 | 0.000000e+00 | -- | Inf
1657.15/1657.61 c 1483s| 2150k|403529 | 5572k| 2.6 | 316M| 44 | 6 | 50 |8620 | 50 | 17 | 19 | 866k|5290 | 0.000000e+00 | -- | Inf
1664.84/1665.31 c 1490s| 2160k|406053 | 5599k| 2.6 | 318M| 44 | - | 50 |8364 | 50 | 17 | 19 | 869k|5296 | 0.000000e+00 | -- | Inf
1672.43/1672.97 c 1497s| 2170k|408360 | 5628k| 2.6 | 319M| 44 | 6 | 50 |8737 | 50 | 17 | 19 | 872k|5305 | 0.000000e+00 | -- | Inf
1680.34/1680.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.34/1680.88 c 1504s| 2180k|410261 | 5656k| 2.6 | 321M| 44 | - | 50 |8666 | 50 | 17 | 19 | 876k|5318 | 0.000000e+00 | -- | Inf
1687.94/1688.42 c 1511s| 2190k|412727 | 5683k| 2.6 | 323M| 44 | - | 50 |9567 | 50 | 17 | 19 | 879k|5340 | 0.000000e+00 | -- | Inf
1696.23/1696.76 c 1518s| 2200k|414519 | 5710k| 2.6 | 324M| 44 | 6 | 50 |8946 | 50 | 17 | 19 | 883k|5349 | 0.000000e+00 | -- | Inf
1704.54/1705.07 c 1526s| 2210k|416346 | 5738k| 2.6 | 325M| 44 | 6 | 50 |8517 | 50 | 17 | 19 | 887k|5363 | 0.000000e+00 | -- | Inf
1713.02/1713.52 c 1533s| 2220k|418101 | 5767k| 2.6 | 326M| 44 | 6 | 50 |7885 | 50 | 17 | 19 | 890k|5373 | 0.000000e+00 | -- | Inf
1721.33/1721.88 c 1541s| 2230k|419791 | 5794k| 2.6 | 328M| 44 | - | 50 |7775 | 50 | 17 | 19 | 894k|5384 | 0.000000e+00 | -- | Inf
1730.62/1731.13 c 1549s| 2240k|421396 | 5821k| 2.6 | 329M| 44 | 6 | 50 |6339 | 50 | 17 | 19 | 898k|5394 | 0.000000e+00 | -- | Inf
1738.92/1739.48 c 1557s| 2250k|423007 | 5849k| 2.6 | 330M| 44 | 6 | 50 |6255 | 50 | 17 | 19 | 902k|5406 | 0.000000e+00 | -- | Inf
1747.32/1747.89 c 1564s| 2260k|424519 | 5876k| 2.6 | 331M| 44 | 6 | 50 |6272 | 50 | 17 | 19 | 906k|5420 | 0.000000e+00 | -- | Inf
1755.62/1756.19 c 1572s| 2270k|426016 | 5904k| 2.6 | 333M| 44 | 6 | 50 |6920 | 50 | 17 | 19 | 910k|5430 | 0.000000e+00 | -- | Inf
1763.92/1764.42 c 1579s| 2280k|427745 | 5930k| 2.6 | 334M| 44 | 6 | 50 |6532 | 50 | 17 | 19 | 914k|5437 | 0.000000e+00 | -- | Inf
1772.91/1773.42 c 1587s| 2290k|429220 | 5958k| 2.6 | 335M| 44 | 6 | 50 |6243 | 50 | 17 | 19 | 918k|5450 | 0.000000e+00 | -- | Inf
1781.61/1782.16 c 1595s| 2300k|430621 | 5985k| 2.6 | 337M| 44 | 6 | 50 |6127 | 50 | 17 | 19 | 922k|5468 | 0.000000e+00 | -- | Inf
1789.60/1790.10 c 1602s| 2310k|432371 | 6013k| 2.6 | 338M| 44 | 6 | 50 |6428 | 50 | 17 | 19 | 926k|5474 | 0.000000e+00 | -- | Inf
1797.70/1798.26 c 1610s| 2320k|434166 | 6040k| 2.6 | 339M| 44 | 6 | 50 |6618 | 50 | 17 | 19 | 929k|5485 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1611.77
1800.01/1800.50 c Solving Nodes : 2322797
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1611.77
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2665445-1276612663.opb
1800.01/1800.50 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 13 initial, 13 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2665445-1276612663.opb
1800.01/1800.50 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 6 initial, 9660 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.01 0 0 0 0 0 7 0 0
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 1403303 0 483 2133 0 0 2801804
1800.01/1800.51 c linear : 6+ 7 5153453 0 0 266281 3701568 0 0 0
1800.01/1800.51 c logicor : 0+ 0 2141357 0 0 6988 746366 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 20.10 0.00 0.00 20.10 0.00
1800.01/1800.51 c linear : 238.01 0.00 238.01 0.00 0.00
1800.01/1800.51 c logicor : 355.82 0.00 355.82 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 2.46 2 0 0
1800.01/1800.51 c rootredcost : 2.50 0 0 0
1800.01/1800.51 c pseudoobj : 2.25 0 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 25.30 273269 200399 652044 35.2 13 31.4 -
1800.01/1800.51 c infeasible LP : 38.39 692269 512966 894743 23.5 1515 28.9 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 731458 21.0 - - -
1800.01/1800.51 c applied locally : - - - 199553 33.8 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 5 - - 18 - (maximal pool size: 77)
1800.01/1800.51 c redcost : 3.66 1403307 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.01 6 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 6 0 0 32 0
1800.01/1800.51 c cmir : 0.03 6 0 0 27 0
1800.01/1800.51 c flowcover : 0.02 6 0 0 33 0
1800.01/1800.51 c clique : 0.00 1 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.07 1 0 0 0 1
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 17.88 1403303 483 2133 0 0 2801804
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 2.23 0 0
1800.01/1800.51 c crossover : 1.47 0 0
1800.01/1800.51 c guideddiving : 0.20 0 0
1800.01/1800.51 c fracdiving : 0.18 48 0
1800.01/1800.51 c veclendiving : 0.13 48 0
1800.01/1800.51 c coefdiving : 0.24 49 0
1800.01/1800.51 c pscostdiving : 0.10 49 0
1800.01/1800.51 c linesearchdiving : 0.19 49 0
1800.01/1800.51 c objpscostdiving : 0.18 25 0
1800.01/1800.51 c rootsoldiving : 0.19 25 0
1800.01/1800.51 c feaspump : 0.23 25 0
1800.01/1800.51 c trivial : 0.00 2 0
1800.01/1800.51 c simplerounding : 0.92 0 0
1800.01/1800.51 c zirounding : 1.33 1000 0
1800.01/1800.51 c rounding : 1.79 16690 0
1800.01/1800.51 c shifting : 3.31 5004 0
1800.01/1800.51 c intshifting : 0.08 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.03 1 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 1.52 0 0
1800.01/1800.51 c trysol : 1.82 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 429.29 2032001 6046109 2.98 14083.97
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.28 865 1872 2.16 6685.71
1800.01/1800.51 c strong branching : 1.65 5488 31014 5.65 18796.36
1800.01/1800.51 c (at root node) : - 10 419 41.90 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2322797
1800.01/1800.51 c nodes (total) : 2322797
1800.01/1800.51 c nodes left : 434623
1800.01/1800.51 c max depth : 44
1800.01/1800.51 c max depth (total): 44
1800.01/1800.51 c backtracks : 302605 (13.0%)
1800.01/1800.51 c delayed cutoffs : 44385
1800.01/1800.51 c repropagations : 1658911 (1028732 domain reductions, 43536 cutoffs)
1800.01/1800.51 c avg switch length: 4.85
1800.01/1800.51 c switching time : 287.34
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 76
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665445-1276612663/watcher-2665445-1276612663 -o /tmp/evaluation-result-2665445-1276612663/solver-2665445-1276612663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665445-1276612663.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.11 1.09 1.01 4/106 11603
/proc/meminfo: memFree=1402588/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=9288 CPUtime=0
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 1043 0 0 0 0 0 0 0 18 0 1 0 2556938 9510912 963 1992294400 4194304 9819077 140733487157248 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11603/statm: 2322 972 371 1374 0 943 0
[startup+0.064304 s]
/proc/loadavg: 1.11 1.09 1.01 4/106 11603
/proc/meminfo: memFree=1402588/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=21564 CPUtime=0.06
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 5004 0 0 0 4 2 0 0 18 0 1 0 2556938 22081536 3790 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 5391 3790 676 1374 0 4012 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21564
[startup+0.101307 s]
/proc/loadavg: 1.11 1.09 1.01 4/106 11603
/proc/meminfo: memFree=1402588/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=21696 CPUtime=0.09
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 5012 0 0 0 7 2 0 0 18 0 1 0 2556938 22216704 3798 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 5424 3798 676 1374 0 4045 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21696
[startup+0.30133 s]
/proc/loadavg: 1.11 1.09 1.01 4/106 11603
/proc/meminfo: memFree=1402588/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=15080 CPUtime=0.29
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 9932 0 0 0 23 6 0 0 18 0 1 0 2556938 15441920 2606 1992294400 4194304 9819077 140733487157248 18446744073709551615 5435217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 3770 2606 721 1374 0 2391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15080
[startup+0.701374 s]
/proc/loadavg: 1.11 1.09 1.01 4/106 11603
/proc/meminfo: memFree=1402588/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=15400 CPUtime=0.69
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 16876 0 0 0 56 13 0 0 18 0 1 0 2556938 15769600 2610 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 3810 2609 724 1374 0 2431 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15400
[startup+1.50146 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 11604
/proc/meminfo: memFree=1394272/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=16156 CPUtime=1.49
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 24996 0 0 0 123 26 0 0 19 0 1 0 2556938 16543744 2727 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 4039 2727 724 1374 0 2660 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16156
[startup+3.10164 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 11604
/proc/meminfo: memFree=1393404/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=18040 CPUtime=3.09
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 40729 0 0 0 260 49 0 0 23 0 1 0 2556938 18472960 3210 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 4510 3210 724 1374 0 3131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18040
[startup+6.30101 s]
/proc/loadavg: 1.10 1.08 1.01 2/107 11604
/proc/meminfo: memFree=1390552/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=20784 CPUtime=6.29
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 71126 0 0 0 538 91 0 0 25 0 1 0 2556938 21282816 3855 1992294400 4194304 9819077 140733487157248 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 5196 3855 724 1374 0 3817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20784
[startup+12.7017 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 11604
/proc/meminfo: memFree=1387576/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=23536 CPUtime=12.69
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 129782 0 0 0 1089 180 0 0 25 0 1 0 2556938 24100864 4548 1992294400 4194304 9819077 140733487157248 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 5884 4548 725 1374 0 4505 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23536
[startup+25.5012 s]
/proc/loadavg: 1.07 1.08 1.01 2/107 11604
/proc/meminfo: memFree=1383360/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=26364 CPUtime=25.48
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 245460 0 0 0 2196 352 0 0 25 0 1 0 2556938 26996736 5428 1992294400 4194304 9819077 140733487157248 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 6751 5432 725 1374 0 5372 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26364
[startup+51.1011 s]
/proc/loadavg: 1.04 1.07 1.00 2/107 11604
/proc/meminfo: memFree=1375424/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=34988 CPUtime=51.07
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 461137 0 0 0 4452 655 0 0 25 0 1 0 2556938 35827712 7411 1992294400 4194304 9819077 140733487157248 18446744073709551615 6180704 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 8747 7411 725 1374 0 7368 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34988
[startup+102.308 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 11606
/proc/meminfo: memFree=1361660/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=48252 CPUtime=102.27
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 860759 0 0 0 8975 1252 0 0 25 0 1 0 2556938 49410048 10770 1992294400 4194304 9819077 140733487157248 18446744073709551615 4392801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 12063 10770 725 1374 0 10684 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48252
[startup+162.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 11608
/proc/meminfo: memFree=1344176/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=65552 CPUtime=162.25
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 1313807 0 0 0 14296 1929 0 0 25 0 1 0 2556938 67125248 15104 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 16388 15104 725 1374 0 15009 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 65552
[startup+222.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 11610
/proc/meminfo: memFree=1332272/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=79072 CPUtime=222.23
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 1758690 0 0 0 19617 2606 0 0 25 0 1 0 2556938 80969728 18023 1992294400 4194304 9819077 140733487157248 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 19768 18023 725 1374 0 18389 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 79072
[startup+282.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 11610
/proc/meminfo: memFree=1321236/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=89516 CPUtime=282.22
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 2203862 0 0 0 24936 3286 0 0 25 0 1 0 2556938 91664384 20813 1992294400 4194304 9819077 140733487157248 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 22539 20817 725 1374 0 21160 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 89516
[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 11612
/proc/meminfo: memFree=1306232/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=104648 CPUtime=342.2
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 2633463 0 0 0 30272 3948 0 0 25 0 1 0 2556938 107159552 24508 1992294400 4194304 9819077 140733487157248 18446744073709551615 6361784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 26162 24508 725 1374 0 24783 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 104648
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11614
/proc/meminfo: memFree=1294700/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=115748 CPUtime=402.18
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 3048945 0 0 0 35638 4580 0 0 25 0 1 0 2556938 118525952 27368 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 28937 27368 725 1374 0 27558 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 115748
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 11616
/proc/meminfo: memFree=1281308/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=128924 CPUtime=462.17
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 3461175 0 0 0 41005 5212 0 0 25 0 1 0 2556938 132018176 30647 1992294400 4194304 9819077 140733487157248 18446744073709551615 4983492 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 32231 30647 725 1374 0 30852 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 128924
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11618
/proc/meminfo: memFree=1268536/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=142420 CPUtime=522.16
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 3875986 0 0 0 46379 5837 0 0 25 0 1 0 2556938 145838080 34021 1992294400 4194304 9819077 140733487157248 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 35605 34021 725 1374 0 34226 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 142420
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11618
/proc/meminfo: memFree=1258120/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=151648 CPUtime=582.13
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 4274445 0 0 0 51763 6450 0 0 25 0 1 0 2556938 155287552 36397 1992294400 4194304 9819077 140733487157248 18446744073709551615 4219820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 37912 36397 725 1374 0 36533 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 151648
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11620
/proc/meminfo: memFree=1244356/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=165204 CPUtime=642.13
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 4678790 0 0 0 57146 7067 0 0 25 0 1 0 2556938 169168896 39830 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 41301 39830 725 1374 0 39922 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 165204
[startup+702.302 s]
################
# More data... #
################
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 7505198 0 0 0 94865 11336 0 0 25 0 1 0 2556938 251461632 59271 1992294400 4194304 9819077 140733487157248 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 61312 59269 725 1374 0 59933 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 245568
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11634
/proc/meminfo: memFree=1155076/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=255820 CPUtime=1121.99
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 7904197 0 0 0 100265 11934 0 0 25 0 1 0 2556938 261959680 61899 1992294400 4194304 9819077 140733487157248 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 63955 61899 725 1374 0 62576 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 255820
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11634
/proc/meminfo: memFree=1142428/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=268304 CPUtime=1181.98
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 8323674 0 0 0 105641 12557 0 0 25 0 1 0 2556938 274743296 65032 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 67076 65032 725 1374 0 65697 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 268304
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11636
/proc/meminfo: memFree=1131764/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=278636 CPUtime=1241.96
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 8733427 0 0 0 111048 13148 0 0 25 0 1 0 2556938 285323264 67673 1992294400 4194304 9819077 140733487157248 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 69659 67673 725 1374 0 68280 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 278636
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11638
/proc/meminfo: memFree=1123704/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=286148 CPUtime=1301.96
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 9135416 0 0 0 116442 13754 0 0 25 0 1 0 2556938 293015552 69627 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 71537 69627 725 1374 0 70158 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 286148
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11640
/proc/meminfo: memFree=1112916/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=295776 CPUtime=1361.93
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 9546947 0 0 0 121831 14362 0 0 25 0 1 0 2556938 302874624 72333 1992294400 4194304 9819077 140733487157248 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 74144 72337 725 1374 0 72765 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 295776
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11651
/proc/meminfo: memFree=1099648/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=309168 CPUtime=1421.9
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 9953106 0 0 0 127217 14973 0 0 25 0 1 0 2556938 316588032 75513 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 77292 75513 725 1374 0 75913 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 309168
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11651
/proc/meminfo: memFree=1087372/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=321468 CPUtime=1481.88
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 10373442 0 0 0 132598 15590 0 0 25 0 1 0 2556938 329183232 78589 1992294400 4194304 9819077 140733487157248 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 80367 78589 725 1374 0 78988 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 321468
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11653
/proc/meminfo: memFree=1075840/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=332724 CPUtime=1541.87
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 10805974 0 0 0 137968 16219 0 0 25 0 1 0 2556938 340709376 81477 1992294400 4194304 9819077 140733487157248 18446744073709551615 4223052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 83181 81477 725 1374 0 81802 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 332724
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11655
/proc/meminfo: memFree=1068276/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=341104 CPUtime=1601.86
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 11203456 0 0 0 143391 16795 0 0 25 0 1 0 2556938 349290496 83628 1992294400 4194304 9819077 140733487157248 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 85276 83628 725 1374 0 83897 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 341104
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11657
/proc/meminfo: memFree=1054140/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=353884 CPUtime=1661.84
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 11630826 0 0 0 148745 17439 0 0 25 0 1 0 2556938 362377216 86903 1992294400 4194304 9819077 140733487157248 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 88471 86903 725 1374 0 87092 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 353884
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11659
/proc/meminfo: memFree=1043848/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=363624 CPUtime=1721.82
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12046978 0 0 0 154138 18044 0 0 25 0 1 0 2556938 372350976 89452 1992294400 4194304 9819077 140733487157248 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 90946 89453 725 1374 0 89567 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 363624
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11659
/proc/meminfo: memFree=1034176/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=373312 CPUtime=1781.8
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12434947 0 0 0 159545 18635 0 0 25 0 1 0 2556938 382271488 91762 1992294400 4194304 9819077 140733487157248 18446744073709551615 4999720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 93328 91762 725 1374 0 91949 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 373312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11661
/proc/meminfo: memFree=1030828/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=376728 CPUtime=1800.01
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12560087 0 0 0 161177 18824 0 0 25 0 1 0 2556938 385769472 92636 1992294400 4194304 9819077 140733487157248 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11603/statm: 94182 92636 725 1374 0 92803 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 376728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11603
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 11662
/proc/meminfo: memFree=1030820/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=376728 CPUtime=1800.9
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12560098 0 0 0 161266 18824 0 0 25 0 1 0 2556938 385769472 92637 1992294400 4194304 9819077 140733487157248 18446744073709551615 6162947 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11603/statm: 94182 92637 726 1374 0 92803 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 376728
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11662
/proc/meminfo: memFree=1030696/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=376728 CPUtime=1801.7
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12560098 0 0 0 161346 18824 0 0 25 0 1 0 2556938 385769472 92637 1992294400 4194304 9819077 140733487157248 18446744073709551615 6180536 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11603/statm: 94182 92637 726 1374 0 92803 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 376728
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11662
/proc/meminfo: memFree=1030696/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=376728 CPUtime=1801.9
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12560098 0 0 0 161366 18824 0 0 25 0 1 0 2556938 385769472 92637 1992294400 4194304 9819077 140733487157248 18446744073709551615 6179975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11603/statm: 94182 92637 726 1374 0 92803 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 376728
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11662
/proc/meminfo: memFree=1030696/2059040 swapFree=4192956/4192956
[pid=11603] ppid=11601 vsize=376728 CPUtime=1802
/proc/11603/stat : 11603 (pbscip.linux.x8) R 11601 11603 11079 0 -1 4202496 12560098 0 0 0 161376 18824 0 0 25 0 1 0 2556938 385769472 92637 1992294400 4194304 9819077 140733487157248 18446744073709551615 6180581 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11603/statm: 94182 92637 726 1374 0 92803 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 376728
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.54
CPU time (s): 1802.05
CPU user time (s): 1613.77
CPU system time (s): 188.282
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 376728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1613.77
system time used= 188.282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12560098
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3145
runsolver used 3.04254 second user time and 8.45671 second system time
The end