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-3701781-1338075572/watcher-3701781-1338075572 -o /tmp/evaluation-result-3701781-1338075572/solver-3701781-1338075572 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701781-1338075572.opb 575874524 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/177 8933
/proc/meminfo: memFree=28933692/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0

[startup+0.0098121 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8933
/proc/meminfo: memFree=28933692/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100149 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8933
/proc/meminfo: memFree=28933692/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30012 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8933
/proc/meminfo: memFree=28933692/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700109 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8933
/proc/meminfo: memFree=28933692/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8954
/proc/meminfo: memFree=28928296/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=0.08 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 536 8668 0 0 0 0 6 2 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8953] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8953/stat : 8953 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273682682 9367552 266 33554432000 4194304 5064252 140737143029872 140737143028784 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8953/statm: 2287 266 226 213 0 72 0
[pid=8954] ppid=8953 vsize=9112 CPUtime=1.39 cores=1,3,5,7
/proc/8954/stat : 8954 (glucose) R 8953 8933 3117 0 -1 4202496 2216 0 0 0 139 0 0 0 20 0 1 0 273682683 9330688 1600 33554432000 4194304 5208918 140737385788288 140737385786232 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8954/statm: 2278 1600 102 248 0 2027 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29928

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8961
/proc/meminfo: memFree=28930008/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=2.96 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 778 18258 0 0 0 0 292 4 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 11668

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8968
/proc/meminfo: memFree=28926336/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=2.96 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 778 18258 0 0 0 0 292 4 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8967] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8967/stat : 8967 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273682971 9367552 265 33554432000 4194304 5064252 140735044068192 140735044067104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8967/statm: 2287 265 226 213 0 72 0
[pid=8968] ppid=8967 vsize=8788 CPUtime=3.3 cores=1,3,5,7
/proc/8968/stat : 8968 (glucose) R 8967 8933 3117 0 -1 4202496 2331 0 0 0 330 0 0 0 20 0 1 0 273682971 8998912 1718 33554432000 4194304 5208918 140734709596160 140734709594104 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8968/statm: 2197 1718 102 248 0 1946 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 29604

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 8968
/proc/meminfo: memFree=28920900/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=12.67 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 895 24031 0 0 1 0 1261 5 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11668

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 8975
/proc/meminfo: memFree=28920160/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=12.67 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 895 24031 0 0 1 0 1261 5 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8974] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8974/stat : 8974 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 273683942 9367552 267 33554432000 4194304 5064252 140734319236096 140734319235008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8974/statm: 2287 267 226 213 0 72 0
[pid=8975] ppid=8974 vsize=14764 CPUtime=12.79 cores=1,3,5,7
/proc/8975/stat : 8975 (glucose) R 8974 8933 3117 0 -1 4202496 2952 0 0 0 1279 0 0 0 20 0 1 0 273683942 15118336 3243 33554432000 4194304 5208918 140736435885184 140736435883272 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8975/statm: 3691 3243 102 248 0 3440 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35580

[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 8978
/proc/meminfo: memFree=28912340/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=12.67 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 895 24031 0 0 1 0 1261 5 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8974] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8974/stat : 8974 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 273683942 9367552 267 33554432000 4194304 5064252 140734319236096 140734319235008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8974/statm: 2287 267 226 213 0 72 0
[pid=8975] ppid=8974 vsize=24556 CPUtime=38.39 cores=1,3,5,7
/proc/8975/stat : 8975 (glucose) R 8974 8933 3117 0 -1 4202496 3464 0 0 0 3838 1 0 0 20 0 1 0 273683942 25145344 5265 33554432000 4194304 5208918 140736435885184 140736435881560 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8975/statm: 6139 5265 102 248 0 5888 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45372

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8985
/proc/meminfo: memFree=28873600/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=53.98 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1012 30447 0 0 1 0 5390 7 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8984] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8984/stat : 8984 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273688074 9367552 266 33554432000 4194304 5064252 140734941004400 140734941003312 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8984/statm: 2287 266 226 213 0 72 0
[pid=8985] ppid=8984 vsize=26836 CPUtime=48.27 cores=1,3,5,7
/proc/8985/stat : 8985 (glucose) R 8984 8933 3117 0 -1 4202496 5108 0 0 0 4826 1 0 0 20 0 1 0 273688074 27480064 6261 33554432000 4194304 5208918 140735536181184 140735536177560 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8985/statm: 6709 6261 102 248 0 6458 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47652

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28884624/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=11860 CPUtime=8.04 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 2649 0 0 0 804 0 0 0 20 0 1 0 273698097 12144640 2517 33554432000 4194304 5208918 140733398941712 140733398939800 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 2965 2517 102 248 0 2714 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 32676

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28855396/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=68.03 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 6802 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 54124

Solver just ended. Dumping a history of the last processes samples

[startup+223.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28855396/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=69.63 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 6962 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 223.82
Current children cumulated vsize (KiB) 54124

[startup+230.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28849068/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=76.03 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 7602 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 54124

[startup+231.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28847020/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=77.63 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 7762 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4229725 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 231.82
Current children cumulated vsize (KiB) 54124

[startup+233.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28847036/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=79.22 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 7921 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4228975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 233.41
Current children cumulated vsize (KiB) 54124

[startup+233.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28847036/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=79.62 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 7961 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 233.81
Current children cumulated vsize (KiB) 54124

[startup+234.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28847036/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=80.03 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 8002 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4212816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 234.22
Current children cumulated vsize (KiB) 54124

[startup+234.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8992
/proc/meminfo: memFree=28847036/32873624 swapFree=7104/7104
[pid=8933] ppid=8931 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (npSolver-pbo.sh) S 8931 8933 3117 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273682672 9367552 275 33554432000 4194304 5064252 140736224544928 140736224543840 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 2287 275 233 213 0 72 0
[pid=8934] ppid=8933 vsize=2520 CPUtime=154.19 cores=1,3,5,7
/proc/8934/stat : 8934 (npSolver-pbo) S 8933 8933 3117 0 -1 4202496 1156 40037 0 0 1 0 15408 10 20 0 1 0 273682673 2580480 301 33554432000 4194304 5992684 140736716156496 140736716148816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8934/statm: 630 301 179 440 0 186 0
[pid=8991] ppid=8934 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8991/stat : 8991 (satsolver.sh) S 8934 8933 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273698097 9367552 267 33554432000 4194304 5064252 140736405790080 140736405788992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8991/statm: 2287 267 226 213 0 72 0
[pid=8992] ppid=8991 vsize=33308 CPUtime=80.12 cores=1,3,5,7
/proc/8992/stat : 8992 (glucose) R 8991 8933 3117 0 -1 4202496 4520 0 0 0 8011 1 0 0 20 0 1 0 273698097 34107392 7879 33554432000 4194304 5208918 140733398941712 140733398938024 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8992/statm: 8327 7879 102 248 0 8076 0
Current children cumulated CPU time (s) 234.31
Current children cumulated vsize (KiB) 54124

Child status: 0
Real time (s): 234.425
CPU time (s): 234.374
CPU user time (s): 234.236
CPU system time (s): 0.137979
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 73468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 234.236
system time used= 0.137979
maximum resident set size= 45068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49430
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172
involuntary context switches= 336

runsolver used 0.465929 second user time and 1.12383 second system time

The end