0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3451070-1307088277.opb>
0.59/0.64 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109676 constraints
0.59/0.64 c problem read
0.59/0.64 c presolving settings loaded
0.69/0.76 o 0
0.69/0.76 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.76 c presolving:
1.19/1.22 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109676 upgd conss, 219352 impls, 0 clqs
2.89/2.91 c (2.9s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.89/2.91 c (2.9s) probing aborted: 100/100 successive totally useless probings
2.89/2.91 c presolving (2 rounds):
2.89/2.91 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.89/2.91 c 219352 implications, 0 cliques
2.89/2.91 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109676 constraints
2.89/2.91 c 109676 constraints of type <setppc>
2.89/2.91 c transformed objective value is always integral (scale: 1)
2.89/2.91 c Presolving Time: 2.18
2.89/2.91 c - non default parameters ----------------------------------------------------------------------
2.89/2.91 c # SCIP version 2.0.1.5
2.89/2.91 c
2.89/2.91 c # frequency for displaying node information lines
2.89/2.91 c # [type: int, range: [-1,2147483647], default: 100]
2.89/2.91 c display/freq = 10000
2.89/2.91 c
2.89/2.91 c # maximal time in seconds to run
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.91 c limits/time = 1800
2.89/2.91 c
2.89/2.91 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.89/2.91 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.89/2.91 c limits/memory = 13950
2.89/2.91 c
2.89/2.91 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.89/2.91 c # [type: int, range: [1,2], default: 1]
2.89/2.91 c timing/clocktype = 2
2.89/2.91 c
2.89/2.91 c # belongs reading time to solving time?
2.89/2.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.91 c timing/reading = TRUE
2.89/2.91 c
2.89/2.91 c # should presolving try to simplify inequalities
2.89/2.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.91 c constraints/linear/simplifyinequalities = TRUE
2.89/2.91 c
2.89/2.91 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.89/2.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.91 c constraints/indicator/addCouplingCons = TRUE
2.89/2.91 c
2.89/2.91 c # should presolving try to simplify knapsacks
2.89/2.91 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.89/2.91 c constraints/knapsack/simplifyinequalities = TRUE
2.89/2.91 c
2.89/2.91 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.89/2.91 c # [type: int, range: [-1,2147483647], default: -1]
2.89/2.91 c separating/rapidlearning/freq = 0
2.89/2.91 c
2.89/2.91 c -----------------------------------------------------------------------------------------------
2.89/2.91 c start solving
2.89/2.91 c
5.29/5.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.37 c t 5.4s| 1 | 0 | 1402 | - | 134M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 | 0.000000e+00 | 100.00%
5.40/5.46 o -1
5.40/5.46 c R 5.5s| 1 | 0 | 1402 | - | 135M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-1.000000e+00 | 99.86%
5.51/5.55 o -2
5.51/5.55 c s 5.6s| 1 | 0 | 1402 | - | 135M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-2.000000e+00 | 99.71%
7.49/7.54 c 7.5s| 1 | 0 | 1677 | - | 135M| 0 |1331 |1400 | 109k|1400 | 109k| 5 | 0 | 0 |-6.655000e+02 |-2.000000e+00 | 99.70%
7.49/7.57 o -41
7.49/7.57 c b 7.6s| 1 | 0 | 1677 | - | 135M| 0 |1331 |1400 | 109k|1400 | 109k| 5 | 0 | 0 |-6.655000e+02 |-4.100000e+01 | 93.84%
10.29/10.34 c 10.3s| 1 | 0 | 1840 | - | 135M| 0 |1272 |1400 | 109k|1400 | 109k| 21 | 0 | 0 |-6.360000e+02 |-4.100000e+01 | 93.55%
14.59/14.66 c 14.7s| 1 | 0 | 2073 | - | 135M| 0 |1201 |1400 | 109k|1400 | 109k| 52 | 0 | 0 |-6.005000e+02 |-4.100000e+01 | 93.17%
19.80/19.84 c 19.8s| 1 | 0 | 2272 | - | 135M| 0 |1127 |1400 | 109k|1400 | 109k| 68 | 0 | 0 |-5.635000e+02 |-4.100000e+01 | 92.72%
25.70/25.75 c 25.8s| 1 | 0 | 2512 | - | 135M| 0 |1076 |1400 | 109k|1400 | 109k| 87 | 0 | 0 |-5.372500e+02 |-4.100000e+01 | 92.37%
31.59/31.68 c 31.7s| 1 | 0 | 2680 | - | 135M| 0 |1024 |1400 | 109k|1400 | 109k| 101 | 0 | 0 |-5.120000e+02 |-4.100000e+01 | 91.99%
37.69/37.71 c 37.7s| 1 | 0 | 2973 | - | 135M| 0 | 980 |1400 | 109k|1400 | 109k| 113 | 0 | 0 |-4.900000e+02 |-4.100000e+01 | 91.63%
43.59/43.64 c 43.6s| 1 | 0 | 3185 | - | 135M| 0 | 930 |1400 | 109k|1400 | 109k| 130 | 0 | 0 |-4.650000e+02 |-4.100000e+01 | 91.18%
49.51/49.55 c 49.6s| 1 | 0 | 3469 | - | 135M| 0 | 890 |1400 | 109k|1400 | 109k| 138 | 0 | 0 |-4.430000e+02 |-4.100000e+01 | 90.74%
55.20/55.29 c 55.3s| 1 | 0 | 3758 | - | 135M| 0 | 818 |1400 | 109k|1400 | 109k| 149 | 0 | 0 |-4.090000e+02 |-4.100000e+01 | 89.98%
56.40/56.48 c 56.5s| 1 | 0 | 3954 | - | 135M| 0 | 768 |1400 | 109k|1400 | 109k| 162 | 0 | 0 |-3.840000e+02 |-4.100000e+01 | 89.32%
57.80/57.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.80/57.80 c 57.8s| 1 | 0 | 4258 | - | 135M| 0 | 718 |1400 | 109k|1400 | 109k| 177 | 0 | 0 |-3.590000e+02 |-4.100000e+01 | 88.58%
60.29/60.36 c 60.4s| 1 | 0 | 5715 | - | 135M| 0 | 647 |1400 | 109k|1400 | 109k| 194 | 0 | 0 |-3.235000e+02 |-4.100000e+01 | 87.33%
61.39/61.41 c 61.4s| 1 | 0 | 5897 | - | 135M| 0 | 596 |1400 | 109k|1400 | 109k| 212 | 0 | 0 |-2.980000e+02 |-4.100000e+01 | 86.24%
66.50/66.57 c 66.6s| 1 | 0 | 8700 | - | 135M| 0 | 526 |1400 | 109k|1400 | 109k| 227 | 0 | 0 |-2.630000e+02 |-4.100000e+01 | 84.41%
71.29/71.40 c 71.4s| 1 | 0 | 11405 | - | 135M| 0 | 476 |1400 | 109k|1400 | 109k| 237 | 0 | 0 |-2.380000e+02 |-4.100000e+01 | 82.77%
75.69/75.80 c 75.8s| 1 | 0 | 13807 | - | 135M| 0 | 432 |1400 | 109k|1400 | 109k| 251 | 0 | 0 |-2.160000e+02 |-4.100000e+01 | 81.02%
81.20/81.25 c 81.2s| 1 | 0 | 17088 | - | 135M| 0 | 389 |1400 | 109k|1400 | 109k| 262 | 0 | 0 |-1.945000e+02 |-4.100000e+01 | 78.92%
88.01/88.07 c 88.1s| 1 | 0 | 21239 | - | 135M| 0 | 368 |1400 | 109k|1400 | 109k| 271 | 0 | 0 |-1.840000e+02 |-4.100000e+01 | 77.72%
93.99/94.03 c 94.0s| 1 | 0 | 24876 | - | 135M| 0 | 348 |1400 | 109k|1400 | 109k| 283 | 0 | 0 |-1.740000e+02 |-4.100000e+01 | 76.44%
98.09/98.10 c 98.1s| 1 | 0 | 27645 | - | 135M| 0 | 311 |1400 | 109k|1400 | 109k| 292 | 0 | 0 |-1.555000e+02 |-4.100000e+01 | 73.63%
105.80/105.80 c 106s| 1 | 0 | 32657 | - | 136M| 0 | 271 |1400 | 109k|1400 | 109k| 302 | 0 | 0 |-1.352500e+02 |-4.100000e+01 | 69.69%
107.40/107.44 c 107s| 1 | 0 | 33771 | - | 136M| 0 | 246 |1400 | 109k|1400 | 109k| 310 | 0 | 0 |-1.177500e+02 |-4.100000e+01 | 65.18%
108.39/108.45 c 108s| 1 | 0 | 34355 | - | 136M| 0 | 224 |1400 | 109k|1400 | 109k| 320 | 0 | 0 |-1.090000e+02 |-4.100000e+01 | 62.39%
109.29/109.33 c 109s| 1 | 0 | 34923 | - | 136M| 0 | 208 |1400 | 109k|1400 | 109k| 334 | 0 | 0 |-1.005000e+02 |-4.100000e+01 | 59.20%
111.50/111.58 c 112s| 1 | 0 | 36608 | - | 136M| 0 | 186 |1400 | 109k|1400 | 109k| 345 | 0 | 0 |-8.516667e+01 |-4.100000e+01 | 51.86%
112.60/112.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.60/112.69 c 113s| 1 | 0 | 37304 | - | 136M| 0 | 179 |1400 | 109k|1400 | 109k| 356 | 0 | 0 |-6.925000e+01 |-4.100000e+01 | 40.79%
113.69/113.75 c 114s| 1 | 0 | 37883 | - | 136M| 0 | 180 |1400 | 109k|1400 | 109k| 366 | 0 | 0 |-6.100000e+01 |-4.100000e+01 | 32.79%
114.59/114.66 c 115s| 1 | 0 | 38070 | - | 136M| 0 | 227 |1400 | 109k|1400 | 109k| 377 | 0 | 0 |-5.966667e+01 |-4.100000e+01 | 31.28%
116.19/116.24 c 116s| 1 | 0 | 39222 | - | 136M| 0 | 184 |1400 | 109k|1400 | 109k| 390 | 0 | 0 |-5.900000e+01 |-4.100000e+01 | 30.51%
116.89/116.97 c 117s| 1 | 0 | 39390 | - | 136M| 0 | 245 |1400 | 109k|1400 | 109k| 398 | 0 | 0 |-5.800000e+01 |-4.100000e+01 | 29.31%
121.39/121.42 c 121s| 1 | 0 | 39913 | - | 136M| 0 | 211 |1400 | 109k|1400 | 109k| 407 | 0 | 0 |-5.725000e+01 |-4.100000e+01 | 28.38%
122.59/122.64 c 123s| 1 | 0 | 40662 | - | 136M| 0 | 201 |1400 | 109k|1400 | 109k| 418 | 0 | 0 |-5.716667e+01 |-4.100000e+01 | 28.28%
123.22/123.30 c 123s| 1 | 0 | 40800 | - | 136M| 0 | 222 |1400 | 109k|1400 | 109k| 430 | 0 | 0 |-5.716667e+01 |-4.100000e+01 | 28.28%
124.10/124.11 c 124s| 1 | 0 | 40975 | - | 136M| 0 | 237 |1400 | 109k|1400 | 109k| 442 | 0 | 0 |-5.660870e+01 |-4.100000e+01 | 27.57%
125.90/125.92 c 126s| 1 | 0 | 41171 | - | 136M| 0 | 238 |1400 | 109k|1400 | 109k| 455 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
148.79/148.85 c 149s| 1 | 0 | 41285 | - | 136M| 0 | 240 |1400 | 109k|1400 | 109k| 465 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
174.81/174.82 c 175s| 1 | 0 | 41393 | - | 136M| 0 | 238 |1400 | 109k|1400 | 109k| 473 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
201.10/201.16 c 201s| 1 | 0 | 41567 | - | 136M| 0 | 240 |1400 | 109k|1400 | 109k| 481 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
229.00/229.03 c 229s| 1 | 0 | 41888 | - | 136M| 0 | 166 |1400 | 109k|1400 | 109k| 492 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
230.00/230.09 c 230s| 1 | 0 | 42227 | - | 136M| 0 | 259 |1400 | 109k|1400 | 109k| 502 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
257.31/257.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
257.31/257.39 c 257s| 1 | 2 | 42227 | - | 136M| 0 | 259 |1400 | 109k|1400 | 109k| 502 | 0 | 33 |-5.600000e+01 |-4.100000e+01 | 26.79%
495.11/495.15 o -42
495.11/495.15 c p 495s| 22 | 23 | 48545 | 300.9 | 142M| 14 | - |1400 | 109k|1400 | 109k| 502 | 0 | 456 |-5.600000e+01 |-4.200000e+01 | 25.00%
520.21/520.24 o -43
520.21/520.24 c l 520s| 85 | 86 | 59449 | 205.0 | 146M| 19 | - |1400 | 109k|1400 | 109k| 502 | 0 | 469 |-5.600000e+01 |-4.300000e+01 | 23.21%
536.30/536.34 o -46
536.30/536.34 c p 536s| 122 | 123 | 65430 | 191.8 | 149M| 19 | - |1400 | 109k|1400 | 109k| 502 | 0 | 506 |-5.600000e+01 |-4.600000e+01 | 17.86%
791.01/791.03 o -47
791.01/791.03 c l 791s| 668 | 669 |159822 | 176.3 | 178M| 31 | - |1400 | 109k|1400 | 109k| 502 | 0 | 729 |-5.600000e+01 |-4.700000e+01 | 16.07%
1510.74/1510.70 o -49
1510.74/1510.70 c l1511s| 2129 | 2128 |432303 | 183.3 | 248M| 33 | - |1400 | 109k|1400 | 109k| 502 | 0 |1419 |-5.600000e+01 |-4.900000e+01 | 12.50%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 2611
1800.05/1800.00 c Primal Bound : -4.90000000000000e+01 (525 solutions)
1800.05/1800.00 c Dual Bound : -5.59999999999999e+01
1800.05/1800.00 c Gap : 12.50 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451070-1307088277/watcher-3451070-1307088277 -o /tmp/evaluation-result-3451070-1307088277/solver-3451070-1307088277 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451070-1307088277.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.10 2.06 1.96 2/455 16105
/proc/meminfo: memFree=24335608/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=14088 CPUtime=0 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 2411 0 0 0 0 0 0 0 25 0 1 0 801243588 14426112 2364 33554432000 4194304 9163163 140734231673456 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16105/statm: 3522 2379 389 1214 0 2304 0
[startup+0.0797259 s]
/proc/loadavg: 2.10 2.06 1.96 2/455 16105
/proc/meminfo: memFree=24335608/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=19784 CPUtime=0.07 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 3940 0 0 0 7 0 0 0 25 0 1 0 801243588 20258816 3893 33554432000 4194304 9163163 140734231673456 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16105/statm: 4946 3893 395 1214 0 3728 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19784
[startup+0.100725 s]
/proc/loadavg: 2.10 2.06 1.96 2/455 16105
/proc/meminfo: memFree=24335608/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=21080 CPUtime=0.09 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 4270 0 0 0 9 0 0 0 25 0 1 0 801243588 21585920 4223 33554432000 4194304 9163163 140734231673456 18446744073709551615 8031149 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16105/statm: 5270 4223 395 1214 0 4052 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21080
[startup+0.300686 s]
/proc/loadavg: 2.10 2.06 1.96 2/455 16105
/proc/meminfo: memFree=24335608/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=33824 CPUtime=0.29 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 7452 0 0 0 29 0 0 0 25 0 1 0 801243588 34635776 7405 33554432000 4194304 9163163 140734231673456 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16105/statm: 8456 7405 395 1214 0 7238 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33824
[startup+0.70059 s]
/proc/loadavg: 2.10 2.06 1.96 2/455 16105
/proc/meminfo: memFree=24335608/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=100276 CPUtime=0.69 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 23835 0 0 0 67 2 0 0 25 0 1 0 801243588 102682624 23779 33554432000 4194304 9163163 140734231673456 18446744073709551615 4209843 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 25069 23786 432 1214 0 23851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100276
[startup+1.50047 s]
/proc/loadavg: 2.10 2.06 1.96 3/456 16106
/proc/meminfo: memFree=24197216/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=156064 CPUtime=1.49 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 49367 0 0 0 144 5 0 0 25 0 1 0 801243588 159809536 37651 33554432000 4194304 9163163 140734231673456 18446744073709551615 4216245 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 39016 37651 530 1214 0 37798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 156064
[startup+3.10115 s]
/proc/loadavg: 2.09 2.05 1.96 3/456 16106
/proc/meminfo: memFree=24185140/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=271624 CPUtime=3.09 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 77810 0 0 0 302 7 0 0 25 0 1 0 801243588 278142976 64060 33554432000 4194304 9163163 140734231673456 18446744073709551615 7379072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 67906 64060 625 1214 0 66688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 271624
[startup+6.3006 s]
/proc/loadavg: 2.09 2.05 1.96 3/456 16107
/proc/meminfo: memFree=24044772/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=314792 CPUtime=6.29 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 90236 0 0 0 620 9 0 0 25 0 1 0 801243588 322347008 73927 33554432000 4194304 9163163 140734231673456 18446744073709551615 6254756 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 78698 73927 1866 1214 0 77480 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 314792
[startup+12.7004 s]
/proc/loadavg: 2.08 2.05 1.96 3/456 16107
/proc/meminfo: memFree=24039088/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=314792 CPUtime=12.69 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 92035 0 0 0 1260 9 0 0 25 0 1 0 801243588 322347008 74967 33554432000 4194304 9163163 140734231673456 18446744073709551615 6284282 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 78698 74967 1573 1214 0 77480 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 314792
[startup+25.5011 s]
/proc/loadavg: 2.06 2.05 1.96 3/456 16107
/proc/meminfo: memFree=24033100/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=320628 CPUtime=25.49 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 93730 0 0 0 2540 9 0 0 25 0 1 0 801243588 328323072 75861 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 80157 75861 775 1214 0 78939 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 320628
[startup+51.1003 s]
/proc/loadavg: 2.18 2.08 1.97 3/456 16109
/proc/meminfo: memFree=24026504/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=320628 CPUtime=51.1 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 95344 0 0 0 5099 11 0 0 25 0 1 0 801243588 328323072 77441 33554432000 4194304 9163163 140734231673456 18446744073709551615 6254745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 80157 77441 741 1214 0 78939 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 320628
[startup+102.318 s]
/proc/loadavg: 2.14 2.08 1.97 3/456 16110
/proc/meminfo: memFree=23949220/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=331428 CPUtime=102.31 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 99122 0 0 0 10214 17 0 0 25 0 1 0 801243588 339382272 81139 33554432000 4194304 9163163 140734231673456 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 82857 81139 680 1214 0 81639 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 331428
[startup+162.301 s]
/proc/loadavg: 2.05 2.06 1.97 3/456 16112
/proc/meminfo: memFree=23948124/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=331428 CPUtime=162.3 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 99470 0 0 0 16202 28 0 0 25 0 1 0 801243588 339382272 81487 33554432000 4194304 9163163 140734231673456 18446744073709551615 6603165 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 82857 81487 680 1214 0 81639 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 331428
[startup+222.301 s]
/proc/loadavg: 2.02 2.05 1.97 3/456 16113
/proc/meminfo: memFree=23948084/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=331428 CPUtime=222.3 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 99492 0 0 0 22192 38 0 0 25 0 1 0 801243588 339382272 81509 33554432000 4194304 9163163 140734231673456 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 82857 81509 680 1214 0 81639 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 331428
[startup+282.301 s]
/proc/loadavg: 2.00 2.04 1.97 3/456 16116
/proc/meminfo: memFree=23883664/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=397112 CPUtime=282.3 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 115750 0 0 0 28182 48 0 0 25 0 1 0 801243588 406642688 97736 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99278 97736 721 1214 0 98060 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 397112
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 1.97 3/456 16119
/proc/meminfo: memFree=23883716/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=397112 CPUtime=342.3 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 115750 0 0 0 34173 57 0 0 25 0 1 0 801243588 406642688 97736 33554432000 4194304 9163163 140734231673456 18446744073709551615 7311816 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99278 97736 721 1214 0 98060 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 397112
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/456 16120
/proc/meminfo: memFree=23883928/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=397112 CPUtime=402.3 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 115750 0 0 0 40163 67 0 0 25 0 1 0 801243588 406642688 97736 33554432000 4194304 9163163 140734231673456 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99278 97736 721 1214 0 98060 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 397112
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/456 16122
/proc/meminfo: memFree=23881152/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=397112 CPUtime=462.3 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 115750 0 0 0 46156 74 0 0 25 0 1 0 801243588 406642688 97736 33554432000 4194304 9163163 140734231673456 18446744073709551615 6974005 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99278 97736 721 1214 0 98060 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 397112
[startup+522.3 s]
/proc/loadavg: 2.12 2.04 1.99 3/456 16123
/proc/meminfo: memFree=23881080/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=397112 CPUtime=522.31 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 115751 0 0 0 52148 83 0 0 25 0 1 0 801243588 406642688 97737 33554432000 4194304 9163163 140734231673456 18446744073709551615 7413850 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99278 97737 722 1214 0 98060 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 397112
[startup+582.3 s]
/proc/loadavg: 2.09 2.05 1.99 3/456 16125
/proc/meminfo: memFree=23881020/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=397112 CPUtime=582.31 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 115751 0 0 0 58139 92 0 0 25 0 1 0 801243588 406642688 97737 33554432000 4194304 9163163 140734231673456 18446744073709551615 7082836 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99278 97737 722 1214 0 98060 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 397112
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 16132
/proc/meminfo: memFree=23876776/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=398512 CPUtime=822.31 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 135256 0 0 0 82105 126 0 0 25 0 1 0 801243588 408076288 98409 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99628 98409 726 1214 0 98410 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 398512
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16134
/proc/meminfo: memFree=23876976/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=398512 CPUtime=882.32 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 135256 0 0 0 88099 133 0 0 25 0 1 0 801243588 408076288 98409 33554432000 4194304 9163163 140734231673456 18446744073709551615 7379252 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99628 98409 726 1214 0 98410 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 398512
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16136
/proc/meminfo: memFree=23877444/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=398512 CPUtime=942.32 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 135259 0 0 0 94089 143 0 0 25 0 1 0 801243588 408076288 98412 33554432000 4194304 9163163 140734231673456 18446744073709551615 7216630 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99628 98412 726 1214 0 98410 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 398512
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16138
/proc/meminfo: memFree=23877512/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=398512 CPUtime=1002.32 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 135259 0 0 0 100083 149 0 0 25 0 1 0 801243588 408076288 98412 33554432000 4194304 9163163 140734231673456 18446744073709551615 7344844 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99628 98412 726 1214 0 98410 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 398512
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 16140
/proc/meminfo: memFree=23877580/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=398512 CPUtime=1062.33 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 135259 0 0 0 106075 158 0 0 25 0 1 0 801243588 408076288 98412 33554432000 4194304 9163163 140734231673456 18446744073709551615 7209930 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 99628 98412 726 1214 0 98410 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 398512
[startup+1122.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/456 16141
/proc/meminfo: memFree=23876924/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=405100 CPUtime=1122.33 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 135468 0 0 0 112068 165 0 0 25 0 1 0 801243588 414822400 98621 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 101275 98621 726 1214 0 100057 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 405100
[startup+1182.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/456 16143
/proc/meminfo: memFree=23871416/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=411964 CPUtime=1182.33 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 136507 0 0 0 118060 173 0 0 25 0 1 0 801243588 421851136 99660 33554432000 4194304 9163163 140734231673456 18446744073709551615 7345698 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 102991 99660 726 1214 0 101773 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 411964
[startup+1242.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/456 16149
/proc/meminfo: memFree=23859220/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=419016 CPUtime=1242.33 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 137913 0 0 0 124052 181 0 0 25 0 1 0 801243588 429072384 101066 33554432000 4194304 9163163 140734231673456 18446744073709551615 7240253 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 104754 101066 750 1214 0 103536 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 419016
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 16150
/proc/meminfo: memFree=23849188/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=421924 CPUtime=1302.34 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 139184 0 0 0 130045 189 0 0 25 0 1 0 801243588 432050176 102313 33554432000 4194304 9163163 140734231673456 18446744073709551615 7300297 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 105481 102313 726 1214 0 104263 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 421924
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 16152
/proc/meminfo: memFree=23849888/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=422792 CPUtime=1362.34 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 139951 0 0 0 136038 196 0 0 25 0 1 0 801243588 432939008 103080 33554432000 4194304 9163163 140734231673456 18446744073709551615 7216630 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 105698 103080 726 1214 0 104480 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 422792
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16153
/proc/meminfo: memFree=23834220/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=433964 CPUtime=1422.35 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 141737 0 0 0 142032 203 0 0 25 0 1 0 801243588 444379136 104855 33554432000 4194304 9163163 140734231673456 18446744073709551615 4209328 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 108491 104855 732 1214 0 107273 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 433964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 16155
/proc/meminfo: memFree=23825884/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=434136 CPUtime=1482.34 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 142398 0 0 0 148024 210 0 0 25 0 1 0 801243588 444555264 105514 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 108534 105514 730 1214 0 107316 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 434136
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 16157
/proc/meminfo: memFree=23815424/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=441228 CPUtime=1542.34 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 143444 0 0 0 154017 217 0 0 25 0 1 0 801243588 451817472 106560 33554432000 4194304 9163163 140734231673456 18446744073709551615 7379225 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 110307 106560 730 1214 0 109089 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 441228
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/456 16158
/proc/meminfo: memFree=23810296/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=441228 CPUtime=1602.34 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 144109 0 0 0 160010 224 0 0 25 0 1 0 801243588 451817472 107225 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 110307 107225 730 1214 0 109089 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 441228
[startup+1662.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/456 16160
/proc/meminfo: memFree=23794732/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=444848 CPUtime=1662.35 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 145366 0 0 0 166003 232 0 0 25 0 1 0 801243588 455524352 108468 33554432000 4194304 9163163 140734231673456 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 111212 108468 729 1214 0 109994 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 444848
[startup+1722.3 s]
/proc/loadavg: 1.99 2.03 2.00 3/456 16189
/proc/meminfo: memFree=23993280/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=459388 CPUtime=1722.35 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 147916 0 0 0 171995 240 0 0 25 0 1 0 801243588 470413312 111015 33554432000 4194304 9163163 140734231673456 18446744073709551615 7413850 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 114847 111015 773 1214 0 113629 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 459388
[startup+1782.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/456 16191
/proc/meminfo: memFree=23916732/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=458544 CPUtime=1782.35 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 152133 0 0 0 177989 246 0 0 25 0 1 0 801243588 469549056 111304 33554432000 4194304 9163163 140734231673456 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/16105/statm: 114636 111304 740 1214 0 113418 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 458544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.02 2.00 3/456 16191
/proc/meminfo: memFree=23975020/32951124 swapFree=60476376/67111528
[pid=16105] ppid=16102 vsize=461040 CPUtime=1800.05 cores=0,2,4,6
/proc/16105/stat : 16105 (scip-2.0.1.4b.l) R 16102 16105 12802 0 -1 4202496 152871 0 0 0 179757 248 0 0 25 0 1 0 801243588 472104960 112028 33554432000 4194304 9163163 140734231673456 18446744073709551615 4684104 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/16105/statm: 115260 112028 727 1214 0 114042 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 461040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.1
CPU user time (s): 1797.59
CPU system time (s): 2.50762
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 466872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.59
system time used= 2.50762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2258
runsolver used 8.87865 second user time and 18.7022 second system time
The end