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-3701194-1338052937/watcher-3701194-1338052937 -o /tmp/evaluation-result-3701194-1338052937/solver-3701194-1338052937 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701194-1338052937.opb 209235279 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.17 2.08 1.96 2/177 11158
/proc/meminfo: memFree=28648720/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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.060226 s]
/proc/loadavg: 2.17 2.08 1.96 2/177 11158
/proc/meminfo: memFree=28648720/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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.100258 s]
/proc/loadavg: 2.17 2.08 1.96 2/177 11158
/proc/meminfo: memFree=28648720/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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.300225 s]
/proc/loadavg: 2.17 2.08 1.96 2/177 11158
/proc/meminfo: memFree=28648720/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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.700141 s]
/proc/loadavg: 2.17 2.08 1.96 2/177 11158
/proc/meminfo: memFree=28648720/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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.50043 s]
/proc/loadavg: 2.16 2.08 1.96 3/183 11184
/proc/meminfo: memFree=28603424/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=15972 CPUtime=0.59 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 2953 0 0 0 59 0 0 0 20 0 1 0 271418347 16355328 3345 33554432000 4194304 5208918 140733431606160 140733431604008 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11184/statm: 3993 3345 104 248 0 3742 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 43300
[startup+3.10034 s]
/proc/loadavg: 2.16 2.08 1.96 3/183 11184
/proc/meminfo: memFree=28599076/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=19364 CPUtime=2.19 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 3859 0 0 0 219 0 0 0 20 0 1 0 271418347 19828736 3741 33554432000 4194304 5208918 140733431606160 140733431604008 4229731 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11184/statm: 4841 3741 105 248 0 4590 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 46692
[startup+6.30035 s]
/proc/loadavg: 2.15 2.08 1.96 3/183 11184
/proc/meminfo: memFree=28581956/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=28328 CPUtime=5.39 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 5152 0 0 0 538 1 0 0 20 0 1 0 271418347 29007872 6434 33554432000 4194304 5208918 140733431606160 140733431602536 4228947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11184/statm: 7082 6434 105 248 0 6831 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 55656
[startup+12.7003 s]
/proc/loadavg: 2.13 2.07 1.96 3/183 11184
/proc/meminfo: memFree=28572436/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=32748 CPUtime=11.79 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 5990 0 0 0 1178 1 0 0 20 0 1 0 271418347 33533952 7741 33554432000 4194304 5208918 140733431606160 140733431602536 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11184/statm: 8187 7741 105 248 0 7936 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 60076
[startup+25.5003 s]
/proc/loadavg: 2.10 2.07 1.96 3/183 11184
/proc/meminfo: memFree=28561532/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=35468 CPUtime=24.59 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 6686 0 0 0 2458 1 0 0 20 0 1 0 271418347 36319232 8421 33554432000 4194304 5208918 140733431606160 140733431601896 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11184/statm: 8867 8421 105 248 0 8616 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 62796
[startup+51.1004 s]
/proc/loadavg: 2.15 2.08 1.96 3/183 11184
/proc/meminfo: memFree=28527888/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=54536 CPUtime=50.18 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 8509 0 0 0 5016 2 0 0 20 0 1 0 271418347 55844864 12680 33554432000 4194304 5208918 140733431606160 140733431602536 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11184/statm: 13634 12680 105 248 0 13383 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 81864
[startup+102.307 s]
/proc/loadavg: 2.12 2.08 1.97 3/183 11184
/proc/meminfo: memFree=28499268/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=73392 CPUtime=101.37 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 9099 0 0 0 10135 2 0 0 20 0 1 0 271418347 75153408 17920 33554432000 4194304 5208918 140733431606160 140733431602536 4211916 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11184/statm: 18348 17920 105 248 0 18097 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 100720
[startup+162.3 s]
/proc/loadavg: 2.08 2.08 1.97 3/183 11184
/proc/meminfo: memFree=28488412/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/183 11195
/proc/meminfo: memFree=28257816/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=216720 CPUtime=1361.17 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 26720 0 0 0 136075 42 0 0 20 0 1 0 271418347 221921280 47701 33554432000 4194304 5208918 140733431606160 140733431601848 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 54180 47701 105 248 0 53929 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 244048
[startup+1422.31 s]
/proc/loadavg: 2.06 2.05 2.01 3/182 11195
/proc/meminfo: memFree=28303172/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=136580 CPUtime=1421.16 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 27448 0 0 0 142072 44 0 0 20 0 1 0 271418347 139857920 33703 33554432000 4194304 5208918 140733431606160 140733431602472 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 34145 33703 105 248 0 33894 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 163908
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 11196
/proc/meminfo: memFree=28323612/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=185900 CPUtime=1481.14 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 28308 0 0 0 148068 46 0 0 20 0 1 0 271418347 190361600 42002 33554432000 4194304 5208918 140733431606160 140733431604152 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 46475 42002 105 248 0 46224 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 213228
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 11196
/proc/meminfo: memFree=28282668/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=185900 CPUtime=1541.13 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 29038 0 0 0 154065 48 0 0 20 0 1 0 271418347 190361600 43026 33554432000 4194304 5208918 140733431606160 140733431604152 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 46475 43026 105 248 0 46224 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 213228
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 11196
/proc/meminfo: memFree=28259924/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=216720 CPUtime=1601.12 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 30362 0 0 0 160061 51 0 0 20 0 1 0 271418347 221921280 46677 33554432000 4194304 5208918 140733431606160 140733431604312 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 54180 46677 105 248 0 53929 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 244048
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 11196
/proc/meminfo: memFree=28292612/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=216720 CPUtime=1661.11 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 31089 0 0 0 166058 53 0 0 20 0 1 0 271418347 221921280 49749 33554432000 4194304 5208918 140733431606160 140733431604312 4229888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 54180 49749 105 248 0 53929 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 244048
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/184 11199
/proc/meminfo: memFree=28358680/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=136580 CPUtime=1721.1 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 31823 0 0 0 172055 55 0 0 20 0 1 0 271418347 139857920 33703 33554432000 4194304 5208918 140733431606160 140733431604248 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 34145 33703 105 248 0 33894 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 163908
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 11200
/proc/meminfo: memFree=28321544/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=185900 CPUtime=1781.09 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 32674 0 0 0 178052 57 0 0 20 0 1 0 271418347 190361600 42514 33554432000 4194304 5208918 140733431606160 140733431604152 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 46475 42514 105 248 0 46224 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 213228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.00 2/178 11200
/proc/meminfo: memFree=28439756/32873844 swapFree=6080/6080
[pid=11158] ppid=11156 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11158/stat : 11158 (npSolver-pbo.sh) S 11156 11158 11113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271418257 9367552 275 33554432000 4194304 5064252 140735714361520 140735714360432 248790017614 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=9032 CPUtime=0.86 cores=0,2,4,6
/proc/11159/stat : 11159 (npSolver-pbo) S 11158 11158 11113 0 -1 4202496 2917 9590 0 0 39 11 34 2 20 0 1 0 271418257 9248768 1692 33554432000 4194304 5992684 140733215968736 140733215961056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11159/statm: 2258 1692 178 440 0 1814 0
[pid=11183] ppid=11159 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11183/stat : 11183 (satsolver.sh) S 11159 11158 11113 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271418347 9367552 267 33554432000 4194304 5064252 140734350399328 140734350398240 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11183/statm: 2287 267 226 213 0 72 0
[pid=11184] ppid=11183 vsize=216720 CPUtime=1799.19 cores=0,2,4,6
/proc/11184/stat : 11184 (glucose) R 11183 11158 11113 0 -1 4202496 33269 0 0 0 179861 58 0 0 20 0 1 0 271418347 221921280 47189 33554432000 4194304 5208918 140733431606160 140733431604312 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11184/statm: 54180 47189 105 248 0 53929 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 244048
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.36
CPU system time (s): 0.741887
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 244048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.741887
maximum resident set size= 213308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46769
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 2001
runsolver used 7.99278 second user time and 18.0922 second system time
The end