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-3716333-1338188336/watcher-3716333-1338188336 -o /tmp/evaluation-result-3716333-1338188336/solver-3716333-1338188336 -C 1800 -W 1900 -M 15500 HOME/runWbo2sat.sh HOME/instance-3716333-1338188336.wbo 1154454638 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.06 2.05 2.00 3/179 29911
/proc/meminfo: memFree=31233732/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[startup+0.101385 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 29911
/proc/meminfo: memFree=31233732/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200276 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 29911
/proc/meminfo: memFree=31233732/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 29911
/proc/meminfo: memFree=31233732/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.06 2.05 2.00 3/179 29911
/proc/meminfo: memFree=31233732/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 29927
/proc/meminfo: memFree=31223824/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=1.13 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 3894 16490 0 0 9 4 96 4 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 15024
[startup+3.10036 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 29933
/proc/meminfo: memFree=31223460/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=1.72 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 3970 19100 0 0 10 4 153 5 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29932] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29932/stat : 29932 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284958295 9367552 267 33554432000 4194304 5064252 140735305981584 140735305980496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29932/statm: 2287 267 226 213 0 72 0
[pid=29933] ppid=29932 vsize=6416 CPUtime=1.36 cores=1,3,5,7
/proc/29933/stat : 29933 (glucose_static) R 29932 29911 26987 0 -1 4202496 2555 0 0 0 136 0 0 0 20 0 1 0 284958295 6569984 1203 33554432000 4194304 4896791 140737429807392 140737429804920 4230803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29933/statm: 1604 1203 77 172 0 1430 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 30588
[startup+6.30029 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 29939
/proc/meminfo: memFree=31226936/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=3.59 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4046 23019 0 0 10 4 339 6 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29935] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29935/stat : 29935 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284958492 9367552 267 33554432000 4194304 5064252 140735888766640 140735888765552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29935/statm: 2287 267 226 213 0 72 0
[pid=29936] ppid=29935 vsize=7044 CPUtime=2.59 cores=1,3,5,7
/proc/29936/stat : 29936 (glucose_static) R 29935 29911 26987 0 -1 4202496 3553 0 0 0 259 0 0 0 20 0 1 0 284958492 7213056 1445 33554432000 4194304 4896791 140733278772288 140733278769816 4230803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 1761 1445 77 172 0 1587 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 31216
Solver just ended. Dumping a history of the last processes samples
[startup+6.4004 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 29939
/proc/meminfo: memFree=31226936/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=3.59 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4046 23019 0 0 10 4 339 6 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29935] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29935/stat : 29935 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284958492 9367552 267 33554432000 4194304 5064252 140735888766640 140735888765552 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29935/statm: 2287 267 226 213 0 72 0
[pid=29936] ppid=29935 vsize=8072 CPUtime=2.69 cores=1,3,5,7
/proc/29936/stat : 29936 (glucose_static) R 29935 29911 26987 0 -1 4202496 3585 0 0 0 269 0 0 0 20 0 1 0 284958492 8265728 1476 33554432000 4194304 4896791 140733278772288 140733278769816 4224971 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29936/statm: 2018 1476 77 172 0 1844 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 32244
[startup+9.6003 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 29991
/proc/meminfo: memFree=31223444/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=6.51 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4123 27811 0 0 10 4 630 7 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29984] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29984/stat : 29984 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284958784 9367552 267 33554432000 4194304 5064252 140735993364512 140735993363424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29984/statm: 2287 267 226 213 0 72 0
[pid=29985] ppid=29984 vsize=7996 CPUtime=2.96 cores=1,3,5,7
/proc/29985/stat : 29985 (glucose_static) R 29984 29911 26987 0 -1 4202496 3566 0 0 0 296 0 0 0 20 0 1 0 284958784 8187904 1560 33554432000 4194304 4896791 140735620094864 140735620092072 4225108 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29985/statm: 1999 1560 77 172 0 1825 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 32168
[startup+11.2003 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 29991
/proc/meminfo: memFree=31219604/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=6.51 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4123 27811 0 0 10 4 630 7 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29984] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29984/stat : 29984 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284958784 9367552 267 33554432000 4194304 5064252 140735993364512 140735993363424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29984/statm: 2287 267 226 213 0 72 0
[pid=29985] ppid=29984 vsize=8392 CPUtime=4.56 cores=1,3,5,7
/proc/29985/stat : 29985 (glucose_static) R 29984 29911 26987 0 -1 4202496 4537 0 0 0 456 0 0 0 20 0 1 0 284958784 8593408 1767 33554432000 4194304 4896791 140735620094864 140735620092392 4225417 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29985/statm: 2098 1767 77 172 0 1924 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 32564
[startup+11.6003 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 29991
/proc/meminfo: memFree=31219604/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=6.51 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4123 27811 0 0 10 4 630 7 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29984] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29984/stat : 29984 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284958784 9367552 267 33554432000 4194304 5064252 140735993364512 140735993363424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29984/statm: 2287 267 226 213 0 72 0
[pid=29985] ppid=29984 vsize=10212 CPUtime=4.96 cores=1,3,5,7
/proc/29985/stat : 29985 (glucose_static) R 29984 29911 26987 0 -1 4202496 4683 0 0 0 496 0 0 0 20 0 1 0 284958784 10457088 1911 33554432000 4194304 4896791 140735620094864 140735620092072 4225384 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29985/statm: 2553 1911 77 172 0 2379 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 34384
[startup+11.8003 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 29991
/proc/meminfo: memFree=31219604/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=6.51 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4123 27811 0 0 10 4 630 7 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29984] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29984/stat : 29984 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284958784 9367552 267 33554432000 4194304 5064252 140735993364512 140735993363424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29984/statm: 2287 267 226 213 0 72 0
[pid=29985] ppid=29984 vsize=10380 CPUtime=5.16 cores=1,3,5,7
/proc/29985/stat : 29985 (glucose_static) R 29984 29911 26987 0 -1 4202496 4758 0 0 0 516 0 0 0 20 0 1 0 284958784 10629120 1985 33554432000 4194304 4896791 140735620094864 140735620092072 4203984 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29985/statm: 2595 1985 77 172 0 2421 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 34552
[startup+11.9003 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 29991
/proc/meminfo: memFree=31219604/32873648 swapFree=6612/6612
[pid=29911] ppid=29909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29911/stat : 29911 (runWbo2sat.sh) S 29909 29911 26987 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284958122 9367552 275 33554432000 4194304 5064252 140737258154464 140737258153376 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29911/statm: 2287 275 233 213 0 72 0
[pid=29912] ppid=29911 vsize=5876 CPUtime=6.51 cores=1,3,5,7
/proc/29912/stat : 29912 (wbo2sat) S 29911 29911 26987 0 -1 4202496 4123 27811 0 0 10 4 630 7 20 0 1 0 284958122 6017024 1076 33554432000 4194304 5872148 140737083478576 140737083471848 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29912/statm: 1469 1076 170 410 0 1051 0
[pid=29984] ppid=29912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29984/stat : 29984 (satsolver.sh) S 29912 29911 26987 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284958784 9367552 267 33554432000 4194304 5064252 140735993364512 140735993363424 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/29984/statm: 2287 267 226 213 0 72 0
[pid=29985] ppid=29984 vsize=10380 CPUtime=5.26 cores=1,3,5,7
/proc/29985/stat : 29985 (glucose_static) R 29984 29911 26987 0 -1 4202496 4789 0 0 0 526 0 0 0 20 0 1 0 284958784 10629120 2015 33554432000 4194304 4896791 140735620094864 140735620092072 4225180 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29985/statm: 2595 2015 77 172 0 2421 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 34552
Child status: 0
Real time (s): 11.9807
CPU time (s): 11.8792
CPU user time (s): 11.7492
CPU system time (s): 0.12998
CPU usage (%): 99.1524
Max. virtual memory (cumulated for all children) (KiB): 34552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7492
system time used= 0.12998
maximum resident set size= 15788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 81
runsolver used 0.011998 second user time and 0.085986 second system time
The end