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-3713531-1338185337/watcher-3713531-1338185337 -o /tmp/evaluation-result-3713531-1338185337/solver-3713531-1338185337 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713531-1338185337.wbo 1069461571 HOME HOME
running on 4 cores: 0,2,4,6
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: 1.93 1.98 1.99 3/179 27631
/proc/meminfo: memFree=31494008/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[startup+0.0355941 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27631
/proc/meminfo: memFree=31494008/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100148 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27631
/proc/meminfo: memFree=31494008/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300168 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27631
/proc/meminfo: memFree=31494008/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700249 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 27631
/proc/meminfo: memFree=31494008/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 27652
/proc/meminfo: memFree=31481744/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11820 CPUtime=1.47 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) R 27631 27631 22152 0 -1 4202496 4598 12879 0 0 12 2 129 4 20 0 1 0 284600695 12103680 2544 33554432000 4194304 5990268 140734414374016 140734414366032 4566802 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2955 2544 166 439 0 2512 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 20968
[startup+3.10035 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 27659
/proc/meminfo: memFree=31418124/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11828 CPUtime=1.54 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 5543 12879 0 0 18 3 129 4 20 0 1 0 284600695 12111872 2546 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2957 2546 166 439 0 2514 0
[pid=27658] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27658/stat : 27658 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284600852 9367552 267 33554432000 4194304 5064252 140733817676752 140733817675664 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27658/statm: 2287 267 226 213 0 72 0
[pid=27659] ppid=27658 vsize=69792 CPUtime=1.51 cores=0,2,4,6
/proc/27659/stat : 27659 (glucose) R 27658 27631 22152 0 -1 4202496 14301 0 0 0 149 2 0 0 20 0 1 0 284600852 71467008 14839 33554432000 4194304 5208918 140734584436224 140734584434072 4211652 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27659/statm: 17448 14839 95 248 0 17197 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 99916
[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 27680
/proc/meminfo: memFree=31476600/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=6.05 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 7976 50530 0 0 26 4 539 36 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 20520
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 27701
/proc/meminfo: memFree=31476716/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=8.05 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8085 56754 0 0 26 5 736 38 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27700] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27700/stat : 27700 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284601502 9367552 267 33554432000 4194304 5064252 140733770831488 140733770830400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27700/statm: 2287 267 226 213 0 72 0
[pid=27701] ppid=27700 vsize=10528 CPUtime=4.61 cores=0,2,4,6
/proc/27701/stat : 27701 (glucose) R 27700 27631 22152 0 -1 4202496 2705 0 0 0 461 0 0 0 20 0 1 0 284601502 10780672 2196 33554432000 4194304 5208918 140734287522320 140734287520184 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27701/statm: 2632 2196 102 248 0 2381 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 40196
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 27782
/proc/meminfo: memFree=31464400/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=8.05 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8085 56754 0 0 26 5 736 38 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27700] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27700/stat : 27700 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284601502 9367552 267 33554432000 4194304 5064252 140733770831488 140733770830400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27700/statm: 2287 267 226 213 0 72 0
[pid=27701] ppid=27700 vsize=16180 CPUtime=17.4 cores=0,2,4,6
/proc/27701/stat : 27701 (glucose) R 27700 27631 22152 0 -1 4202496 3700 0 0 0 1740 0 0 0 20 0 1 0 284601502 16568320 3624 33554432000 4194304 5208918 140734287522320 140734287520168 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27701/statm: 4045 3624 103 248 0 3794 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45848
[startup+51.1003 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 27842
/proc/meminfo: memFree=31467872/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=36.46 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8310 69221 0 0 26 5 3573 42 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27834] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27834/stat : 27834 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284604343 9367552 267 33554432000 4194304 5064252 140736181172384 140736181171296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27834/statm: 2287 267 226 213 0 72 0
[pid=27835] ppid=27834 vsize=16260 CPUtime=14.6 cores=0,2,4,6
/proc/27835/stat : 27835 (glucose) R 27834 27631 22152 0 -1 4202496 4249 0 0 0 1460 0 0 0 20 0 1 0 284604343 16650240 3524 33554432000 4194304 5208918 140734098087504 140734098085368 4213878 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27835/statm: 4065 3524 103 248 0 3814 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45928
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 27849
/proc/meminfo: memFree=31470708/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=7908 CPUtime=0.91 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 1976 0 0 0 91 0 0 0 20 0 1 0 284606992 8097792 1373 33554432000 4194304 5208918 140735373676384 140735373674328 4229483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 1977 1373 102 248 0 1726 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 37576
[startup+76.7003 s]
/proc/loadavg: 1.98 1.98 1.99 2/176 27882
/proc/meminfo: memFree=31500152/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=15748 CPUtime=13.7 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 4065 0 0 0 1370 0 0 0 20 0 1 0 284606992 16125952 3445 33554432000 4194304 5208918 140735373676384 140735373674472 4205192 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 3937 3445 103 248 0 3686 0
Current children cumulated CPU time (s) 76.64
Current children cumulated vsize (KiB) 45416
[startup+83.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27965
/proc/meminfo: memFree=31472920/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=20100 CPUtime=20.11 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 4556 0 0 0 2010 1 0 0 20 0 1 0 284606992 20582400 4416 33554432000 4194304 5208918 140735373676384 140735373672760 4214132 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 5025 4416 103 248 0 4774 0
Current children cumulated CPU time (s) 83.05
Current children cumulated vsize (KiB) 49768
[startup+84.7069 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27972
/proc/meminfo: memFree=31469384/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=20100 CPUtime=21.72 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 4556 0 0 0 2171 1 0 0 20 0 1 0 284606992 20582400 4416 33554432000 4194304 5208918 140735373676384 140735373674232 4229460 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 5025 4416 103 248 0 4774 0
Current children cumulated CPU time (s) 84.66
Current children cumulated vsize (KiB) 49768
[startup+86.3003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27972
/proc/meminfo: memFree=31469384/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=21144 CPUtime=23.31 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 4957 0 0 0 2330 1 0 0 20 0 1 0 284606992 21651456 4796 33554432000 4194304 5208918 140735373676384 140735373672696 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 5286 4796 103 248 0 5035 0
Current children cumulated CPU time (s) 86.25
Current children cumulated vsize (KiB) 50812
[startup+87.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27972
/proc/meminfo: memFree=31466788/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=21144 CPUtime=24.11 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 5009 0 0 0 2410 1 0 0 20 0 1 0 284606992 21651456 4847 33554432000 4194304 5208918 140735373676384 140735373674248 4228924 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 5286 4847 103 248 0 5035 0
Current children cumulated CPU time (s) 87.05
Current children cumulated vsize (KiB) 50812
[startup+87.5003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27972
/proc/meminfo: memFree=31466788/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=21144 CPUtime=24.51 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 5009 0 0 0 2450 1 0 0 20 0 1 0 284606992 21651456 4847 33554432000 4194304 5208918 140735373676384 140735373674248 4229699 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 5286 4847 103 248 0 5035 0
Current children cumulated CPU time (s) 87.45
Current children cumulated vsize (KiB) 50812
[startup+87.6003 s]
/proc/loadavg: 1.98 1.98 1.99 3/184 27972
/proc/meminfo: memFree=31466788/32873844 swapFree=6872/6872
[pid=27631] ppid=27629 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27631/stat : 27631 (npSolver-wbo.sh) S 27629 27631 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284600695 9367552 275 33554432000 4194304 5064252 140733504589408 140733504588320 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27631/statm: 2287 275 233 213 0 72 0
[pid=27632] ppid=27631 vsize=11372 CPUtime=62.94 cores=0,2,4,6
/proc/27632/stat : 27632 (npSolver-wbo) S 27631 27631 22152 0 -1 4202496 8419 79209 0 0 26 5 6219 44 20 0 1 0 284600695 11644928 2337 33554432000 4194304 5990268 140734414374016 140734414365456 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27632/statm: 2843 2337 166 439 0 2400 0
[pid=27848] ppid=27632 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27848/stat : 27848 (satsolver.sh) S 27632 27631 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284606992 9367552 267 33554432000 4194304 5064252 140737472440848 140737472439760 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27848/statm: 2287 267 226 213 0 72 0
[pid=27849] ppid=27848 vsize=21144 CPUtime=24.61 cores=0,2,4,6
/proc/27849/stat : 27849 (glucose) R 27848 27631 22152 0 -1 4202496 5009 0 0 0 2460 1 0 0 20 0 1 0 284606992 21651456 4847 33554432000 4194304 5208918 140735373676384 140735373674248 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27849/statm: 5286 4847 103 248 0 5035 0
Current children cumulated CPU time (s) 87.55
Current children cumulated vsize (KiB) 50812
Child status: 0
Real time (s): 87.6591
CPU time (s): 87.6357
CPU user time (s): 87.1108
CPU system time (s): 0.52492
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 102772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87.1108
system time used= 0.52492
maximum resident set size= 62288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 767
involuntary context switches= 293
runsolver used 0.171973 second user time and 0.495924 second system time
The end