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-3714250-1338184818/watcher-3714250-1338184818 -o /tmp/evaluation-result-3714250-1338184818/solver-3714250-1338184818 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714250-1338184818.wbo 1713686172 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.00 2.00 2.00 3/180 9942
/proc/meminfo: memFree=31272288/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[startup+0.0090131 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9942
/proc/meminfo: memFree=31272288/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100217 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9942
/proc/meminfo: memFree=31272288/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9942
/proc/meminfo: memFree=31272288/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700192 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 9942
/proc/meminfo: memFree=31272288/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9963
/proc/meminfo: memFree=31259660/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=0.58 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 2624 13491 0 0 7 3 42 6 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=9962] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9962/stat : 9962 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284607314 9367552 267 33554432000 4194304 5064252 140733359812672 140733359811584 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9962/statm: 2287 267 226 213 0 72 0
[pid=9963] ppid=9962 vsize=12236 CPUtime=0.88 cores=1,3,5,7
/proc/9963/stat : 9963 (glucose) R 9962 9942 6342 0 -1 4202496 2113 0 0 0 88 0 0 0 20 0 1 0 284607315 12529664 2437 33554432000 4194304 5208918 140735792996112 140735792993960 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9963/statm: 3059 2437 103 248 0 2808 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 35328
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9977
/proc/meminfo: memFree=31265644/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=1.9 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 2920 23620 0 0 8 3 171 8 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=9976] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9976/stat : 9976 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284607446 9367552 267 33554432000 4194304 5064252 140735181072128 140735181071040 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9976/statm: 2287 267 226 213 0 72 0
[pid=9977] ppid=9976 vsize=7292 CPUtime=1.16 cores=1,3,5,7
/proc/9977/stat : 9977 (glucose) R 9976 9942 6342 0 -1 4202496 2223 0 0 0 116 0 0 0 20 0 1 0 284607447 7467008 1446 33554432000 4194304 5208918 140734019701360 140734019699208 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9977/statm: 1823 1446 102 248 0 1572 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 30384
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9984
/proc/meminfo: memFree=31264200/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=5.76 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3098 35545 0 0 8 3 554 11 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 13944
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9991
/proc/meminfo: memFree=31256900/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=5.76 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3098 35545 0 0 8 3 554 11 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=9990] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9990/stat : 9990 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284607832 9367552 267 33554432000 4194304 5064252 140735986384320 140735986383232 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9990/statm: 2287 267 226 213 0 72 0
[pid=9991] ppid=9990 vsize=15620 CPUtime=6.9 cores=1,3,5,7
/proc/9991/stat : 9991 (glucose) R 9990 9942 6342 0 -1 4202496 3633 0 0 0 690 0 0 0 20 0 1 0 284607833 15994880 3394 33554432000 4194304 5208918 140736052133840 140736052131704 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9991/statm: 3905 3394 103 248 0 3654 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 38712
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10005
/proc/meminfo: memFree=31220892/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=20.82 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3197 49498 0 0 8 3 2058 13 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=10004] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284609339 9367552 267 33554432000 4194304 5064252 140734757979936 140734757978848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10004/statm: 2287 267 226 213 0 72 0
[pid=10005] ppid=10004 vsize=12372 CPUtime=4.64 cores=1,3,5,7
/proc/10005/stat : 10005 (glucose) R 10004 9942 6342 0 -1 4202496 3659 0 0 0 464 0 0 0 20 0 1 0 284609339 12668928 2731 33554432000 4194304 5208918 140733705527440 140733705525304 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10005/statm: 3093 2731 103 248 0 2842 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35464
Solver just ended. Dumping a history of the last processes samples
[startup+27.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10005
/proc/meminfo: memFree=31220768/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=20.82 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3197 49498 0 0 8 3 2058 13 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=10004] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284609339 9367552 267 33554432000 4194304 5064252 140734757979936 140734757978848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10004/statm: 2287 267 226 213 0 72 0
[pid=10005] ppid=10004 vsize=13400 CPUtime=6.24 cores=1,3,5,7
/proc/10005/stat : 10005 (glucose) R 10004 9942 6342 0 -1 4202496 3932 0 0 0 624 0 0 0 20 0 1 0 284609339 13721600 2989 33554432000 4194304 5208918 140733705527440 140733705525304 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10005/statm: 3350 2989 103 248 0 3099 0
Current children cumulated CPU time (s) 27.06
Current children cumulated vsize (KiB) 36492
[startup+27.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10005
/proc/meminfo: memFree=31219916/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=20.82 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3197 49498 0 0 8 3 2058 13 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=10004] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284609339 9367552 267 33554432000 4194304 5064252 140734757979936 140734757978848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10004/statm: 2287 267 226 213 0 72 0
[pid=10005] ppid=10004 vsize=13400 CPUtime=7.04 cores=1,3,5,7
/proc/10005/stat : 10005 (glucose) R 10004 9942 6342 0 -1 4202496 3932 0 0 0 704 0 0 0 20 0 1 0 284609339 13721600 2989 33554432000 4194304 5208918 140733705527440 140733705525304 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10005/statm: 3350 2989 103 248 0 3099 0
Current children cumulated CPU time (s) 27.86
Current children cumulated vsize (KiB) 36492
[startup+28.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10005
/proc/meminfo: memFree=31217372/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=20.82 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3197 49498 0 0 8 3 2058 13 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=10004] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284609339 9367552 267 33554432000 4194304 5064252 140734757979936 140734757978848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10004/statm: 2287 267 226 213 0 72 0
[pid=10005] ppid=10004 vsize=13400 CPUtime=7.84 cores=1,3,5,7
/proc/10005/stat : 10005 (glucose) R 10004 9942 6342 0 -1 4202496 4174 0 0 0 784 0 0 0 20 0 1 0 284609339 13721600 2992 33554432000 4194304 5208918 140733705527440 140733705523816 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10005/statm: 3350 2992 103 248 0 3099 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 36492
[startup+28.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10005
/proc/meminfo: memFree=31217372/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=20.82 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3197 49498 0 0 8 3 2058 13 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=10004] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284609339 9367552 267 33554432000 4194304 5064252 140734757979936 140734757978848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10004/statm: 2287 267 226 213 0 72 0
[pid=10005] ppid=10004 vsize=13400 CPUtime=8.04 cores=1,3,5,7
/proc/10005/stat : 10005 (glucose) R 10004 9942 6342 0 -1 4202496 4174 0 0 0 804 0 0 0 20 0 1 0 284609339 13721600 2992 33554432000 4194304 5208918 140733705527440 140733705523816 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10005/statm: 3350 2992 103 248 0 3099 0
Current children cumulated CPU time (s) 28.86
Current children cumulated vsize (KiB) 36492
[startup+29.0002 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10005
/proc/meminfo: memFree=31217372/32873648 swapFree=7116/7116
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (npSolver-wbo-I.) S 9940 9942 6342 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284607254 9367552 275 33554432000 4194304 5064252 140736839954720 140736839953632 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9942/statm: 2287 275 233 213 0 72 0
[pid=9943] ppid=9942 vsize=4796 CPUtime=20.82 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-wbo) S 9942 9942 6342 0 -1 4202496 3197 49498 0 0 8 3 2058 13 20 0 1 0 284607254 4911104 714 33554432000 4194304 5990268 140733416897792 140733416889232 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9943/statm: 1199 714 160 439 0 756 0
[pid=10004] ppid=9943 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10004/stat : 10004 (satsolver.sh) S 9943 9942 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284609339 9367552 267 33554432000 4194304 5064252 140734757979936 140734757978848 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10004/statm: 2287 267 226 213 0 72 0
[pid=10005] ppid=10004 vsize=13400 CPUtime=8.14 cores=1,3,5,7
/proc/10005/stat : 10005 (glucose) R 10004 9942 6342 0 -1 4202496 4174 0 0 0 814 0 0 0 20 0 1 0 284609339 13721600 2992 33554432000 4194304 5208918 140733705527440 140733705523816 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10005/statm: 3350 2992 103 248 0 3099 0
Current children cumulated CPU time (s) 28.96
Current children cumulated vsize (KiB) 36492
Child status: 0
Real time (s): 29.0371
CPU time (s): 29.0246
CPU user time (s): 28.8306
CPU system time (s): 0.19397
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (KiB): 43568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.8306
system time used= 0.19397
maximum resident set size= 17012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206
involuntary context switches= 132
runsolver used 0.055991 second user time and 0.170974 second system time
The end