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-3701749-1338073730/watcher-3701749-1338073730 -o /tmp/evaluation-result-3701749-1338073730/solver-3701749-1338073730 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701749-1338073730.opb 760034998 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.01 2.00 3/177 8564
/proc/meminfo: memFree=28423836/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[startup+0.00792896 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8564
/proc/meminfo: memFree=28423836/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100141 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8564
/proc/meminfo: memFree=28423836/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300177 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8564
/proc/meminfo: memFree=28423836/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700101 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8564
/proc/meminfo: memFree=28423836/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 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.01 2.01 2.00 3/181 8578
/proc/meminfo: memFree=28416516/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=7680 CPUtime=1.41 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 1702 0 0 0 141 0 0 0 20 0 1 0 273498491 7864320 1205 33554432000 4194304 5208918 140736275766768 140736275764712 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 1920 1205 102 248 0 1669 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 28536
[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8578
/proc/meminfo: memFree=28411616/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=8836 CPUtime=3.01 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 2100 0 0 0 301 0 0 0 20 0 1 0 273498491 9048064 1601 33554432000 4194304 5208918 140736275766768 140736275764712 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 2209 1601 102 248 0 1958 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 29692
[startup+6.30021 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8578
/proc/meminfo: memFree=28437184/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=13128 CPUtime=6.2 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 2729 0 0 0 620 0 0 0 20 0 1 0 273498491 13443072 2696 33554432000 4194304 5208918 140736275766768 140736275764712 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 3282 2696 102 248 0 3031 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 33984
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 8578
/proc/meminfo: memFree=28432068/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=15016 CPUtime=12.6 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 3245 0 0 0 1260 0 0 0 20 0 1 0 273498491 15376384 3199 33554432000 4194304 5208918 140736275766768 140736275764712 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 3754 3199 103 248 0 3503 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35872
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 8578
/proc/meminfo: memFree=28411924/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=22196 CPUtime=25.4 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 3889 0 0 0 2540 0 0 0 20 0 1 0 273498491 22728704 5116 33554432000 4194304 5208918 140736275766768 140736275764712 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 5549 5116 103 248 0 5298 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 43052
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8578
/proc/meminfo: memFree=28381584/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=34416 CPUtime=50.99 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 6246 0 0 0 5098 1 0 0 20 0 1 0 273498491 35241984 8145 33554432000 4194304 5208918 140736275766768 140736275764712 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 8604 8145 103 248 0 8353 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55272
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 8581
/proc/meminfo: memFree=28403272/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=39212 CPUtime=102.19 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 6382 0 0 0 10218 1 0 0 20 0 1 0 273498491 40153088 9301 33554432000 4194304 5208918 140736275766768 140736275764712 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 9803 9301 103 248 0 9552 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 60068
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8581
/proc/meminfo: memFree=28367008/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8652
/proc/meminfo: memFree=28797404/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=148916 CPUtime=1421.98 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14036 0 0 0 142191 7 0 0 20 0 1 0 273498491 152489984 36770 33554432000 4194304 5208918 140736275766768 140736275764856 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 37229 36770 103 248 0 36978 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 169772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8652
/proc/meminfo: memFree=28786608/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=148916 CPUtime=1481.97 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14103 0 0 0 148190 7 0 0 20 0 1 0 273498491 152489984 36770 33554432000 4194304 5208918 140736275766768 140736275764856 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 37229 36770 103 248 0 36978 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 169772
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28717908/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=198236 CPUtime=1541.96 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14239 0 0 0 154188 8 0 0 20 0 1 0 273498491 202993664 45525 33554432000 4194304 5208918 140736275766768 140736275764760 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 49559 45525 103 248 0 49308 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 219092
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28786608/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=148916 CPUtime=1601.95 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14307 0 0 0 160186 9 0 0 20 0 1 0 273498491 152489984 36770 33554432000 4194304 5208918 140736275766768 140736275764856 4229493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 37229 36770 103 248 0 36978 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 169772
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28786612/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=148916 CPUtime=1661.94 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14375 0 0 0 166185 9 0 0 20 0 1 0 273498491 152489984 36770 33554432000 4194304 5208918 140736275766768 140736275764856 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 37229 36770 103 248 0 36978 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 169772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28786364/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=148916 CPUtime=1721.93 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14443 0 0 0 172183 10 0 0 20 0 1 0 273498491 152489984 36770 33554432000 4194304 5208918 140736275766768 140736275764856 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 37229 36770 103 248 0 36978 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 169772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28786012/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=148916 CPUtime=1781.92 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14513 0 0 0 178182 10 0 0 20 0 1 0 273498491 152489984 36770 33554432000 4194304 5208918 140736275766768 140736275764856 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 37229 36770 103 248 0 36978 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 169772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28753120/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=198236 CPUtime=1800.03 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14580 0 0 0 179992 11 0 0 20 0 1 0 273498491 202993664 45013 33554432000 4194304 5208918 140736275766768 140736275764760 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 49559 45013 103 248 0 49308 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 219092
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 8653
/proc/meminfo: memFree=28753120/32873624 swapFree=7104/7104
[pid=8564] ppid=8562 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8564/stat : 8564 (npSolver-pbo.sh) S 8562 8564 3117 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273498482 9367552 274 33554432000 4194304 5064252 140737365814128 140737365813040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8564/statm: 2287 274 233 213 0 72 0
[pid=8565] ppid=8564 vsize=2560 CPUtime=0.06 cores=1,3,5,7
/proc/8565/stat : 8565 (npSolver-pbo) S 8564 8564 3117 0 -1 4202496 458 5286 0 0 0 0 5 1 20 0 1 0 273498482 2621440 304 33554432000 4194304 5992684 140736448900928 140736448893248 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8565/statm: 640 304 175 440 0 196 0
[pid=8577] ppid=8565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8577/stat : 8577 (satsolver.sh) S 8565 8564 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273498491 9367552 267 33554432000 4194304 5064252 140736654802128 140736654801040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8577/statm: 2287 267 226 213 0 72 0
[pid=8578] ppid=8577 vsize=198236 CPUtime=1800.03 cores=1,3,5,7
/proc/8578/stat : 8578 (glucose) R 8577 8564 3117 0 -1 4202496 14580 0 0 0 179992 11 0 0 20 0 1 0 273498491 202993664 45013 33554432000 4194304 5208918 140736275766768 140736275764760 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8578/statm: 49559 45013 103 248 0 49308 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 219092
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.99
CPU system time (s): 0.132979
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 219092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.132979
maximum resident set size= 186196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 1876
runsolver used 6.583 second user time and 16.2585 second system time
The end