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-3701214-1338055688/watcher-3701214-1338055688 -o /tmp/evaluation-result-3701214-1338055688/solver-3701214-1338055688 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701214-1338055688.opb 935576817 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11158
/proc/meminfo: memFree=28788896/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[startup+0.0760591 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11158
/proc/meminfo: memFree=28788896/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100226 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11158
/proc/meminfo: memFree=28788896/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300287 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11158
/proc/meminfo: memFree=28788896/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11158
/proc/meminfo: memFree=28788896/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11174
/proc/meminfo: memFree=28721464/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=32392 CPUtime=1.37 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 6885 0 0 0 136 1 0 0 20 0 1 0 271693301 33169408 7082 33554432000 4194304 5208918 140735391490128 140735391487960 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 8098 7082 103 248 0 7847 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 57128
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11174
/proc/meminfo: memFree=28718984/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=32392 CPUtime=2.97 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 7717 0 0 0 296 1 0 0 20 0 1 0 271693301 33169408 7249 33554432000 4194304 5208918 140735391490128 140735391488216 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 8098 7249 104 248 0 7847 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 57128
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11174
/proc/meminfo: memFree=28720284/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=33020 CPUtime=6.16 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 8995 0 0 0 615 1 0 0 20 0 1 0 271693301 33812480 7338 33554432000 4194304 5208918 140735391490128 140735391487960 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 8255 7338 105 248 0 8004 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 57756
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11174
/proc/meminfo: memFree=28696728/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=43784 CPUtime=12.57 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 10305 0 0 0 1255 2 0 0 20 0 1 0 271693301 44834816 10072 33554432000 4194304 5208918 140735391490128 140735391487992 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 10946 10072 105 248 0 10695 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 68520
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11174
/proc/meminfo: memFree=28687420/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=48204 CPUtime=25.37 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 11030 0 0 0 2535 2 0 0 20 0 1 0 271693301 49360896 11215 33554432000 4194304 5208918 140735391490128 140735391487992 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 12051 11215 105 248 0 11800 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 72940
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11174
/proc/meminfo: memFree=28663824/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=62528 CPUtime=50.96 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 12612 0 0 0 5093 3 0 0 20 0 1 0 271693301 64028672 14819 33554432000 4194304 5208918 140735391490128 140735391486504 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 15632 14819 105 248 0 15381 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 87264
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 11174
/proc/meminfo: memFree=28636632/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=100092 CPUtime=102.15 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 13346 0 0 0 10212 3 0 0 20 0 1 0 271693301 102494208 18464 33554432000 4194304 5208918 140735391490128 140735391486504 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 25023 18464 105 248 0 24772 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 124828
[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/184 11177
/proc/meminfo: memFree=28589096/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 24165 0 0 0 136160 34 0 0 20 0 1 0 271693301 115974144 27798 33554432000 4194304 5208918 140735391490128 140735391486504 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 28314 27798 105 248 0 28063 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 137992
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11188
/proc/meminfo: memFree=28515628/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=132068 CPUtime=1421.93 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 25235 0 0 0 142157 36 0 0 20 0 1 0 271693301 135237632 31262 33554432000 4194304 5208918 140735391490128 140735391485944 4205238 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 33017 31262 105 248 0 32766 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 156804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11190
/proc/meminfo: memFree=28437748/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=212208 CPUtime=1481.92 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 26127 0 0 0 148154 38 0 0 20 0 1 0 271693301 217300992 51059 33554432000 4194304 5208918 140735391490128 140735391486504 4229316 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 53052 51059 105 248 0 52801 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 236944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11190
/proc/meminfo: memFree=28448196/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=212208 CPUtime=1541.91 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 26798 0 0 0 154151 40 0 0 20 0 1 0 271693301 217300992 47987 33554432000 4194304 5208918 140735391490128 140735391488280 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 53052 47987 105 248 0 52801 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 236944
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 11190
/proc/meminfo: memFree=28417376/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=181388 CPUtime=1601.9 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 26885 0 0 0 160149 41 0 0 20 0 1 0 271693301 185741312 43312 33554432000 4194304 5208918 140735391490128 140735391486504 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 45347 43312 105 248 0 45096 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 206124
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11190
/proc/meminfo: memFree=28415248/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=181388 CPUtime=1661.89 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 27566 0 0 0 166146 43 0 0 20 0 1 0 271693301 185741312 43824 33554432000 4194304 5208918 140735391490128 140735391486504 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 45347 43824 105 248 0 45096 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 206124
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 11190
/proc/meminfo: memFree=28452324/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=132068 CPUtime=1721.88 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 28992 0 0 0 172143 45 0 0 20 0 1 0 271693301 135237632 32501 33554432000 4194304 5208918 140735391490128 140735391486504 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 33017 32501 105 248 0 32766 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 156804
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 11190
/proc/meminfo: memFree=28398988/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=212208 CPUtime=1781.87 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 29671 0 0 0 178140 47 0 0 20 0 1 0 271693301 217300992 51571 33554432000 4194304 5208918 140735391490128 140735391486504 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 53052 51571 105 248 0 52801 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 236944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 11211
/proc/meminfo: memFree=28562160/32873648 swapFree=6596/6596
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 10843 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271693289 9367552 275 33554432000 4194304 5064252 140736050552736 140736050551648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11158/statm: 2287 275 233 213 0 72 0
[pid=11159] ppid=11158 vsize=6440 CPUtime=0.09 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 10843 0 -1 4202496 2353 5455 0 0 7 1 1 0 20 0 1 0 271693289 6594560 1045 33554432000 4194304 5992684 140734977397024 140734977389344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 1610 1045 177 440 0 1166 0
[pid=11173] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11173/stat : 11173 (satsolver.sh) S 11159 11158 10843 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271693301 9367552 267 33554432000 4194304 5064252 140735976256736 140735976255648 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11173/statm: 2287 267 226 213 0 72 0
[pid=11174] ppid=11173 vsize=262296 CPUtime=1799.97 cores=0,2,4,6
/proc/11174/stat : 11174 (glucose) R 11173 11158 10843 0 -1 4202496 30496 0 0 0 179949 48 0 0 20 0 1 0 271693301 268591104 54432 33554432000 4194304 5208918 140735391490128 140735391486504 4229049 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11174/statm: 65574 54432 105 248 0 65323 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 287032
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 11158 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=87986
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=31995
# CPU time returned by wait4() is 0.119981
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1799.57
CPU system time (s): 0.49
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 287032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.087986
system time used= 0.031995
maximum resident set size= 6940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 19
runsolver used 3.55646 second user time and 9.45156 second system time
The end