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-3700820-1338090365/watcher-3700820-1338090365 -o /tmp/evaluation-result-3700820-1338090365/solver-3700820-1338090365 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700820-1338090365.opb 1066127711 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 1.91 3/177 16853
/proc/meminfo: memFree=29061824/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[startup+0.03281 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16853
/proc/meminfo: memFree=29061824/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16853
/proc/meminfo: memFree=29061824/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300352 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16853
/proc/meminfo: memFree=29061824/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 16853
/proc/meminfo: memFree=29061824/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 16867
/proc/meminfo: memFree=28864656/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 85512
[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28560784/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=141900 CPUtime=1.75 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 26172 0 0 0 166 9 0 0 20 0 1 0 275160969 145305600 31150 33554432000 4194304 5208918 140734268470656 140734268468616 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 35475 31150 104 248 0 35224 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 236560
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28589732/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=142680 CPUtime=4.95 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 26402 0 0 0 486 9 0 0 20 0 1 0 275160969 146104320 31380 33554432000 4194304 5208918 140734268470656 140734268468488 4205165 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 35670 31380 104 248 0 35419 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 237340
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28588852/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=142680 CPUtime=11.35 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 26402 0 0 0 1126 9 0 0 20 0 1 0 275160969 146104320 31380 33554432000 4194304 5208918 140734268470656 140734268468488 4211521 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 35670 31380 104 248 0 35419 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 237340
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28572700/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=146264 CPUtime=24.14 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 27253 0 0 0 2405 9 0 0 20 0 1 0 275160969 149774336 33253 33554432000 4194304 5208918 140734268470656 140734268467032 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 36566 33253 105 248 0 36315 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 240924
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28565752/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=149756 CPUtime=49.74 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 28886 0 0 0 4963 11 0 0 20 0 1 0 275160969 153350144 34279 33554432000 4194304 5208918 140734268470656 140734268468408 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 37439 34279 105 248 0 37188 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 244416
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16870
/proc/meminfo: memFree=28544284/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=175640 CPUtime=100.94 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 31728 0 0 0 10081 13 0 0 20 0 1 0 275160969 179855360 37498 33554432000 4194304 5208918 140734268470656 140734268467032 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 43910 37498 105 248 0 43659 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 270300
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/183 16870
/proc/meminfo: memFree=28510260/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=183340 CPUtime=160.92 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 34858 0 0 0 16075 17 0 0 20 0 1 0 275160969 187740160 41962 33554432000 4194304 5208918 140734268470656 140734268467032 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 45835 41962 105 248 0 45584 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 104330 0 0 0 135910 156 0 0 20 0 1 0 275160969 444416000 83188 33554432000 4194304 5208918 140734268470656 140734268468504 4467262 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 108500 83188 105 248 0 108249 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 528660
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16903
/proc/meminfo: memFree=28233152/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=356508 CPUtime=1420.66 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 107126 0 0 0 141903 163 0 0 20 0 1 0 275160969 365064192 78708 33554432000 4194304 5208918 140734268470656 140734268466424 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 89127 78708 105 248 0 88876 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 451168
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 16906
/proc/meminfo: memFree=28183472/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=309336 CPUtime=1480.65 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 109177 0 0 0 147895 170 0 0 20 0 1 0 275160969 316760064 71457 33554432000 4194304 5208918 140734268470656 140734268468504 4229748 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 77334 71457 105 248 0 77083 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 403996
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16906
/proc/meminfo: memFree=28249388/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=361356 CPUtime=1540.63 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 111604 0 0 0 153888 175 0 0 20 0 1 0 275160969 370028544 77935 33554432000 4194304 5208918 140734268470656 140734268468504 4212343 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 90339 77935 105 248 0 90088 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 456016
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16906
/proc/meminfo: memFree=28201264/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=364144 CPUtime=1600.62 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 113419 0 0 0 159883 179 0 0 20 0 1 0 275160969 372883456 84332 33554432000 4194304 5208918 140734268470656 140734268467032 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 91036 84332 105 248 0 90785 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 458804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16907
/proc/meminfo: memFree=28211340/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=317212 CPUtime=1660.6 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 115558 0 0 0 165875 185 0 0 20 0 1 0 275160969 324825088 75063 33554432000 4194304 5208918 140734268470656 140734268468744 4229757 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 79303 75063 105 248 0 79052 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 411872
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/183 16907
/proc/meminfo: memFree=28179248/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=369700 CPUtime=1720.6 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 118186 0 0 0 171870 190 0 0 20 0 1 0 275160969 378572800 79528 33554432000 4194304 5208918 140734268470656 140734268468504 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 92425 79528 105 248 0 92174 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 464360
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 16907
/proc/meminfo: memFree=28199876/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=371908 CPUtime=1780.59 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 120006 0 0 0 177865 194 0 0 20 0 1 0 275160969 380833792 84699 33554432000 4194304 5208918 140734268470656 140734268467032 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 92977 84699 105 248 0 92726 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 466568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 16949
/proc/meminfo: memFree=28574576/32873844 swapFree=7612/7612
[pid=16853] ppid=16851 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16853/stat : 16853 (npSolver-pbo.sh) S 16851 16853 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275160835 9367552 275 33554432000 4194304 5064252 140735007359616 140735007358528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16853/statm: 2287 275 233 213 0 72 0
[pid=16854] ppid=16853 vsize=76364 CPUtime=1.32 cores=1,3,5,7
/proc/16854/stat : 16854 (npSolver-pbo) S 16853 16853 16531 0 -1 4202496 6739 8316 0 0 97 13 19 3 20 0 1 0 275160835 78196736 15605 33554432000 4194304 5992684 140734417814240 140734417806560 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16854/statm: 19091 15605 180 440 0 18647 0
[pid=16868] ppid=16854 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16868/stat : 16868 (satsolver.sh) S 16854 16853 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275160969 9367552 267 33554432000 4194304 5064252 140734625308256 140734625307168 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16868/statm: 2287 267 226 213 0 72 0
[pid=16869] ppid=16868 vsize=372592 CPUtime=1798.69 cores=1,3,5,7
/proc/16869/stat : 16869 (glucose) R 16868 16853 16531 0 -1 4202496 120191 0 0 0 179675 194 0 0 20 0 1 0 275160969 381534208 90505 33554432000 4194304 5208918 140734268470656 140734268468504 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16869/statm: 93148 90505 105 248 0 92897 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 467252
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16853 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=175821
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=170974
# CPU time returned by wait4() is 1.3468
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.01
CPU user time (s): 1797.91
CPU system time (s): 2.1
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 546036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17582
system time used= 0.170974
maximum resident set size= 115284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16034
page faults= 0
swaps= 0
block input operations= 0
block output operations= 109536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 22
runsolver used 3.24251 second user time and 7.69683 second system time
The end