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-3716306-1338188550/watcher-3716306-1338188550 -o /tmp/evaluation-result-3716306-1338188550/solver-3716306-1338188550 -C 1800 -W 1900 -M 15500 HOME/runWbo2sat.sh HOME/instance-3716306-1338188550.wbo 709320504 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.04 2.04 2.00 3/179 30780
/proc/meminfo: memFree=31231276/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[startup+0.08471 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 30780
/proc/meminfo: memFree=31231276/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 30780
/proc/meminfo: memFree=31231276/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300286 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 30780
/proc/meminfo: memFree=31231276/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 30780
/proc/meminfo: memFree=31231276/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 30787
/proc/meminfo: memFree=31201460/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=11712 CPUtime=0.14 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 2849 1655 0 0 10 2 2 0 20 0 1 0 284979510 11993088 1917 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30781/statm: 2928 1917 177 410 0 2510 0
[pid=30786] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30786/stat : 30786 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284979526 9367552 266 33554432000 4194304 5064252 140737029751680 140737029750592 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30786/statm: 2287 266 226 213 0 72 0
[pid=30787] ppid=30786 vsize=19056 CPUtime=1.33 cores=1,3,5,7
/proc/30787/stat : 30787 (glucose_static) R 30786 30780 26987 0 -1 4202496 4616 0 0 0 132 1 0 0 20 0 1 0 284979526 19513344 4190 33554432000 4194304 4896791 140734374177696 140734374175016 4203064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30787/statm: 4764 4190 78 172 0 4590 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49064
[startup+3.10044 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 30787
/proc/meminfo: memFree=31200096/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=11712 CPUtime=0.14 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 2849 1655 0 0 10 2 2 0 20 0 1 0 284979510 11993088 1917 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30781/statm: 2928 1917 177 410 0 2510 0
[pid=30786] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30786/stat : 30786 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284979526 9367552 266 33554432000 4194304 5064252 140737029751680 140737029750592 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30786/statm: 2287 266 226 213 0 72 0
[pid=30787] ppid=30786 vsize=19468 CPUtime=2.93 cores=1,3,5,7
/proc/30787/stat : 30787 (glucose_static) R 30786 30780 26987 0 -1 4202496 4781 0 0 0 292 1 0 0 20 0 1 0 284979526 19935232 4348 33554432000 4194304 4896791 140734374177696 140734374174904 4204832 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30787/statm: 4867 4348 78 172 0 4693 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 49476
[startup+6.30026 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 30790
/proc/meminfo: memFree=31141160/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=5.51 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 9277 24019 0 0 27 5 514 5 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 21672
[startup+12.7003 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 30811
/proc/meminfo: memFree=31211896/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=8.89 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 10787 41368 0 0 29 5 845 10 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
[pid=30810] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30810/stat : 30810 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284980422 9367552 266 33554432000 4194304 5064252 140736663417424 140736663416336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30810/statm: 2287 266 226 213 0 72 0
[pid=30811] ppid=30810 vsize=6324 CPUtime=3.57 cores=1,3,5,7
/proc/30811/stat : 30811 (glucose_static) R 30810 30780 26987 0 -1 4202496 3469 0 0 0 357 0 0 0 20 0 1 0 284980422 6475776 1063 33554432000 4194304 4896791 140735862810496 140735862807864 4224823 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30811/statm: 1581 1063 77 172 0 1407 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 37144
[startup+25.5003 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 30860
/proc/meminfo: memFree=31127740/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=8.89 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 10787 41368 0 0 29 5 845 10 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
[pid=30810] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30810/stat : 30810 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284980422 9367552 266 33554432000 4194304 5064252 140736663417424 140736663416336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30810/statm: 2287 266 226 213 0 72 0
[pid=30811] ppid=30810 vsize=11308 CPUtime=16.37 cores=1,3,5,7
/proc/30811/stat : 30811 (glucose_static) R 30810 30780 26987 0 -1 4202496 9292 0 0 0 1636 1 0 0 20 0 1 0 284980422 11579392 2311 33554432000 4194304 4896791 140735862810496 140735862808024 4225420 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30811/statm: 2827 2311 77 172 0 2653 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 42128
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 30952
/proc/meminfo: memFree=31202288/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=8.89 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 10787 41368 0 0 29 5 845 10 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
[pid=30810] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30810/stat : 30810 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284980422 9367552 266 33554432000 4194304 5064252 140736663417424 140736663416336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30810/statm: 2287 266 226 213 0 72 0
[pid=30811] ppid=30810 vsize=13616 CPUtime=41.96 cores=1,3,5,7
/proc/30811/stat : 30811 (glucose_static) R 30810 30780 26987 0 -1 4202496 16534 0 0 0 4193 3 0 0 20 0 1 0 284980422 13942784 2731 33554432000 4194304 4896791 140735862810496 140735862808024 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30811/statm: 3404 2731 77 172 0 3230 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 44436
Solver just ended. Dumping a history of the last processes samples
[startup+51.9003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 30952
/proc/meminfo: memFree=31201048/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=8.89 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 10787 41368 0 0 29 5 845 10 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
[pid=30810] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30810/stat : 30810 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284980422 9367552 266 33554432000 4194304 5064252 140736663417424 140736663416336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30810/statm: 2287 266 226 213 0 72 0
[pid=30811] ppid=30810 vsize=11940 CPUtime=42.76 cores=1,3,5,7
/proc/30811/stat : 30811 (glucose_static) R 30810 30780 26987 0 -1 4202496 16855 0 0 0 4273 3 0 0 20 0 1 0 284980422 12226560 2542 33554432000 4194304 4896791 140735862810496 140735862808024 4225148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30811/statm: 2985 2542 77 172 0 2811 0
Current children cumulated CPU time (s) 51.65
Current children cumulated vsize (KiB) 42760
[startup+52.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 30952
/proc/meminfo: memFree=31201048/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=8.89 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 10787 41368 0 0 29 5 845 10 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
[pid=30810] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30810/stat : 30810 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284980422 9367552 266 33554432000 4194304 5064252 140736663417424 140736663416336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30810/statm: 2287 266 226 213 0 72 0
[pid=30811] ppid=30810 vsize=13616 CPUtime=42.96 cores=1,3,5,7
/proc/30811/stat : 30811 (glucose_static) R 30810 30780 26987 0 -1 4202496 16900 0 0 0 4293 3 0 0 20 0 1 0 284980422 13942784 2586 33554432000 4194304 4896791 140735862810496 140735862808024 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30811/statm: 3404 2586 77 172 0 3230 0
Current children cumulated CPU time (s) 51.85
Current children cumulated vsize (KiB) 44436
[startup+52.2003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 30952
/proc/meminfo: memFree=31201048/32873648 swapFree=6612/6612
[pid=30780] ppid=30778 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30780/stat : 30780 (runWbo2sat.sh) S 30778 30780 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284979510 9367552 275 33554432000 4194304 5064252 140737421809344 140737421808256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30780/statm: 2287 275 233 213 0 72 0
[pid=30781] ppid=30780 vsize=12524 CPUtime=8.89 cores=1,3,5,7
/proc/30781/stat : 30781 (wbo2sat) S 30780 30780 26987 0 -1 4202496 10787 41368 0 0 29 5 845 10 20 0 1 0 284979510 12824576 2642 33554432000 4194304 5872148 140736201108640 140736201101912 5123914 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30781/statm: 3131 2642 177 410 0 2713 0
[pid=30810] ppid=30781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30810/stat : 30810 (satsolver.sh) S 30781 30780 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284980422 9367552 266 33554432000 4194304 5064252 140736663417424 140736663416336 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30810/statm: 2287 266 226 213 0 72 0
[pid=30811] ppid=30810 vsize=13616 CPUtime=43.06 cores=1,3,5,7
/proc/30811/stat : 30811 (glucose_static) R 30810 30780 26987 0 -1 4202496 16918 0 0 0 4303 3 0 0 20 0 1 0 284980422 13942784 2604 33554432000 4194304 4896791 140735862810496 140735862808024 4225050 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30811/statm: 3404 2604 77 172 0 3230 0
Current children cumulated CPU time (s) 51.95
Current children cumulated vsize (KiB) 44436
Child status: 0
Real time (s): 52.2762
CPU time (s): 52.0571
CPU user time (s): 51.8561
CPU system time (s): 0.200969
CPU usage (%): 99.5808
Max. virtual memory (cumulated for all children) (KiB): 111708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.8561
system time used= 0.200969
maximum resident set size= 67668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 42768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 129
runsolver used 0.19397 second user time and 0.529919 second system time
The end