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-3716501-1338215243/watcher-3716501-1338215243 -o /tmp/evaluation-result-3716501-1338215243/solver-3716501-1338215243 -C 1800 -W 1900 -M 15500 HOME/runWbo2sat.sh HOME/instance-3716501-1338215243.wbo 2060256372 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.01 2.00 2.00 3/179 22434
/proc/meminfo: memFree=27322468/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[startup+0.075669 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22434
/proc/meminfo: memFree=27322468/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100188 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22434
/proc/meminfo: memFree=27322468/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300192 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22434
/proc/meminfo: memFree=27322468/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700112 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22434
/proc/meminfo: memFree=27322468/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22441
/proc/meminfo: memFree=27293880/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11156 CPUtime=0.09 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 2993 1453 0 0 8 1 0 0 20 0 1 0 287650326 11423744 1840 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2789 1840 177 410 0 2371 0
[pid=22440] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22440/stat : 22440 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287650336 9367552 266 33554432000 4194304 5064252 140736888523856 140736888522768 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22440/statm: 2287 266 226 213 0 72 0
[pid=22441] ppid=22440 vsize=17500 CPUtime=1.38 cores=1,3,5,7
/proc/22441/stat : 22441 (glucose_static) R 22440 22434 19725 0 -1 4202496 3425 0 0 0 137 1 0 0 20 0 1 0 287650337 17920000 3864 33554432000 4194304 4896791 140736630041280 140736630038488 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22441/statm: 4375 3864 78 172 0 4201 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 46952
[startup+3.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22441
/proc/meminfo: memFree=27292764/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11156 CPUtime=0.09 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 2993 1453 0 0 8 1 0 0 20 0 1 0 287650326 11423744 1840 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2789 1840 177 410 0 2371 0
[pid=22440] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22440/stat : 22440 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287650336 9367552 266 33554432000 4194304 5064252 140736888523856 140736888522768 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22440/statm: 2287 266 226 213 0 72 0
[pid=22441] ppid=22440 vsize=17972 CPUtime=2.98 cores=1,3,5,7
/proc/22441/stat : 22441 (glucose_static) R 22440 22434 19725 0 -1 4202496 3593 0 0 0 297 1 0 0 20 0 1 0 287650337 18403328 4032 33554432000 4194304 4896791 140736630041280 140736630038600 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22441/statm: 4493 4032 78 172 0 4319 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 47424
[startup+6.3003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 22441
/proc/meminfo: memFree=27290700/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11156 CPUtime=0.09 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 2993 1453 0 0 8 1 0 0 20 0 1 0 287650326 11423744 1840 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2789 1840 177 410 0 2371 0
[pid=22440] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22440/stat : 22440 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287650336 9367552 266 33554432000 4194304 5064252 140736888523856 140736888522768 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22440/statm: 2287 266 226 213 0 72 0
[pid=22441] ppid=22440 vsize=21120 CPUtime=6.18 cores=1,3,5,7
/proc/22441/stat : 22441 (glucose_static) R 22440 22434 19725 0 -1 4202496 4321 0 0 0 617 1 0 0 20 0 1 0 287650337 21626880 4757 33554432000 4194304 4896791 140736630041280 140736630038600 4230803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22441/statm: 5280 4757 78 172 0 5106 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 50572
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22444
/proc/meminfo: memFree=27293200/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=8.32 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 4809 7187 0 0 14 1 815 2 20 0 1 0 287650326 11538432 2397 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2397 177 410 0 2399 0
[pid=22443] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22443/stat : 22443 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287651161 9367552 267 33554432000 4194304 5064252 140734175502736 140734175501648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22443/statm: 2287 267 226 213 0 72 0
[pid=22444] ppid=22443 vsize=16840 CPUtime=4.33 cores=1,3,5,7
/proc/22444/stat : 22444 (glucose_static) R 22443 22434 19725 0 -1 4202496 4535 0 0 0 433 0 0 0 20 0 1 0 287651162 17244160 3778 33554432000 4194304 4896791 140735555911776 140735555909304 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 4210 3778 78 172 0 4036 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 46404
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22456
/proc/meminfo: memFree=27305252/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=18.32 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 10074 27624 0 0 28 3 1795 6 20 0 1 0 287650326 11538432 2399 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2399 177 410 0 2399 0
[pid=22455] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22455/stat : 22455 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287652166 9367552 267 33554432000 4194304 5064252 140737420993664 140737420992576 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22455/statm: 2287 267 226 213 0 72 0
[pid=22456] ppid=22455 vsize=7352 CPUtime=0.68 cores=1,3,5,7
/proc/22456/stat : 22456 (glucose_static) R 22455 22434 19725 0 -1 4202496 2372 0 0 0 68 0 0 0 20 0 1 0 287652166 7528448 1546 33554432000 4194304 4896791 140735843989296 140735843986952 4223805 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22456/statm: 1838 1546 77 172 0 1664 0
Current children cumulated CPU time (s) 19
Current children cumulated vsize (KiB) 36916
[startup+20.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22460
/proc/meminfo: memFree=27311196/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=19.64 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 12414 33894 0 0 34 3 1920 7 20 0 1 0 287650326 11538432 2399 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2399 177 410 0 2399 0
Current children cumulated CPU time (s) 19.64
Current children cumulated vsize (KiB) 20416
[startup+22.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22465
/proc/meminfo: memFree=27281380/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=22.02 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 14703 49312 0 0 40 4 2147 11 20 0 1 0 287650326 11538432 2400 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2400 177 410 0 2399 0
Current children cumulated CPU time (s) 22.02
Current children cumulated vsize (KiB) 20416
[startup+22.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22465
/proc/meminfo: memFree=27281380/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=22.44 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 15506 52324 0 0 42 4 2186 12 20 0 1 0 287650326 11538432 2400 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2400 177 410 0 2399 0
Current children cumulated CPU time (s) 22.44
Current children cumulated vsize (KiB) 20416
[startup+23.1068 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22474
/proc/meminfo: memFree=27306128/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=22.72 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 16344 55090 0 0 43 4 2213 12 20 0 1 0 287650326 11538432 2400 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2400 177 410 0 2399 0
[pid=22473] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22473/stat : 22473 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287652608 9367552 266 33554432000 4194304 5064252 140735082909024 140735082907936 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22473/statm: 2287 266 226 213 0 72 0
[pid=22474] ppid=22473 vsize=6116 CPUtime=0.27 cores=1,3,5,7
/proc/22474/stat : 22474 (glucose_static) R 22473 22434 19725 0 -1 4202496 1650 0 0 0 27 0 0 0 20 0 1 0 287652608 6262784 1276 33554432000 4194304 4896791 140735769596608 140735082907960 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22474/statm: 1529 1276 78 172 0 1355 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 35680
[startup+23.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22474
/proc/meminfo: memFree=27306128/32873648 swapFree=6864/6864
[pid=22434] ppid=22432 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22434/stat : 22434 (runWbo2sat.sh) S 22432 22434 19725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287650325 9367552 275 33554432000 4194304 5064252 140735738455632 140735738454544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22434/statm: 2287 275 233 213 0 72 0
[pid=22435] ppid=22434 vsize=11268 CPUtime=22.72 cores=1,3,5,7
/proc/22435/stat : 22435 (wbo2sat) S 22434 22434 19725 0 -1 4202496 16344 55090 0 0 43 4 2213 12 20 0 1 0 287650326 11538432 2400 33554432000 4194304 5872148 140736980620016 140736980613288 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22435/statm: 2817 2400 177 410 0 2399 0
[pid=22473] ppid=22435 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22473/stat : 22473 (satsolver.sh) S 22435 22434 19725 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287652608 9367552 266 33554432000 4194304 5064252 140735082909024 140735082907936 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22473/statm: 2287 266 226 213 0 72 0
[pid=22474] ppid=22473 vsize=6116 CPUtime=0.37 cores=1,3,5,7
/proc/22474/stat : 22474 (glucose_static) R 22473 22434 19725 0 -1 4202496 1910 0 0 0 37 0 0 0 20 0 1 0 287652608 6262784 1260 33554432000 4194304 4896791 140735769596608 140735082907960 4225417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22474/statm: 1529 1260 78 172 0 1355 0
Current children cumulated CPU time (s) 23.09
Current children cumulated vsize (KiB) 35680
Child status: 0
Real time (s): 23.2663
CPU time (s): 23.1475
CPU user time (s): 22.9595
CPU system time (s): 0.187971
CPU usage (%): 99.4891
Max. virtual memory (cumulated for all children) (KiB): 61416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9595
system time used= 0.187971
maximum resident set size= 28204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75391
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133
involuntary context switches= 93
runsolver used 0.085986 second user time and 0.162975 second system time
The end