0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663898-1276673363.opb>
0.00/0.04 c original problem has 2892 variables (2892 bin, 0 int, 0 impl, 0 cont) and 3093 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.05/0.08 o 0
0.05/0.08 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.05/0.08 c presolving:
0.29/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 20336 impls, 400 clqs
0.49/0.56 c (0.3s) probing: 101/2892 (3.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.56 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.56 c presolving (2 rounds):
0.49/0.56 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56 c 20336 implications, 400 cliques
0.49/0.56 c presolved problem has 2892 variables (2892 bin, 0 int, 0 impl, 0 cont) and 3093 constraints
0.49/0.56 c 400 constraints of type <setppc>
0.49/0.56 c 2492 constraints of type <and>
0.49/0.56 c 1 constraints of type <linear>
0.49/0.56 c 200 constraints of type <logicor>
0.49/0.56 c transformed objective value is always integral (scale: 1)
0.49/0.56 c Presolving Time: 0.33
0.49/0.56 c - non default parameters ----------------------------------------------------------------------
0.49/0.56 c # SCIP version 1.2.1.2
0.49/0.56 c
0.49/0.56 c # frequency for displaying node information lines
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.56 c display/freq = 10000
0.49/0.56 c
0.49/0.56 c # maximal time in seconds to run
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/time = 1799.96
0.49/0.56 c
0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/memory = 1620
0.49/0.56 c
0.49/0.56 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c lp/solvefreq = -1
0.49/0.56 c
0.49/0.56 c # should presolving try to simplify inequalities
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/linear/simplifyinequalities = TRUE
0.49/0.56 c
0.49/0.56 c # should presolving try to simplify knapsacks
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c heuristics/undercover/freq = 0
0.49/0.56 c
0.49/0.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/rapidlearning/freq = 0
0.49/0.56 c
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c start solving
0.49/0.56 c
0.49/0.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.57 c t 0.3s| 1 | 2 | 0 | - |8362k| 0 | - |2892 |3093 | 0 | 0 | 0 | 0 | 0 |-2.000000e+02 | 0.000000e+00 | 100.00%
19.09/19.18 c 18.6s| 10000 | 9689 | 0 | 0.0 | 18M| 265 | - |2892 |3208 | 0 | 0 | 0 | 222 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
38.49/38.55 c 37.7s| 20000 | 19689 | 0 | 0.0 | 28M| 265 | - |2892 |3196 | 0 | 0 | 0 | 222 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
55.97/56.09 c 54.9s| 30000 | 29652 | 0 | 0.0 | 38M| 265 | - |2892 |3216 | 0 | 0 | 0 | 252 | 0 |-1.990000e+02 | 0.000000e+00 | 100.00%
60.67/60.76 o -15
60.67/60.76 c *59.5s| 32905 | 32554 | 0 | 0.0 | 41M| 265 | - |2892 |3214 | 0 | 0 | 0 | 252 | 0 |-1.990000e+02 |-1.500000e+01 | 92.46%
60.67/60.78 o -16
60.67/60.78 c *59.5s| 32909 | 32554 | 0 | 0.0 | 41M| 265 | - |2892 |3216 | 0 | 0 | 0 | 254 | 0 |-1.990000e+02 |-1.600000e+01 | 91.96%
72.36/72.43 c 71.0s| 40000 | 39439 | 0 | 0.0 | 49M| 265 | - |2892 |3269 | 0 | 0 | 0 | 437 | 0 |-1.990000e+02 |-1.600000e+01 | 91.96%
79.97/80.08 o -21
79.97/80.08 c *78.5s| 44834 | 44173 | 0 | 0.0 | 54M| 265 | - |2892 |3260 | 0 | 0 | 0 | 521 | 0 |-1.990000e+02 |-2.100000e+01 | 89.45%
79.97/80.09 o -22
79.97/80.09 c *78.5s| 44838 | 44173 | 0 | 0.0 | 54M| 265 | - |2892 |3262 | 0 | 0 | 0 | 523 | 0 |-1.990000e+02 |-2.200000e+01 | 88.94%
88.36/88.49 c 86.8s| 50000 | 49063 | 0 | 0.0 | 61M| 265 | - |2892 |3312 | 0 | 0 | 0 | 773 | 0 |-1.990000e+02 |-2.200000e+01 | 88.94%
100.06/100.16 o -23
100.06/100.16 c *98.2s| 57553 | 56150 | 0 | 0.0 | 70M| 265 | - |2892 |3394 | 0 | 0 | 0 |1167 | 0 |-1.990000e+02 |-2.300000e+01 | 88.44%
100.15/100.26 o -24
100.15/100.26 c *98.3s| 57626 | 56218 | 0 | 0.0 | 70M| 265 | - |2892 |3390 | 0 | 0 | 0 |1168 | 0 |-1.990000e+02 |-2.400000e+01 | 87.94%
104.06/104.18 c 102s| 60000 | 58387 | 0 | 0.0 | 73M| 265 | - |2892 |3448 | 0 | 0 | 0 |1350 | 0 |-1.990000e+02 |-2.400000e+01 | 87.94%
109.55/109.62 o -25
109.55/109.62 c * 107s| 63412 | 61391 | 0 | 0.0 | 78M| 265 | - |2892 |3516 | 0 | 0 | 0 |1704 | 0 |-1.990000e+02 |-2.500000e+01 | 87.44%
110.55/110.69 o -27
110.55/110.69 c * 109s| 64073 | 61987 | 0 | 0.0 | 79M| 265 | - |2892 |3479 | 0 | 0 | 0 |1752 | 0 |-1.990000e+02 |-2.700000e+01 | 86.43%
120.65/120.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.65/120.77 c 118s| 70000 | 67026 | 0 | 0.0 | 88M| 265 | - |2892 |3607 | 0 | 0 | 0 |2518 | 0 |-1.990000e+02 |-2.700000e+01 | 86.43%
120.85/121.00 o -28
120.85/121.00 c * 119s| 70151 | 67144 | 0 | 0.0 | 89M| 265 | - |2892 |3603 | 0 | 0 | 0 |2544 | 0 |-1.990000e+02 |-2.800000e+01 | 85.93%
128.15/128.23 o -30
128.15/128.23 c * 126s| 74245 | 70474 | 0 | 0.0 | 95M| 265 | - |2892 |3667 | 0 | 0 | 0 |3223 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
139.04/139.19 c 136s| 80000 | 74538 | 0 | 0.0 | 105M| 265 | - |2892 |3791 | 0 | 0 | 0 |4636 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
158.94/159.06 c 156s| 90000 | 80227 | 0 | 0.0 | 119M| 265 | - |2892 |4019 | 0 | 0 | 0 |8130 | 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
183.42/183.53 c 180s|100000 | 83294 | 0 | 0.0 | 129M| 265 | - |2892 |4361 | 0 | 0 | 0 | 13k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
210.61/210.77 c 207s|110000 | 87319 | 0 | 0.0 | 138M| 265 | - |2892 |3666 | 0 | 0 | 0 | 16k| 0 |-1.990000e+02 |-3.000000e+01 | 84.92%
231.21/231.32 c 227s|120000 | 93738 | 0 | 0.0 | 151M| 265 | - |2892 |3966 | 0 | 0 | 0 | 19k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
256.51/256.65 c 252s|130000 | 98348 | 0 | 0.0 | 158M| 265 | - |2892 |3788 | 0 | 0 | 0 | 23k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
276.30/276.42 c 271s|140000 |107267 | 0 | 0.0 | 178M| 265 | - |2892 |3910 | 0 | 0 | 0 | 24k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
296.69/296.83 c 291s|150000 |116010 | 0 | 0.0 | 199M| 265 | - |2892 |4023 | 0 | 0 | 0 | 26k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
317.48/317.66 c 312s|160000 |124526 | 0 | 0.0 | 220M| 265 | - |2892 |4042 | 0 | 0 | 0 | 28k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
337.77/337.96 c 332s|170000 |133068 | 0 | 0.0 | 241M| 265 | - |2892 |4154 | 0 | 0 | 0 | 31k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
358.07/358.29 c 352s|180000 |141499 | 0 | 0.0 | 262M| 265 | - |2892 |4146 | 0 | 0 | 0 | 33k| 0 |-1.980000e+02 |-3.000000e+01 | 84.85%
362.66/362.87 o -31
362.66/362.87 c * 356s|182249 |143340 | 0 | 0.0 | 267M| 265 | - |2892 |4137 | 0 | 0 | 0 | 34k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
378.95/379.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
378.95/379.14 c 372s|190000 |149871 | 0 | 0.0 | 283M| 265 | - |2892 |4066 | 0 | 0 | 0 | 36k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
399.85/400.08 c 393s|200000 |158242 | 0 | 0.0 | 305M| 265 | - |2892 |4231 | 0 | 0 | 0 | 38k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
420.95/421.17 c 414s|210000 |166298 | 0 | 0.0 | 326M| 265 | - |2892 |4241 | 0 | 0 | 0 | 41k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
441.74/441.95 c 434s|220000 |174378 | 0 | 0.0 | 346M| 265 | - |2892 |4276 | 0 | 0 | 0 | 44k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
462.63/462.83 c 454s|230000 |182466 | 0 | 0.0 | 367M| 265 | - |2892 |4293 | 0 | 0 | 0 | 47k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
483.22/483.49 c 475s|240000 |190618 | 0 | 0.0 | 387M| 265 | - |2892 |4332 | 0 | 0 | 0 | 50k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
504.01/504.24 c 495s|250000 |198541 | 0 | 0.0 | 408M| 265 | - |2892 |4406 | 0 | 0 | 0 | 53k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
524.71/524.96 c 516s|260000 |206639 | 0 | 0.0 | 428M| 265 | - |2892 |4423 | 0 | 0 | 0 | 56k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
545.00/545.21 c 535s|270000 |214605 | 0 | 0.0 | 448M| 265 | - |2892 |4496 | 0 | 0 | 0 | 60k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
565.10/565.31 c 555s|280000 |222629 | 0 | 0.0 | 467M| 265 | - |2892 |4406 | 0 | 0 | 0 | 63k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
585.68/585.92 c 575s|290000 |230468 | 0 | 0.0 | 487M| 265 | - |2892 |4577 | 0 | 0 | 0 | 66k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
605.98/606.27 c 595s|300000 |238230 | 0 | 0.0 | 507M| 265 | - |2892 |4576 | 0 | 0 | 0 | 69k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
626.18/626.43 c 615s|310000 |246097 | 0 | 0.0 | 526M| 265 | - |2892 |4451 | 0 | 0 | 0 | 73k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
646.76/647.07 c 636s|320000 |253615 | 0 | 0.0 | 546M| 265 | - |2892 |4539 | 0 | 0 | 0 | 76k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
667.37/667.70 c 656s|330000 |261437 | 0 | 0.0 | 565M| 265 | - |2892 |4412 | 0 | 0 | 0 | 79k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
687.85/688.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.85/688.12 c 676s|340000 |269094 | 0 | 0.0 | 585M| 265 | - |2892 |4469 | 0 | 0 | 0 | 83k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
708.75/709.05 c 696s|350000 |276666 | 0 | 0.0 | 605M| 265 | - |2892 |4522 | 0 | 0 | 0 | 86k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
729.13/729.40 c 716s|360000 |284607 | 0 | 0.0 | 624M| 265 | - |2892 |4531 | 0 | 0 | 0 | 89k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
749.43/749.76 c 736s|370000 |292359 | 0 | 0.0 | 643M| 265 | - |2892 |4506 | 0 | 0 | 0 | 92k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
769.92/770.24 c 756s|380000 |299923 | 0 | 0.0 | 662M| 265 | - |2892 |4756 | 0 | 0 | 0 | 96k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
790.41/790.74 c 777s|390000 |307474 | 0 | 0.0 | 681M| 265 | - |2892 |4754 | 0 | 0 | 0 | 100k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
811.41/811.79 c 797s|400000 |314955 | 0 | 0.0 | 700M| 265 | - |2892 |4735 | 0 | 0 | 0 | 104k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
832.30/832.64 c 818s|410000 |322190 | 0 | 0.0 | 719M| 265 | - |2892 |4812 | 0 | 0 | 0 | 108k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
852.99/853.38 c 838s|420000 |329770 | 0 | 0.0 | 738M| 265 | - |2892 |4795 | 0 | 0 | 0 | 111k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
873.89/874.29 c 859s|430000 |337097 | 0 | 0.0 | 756M| 265 | - |2892 |4856 | 0 | 0 | 0 | 116k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
894.58/894.98 c 879s|440000 |344470 | 0 | 0.0 | 775M| 265 | - |2892 |4838 | 0 | 0 | 0 | 120k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
915.17/915.59 c 899s|450000 |351693 | 0 | 0.0 | 793M| 265 | - |2892 |4918 | 0 | 0 | 0 | 124k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
935.96/936.32 c 920s|460000 |359116 | 0 | 0.0 | 811M| 265 | - |2892 |4946 | 0 | 0 | 0 | 128k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
956.96/957.39 c 940s|470000 |366309 | 0 | 0.0 | 829M| 265 | - |2892 |4832 | 0 | 0 | 0 | 132k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
977.64/978.03 c 961s|480000 |373335 | 0 | 0.0 | 848M| 265 | - |2892 |4982 | 0 | 0 | 0 | 136k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
998.14/998.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.14/998.57 c 981s|490000 |380660 | 0 | 0.0 | 866M| 265 | - |2892 |4931 | 0 | 0 | 0 | 140k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1018.74/1019.14 c 1001s|500000 |387727 | 0 | 0.0 | 884M| 265 | - |2892 |4834 | 0 | 0 | 0 | 145k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1038.83/1039.22 c 1021s|510000 |395164 | 0 | 0.0 | 902M| 265 | - |2892 |4921 | 0 | 0 | 0 | 148k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1059.52/1059.92 c 1041s|520000 |402357 | 0 | 0.0 | 919M| 265 | - |2892 |4869 | 0 | 0 | 0 | 152k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1080.22/1080.61 c 1061s|530000 |409580 | 0 | 0.0 | 937M| 265 | - |2892 |5031 | 0 | 0 | 0 | 157k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1101.20/1101.60 c 1082s|540000 |416850 | 0 | 0.0 | 955M| 265 | - |2892 |4871 | 0 | 0 | 0 | 160k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1121.70/1122.18 c 1102s|550000 |424316 | 0 | 0.0 | 973M| 265 | - |2892 |4866 | 0 | 0 | 0 | 164k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1142.59/1143.10 c 1123s|560000 |431451 | 0 | 0.0 | 990M| 265 | - |2892 |4953 | 0 | 0 | 0 | 168k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1163.48/1163.95 c 1143s|570000 |438404 | 0 | 0.0 |1007M| 265 | - |2892 |5036 | 0 | 0 | 0 | 172k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1184.08/1184.56 c 1163s|580000 |445342 | 0 | 0.0 |1025M| 265 | - |2892 |5194 | 0 | 0 | 0 | 177k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1204.97/1205.47 c 1184s|590000 |452259 | 0 | 0.0 |1042M| 265 | - |2892 |5198 | 0 | 0 | 0 | 181k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1225.66/1226.17 c 1204s|600000 |459313 | 0 | 0.0 |1059M| 265 | - |2892 |5269 | 0 | 0 | 0 | 185k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1246.05/1246.57 c 1224s|610000 |466449 | 0 | 0.0 |1077M| 265 | - |2892 |5237 | 0 | 0 | 0 | 189k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1266.35/1266.80 c 1244s|620000 |473489 | 0 | 0.0 |1094M| 265 | - |2892 |5236 | 0 | 0 | 0 | 193k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1286.74/1287.25 c 1264s|630000 |480390 | 0 | 0.0 |1110M| 265 | - |2892 |5212 | 0 | 0 | 0 | 197k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1307.63/1308.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.63/1308.11 c 1285s|640000 |487014 | 0 | 0.0 |1127M| 265 | - |2892 |5202 | 0 | 0 | 0 | 202k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1328.23/1328.75 c 1305s|650000 |493781 | 0 | 0.0 |1144M| 265 | - |2892 |5409 | 0 | 0 | 0 | 206k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1348.82/1349.36 c 1325s|660000 |500667 | 0 | 0.0 |1161M| 265 | - |2892 |5212 | 0 | 0 | 0 | 210k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1369.21/1369.78 c 1345s|670000 |507516 | 0 | 0.0 |1178M| 265 | - |2892 |5362 | 0 | 0 | 0 | 214k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1390.01/1390.57 c 1366s|680000 |514401 | 0 | 0.0 |1194M| 265 | - |2892 |5245 | 0 | 0 | 0 | 218k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1410.81/1411.38 c 1386s|690000 |521127 | 0 | 0.0 |1211M| 265 | - |2892 |5309 | 0 | 0 | 0 | 222k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1431.29/1431.89 c 1406s|700000 |527951 | 0 | 0.0 |1227M| 265 | - |2892 |5293 | 0 | 0 | 0 | 226k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1452.29/1452.81 c 1427s|710000 |534722 | 0 | 0.0 |1244M| 265 | - |2892 |5250 | 0 | 0 | 0 | 230k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1472.88/1473.45 c 1447s|720000 |541655 | 0 | 0.0 |1260M| 265 | - |2892 |5350 | 0 | 0 | 0 | 234k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1493.17/1493.79 c 1467s|730000 |548457 | 0 | 0.0 |1276M| 265 | - |2892 |5375 | 0 | 0 | 0 | 238k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1513.95/1514.51 c 1488s|740000 |555047 | 0 | 0.0 |1293M| 265 | - |2892 |5546 | 0 | 0 | 0 | 243k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1534.75/1535.33 c 1508s|750000 |561584 | 0 | 0.0 |1309M| 265 | - |2892 |5369 | 0 | 0 | 0 | 247k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1555.55/1556.18 c 1528s|760000 |568256 | 0 | 0.0 |1325M| 265 | - |2892 |5399 | 0 | 0 | 0 | 252k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1575.94/1576.50 c 1548s|770000 |574920 | 0 | 0.0 |1341M| 265 | - |2892 |5324 | 0 | 0 | 0 | 256k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1596.43/1597.09 c 1569s|780000 |581469 | 0 | 0.0 |1356M| 265 | - |2892 |5395 | 0 | 0 | 0 | 261k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1598.93/1599.53 c (node 781174) switching to memory saving mode (mem: 1296.0M/1620.0M)
1640.81/1641.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.81/1641.48 c 1611s|790000 |582302 | 0 | 0.0 |1365M| 343 | - |2892 |9302 | 0 | 0 | 0 | 266k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1688.60/1689.22 c 1657s|800000 |582303 | 0 | 0.0 |1375M| 343 | - |2892 | 14k| 0 | 0 | 0 | 272k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1741.57/1742.23 c 1708s|810000 |582301 | 0 | 0.0 |1373M| 343 | - |2892 | 13k| 0 | 0 | 0 | 278k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1792.66/1793.35 c 1758s|820000 |582300 | 0 | 0.0 |1366M| 343 | - |2892 |9287 | 0 | 0 | 0 | 283k| 0 |-1.980000e+02 |-3.100000e+01 | 84.34%
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1764.82
1800.07/1800.71 c Solving Nodes : 821308
1800.07/1800.71 c Primal Bound : -3.10000000000000e+01 (14 solutions)
1800.07/1800.71 c Dual Bound : -1.98000000000000e+02
1800.07/1800.71 c Gap : 84.34 %
1800.07/1800.72 s SATISFIABLE
1800.07/1800.72 v x337 x271 -x243 -x325 -x375 -x334 -x247 -x395 -x360 -x303 -x396 -x330 x295 -x298 -x296 x256 -x244 -x394 x313 -x328 -x326 -x258
1800.07/1800.72 v x377 -x287 -x227 -x249 -x251 -x289 -x263 -x381 -x308 -x302 -x286 -x388 -x226 -x348 -x354 -x364 -x230 x301 -x266 -x314 -x352 -x272
1800.07/1800.72 v -x365 -x223 -x312 x290 -x281 -x240 -x220 -x279 -x327 -x353 -x216 -x339 -x241 -x341 -x267 x372 x268 -x399 -x217 -x323 -x345
1800.07/1800.72 v -x340 -x285 -x269 -x292 -x351 x213 -x305 -x232 x333 x382 -x342 -x306 -x336 x275 x393 x390 -x273 x233 -x284 -x212 -x347 -x283
1800.07/1800.72 v -x384 -x355 -x239 -x215 -x319 -x309 -x356 -x209 -x260 -x242 -x224 -x218 -x252 -x304 -x282 -x277 -x254 x234 x386 -x207 -x371
1800.07/1800.72 v -x288 -x311 x391 -x369 -x318 -x257 -x317 -x206 -x379 -x359 -x338 -x235 x363 -x349 -x324 -x361 -x367 -x400 -x246 -x205 -x344
1800.07/1800.72 v -x321 -x293 -x259 -x208 x276 -x315 -x357 -x366 -x261 -x307 -x329 -x385 -x237 -x236 -x358 -x398 x378 -x253 -x397 -x362 -x383
1800.07/1800.72 v -x387 -x203 -x335 -x310 -x274 x270 -x248 -x225 -x204 -x214 x297 x231 -x211 -x392 x316 -x370 -x373 -x202 -x332 -x322 -x300 -x280
1800.07/1800.72 v -x245 -x229 -x219 -x210 -x331 -x368 -x374 -x255 -x250 -x238 -x294 -x350 -x380 x343 -x201 x264 x222 -x221 -x228 -x346 -x278
1800.07/1800.72 v x265 -x299 -x262 -x376 -x389 -x320 -x291 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187
1800.07/1800.72 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166
1800.07/1800.72 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
1800.07/1800.72 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
1800.07/1800.72 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
1800.07/1800.72 v -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 x82 -x81 -x80 -x79 -x78
1800.07/1800.72 v -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 x53 x52
1800.07/1800.72 v x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26
1800.07/1800.72 v x25 x24 x23 -x22 -x21 x20 x19 -x18 x17 x16 -x15 x14 -x13 -x12 -x11 x10 -x9 -x8 x7 x6 x5 x4 -x3 x2 -x1
1800.07/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.72 c Solving Time : 1764.82
1800.07/1800.72 c Original Problem :
1800.07/1800.72 c Problem name : HOME/instance-2663898-1276673363.opb
1800.07/1800.72 c Variables : 2892 (2892 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 3093 initial, 3093 maximal
1800.07/1800.72 c Presolved Problem :
1800.07/1800.72 c Problem name : t_HOME/instance-2663898-1276673363.opb
1800.07/1800.72 c Variables : 2892 (2892 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 3093 initial, 18061 maximal
1800.07/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c probing : 0.07 0 0 0 0 0 0 0 0
1800.07/1800.72 c setppc : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.72 c and : 0.20 0 0 0 0 0 0 0 0
1800.07/1800.72 c linear : 0.03 0 0 0 0 0 0 0 0
1800.07/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c root node : - 0 - - 0 - - - -
1800.07/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.72 c setppc : 400 0 3291024 0 710870 19328 585979 0 0 0
1800.07/1800.72 c and : 2492 0 3271754 0 710878 165 25052231 0 0 0
1800.07/1800.72 c linear : 1 0 3253959 0 710882 22904 14948415 0 0 0
1800.07/1800.72 c logicor : 200+ 0 697776 0 710686 34826 1400925 0 0 0
1800.07/1800.72 c countsols : 0 0 0 0 710893 0 0 0 0 0
1800.07/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.72 c setppc : 220.78 0.00 52.17 0.00 168.61
1800.07/1800.72 c and : 241.77 0.00 165.81 0.00 75.96
1800.07/1800.72 c linear : 174.71 0.00 173.79 0.00 0.92
1800.07/1800.72 c logicor : 157.20 0.00 118.13 0.00 39.07
1800.07/1800.72 c countsols : 0.32 0.00 0.00 0.00 0.32
1800.07/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.72 c vbounds : 2.03 2 0 0
1800.07/1800.72 c rootredcost : 1.87 0 0 0
1800.07/1800.72 c pseudoobj : 345.83 3336810 45858 2853
1800.07/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.72 c propagation : 415.45 123081 121171 3177130 156.8 586 199.5 -
1800.07/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.72 c applied globally : - - - 284805 137.3 - - -
1800.07/1800.72 c applied locally : - - - 0 0.0 - - -
1800.07/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.72 c redcost : 0.00 0 0 0 0 0
1800.07/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.72 c intobj : 0.00 0 0 0 0 0
1800.07/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.72 c gomory : 0.00 0 0 0 0 0
1800.07/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.72 c cmir : 0.00 0 0 0 0 0
1800.07/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.72 c clique : 0.00 0 0 0 0 0
1800.07/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.72 c mcf : 0.00 0 0 0 0 0
1800.07/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.72 c Pricers : Time Calls Vars
1800.07/1800.72 c problem variables: 0.00 0 0
1800.07/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c inference : 381.27 710882 0 0 0 0 1421764
1800.07/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c random : 0.00 0 0 0 0 0 0
1800.07/1800.72 c Primal Heuristics : Time Calls Found
1800.07/1800.72 c LP solutions : 0.00 - 0
1800.07/1800.72 c pseudo solutions : 0.05 - 11
1800.07/1800.72 c oneopt : 1.68 0 0
1800.07/1800.72 c trivial : 0.00 2 3
1800.07/1800.72 c simplerounding : 0.00 0 0
1800.07/1800.72 c zirounding : 0.00 0 0
1800.07/1800.72 c rounding : 0.00 0 0
1800.07/1800.72 c shifting : 0.00 0 0
1800.07/1800.72 c intshifting : 0.00 0 0
1800.07/1800.72 c twoopt : 0.00 0 0
1800.07/1800.72 c fixandinfer : 0.00 0 0
1800.07/1800.72 c feaspump : 0.00 0 0
1800.07/1800.72 c coefdiving : 0.00 0 0
1800.07/1800.72 c pscostdiving : 0.00 0 0
1800.07/1800.72 c fracdiving : 0.00 0 0
1800.07/1800.72 c veclendiving : 0.00 0 0
1800.07/1800.72 c intdiving : 0.00 0 0
1800.07/1800.72 c actconsdiving : 0.00 0 0
1800.07/1800.72 c objpscostdiving : 0.00 0 0
1800.07/1800.72 c rootsoldiving : 0.00 0 0
1800.07/1800.72 c linesearchdiving : 0.00 0 0
1800.07/1800.72 c guideddiving : 0.00 0 0
1800.07/1800.72 c octane : 0.00 0 0
1800.07/1800.72 c rens : 0.00 0 0
1800.07/1800.72 c rins : 0.00 0 0
1800.07/1800.72 c localbranching : 0.00 0 0
1800.07/1800.72 c mutation : 0.00 0 0
1800.07/1800.72 c crossover : 0.00 0 0
1800.07/1800.72 c dins : 0.00 0 0
1800.07/1800.72 c undercover : 0.00 0 0
1800.07/1800.72 c nlp : 0.60 0 0
1800.07/1800.72 c trysol : 0.41 0 0
1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.72 c (at root node) : - 0 0 0.00 -
1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.72 c B&B Tree :
1800.07/1800.72 c number of runs : 1
1800.07/1800.72 c nodes : 821308
1800.07/1800.72 c nodes (total) : 821308
1800.07/1800.72 c nodes left : 582300
1800.07/1800.72 c max depth : 343
1800.07/1800.72 c max depth (total): 343
1800.07/1800.72 c backtracks : 16927 (2.1%)
1800.07/1800.72 c delayed cutoffs : 18157
1800.07/1800.72 c repropagations : 1241983 (3211799 domain reductions, 12666 cutoffs)
1800.07/1800.72 c avg switch length: 6.66
1800.07/1800.72 c switching time : 165.33
1800.07/1800.72 c Solution :
1800.07/1800.72 c Solutions found : 14 (12 improvements)
1800.07/1800.72 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.07/1800.72 c Primal Bound : -3.10000000000000e+01 (in run 1, after 182249 nodes, 356.17 seconds, depth 77, found by <relaxation>)
1800.07/1800.72 c Dual Bound : -1.98000000000000e+02
1800.07/1800.72 c Gap : 84.34 %
1800.07/1800.72 c Root Dual Bound : -2.00000000000000e+02
1800.07/1800.72 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663898-1276673363/watcher-2663898-1276673363 -o /tmp/evaluation-result-2663898-1276673363/solver-2663898-1276673363 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663898-1276673363.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 11599
/proc/meminfo: memFree=1744480/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=6584 CPUtime=0
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 973 0 0 0 0 0 0 0 20 0 1 0 42937846 6742016 895 1992294400 4194304 7136930 140736797621952 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11599/statm: 1646 906 254 719 0 925 0
[startup+0.0576761 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 11599
/proc/meminfo: memFree=1744480/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=15496 CPUtime=0.05
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 3734 0 0 0 4 1 0 0 20 0 1 0 42937846 15867904 3302 1992294400 4194304 7136930 140736797621952 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 3874 3302 283 719 0 3153 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15496
[startup+0.100681 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 11599
/proc/meminfo: memFree=1744480/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=19868 CPUtime=0.09
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 4857 0 0 0 8 1 0 0 20 0 1 0 42937846 20344832 4168 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 4967 4168 333 719 0 4246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19868
[startup+0.300721 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 11599
/proc/meminfo: memFree=1744480/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=21512 CPUtime=0.29
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 5555 0 0 0 21 8 0 0 20 0 1 0 42937846 22028288 4609 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 5378 4609 356 719 0 4657 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21512
[startup+0.700799 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 11599
/proc/meminfo: memFree=1744480/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=23196 CPUtime=0.69
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 7315 0 0 0 51 18 0 0 21 0 1 0 42937846 23752704 5084 1992294400 4194304 7136930 140736797621952 18446744073709551615 4774414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 5799 5084 388 719 0 5078 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23196
[startup+1.50096 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11600
/proc/meminfo: memFree=1724260/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=24712 CPUtime=1.49
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 7708 0 0 0 130 19 0 0 23 0 1 0 42937846 25305088 5477 1992294400 4194304 7136930 140736797621952 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 6178 5477 393 719 0 5457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24712
[startup+3.10127 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11600
/proc/meminfo: memFree=1723268/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=25528 CPUtime=3.09
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 7918 0 0 0 288 21 0 0 25 0 1 0 42937846 26140672 5687 1992294400 4194304 7136930 140736797621952 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 6382 5687 393 719 0 5661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25528
[startup+6.30089 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11600
/proc/meminfo: memFree=1721160/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=27964 CPUtime=6.29
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 8481 0 0 0 601 28 0 0 25 0 1 0 42937846 28635136 6250 1992294400 4194304 7136930 140736797621952 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 6991 6250 393 719 0 6270 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27964
[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11600
/proc/meminfo: memFree=1715580/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=33360 CPUtime=12.68
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 9856 0 0 0 1228 40 0 0 25 0 1 0 42937846 34160640 7625 1992294400 4194304 7136930 140736797621952 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 8340 7625 393 719 0 7619 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33360
[startup+25.5007 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11600
/proc/meminfo: memFree=1706156/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=44008 CPUtime=25.48
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 12535 0 0 0 2487 61 0 0 25 0 1 0 42937846 45064192 10304 1992294400 4194304 7136930 140736797621952 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 11002 10304 393 719 0 10281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44008
[startup+51.1007 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11602
/proc/meminfo: memFree=1690532/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=57596 CPUtime=51.07
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 15999 0 0 0 5006 101 0 0 25 0 1 0 42937846 58978304 13768 1992294400 4194304 7136930 140736797621952 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 14399 13768 393 719 0 13678 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 57596
[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11602
/proc/meminfo: memFree=1648744/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=99512 CPUtime=102.26
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 26425 0 0 0 10035 191 0 0 25 0 1 0 42937846 101900288 24194 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 24878 24194 393 719 0 24157 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99512
[startup+162.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11604
/proc/meminfo: memFree=1584264/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=168412 CPUtime=162.23
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 42821 0 0 0 15911 312 0 0 25 0 1 0 42937846 172453888 40590 1992294400 4194304 7136930 140736797621952 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 42103 40590 393 719 0 41382 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 168412
[startup+222.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11606
/proc/meminfo: memFree=1545328/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=206204 CPUtime=222.21
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 52105 0 0 0 21815 406 0 0 25 0 1 0 42937846 211152896 49874 1992294400 4194304 7136930 140736797621952 18446744073709551615 4978109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 51551 49874 393 719 0 50830 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 206204
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11608
/proc/meminfo: memFree=1504532/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=249868 CPUtime=282.2
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 62732 0 0 0 27712 508 0 0 25 0 1 0 42937846 255864832 60501 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 62467 60501 393 719 0 61746 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 249868
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11608
/proc/meminfo: memFree=1427900/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=326104 CPUtime=342.18
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 81396 0 0 0 33602 616 0 0 25 0 1 0 42937846 333930496 79165 1992294400 4194304 7136930 140736797621952 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 81526 79165 393 719 0 80805 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 326104
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11610
/proc/meminfo: memFree=1362552/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=395588 CPUtime=402.15
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 97866 0 0 0 39503 712 0 0 25 0 1 0 42937846 405082112 95635 1992294400 4194304 7136930 140736797621952 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 98897 95635 393 719 0 98176 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 395588
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11612
/proc/meminfo: memFree=1301296/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=456880 CPUtime=462.13
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 112934 0 0 0 45394 819 0 0 25 0 1 0 42937846 467845120 110703 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 114220 110703 393 719 0 113499 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 456880
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11614
/proc/meminfo: memFree=1241032/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=526800 CPUtime=522.11
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 128477 0 0 0 51291 920 0 0 25 0 1 0 42937846 539443200 126246 1992294400 4194304 7136930 140736797621952 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 131700 126246 393 719 0 130979 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 526800
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11616
/proc/meminfo: memFree=1172584/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=598360 CPUtime=582.09
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 145532 0 0 0 57189 1020 0 0 25 0 1 0 42937846 612720640 143301 1992294400 4194304 7136930 140736797621952 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 149590 143301 393 719 0 148869 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 598360
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11616
/proc/meminfo: memFree=1111824/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=659800 CPUtime=642.08
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 160132 0 0 0 63086 1122 0 0 25 0 1 0 42937846 675635200 157901 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 164950 157901 393 719 0 164229 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 659800
[startup+702.301 s]
################
# More data... #
################
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 257575 0 0 0 104337 1855 0 0 25 0 1 0 42937846 1092841472 255344 1992294400 4194304 7136930 140736797621952 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 266807 255344 393 719 0 266086 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1067228
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11630
/proc/meminfo: memFree=667284/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1122820 CPUtime=1121.9
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 270918 0 0 0 110230 1960 0 0 25 0 1 0 42937846 1149767680 268687 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 280705 268687 393 719 0 279984 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1122820
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11632
/proc/meminfo: memFree=611856/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1181088 CPUtime=1181.87
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 285571 0 0 0 116125 2062 0 0 25 0 1 0 42937846 1209434112 283340 1992294400 4194304 7136930 140736797621952 18446744073709551615 4976324 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 295272 283340 393 719 0 294551 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1181088
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11632
/proc/meminfo: memFree=564736/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1230028 CPUtime=1241.85
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 296478 0 0 0 122017 2168 0 0 25 0 1 0 42937846 1259548672 294247 1992294400 4194304 7136930 140736797621952 18446744073709551615 5922923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 307507 294247 393 719 0 306786 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1230028
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11634
/proc/meminfo: memFree=518980/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1273044 CPUtime=1301.84
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 307860 0 0 0 127908 2276 0 0 25 0 1 0 42937846 1303597056 305629 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 318261 305629 393 719 0 317540 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1273044
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11636
/proc/meminfo: memFree=474960/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1315636 CPUtime=1361.82
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 318845 0 0 0 133804 2378 0 0 25 0 1 0 42937846 1347211264 316614 1992294400 4194304 7136930 140736797621952 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 328909 316614 393 719 0 328188 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1315636
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11638
/proc/meminfo: memFree=423004/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1364808 CPUtime=1421.8
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 331768 0 0 0 139702 2478 0 0 25 0 1 0 42937846 1397563392 329537 1992294400 4194304 7136930 140736797621952 18446744073709551615 4434320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 341202 329537 393 719 0 340481 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1364808
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11640
/proc/meminfo: memFree=374272/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1415940 CPUtime=1481.77
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 344191 0 0 0 145595 2582 0 0 25 0 1 0 42937846 1449922560 341960 1992294400 4194304 7136930 140736797621952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 353985 341960 393 719 0 353264 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1415940
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11640
/proc/meminfo: memFree=321944/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1470056 CPUtime=1541.75
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 356993 0 0 0 151492 2683 0 0 25 0 1 0 42937846 1505337344 354762 1992294400 4194304 7136930 140736797621952 18446744073709551615 5908943 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 367514 354762 393 719 0 366793 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1470056
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11642
/proc/meminfo: memFree=268872/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1529296 CPUtime=1601.73
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 372964 0 0 0 157381 2792 0 0 25 0 1 0 42937846 1565999104 368457 1992294400 4194304 7136930 140736797621952 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 382324 368457 393 719 0 381603 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1529296
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11644
/proc/meminfo: memFree=253000/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1543080 CPUtime=1661.71
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 376438 0 0 0 163114 3057 0 0 25 0 1 0 42937846 1580113920 371931 1992294400 4194304 7136930 140736797621952 18446744073709551615 5921487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 385770 371931 393 719 0 385049 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1543080
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11646
/proc/meminfo: memFree=241964/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1553980 CPUtime=1721.68
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 379163 0 0 0 168898 3270 0 0 25 0 1 0 42937846 1591275520 374656 1992294400 4194304 7136930 140736797621952 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 388495 374656 393 719 0 387774 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1553980
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11648
/proc/meminfo: memFree=232044/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1563812 CPUtime=1781.67
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 381588 0 0 0 174709 3458 0 0 25 0 1 0 42937846 1601343488 377081 1992294400 4194304 7136930 140736797621952 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 390953 377081 393 719 0 390232 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1563812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11648
/proc/meminfo: memFree=229564/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1566096 CPUtime=1800.07
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 382191 0 0 0 176486 3521 0 0 25 0 1 0 42937846 1603682304 377684 1992294400 4194304 7136930 140736797621952 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11599/statm: 391524 377684 393 719 0 390803 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1566096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11599
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11648
/proc/meminfo: memFree=229564/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1566096 CPUtime=1800.76
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 382196 0 0 0 176555 3521 0 0 25 0 1 0 42937846 1603682304 377689 1992294400 4194304 7136930 140736797621952 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11599/statm: 391524 377689 398 719 0 390803 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1566096
[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11649
/proc/meminfo: memFree=229556/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1566096 CPUtime=1801.55
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 382196 0 0 0 176634 3521 0 0 25 0 1 0 42937846 1603682304 377689 1992294400 4194304 7136930 140736797621952 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11599/statm: 391524 377689 398 719 0 390803 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 1566096
[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 11649
/proc/meminfo: memFree=229556/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=1565404 CPUtime=1801.95
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4202496 382196 0 0 0 176674 3521 0 0 25 0 1 0 42937846 1602973696 377516 1992294400 4194304 7136930 140736797621952 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11599/statm: 391351 377516 398 719 0 390630 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 1565404
[startup+1802.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 11649
/proc/meminfo: memFree=1024528/2059040 swapFree=4136232/4192956
[pid=11599] ppid=11597 vsize=0 CPUtime=1802.16
/proc/11599/stat : 11599 (pbscip.linux.x8) R 11597 11599 10610 0 -1 4203524 382196 0 0 0 176686 3530 0 0 25 0 1 0 42937846 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/11599/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.87
CPU time (s): 1802.23
CPU user time (s): 1766.87
CPU system time (s): 35.3686
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1566096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.87
system time used= 35.3686
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3130
runsolver used 2.89856 second user time and 8.59869 second system time
The end