0.00/0.00 c SCIP version 2.0.1.4 [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-3452730-1307088287.opb>
0.59/0.62 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109676 constraints
0.59/0.62 c problem read
0.59/0.62 c presolving settings loaded
0.79/0.87 o 0
0.79/0.87 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.79/0.87 c presolving:
1.29/1.36 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.99/3.02 c (3.0s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.99/3.02 c (3.0s) probing aborted: 100/100 successive totally useless probings
2.99/3.02 c presolving (2 rounds):
2.99/3.02 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.02 c 219352 implications, 0 cliques
2.99/3.02 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109676 constraints
2.99/3.02 c 109676 constraints of type <setppc>
2.99/3.02 c transformed objective value is always integral (scale: 1)
2.99/3.02 c Presolving Time: 2.34
2.99/3.02 c - non default parameters ----------------------------------------------------------------------
2.99/3.02 c # SCIP version 2.0.1.4
2.99/3.02 c
2.99/3.02 c # frequency for displaying node information lines
2.99/3.02 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.02 c display/freq = 10000
2.99/3.02 c
2.99/3.02 c # maximal time in seconds to run
2.99/3.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.02 c limits/time = 1800
2.99/3.02 c
2.99/3.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.02 c limits/memory = 13950
2.99/3.02 c
2.99/3.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.99/3.02 c # [type: int, range: [1,2], default: 1]
2.99/3.02 c timing/clocktype = 2
2.99/3.02 c
2.99/3.02 c # belongs reading time to solving time?
2.99/3.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02 c timing/reading = TRUE
2.99/3.02 c
2.99/3.02 c # should presolving try to simplify inequalities
2.99/3.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02 c constraints/linear/simplifyinequalities = TRUE
2.99/3.02 c
2.99/3.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.99/3.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02 c constraints/indicator/addCouplingCons = TRUE
2.99/3.02 c
2.99/3.02 c # should presolving try to simplify knapsacks
2.99/3.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.02 c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.02 c
2.99/3.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.99/3.02 c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.02 c separating/rapidlearning/freq = 0
2.99/3.02 c
2.99/3.02 c -----------------------------------------------------------------------------------------------
2.99/3.02 c start solving
2.99/3.03 c
5.40/5.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.40/5.49 c t 5.5s| 1 | 0 | 1402 | - | 127M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 | 0.000000e+00 | 100.00%
5.51/5.58 o -1
5.51/5.58 c R 5.6s| 1 | 0 | 1402 | - | 127M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-1.000000e+00 | 99.86%
5.59/5.67 o -2
5.59/5.67 c s 5.7s| 1 | 0 | 1402 | - | 127M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-2.000000e+00 | 99.71%
7.59/7.71 c 7.7s| 1 | 0 | 1677 | - | 127M| 0 |1331 |1400 | 109k|1400 | 109k| 5 | 0 | 0 |-6.655000e+02 |-2.000000e+00 | 99.70%
7.71/7.74 o -41
7.71/7.74 c b 7.7s| 1 | 0 | 1677 | - | 127M| 0 |1331 |1400 | 109k|1400 | 109k| 5 | 0 | 0 |-6.655000e+02 |-4.100000e+01 | 93.84%
10.49/10.59 c 10.6s| 1 | 0 | 1840 | - | 127M| 0 |1272 |1400 | 109k|1400 | 109k| 21 | 0 | 0 |-6.360000e+02 |-4.100000e+01 | 93.55%
14.89/14.97 c 15.0s| 1 | 0 | 2073 | - | 127M| 0 |1201 |1400 | 109k|1400 | 109k| 52 | 0 | 0 |-6.005000e+02 |-4.100000e+01 | 93.17%
20.09/20.19 c 20.2s| 1 | 0 | 2272 | - | 127M| 0 |1127 |1400 | 109k|1400 | 109k| 68 | 0 | 0 |-5.635000e+02 |-4.100000e+01 | 92.72%
26.09/26.13 c 26.1s| 1 | 0 | 2512 | - | 127M| 0 |1076 |1400 | 109k|1400 | 109k| 87 | 0 | 0 |-5.372500e+02 |-4.100000e+01 | 92.37%
32.09/32.11 c 32.1s| 1 | 0 | 2680 | - | 127M| 0 |1024 |1400 | 109k|1400 | 109k| 101 | 0 | 0 |-5.120000e+02 |-4.100000e+01 | 91.99%
38.09/38.18 c 38.2s| 1 | 0 | 2973 | - | 127M| 0 | 980 |1400 | 109k|1400 | 109k| 113 | 0 | 0 |-4.900000e+02 |-4.100000e+01 | 91.63%
44.09/44.15 c 44.2s| 1 | 0 | 3185 | - | 127M| 0 | 930 |1400 | 109k|1400 | 109k| 130 | 0 | 0 |-4.650000e+02 |-4.100000e+01 | 91.18%
50.09/50.10 c 50.1s| 1 | 0 | 3469 | - | 127M| 0 | 890 |1400 | 109k|1400 | 109k| 138 | 0 | 0 |-4.430000e+02 |-4.100000e+01 | 90.74%
55.79/55.86 c 55.9s| 1 | 0 | 3758 | - | 127M| 0 | 818 |1400 | 109k|1400 | 109k| 149 | 0 | 0 |-4.090000e+02 |-4.100000e+01 | 89.98%
56.99/57.10 c 57.1s| 1 | 0 | 3954 | - | 127M| 0 | 768 |1400 | 109k|1400 | 109k| 162 | 0 | 0 |-3.840000e+02 |-4.100000e+01 | 89.32%
58.39/58.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.39/58.46 c 58.5s| 1 | 0 | 4258 | - | 127M| 0 | 718 |1400 | 109k|1400 | 109k| 177 | 0 | 0 |-3.590000e+02 |-4.100000e+01 | 88.58%
61.00/61.05 c 61.0s| 1 | 0 | 5715 | - | 127M| 0 | 647 |1400 | 109k|1400 | 109k| 194 | 0 | 0 |-3.235000e+02 |-4.100000e+01 | 87.33%
62.09/62.14 c 62.1s| 1 | 0 | 5897 | - | 127M| 0 | 596 |1400 | 109k|1400 | 109k| 212 | 0 | 0 |-2.980000e+02 |-4.100000e+01 | 86.24%
67.19/67.26 c 67.3s| 1 | 0 | 8700 | - | 127M| 0 | 526 |1400 | 109k|1400 | 109k| 227 | 0 | 0 |-2.630000e+02 |-4.100000e+01 | 84.41%
71.99/72.06 c 72.1s| 1 | 0 | 11405 | - | 127M| 0 | 476 |1400 | 109k|1400 | 109k| 237 | 0 | 0 |-2.380000e+02 |-4.100000e+01 | 82.77%
76.39/76.44 c 76.4s| 1 | 0 | 13807 | - | 127M| 0 | 432 |1400 | 109k|1400 | 109k| 251 | 0 | 0 |-2.160000e+02 |-4.100000e+01 | 81.02%
81.79/81.84 c 81.8s| 1 | 0 | 17088 | - | 128M| 0 | 389 |1400 | 109k|1400 | 109k| 262 | 0 | 0 |-1.945000e+02 |-4.100000e+01 | 78.92%
88.49/88.55 c 88.5s| 1 | 0 | 21239 | - | 128M| 0 | 368 |1400 | 109k|1400 | 109k| 271 | 0 | 0 |-1.840000e+02 |-4.100000e+01 | 77.72%
94.39/94.45 c 94.4s| 1 | 0 | 24876 | - | 128M| 0 | 348 |1400 | 109k|1400 | 109k| 283 | 0 | 0 |-1.740000e+02 |-4.100000e+01 | 76.44%
98.39/98.43 c 98.4s| 1 | 0 | 27645 | - | 128M| 0 | 311 |1400 | 109k|1400 | 109k| 292 | 0 | 0 |-1.555000e+02 |-4.100000e+01 | 73.63%
105.90/105.99 c 106s| 1 | 0 | 32657 | - | 128M| 0 | 271 |1400 | 109k|1400 | 109k| 302 | 0 | 0 |-1.352500e+02 |-4.100000e+01 | 69.69%
107.60/107.62 c 108s| 1 | 0 | 33771 | - | 128M| 0 | 246 |1400 | 109k|1400 | 109k| 310 | 0 | 0 |-1.177500e+02 |-4.100000e+01 | 65.18%
108.59/108.63 c 109s| 1 | 0 | 34355 | - | 128M| 0 | 224 |1400 | 109k|1400 | 109k| 320 | 0 | 0 |-1.090000e+02 |-4.100000e+01 | 62.39%
109.50/109.52 c 110s| 1 | 0 | 34923 | - | 128M| 0 | 208 |1400 | 109k|1400 | 109k| 334 | 0 | 0 |-1.005000e+02 |-4.100000e+01 | 59.20%
111.69/111.74 c 112s| 1 | 0 | 36608 | - | 128M| 0 | 186 |1400 | 109k|1400 | 109k| 345 | 0 | 0 |-8.516667e+01 |-4.100000e+01 | 51.86%
112.79/112.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.79/112.85 c 113s| 1 | 0 | 37304 | - | 128M| 0 | 179 |1400 | 109k|1400 | 109k| 356 | 0 | 0 |-6.925000e+01 |-4.100000e+01 | 40.79%
113.90/113.92 c 114s| 1 | 0 | 37883 | - | 128M| 0 | 180 |1400 | 109k|1400 | 109k| 366 | 0 | 0 |-6.100000e+01 |-4.100000e+01 | 32.79%
114.79/114.84 c 115s| 1 | 0 | 38070 | - | 128M| 0 | 227 |1400 | 109k|1400 | 109k| 377 | 0 | 0 |-5.966667e+01 |-4.100000e+01 | 31.28%
116.39/116.40 c 116s| 1 | 0 | 39222 | - | 128M| 0 | 184 |1400 | 109k|1400 | 109k| 390 | 0 | 0 |-5.900000e+01 |-4.100000e+01 | 30.51%
117.09/117.16 c 117s| 1 | 0 | 39390 | - | 128M| 0 | 245 |1400 | 109k|1400 | 109k| 398 | 0 | 0 |-5.800000e+01 |-4.100000e+01 | 29.31%
121.69/121.76 c 122s| 1 | 0 | 39913 | - | 128M| 0 | 211 |1400 | 109k|1400 | 109k| 407 | 0 | 0 |-5.725000e+01 |-4.100000e+01 | 28.38%
122.89/122.98 c 123s| 1 | 0 | 40662 | - | 128M| 0 | 201 |1400 | 109k|1400 | 109k| 418 | 0 | 0 |-5.716667e+01 |-4.100000e+01 | 28.28%
123.60/123.65 c 124s| 1 | 0 | 40800 | - | 128M| 0 | 222 |1400 | 109k|1400 | 109k| 430 | 0 | 0 |-5.716667e+01 |-4.100000e+01 | 28.28%
124.40/124.48 c 124s| 1 | 0 | 40975 | - | 128M| 0 | 237 |1400 | 109k|1400 | 109k| 442 | 0 | 0 |-5.660870e+01 |-4.100000e+01 | 27.57%
126.29/126.34 c 126s| 1 | 0 | 41171 | - | 128M| 0 | 238 |1400 | 109k|1400 | 109k| 455 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
150.29/150.31 c 150s| 1 | 0 | 41285 | - | 128M| 0 | 240 |1400 | 109k|1400 | 109k| 465 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
177.29/177.36 c 177s| 1 | 0 | 41393 | - | 128M| 0 | 238 |1400 | 109k|1400 | 109k| 473 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
204.90/204.92 c 205s| 1 | 0 | 41567 | - | 128M| 0 | 240 |1400 | 109k|1400 | 109k| 481 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
233.90/233.91 c 234s| 1 | 0 | 41888 | - | 128M| 0 | 166 |1400 | 109k|1400 | 109k| 492 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
234.89/234.99 c 235s| 1 | 0 | 42227 | - | 128M| 0 | 259 |1400 | 109k|1400 | 109k| 502 | 0 | 0 |-5.600000e+01 |-4.100000e+01 | 26.79%
261.60/261.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.60/261.71 c 262s| 1 | 2 | 42227 | - | 129M| 0 | 259 |1400 | 109k|1400 | 109k| 502 | 0 | 33 |-5.600000e+01 |-4.100000e+01 | 26.79%
497.01/497.10 o -42
497.01/497.10 c p 497s| 22 | 23 | 48545 | 300.9 | 134M| 14 | - |1400 | 109k|1400 | 109k| 502 | 0 | 456 |-5.600000e+01 |-4.200000e+01 | 25.00%
522.00/522.03 o -43
522.00/522.03 c l 522s| 85 | 86 | 59449 | 205.0 | 138M| 19 | - |1400 | 109k|1400 | 109k| 502 | 0 | 469 |-5.600000e+01 |-4.300000e+01 | 23.21%
538.00/538.03 o -46
538.00/538.03 c p 538s| 122 | 123 | 65430 | 191.8 | 141M| 19 | - |1400 | 109k|1400 | 109k| 502 | 0 | 506 |-5.600000e+01 |-4.600000e+01 | 17.86%
791.51/791.51 o -47
791.51/791.51 c l 792s| 668 | 669 |159822 | 176.3 | 170M| 31 | - |1400 | 109k|1400 | 109k| 502 | 0 | 729 |-5.600000e+01 |-4.700000e+01 | 16.07%
1509.03/1509.01 o -49
1509.03/1509.01 c l1509s| 2129 | 2128 |432303 | 183.3 | 240M| 33 | - |1400 | 109k|1400 | 109k| 502 | 0 |1419 |-5.600000e+01 |-4.900000e+01 | 12.50%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 2617
1800.04/1800.01 c Primal Bound : -4.90000000000000e+01 (524 solutions)
1800.04/1800.01 c Dual Bound : -5.59999999999999e+01
1800.04/1800.01 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-3452730-1307088287/watcher-3452730-1307088287 -o /tmp/evaluation-result-3452730-1307088287/solver-3452730-1307088287 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452730-1307088287.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.04 2.02 2.00 2/458 6514
/proc/meminfo: memFree=26286460/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=11232 CPUtime=0 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 1773 0 0 0 0 0 0 0 25 0 1 0 820426893 11501568 1727 33554432000 4194304 9128323 140733437447504 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6514/statm: 2808 1744 391 1205 0 1599 0
[startup+0.0612631 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6514
/proc/meminfo: memFree=26286460/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=14892 CPUtime=0.05 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 2729 0 0 0 5 0 0 0 25 0 1 0 820426893 15249408 2682 33554432000 4194304 9128323 140733437447504 18446744073709551615 7952559 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6514/statm: 3723 2682 400 1205 0 2514 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14892
[startup+0.100256 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6514
/proc/meminfo: memFree=26286460/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=16268 CPUtime=0.09 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 3083 0 0 0 9 0 0 0 25 0 1 0 820426893 16658432 3035 33554432000 4194304 9128323 140733437447504 18446744073709551615 8014542 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6514/statm: 4067 3035 400 1205 0 2858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16268
[startup+0.300222 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6514
/proc/meminfo: memFree=26286460/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=27288 CPUtime=0.29 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 5841 0 0 0 29 0 0 0 25 0 1 0 820426893 27942912 5788 33554432000 4194304 9128323 140733437447504 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6514/statm: 6822 5788 400 1205 0 5613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27288
[startup+0.700155 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6514
/proc/meminfo: memFree=26286460/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=89344 CPUtime=0.69 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 21092 0 0 0 67 2 0 0 25 0 1 0 820426893 91488256 20986 33554432000 4194304 9128323 140733437447504 18446744073709551615 4338658 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 22336 20986 467 1205 0 21127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89344
[startup+1.50101 s]
/proc/loadavg: 2.04 2.02 2.00 2/457 6517
/proc/meminfo: memFree=26183796/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=167028 CPUtime=1.49 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 54752 0 0 0 141 8 0 0 25 0 1 0 820426893 171036672 40368 33554432000 4194304 9128323 140733437447504 18446744073709551615 5488750 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 41757 40368 533 1205 0 40548 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167028
[startup+3.10074 s]
/proc/loadavg: 2.04 2.02 2.00 2/457 6517
/proc/meminfo: memFree=26143940/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=202692 CPUtime=3.09 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 64075 0 0 0 301 8 0 0 25 0 1 0 820426893 207556608 49269 33554432000 4194304 9128323 140733437447504 18446744073709551615 4638795 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 50673 49269 569 1205 0 49464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 202692
[startup+6.30015 s]
/proc/loadavg: 2.04 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25836020/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=324888 CPUtime=6.29 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 95699 0 0 0 617 12 0 0 25 0 1 0 820426893 332685312 76422 33554432000 4194304 9128323 140733437447504 18446744073709551615 6702479 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 81222 76422 1629 1205 0 80013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 324888
[startup+12.701 s]
/proc/loadavg: 2.03 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25822088/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=324888 CPUtime=12.69 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 97702 0 0 0 1257 12 0 0 25 0 1 0 820426893 332685312 77861 33554432000 4194304 9128323 140733437447504 18446744073709551615 6694295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 81222 77861 1535 1205 0 80013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 324888
[startup+25.5007 s]
/proc/loadavg: 2.02 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25811920/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=326732 CPUtime=25.49 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 99251 0 0 0 2536 13 0 0 25 0 1 0 820426893 334573568 78870 33554432000 4194304 9128323 140733437447504 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 81683 78870 998 1205 0 80474 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 326732
[startup+51.1002 s]
/proc/loadavg: 2.16 2.05 2.01 3/459 6545
/proc/meminfo: memFree=25803492/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=328416 CPUtime=51.09 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 100480 0 0 0 5094 15 0 0 25 0 1 0 820426893 336297984 79938 33554432000 4194304 9128323 140733437447504 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 82104 79938 838 1205 0 80895 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 328416
[startup+102.317 s]
/proc/loadavg: 2.06 2.04 2.00 3/459 6546
/proc/meminfo: memFree=25729560/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=350704 CPUtime=102.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 105855 0 0 0 10200 30 0 0 25 0 1 0 820426893 359120896 85176 33554432000 4194304 9128323 140733437447504 18446744073709551615 7312772 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 87676 85176 704 1205 0 86467 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 350704
[startup+162.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/459 6548
/proc/meminfo: memFree=25727856/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=350704 CPUtime=162.29 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 106208 0 0 0 16179 50 0 0 25 0 1 0 820426893 359120896 85527 33554432000 4194304 9128323 140733437447504 18446744073709551615 7018441 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 87676 85527 703 1205 0 86467 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 350704
[startup+222.301 s]
/proc/loadavg: 2.06 2.07 2.01 3/459 6549
/proc/meminfo: memFree=25726080/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=350704 CPUtime=222.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 106231 0 0 0 22167 63 0 0 25 0 1 0 820426893 359120896 85550 33554432000 4194304 9128323 140733437447504 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 87676 85550 703 1205 0 86467 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 350704
[startup+282.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/459 6551
/proc/meminfo: memFree=25655364/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=409476 CPUtime=282.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 130409 0 0 0 28115 115 0 0 25 0 1 0 820426893 419303424 100872 33554432000 4194304 9128323 140733437447504 18446744073709551615 6941939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 102369 100872 750 1205 0 101160 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 409476
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 6553
/proc/meminfo: memFree=25666360/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=409476 CPUtime=342.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 130409 0 0 0 34097 133 0 0 25 0 1 0 820426893 419303424 100872 33554432000 4194304 9128323 140733437447504 18446744073709551615 7185009 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 102369 100872 750 1205 0 101160 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 409476
[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/459 6554
/proc/meminfo: memFree=25666824/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=409476 CPUtime=402.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 130409 0 0 0 40076 154 0 0 25 0 1 0 820426893 419303424 100872 33554432000 4194304 9128323 140733437447504 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 102369 100872 750 1205 0 101160 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 409476
[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/459 6556
/proc/meminfo: memFree=25667276/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=409476 CPUtime=462.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 130409 0 0 0 46056 174 0 0 25 0 1 0 820426893 419303424 100872 33554432000 4194304 9128323 140733437447504 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 102369 100872 750 1205 0 101160 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 409476
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/459 6557
/proc/meminfo: memFree=25667732/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=409476 CPUtime=522.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 130409 0 0 0 52034 196 0 0 25 0 1 0 820426893 419303424 100872 33554432000 4194304 9128323 140733437447504 18446744073709551615 5851849 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 102369 100872 750 1205 0 101160 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 409476
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 6559
/proc/meminfo: memFree=25655672/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=409476 CPUtime=582.3 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 130409 0 0 0 58015 215 0 0 25 0 1 0 820426893 419303424 100872 33554432000 4194304 9128323 140733437447504 18446744073709551615 7184922 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 102369 100872 750 1205 0 101160 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 409476
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/459 6565
/proc/meminfo: memFree=25574924/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=822.31 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151006 0 0 0 81916 315 0 0 25 0 1 0 820426893 463765504 111739 33554432000 4194304 9128323 140733437447504 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111739 756 1205 0 112015 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 452896
[startup+882.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/459 6567
/proc/meminfo: memFree=25564352/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=882.31 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151006 0 0 0 87898 333 0 0 25 0 1 0 820426893 463765504 111739 33554432000 4194304 9128323 140733437447504 18446744073709551615 7315472 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111739 756 1205 0 112015 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 452896
[startup+942.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/459 6569
/proc/meminfo: memFree=25553292/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=942.31 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151009 0 0 0 93881 350 0 0 25 0 1 0 820426893 463765504 111742 33554432000 4194304 9128323 140733437447504 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111742 756 1205 0 112015 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 452896
[startup+1002.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/459 6570
/proc/meminfo: memFree=25539008/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1002.32 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151009 0 0 0 99865 367 0 0 25 0 1 0 820426893 463765504 111742 33554432000 4194304 9128323 140733437447504 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111742 756 1205 0 112015 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 452896
[startup+1062.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/459 6572
/proc/meminfo: memFree=25533764/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1062.32 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151009 0 0 0 105848 384 0 0 25 0 1 0 820426893 463765504 111742 33554432000 4194304 9128323 140733437447504 18446744073709551615 7205408 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111742 756 1205 0 112015 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 452896
[startup+1122.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/459 6573
/proc/meminfo: memFree=25524556/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1122.31 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151009 0 0 0 111830 401 0 0 25 0 1 0 820426893 463765504 111742 33554432000 4194304 9128323 140733437447504 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111742 756 1205 0 112015 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 452896
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/459 6575
/proc/meminfo: memFree=25514724/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1182.32 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151010 0 0 0 117814 418 0 0 25 0 1 0 820426893 463765504 111743 33554432000 4194304 9128323 140733437447504 18446744073709551615 7217848 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111743 756 1205 0 112015 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 452896
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/459 6577
/proc/meminfo: memFree=25500060/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1242.33 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151010 0 0 0 123799 434 0 0 25 0 1 0 820426893 463765504 111743 33554432000 4194304 9128323 140733437447504 18446744073709551615 6713407 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111743 756 1205 0 112015 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 452896
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 6578
/proc/meminfo: memFree=25488748/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1302.33 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151010 0 0 0 129786 447 0 0 25 0 1 0 820426893 463765504 111743 33554432000 4194304 9128323 140733437447504 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111743 756 1205 0 112015 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 452896
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 6580
/proc/meminfo: memFree=25477808/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1362.33 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151010 0 0 0 135768 465 0 0 25 0 1 0 820426893 463765504 111743 33554432000 4194304 9128323 140733437447504 18446744073709551615 7163840 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111743 756 1205 0 112015 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 452896
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6581
/proc/meminfo: memFree=25469088/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1422.34 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151030 0 0 0 141754 480 0 0 25 0 1 0 820426893 463765504 111763 33554432000 4194304 9128323 140733437447504 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111763 756 1205 0 112015 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 452896
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6583
/proc/meminfo: memFree=25458152/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1482.33 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151033 0 0 0 147736 497 0 0 25 0 1 0 820426893 463765504 111766 33554432000 4194304 9128323 140733437447504 18446744073709551615 7342752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111766 756 1205 0 112015 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 452896
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6585
/proc/meminfo: memFree=25450444/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1542.33 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151033 0 0 0 153719 514 0 0 25 0 1 0 820426893 463765504 111766 33554432000 4194304 9128323 140733437447504 18446744073709551615 7315076 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111766 756 1205 0 112015 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 452896
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/459 6586
/proc/meminfo: memFree=25441116/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=452896 CPUtime=1602.33 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151033 0 0 0 159703 530 0 0 25 0 1 0 820426893 463765504 111766 33554432000 4194304 9128323 140733437447504 18446744073709551615 7337536 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 113224 111766 756 1205 0 112015 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 452896
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/459 6588
/proc/meminfo: memFree=25428944/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=456152 CPUtime=1662.34 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 151179 0 0 0 165685 549 0 0 25 0 1 0 820426893 467099648 111912 33554432000 4194304 9128323 140733437447504 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 114038 111912 756 1205 0 112829 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 456152
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6589
/proc/meminfo: memFree=25407712/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=468672 CPUtime=1722.34 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 153001 0 0 0 171668 566 0 0 25 0 1 0 820426893 479920128 113731 33554432000 4194304 9128323 140733437447504 18446744073709551615 7346406 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 117168 113731 769 1205 0 115959 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 468672
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/459 6591
/proc/meminfo: memFree=25392548/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=473688 CPUtime=1782.34 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 154436 0 0 0 177652 582 0 0 25 0 1 0 820426893 485056512 115123 33554432000 4194304 9128323 140733437447504 18446744073709551615 7191078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 118422 115123 763 1205 0 117213 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 473688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/459 6591
/proc/meminfo: memFree=25390172/32951124 swapFree=60688864/67111528
[pid=6514] ppid=6512 vsize=473688 CPUtime=1800.05 cores=1,3,5,7
/proc/6514/stat : 6514 (scip-2.0.1.4.li) R 6512 6514 2978 0 -1 4202496 154744 0 0 0 179417 588 0 0 25 0 1 0 820426893 485056512 115429 33554432000 4194304 9128323 140733437447504 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/6514/statm: 118422 115429 761 1205 0 117213 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 473688
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.08
CPU user time (s): 1794.18
CPU system time (s): 5.9011
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 473688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 5.9011
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154744
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= 6
involuntary context switches= 2981
runsolver used 7.70483 second user time and 19.92 second system time
The end