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-3701027-1338135640/watcher-3701027-1338135640 -o /tmp/evaluation-result-3701027-1338135640/solver-3701027-1338135640 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701027-1338135640.opb 899358893 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.01 3/180 20333
/proc/meminfo: memFree=31648208/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[startup+0.0139811 s]
/proc/loadavg: 2.00 2.00 2.01 3/180 20333
/proc/meminfo: memFree=31648208/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.01 3/180 20333
/proc/meminfo: memFree=31648208/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.01 3/180 20333
/proc/meminfo: memFree=31648208/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 2.00 2.00 2.01 3/180 20333
/proc/meminfo: memFree=31648208/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 20340
/proc/meminfo: memFree=31470952/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=10556 CPUtime=1.47 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 3213 17365 0 0 16 18 107 6 20 0 1 0 279631033 10809344 1941 33554432000 4194304 5992684 140735142909408 140735142903440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 2639 1941 178 440 0 2195 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19704
[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 20347
/proc/meminfo: memFree=31337668/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=111420 CPUtime=1.03 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 21460 0 0 0 98 5 0 0 20 0 1 0 279631238 114094080 23302 33554432000 4194304 5208918 140733607832384 140733606781784 4212737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 27855 23302 104 248 0 27604 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 179616
[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 20350
/proc/meminfo: memFree=31382828/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=112740 CPUtime=4.23 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 21867 0 0 0 418 5 0 0 20 0 1 0 279631238 115445760 23709 33554432000 4194304 5208918 140733607832384 140733607830232 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 28185 23709 104 248 0 27934 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 180936
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.01 3/182 20355
/proc/meminfo: memFree=30998600/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=113136 CPUtime=10.63 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 21955 0 0 0 1058 5 0 0 20 0 1 0 279631238 115851264 23797 33554432000 4194304 5208918 140733607832384 140733607830232 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 28284 23797 104 248 0 28033 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 181332
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.01 3/183 20357
/proc/meminfo: memFree=30576392/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=113400 CPUtime=23.44 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 22053 0 0 0 2338 6 0 0 20 0 1 0 279631238 116121600 23895 33554432000 4194304 5208918 140733607832384 140733607830232 4212881 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 28350 23895 104 248 0 28099 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 181596
[startup+51.1005 s]
/proc/loadavg: 2.05 2.01 2.01 3/183 20357
/proc/meminfo: memFree=30569508/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=113796 CPUtime=49.03 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 22144 0 0 0 4897 6 0 0 20 0 1 0 279631238 116527104 24497 33554432000 4194304 5208918 140733607832384 140733607830232 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 28449 24497 105 248 0 28198 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 181992
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.01 3/183 20358
/proc/meminfo: memFree=30554372/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=117892 CPUtime=100.23 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 22985 0 0 0 10017 6 0 0 20 0 1 0 279631238 120721408 26360 33554432000 4194304 5208918 140733607832384 140733607830216 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 29473 26360 105 248 0 29222 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 186088
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20358
/proc/meminfo: memFree=30545440/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=49900 CPUtime=2.04 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 8049 17882 0 0 65 25 108 6 20 0 1 0 279631033 51097600 11718 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20334/statm: 12475 11718 188 440 0 12031 0
[pid=20346] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20346/stat : 20346 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 279631238 9367552 267 33554432000 4194304 5064252 140736350049776 140736350048688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20346/statm: 2287 267 226 213 0 72 0
[pid=20347] ppid=20346 vsize=119448 CPUtime=160.21 cores=1,3,5,7
/proc/20347/stat : 20347 (glucose) R 20346 20333 19129 0 -1 4202496 24010 0 0 0 16015 6 0 0 20 0 1 0 279631238 122314752 27038 33554432000 4194304 5208918 140733607832384 140733607830216 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20347/statm: 29862 27038 105 248 0 29611 0
Current children cumulated CPU time (s) 162.25
################
# More data... #
################
/proc/20370/stat : 20370 (glucose) R 20369 20333 19129 0 -1 4202496 23988 0 0 0 58452 9 0 0 20 0 1 0 279708789 181907456 41072 33554432000 4194304 5208918 140735159191152 140735159189016 4212757 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20370/statm: 44411 41072 105 248 0 44160 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 274288
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20376
/proc/meminfo: memFree=30439116/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=777.4 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 12610 52320 0 0 113 30 77562 35 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20369] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20369/stat : 20369 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279708789 9367552 267 33554432000 4194304 5064252 140737004193584 140737004192496 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 2287 267 226 213 0 72 0
[pid=20370] ppid=20369 vsize=177644 CPUtime=644.61 cores=1,3,5,7
/proc/20370/stat : 20370 (glucose) R 20369 20333 19129 0 -1 4202496 23989 0 0 0 64452 9 0 0 20 0 1 0 279708789 181907456 41584 33554432000 4194304 5208918 140735159191152 140735159187528 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20370/statm: 44411 41584 105 248 0 44160 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 274288
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 20390
/proc/meminfo: memFree=30508352/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=113480 CPUtime=17.61 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 20899 0 0 0 1755 6 0 0 20 0 1 0 279777500 116203520 23883 33554432000 4194304 5208918 140736735360448 140736735358280 4229319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 28370 23883 105 248 0 28119 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 210124
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 20390
/proc/meminfo: memFree=30499168/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=114564 CPUtime=77.6 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 21167 0 0 0 7754 6 0 0 20 0 1 0 279777500 117313536 25173 33554432000 4194304 5208918 140736735360448 140736735356824 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 28641 25173 105 248 0 28390 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 211208
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 20391
/proc/meminfo: memFree=30476148/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=133444 CPUtime=137.59 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 22621 0 0 0 13752 7 0 0 20 0 1 0 279777500 136646656 29240 33554432000 4194304 5208918 140736735360448 140736735358296 4229344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 33361 29240 105 248 0 33110 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 230088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20391
/proc/meminfo: memFree=30461876/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=163792 CPUtime=197.58 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 23089 0 0 0 19750 8 0 0 20 0 1 0 279777500 167723008 31222 33554432000 4194304 5208918 140736735360448 140736735358392 4229456 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 40948 31222 105 248 0 40697 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 260436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20391
/proc/meminfo: memFree=30457780/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=163792 CPUtime=257.57 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 23089 0 0 0 25749 8 0 0 20 0 1 0 279777500 167723008 31222 33554432000 4194304 5208918 140736735360448 140736735358392 4229365 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 40948 31222 105 248 0 40697 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 260436
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 20394
/proc/meminfo: memFree=30452556/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=163792 CPUtime=317.56 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 23089 0 0 0 31748 8 0 0 20 0 1 0 279777500 167723008 31222 33554432000 4194304 5208918 140736735360448 140736735358392 4228997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 40948 31222 105 248 0 40697 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 260436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20434
/proc/meminfo: memFree=31469800/32873844 swapFree=6872/6872
[pid=20333] ppid=20331 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20333/stat : 20333 (npSolver-pbo.sh) S 20331 20333 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279631033 9367552 274 33554432000 4194304 5064252 140734015607600 140734015606512 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20333/statm: 2287 274 233 213 0 72 0
[pid=20334] ppid=20333 vsize=78348 CPUtime=1463.97 cores=1,3,5,7
/proc/20334/stat : 20334 (npSolver-pbo) S 20333 20333 19129 0 -1 4202496 21310 105932 0 0 204 41 146085 67 20 0 1 0 279631033 80228352 18566 33554432000 4194304 5992684 140735142909408 140735142901728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20334/statm: 19587 18566 188 440 0 19143 0
[pid=20389] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20389/stat : 20389 (satsolver.sh) S 20334 20333 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279777500 9367552 267 33554432000 4194304 5064252 140737323308960 140737323307872 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20389/statm: 2287 267 226 213 0 72 0
[pid=20390] ppid=20389 vsize=163792 CPUtime=336.06 cores=1,3,5,7
/proc/20390/stat : 20390 (glucose) R 20389 20333 19129 0 -1 4202496 23089 0 0 0 33598 8 0 0 20 0 1 0 279777500 167723008 31222 33554432000 4194304 5208918 140736735360448 140736735358392 4205139 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20390/statm: 40948 31222 105 248 0 40697 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 260436
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 20333 and gives
# childrusage.ru_utime.tv_sec=1462
# childrusage.ru_utime.tv_usec=901605
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=87834
# CPU time returned by wait4() is 1463.99
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.82
CPU time (s): 1800.03
CPU user time (s): 1798.87
CPU system time (s): 1.16
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 293260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1462.9
system time used= 1.08783
maximum resident set size= 202056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 286088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1071
involuntary context switches= 1891
runsolver used 9.8575 second user time and 15.5846 second system time
The end