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-3755028-1339188644/watcher-3755028-1339188644 -o /tmp/evaluation-result-3755028-1339188644/solver-3755028-1339188644 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755028-1339188644.wbo 1878851941 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.03 1.98 3/180 19864
/proc/meminfo: memFree=31584260/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[startup+0.0833661 s]
/proc/loadavg: 2.01 2.03 1.98 3/180 19864
/proc/meminfo: memFree=31584260/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100308 s]
/proc/loadavg: 2.01 2.03 1.98 3/180 19864
/proc/meminfo: memFree=31584260/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.01 2.03 1.98 3/180 19864
/proc/meminfo: memFree=31584260/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 2.01 2.03 1.98 3/180 19864
/proc/meminfo: memFree=31584260/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.01 2.03 1.98 3/184 19871
/proc/meminfo: memFree=31579616/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=3088 CPUtime=0.21 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 1945 2715 0 0 1 0 20 0 20 0 1 0 384990016 3162112 364 33554432000 4194304 6006132 140734262120656 140734262114848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19865/statm: 772 364 158 443 0 325 0
[pid=19870] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19870/stat : 19870 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384990040 9367552 266 33554432000 4194304 5064252 140733243847472 140733243846384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19870/statm: 2287 266 226 213 0 72 0
[pid=19871] ppid=19870 vsize=8528 CPUtime=1.25 cores=1,3,5,7
/proc/19871/stat : 19871 (glucose) R 19870 19864 17372 0 -1 4202496 2549 0 0 0 125 0 0 0 20 0 1 0 384990040 8732672 1638 33554432000 4194304 5208918 140736201841088 140736201839240 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19871/statm: 2132 1638 96 248 0 1881 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29912
[startup+3.10034 s]
/proc/loadavg: 2.01 2.03 1.98 3/184 19871
/proc/meminfo: memFree=31573856/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=3088 CPUtime=0.21 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 1945 2715 0 0 1 0 20 0 20 0 1 0 384990016 3162112 364 33554432000 4194304 6006132 140734262120656 140734262114848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19865/statm: 772 364 158 443 0 325 0
[pid=19870] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19870/stat : 19870 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384990040 9367552 266 33554432000 4194304 5064252 140733243847472 140733243846384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19870/statm: 2287 266 226 213 0 72 0
[pid=19871] ppid=19870 vsize=12880 CPUtime=2.84 cores=1,3,5,7
/proc/19871/stat : 19871 (glucose) R 19870 19864 17372 0 -1 4202496 3113 0 0 0 284 0 0 0 20 0 1 0 384990040 13189120 2703 33554432000 4194304 5208918 140736201841088 140736201839032 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19871/statm: 3220 2703 96 248 0 2969 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 34264
[startup+6.30034 s]
/proc/loadavg: 2.01 2.02 1.98 3/184 19871
/proc/meminfo: memFree=31562504/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=3088 CPUtime=0.21 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 1945 2715 0 0 1 0 20 0 20 0 1 0 384990016 3162112 364 33554432000 4194304 6006132 140734262120656 140734262114848 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19865/statm: 772 364 158 443 0 325 0
[pid=19870] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19870/stat : 19870 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384990040 9367552 266 33554432000 4194304 5064252 140733243847472 140733243846384 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/19870/statm: 2287 266 226 213 0 72 0
[pid=19871] ppid=19870 vsize=22676 CPUtime=6.04 cores=1,3,5,7
/proc/19871/stat : 19871 (glucose) R 19870 19864 17372 0 -1 4202496 4067 0 0 0 603 1 0 0 20 0 1 0 384990040 23220224 5153 33554432000 4194304 5208918 140736201841088 140736201839080 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19871/statm: 5669 5153 96 248 0 5418 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 44060
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 1.98 3/184 19878
/proc/meminfo: memFree=31565500/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=4240 CPUtime=8.41 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 2360 9676 0 0 3 2 834 2 20 0 1 0 384990016 4341760 629 33554432000 4194304 6006132 140734262120656 140734262112064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19865/statm: 1060 629 167 443 0 613 0
[pid=19877] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19877/stat : 19877 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384990859 9367552 266 33554432000 4194304 5064252 140735692193760 140735692192672 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19877/statm: 2287 266 226 213 0 72 0
[pid=19878] ppid=19877 vsize=14212 CPUtime=4.26 cores=1,3,5,7
/proc/19878/stat : 19878 (glucose) R 19877 19864 17372 0 -1 4202496 4574 0 0 0 426 0 0 0 20 0 1 0 384990859 14553088 3148 33554432000 4194304 5208918 140734251173360 140734251171448 4215258 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19878/statm: 3553 3148 96 248 0 3302 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 36748
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 1.98 3/183 19892
/proc/meminfo: memFree=31566812/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=4240 CPUtime=21.81 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 2529 17853 0 0 3 2 2172 4 20 0 1 0 384990016 4341760 629 33554432000 4194304 6006132 140734262120656 140734262112064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19865/statm: 1060 629 167 443 0 613 0
[pid=19891] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19891/stat : 19891 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384992199 9367552 266 33554432000 4194304 5064252 140735325765744 140735325764656 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19891/statm: 2287 266 226 213 0 72 0
[pid=19892] ppid=19891 vsize=13984 CPUtime=3.65 cores=1,3,5,7
/proc/19892/stat : 19892 (glucose) R 19891 19864 17372 0 -1 4202496 3283 0 0 0 365 0 0 0 20 0 1 0 384992200 14319616 3020 33554432000 4194304 5208918 140736470636416 140736470634360 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19892/statm: 3496 3020 96 248 0 3245 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 36520
[startup+51.1003 s]
/proc/loadavg: 2.15 2.05 1.99 3/183 19970
/proc/meminfo: memFree=31568292/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=4240 CPUtime=43.54 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 2698 32754 0 0 3 2 4341 8 20 0 1 0 384990016 4341760 629 33554432000 4194304 6006132 140734262120656 140734262112064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19865/statm: 1060 629 167 443 0 613 0
[pid=19962] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19962/stat : 19962 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384994374 9367552 266 33554432000 4194304 5064252 140733931666432 140733931665344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19962/statm: 2287 266 226 213 0 72 0
[pid=19963] ppid=19962 vsize=17732 CPUtime=7.5 cores=1,3,5,7
/proc/19963/stat : 19963 (glucose) R 19962 19864 17372 0 -1 4202496 4308 0 0 0 750 0 0 0 20 0 1 0 384994374 18157568 3995 33554432000 4194304 5208918 140733582033232 140733582031096 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19963/statm: 4433 3995 102 248 0 4182 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 40268
[startup+102.307 s]
/proc/loadavg: 2.06 2.04 1.99 3/183 20033
/proc/meminfo: memFree=31583380/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=4240 CPUtime=96.36 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 2986 61961 0 0 3 2 9616 15 20 0 1 0 384990016 4341760 629 33554432000 4194304 6006132 140734262120656 140734262112064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19865/statm: 1060 629 167 443 0 613 0
[pid=20032] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20032/stat : 20032 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384999658 9367552 267 33554432000 4194304 5064252 140733736111520 140733736110432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20032/statm: 2287 267 226 213 0 72 0
[pid=20033] ppid=20032 vsize=15108 CPUtime=5.87 cores=1,3,5,7
/proc/20033/stat : 20033 (glucose) R 20032 19864 17372 0 -1 4202496 4125 0 0 0 587 0 0 0 20 0 1 0 384999658 15470592 3277 33554432000 4194304 5208918 140733526605392 140733526603256 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20033/statm: 3777 3277 102 248 0 3526 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 37644
Solver just ended. Dumping a history of the last processes samples
[startup+102.7 s]
/proc/loadavg: 2.06 2.04 1.99 3/183 20033
/proc/meminfo: memFree=31583380/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=4240 CPUtime=96.36 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 2986 61961 0 0 3 2 9616 15 20 0 1 0 384990016 4341760 629 33554432000 4194304 6006132 140734262120656 140734262112064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19865/statm: 1060 629 167 443 0 613 0
[pid=20032] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20032/stat : 20032 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384999658 9367552 267 33554432000 4194304 5064252 140733736111520 140733736110432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20032/statm: 2287 267 226 213 0 72 0
[pid=20033] ppid=20032 vsize=17828 CPUtime=6.26 cores=1,3,5,7
/proc/20033/stat : 20033 (glucose) R 20032 19864 17372 0 -1 4202496 4446 0 0 0 626 0 0 0 20 0 1 0 384999658 18255872 3583 33554432000 4194304 5208918 140733526605392 140733526603256 4222526 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20033/statm: 4457 3586 102 248 0 4206 0
Current children cumulated CPU time (s) 102.62
Current children cumulated vsize (KiB) 40364
[startup+102.9 s]
/proc/loadavg: 2.06 2.04 1.99 3/183 20033
/proc/meminfo: memFree=31583380/32873844 swapFree=7632/7632
[pid=19864] ppid=19862 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19864/stat : 19864 (npSolver-wbo.sh) S 19862 19864 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384990016 9367552 275 33554432000 4194304 5064252 140735760697056 140735760695968 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19864/statm: 2287 275 233 213 0 72 0
[pid=19865] ppid=19864 vsize=4240 CPUtime=96.36 cores=1,3,5,7
/proc/19865/stat : 19865 (npSolver-wbo) S 19864 19864 17372 0 -1 4202496 2986 61961 0 0 3 2 9616 15 20 0 1 0 384990016 4341760 629 33554432000 4194304 6006132 140734262120656 140734262112064 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19865/statm: 1060 629 167 443 0 613 0
[pid=20032] ppid=19865 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20032/stat : 20032 (satsolver.sh) S 19865 19864 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384999658 9367552 267 33554432000 4194304 5064252 140733736111520 140733736110432 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20032/statm: 2287 267 226 213 0 72 0
[pid=20033] ppid=20032 vsize=17828 CPUtime=6.46 cores=1,3,5,7
/proc/20033/stat : 20033 (glucose) R 20032 19864 17372 0 -1 4202496 4759 0 0 0 646 0 0 0 20 0 1 0 384999658 18255872 3880 33554432000 4194304 5208918 140733526605392 140733526603256 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20033/statm: 4457 3880 102 248 0 4206 0
Current children cumulated CPU time (s) 102.82
Current children cumulated vsize (KiB) 40364
Child status: 0
Real time (s): 102.98
CPU time (s): 102.933
CPU user time (s): 102.739
CPU system time (s): 0.19397
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 50896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 102.739
system time used= 0.19397
maximum resident set size= 29864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 179
involuntary context switches= 201
runsolver used 0.180972 second user time and 0.489925 second system time
The end