runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3749148-1339160340/watcher-3749148-1339160340 -o /tmp/evaluation-result-3749148-1339160340/solver-3749148-1339160340 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749148-1339160340.opb 870402878 HOME HOME
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.45 2.07 1.75 3/179 9230
/proc/meminfo: memFree=31312260/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[startup+0.105327 s]
/proc/loadavg: 2.45 2.07 1.75 3/179 9230
/proc/meminfo: memFree=31312260/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200351 s]
/proc/loadavg: 2.45 2.07 1.75 3/179 9230
/proc/meminfo: memFree=31312260/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300365 s]
/proc/loadavg: 2.45 2.07 1.75 3/179 9230
/proc/meminfo: memFree=31312260/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700305 s]
/proc/loadavg: 2.45 2.07 1.75 3/179 9230
/proc/meminfo: memFree=31312260/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.45 2.07 1.75 3/181 9232
/proc/meminfo: memFree=31175232/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=175052 CPUtime=1.48 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) R 9230 9230 4304 0 -1 4202496 17816 0 0 0 143 5 0 0 20 0 1 0 382160082 179253248 41545 33554432000 4194304 6004724 140735561141328 140735561135960 4579232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9231/statm: 43763 41545 154 442 0 43317 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 184200
[startup+3.10036 s]
/proc/loadavg: 2.45 2.07 1.75 3/181 9232
/proc/meminfo: memFree=31096408/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=486212 CPUtime=3.07 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) R 9230 9230 4304 0 -1 4202496 19396 0 0 0 288 19 0 0 20 0 1 0 382160082 497881088 94794 33554432000 4194304 6004724 140735561141328 140735561137200 5193835 0 0 4096 0 0 0 0 17 3 0 0 2 0 0
/proc/9231/statm: 121553 94794 157 442 0 121107 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 495360
[startup+6.30045 s]
/proc/loadavg: 2.42 2.07 1.75 3/183 9234
/proc/meminfo: memFree=30491108/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=331268 CPUtime=3.24 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4202496 19403 0 0 0 288 36 0 0 20 0 1 0 382160082 339218432 56064 33554432000 4194304 6004724 140735561141328 140735561135792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 82817 56064 163 442 0 82371 0
[pid=9233] ppid=9231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9233/stat : 9233 (cp2_pre.sh) S 9231 9230 4304 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382160410 9367552 277 33554432000 4194304 5064252 140733776550336 140733776549040 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9233/statm: 2287 277 234 213 0 72 0
[pid=9234] ppid=9233 vsize=595268 CPUtime=3.01 cores=1,3,5,7
/proc/9234/stat : 9234 (coprocessor) R 9233 9230 4304 0 -1 4202496 50373 0 0 0 282 19 0 0 20 0 1 0 382160410 609554432 132307 33554432000 4194304 6586260 140735733630416 140735733626680 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9234/statm: 148817 132307 164 584 0 148229 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 944832
[startup+12.7004 s]
/proc/loadavg: 2.38 2.07 1.75 3/183 9234
/proc/meminfo: memFree=30142820/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=331268 CPUtime=3.24 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4202496 19403 0 0 0 288 36 0 0 20 0 1 0 382160082 339218432 56064 33554432000 4194304 6004724 140735561141328 140735561135792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 82817 56064 163 442 0 82371 0
[pid=9233] ppid=9231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9233/stat : 9233 (cp2_pre.sh) S 9231 9230 4304 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382160410 9367552 277 33554432000 4194304 5064252 140733776550336 140733776549040 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9233/statm: 2287 277 234 213 0 72 0
[pid=9234] ppid=9233 vsize=803516 CPUtime=9.41 cores=1,3,5,7
/proc/9234/stat : 9234 (coprocessor) R 9233 9230 4304 0 -1 4202496 89609 0 0 0 898 43 0 0 20 0 1 0 382160410 822800384 197110 33554432000 4194304 6586260 140735733630416 140735733626088 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9234/statm: 200879 197110 198 584 0 200291 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1153080
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.38 2.07 1.75 3/183 9234
/proc/meminfo: memFree=30142820/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=331268 CPUtime=3.24 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4202496 19403 0 0 0 288 36 0 0 20 0 1 0 382160082 339218432 56064 33554432000 4194304 6004724 140735561141328 140735561135792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 82817 56064 163 442 0 82371 0
[pid=9233] ppid=9231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9233/stat : 9233 (cp2_pre.sh) S 9231 9230 4304 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 382160410 9367552 277 33554432000 4194304 5064252 140733776550336 140733776549040 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9233/statm: 2287 277 234 213 0 72 0
[pid=9234] ppid=9233 vsize=803516 CPUtime=9.51 cores=1,3,5,7
/proc/9234/stat : 9234 (coprocessor) R 9233 9230 4304 0 -1 4202496 89609 0 0 0 900 51 0 0 20 0 1 0 382160410 822800384 197110 33554432000 4194304 6586260 140735733630416 140735733626088 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9234/statm: 200879 197110 198 584 0 200291 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 1153080
[startup+19.2004 s]
/proc/loadavg: 2.40 2.08 1.76 3/183 9237
/proc/meminfo: memFree=30697640/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=339284 CPUtime=16 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4204032 24946 90512 0 0 319 77 1134 70 20 0 1 0 382160082 347426816 58061 33554432000 4194304 6004724 140735561141328 140735561135880 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 84821 58061 188 442 0 84375 0
[pid=9236] ppid=9231 vsize=288200 CPUtime=2.93 cores=1,3,5,7
/proc/9236/stat : 9236 (glucosInc) S 9231 9230 4304 0 -1 4202496 49396 0 0 0 281 12 0 0 20 0 1 0 382161615 295116800 66903 33554432000 4194304 5654031 140734136264976 140734136263288 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9236/statm: 72050 66903 146 357 0 71690 0
Current children cumulated CPU time (s) 18.93
Current children cumulated vsize (KiB) 636632
[startup+20.8003 s]
/proc/loadavg: 2.40 2.08 1.76 2/183 9237
/proc/meminfo: memFree=30250644/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=339284 CPUtime=16.37 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4204032 24947 90512 0 0 319 114 1134 70 20 0 1 0 382160082 347426816 58062 33554432000 4194304 6004724 140735561141328 140735561135880 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 84821 58062 189 442 0 84375 0
[pid=9236] ppid=9231 vsize=288200 CPUtime=2.93 cores=1,3,5,7
/proc/9236/stat : 9236 (glucosInc) S 9231 9230 4304 0 -1 4202496 49396 0 0 0 281 12 0 0 20 0 1 0 382161615 295116800 66903 33554432000 4194304 5654031 140734136264976 140734136263288 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9236/statm: 72050 66903 146 357 0 71690 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 636632
[startup+22.4003 s]
/proc/loadavg: 2.40 2.08 1.76 2/183 9237
/proc/meminfo: memFree=30250644/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=339284 CPUtime=16.37 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4204032 24947 90512 0 0 319 114 1134 70 20 0 1 0 382160082 347426816 58062 33554432000 4194304 6004724 140735561141328 140735561135880 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 84821 58062 189 442 0 84375 0
[pid=9236] ppid=9231 vsize=288200 CPUtime=2.93 cores=1,3,5,7
/proc/9236/stat : 9236 (glucosInc) S 9231 9230 4304 0 -1 4202496 49396 0 0 0 281 12 0 0 20 0 1 0 382161615 295116800 66903 33554432000 4194304 5654031 140734136264976 140734136263288 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9236/statm: 72050 66903 146 357 0 71690 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 636632
[startup+23.2065 s]
/proc/loadavg: 2.40 2.08 1.76 2/183 9237
/proc/meminfo: memFree=30253248/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=339284 CPUtime=16.37 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4204032 24947 90512 0 0 319 114 1134 70 20 0 1 0 382160082 347426816 58062 33554432000 4194304 6004724 140735561141328 140735561135880 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 84821 58062 189 442 0 84375 0
[pid=9236] ppid=9231 vsize=288200 CPUtime=2.93 cores=1,3,5,7
/proc/9236/stat : 9236 (glucosInc) S 9231 9230 4304 0 -1 4202496 49396 0 0 0 281 12 0 0 20 0 1 0 382161615 295116800 66903 33554432000 4194304 5654031 140734136264976 140734136263288 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9236/statm: 72050 66903 146 357 0 71690 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 636632
[startup+23.4003 s]
/proc/loadavg: 2.40 2.08 1.76 2/183 9237
/proc/meminfo: memFree=30253248/32873844 swapFree=7380/7380
[pid=9230] ppid=9228 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9230/stat : 9230 (npSolver-pbo-I.) S 9228 9230 4304 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 382160082 9367552 274 33554432000 4194304 5064252 140735808027728 140735808026640 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9230/statm: 2287 274 233 213 0 72 0
[pid=9231] ppid=9230 vsize=339284 CPUtime=16.37 cores=1,3,5,7
/proc/9231/stat : 9231 (npSolver-pbo) S 9230 9230 4304 0 -1 4204032 24947 90512 0 0 319 114 1134 70 20 0 1 0 382160082 347426816 58062 33554432000 4194304 6004724 140735561141328 140735561135880 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/9231/statm: 84821 58062 189 442 0 84375 0
[pid=9236] ppid=9231 vsize=288200 CPUtime=2.93 cores=1,3,5,7
/proc/9236/stat : 9236 (glucosInc) S 9231 9230 4304 0 -1 4202496 49396 0 0 0 281 12 0 0 20 0 1 0 382161615 295116800 66903 33554432000 4194304 5654031 140734136264976 140734136263288 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9236/statm: 72050 66903 146 357 0 71690 0
Current children cumulated CPU time (s) 19.3
Current children cumulated vsize (KiB) 636632
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9230 and gives
# childrusage.ru_utime.tv_sec=14
# childrusage.ru_utime.tv_usec=546788
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=857717
# CPU time returned by wait4() is 16.4045
# while last known CPU time is 19.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 23.4553
CPU time (s): 19.3
CPU user time (s): 17.34
CPU system time (s): 1.96
CPU usage (%): 82.2841
Max. virtual memory (cumulated for all children) (KiB): 1177536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5468
system time used= 1.85772
maximum resident set size= 812892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115833
page faults= 0
swaps= 0
block input operations= 16
block output operations= 415728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73487
involuntary context switches= 25
runsolver used 0.041993 second user time and 0.165974 second system time
The end