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-3752652-1339184073/watcher-3752652-1339184073 -o /tmp/evaluation-result-3752652-1339184073/solver-3752652-1339184073 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752652-1339184073.wbo 606373811 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 2033
/proc/meminfo: memFree=31011624/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[startup+0.0978109 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 2033
/proc/meminfo: memFree=31011624/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100343 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 2033
/proc/meminfo: memFree=31011624/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 2033
/proc/meminfo: memFree=31011624/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700188 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 2033
/proc/meminfo: memFree=31011624/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.90 3/180 2037
/proc/meminfo: memFree=30820104/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=83396 CPUtime=1.33 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 12277 0 0 0 108 25 0 0 20 0 1 0 384531871 85397504 20316 33554432000 4194304 6006132 140735585129360 140735585122464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2034/statm: 20849 20316 158 443 0 20402 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 92544
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.90 3/182 2039
/proc/meminfo: memFree=30701956/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=83396 CPUtime=1.33 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 12277 0 0 0 108 25 0 0 20 0 1 0 384531871 85397504 20316 33554432000 4194304 6006132 140735585129360 140735585122464 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2034/statm: 20849 20316 158 443 0 20402 0
[pid=2038] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2038/stat : 2038 (cp2_pre.sh) S 2034 2033 643 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 384532005 9367552 276 33554432000 4194304 5064252 140734633609968 140734633608672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2038/statm: 2287 276 234 213 0 72 0
[pid=2039] ppid=2038 vsize=117516 CPUtime=1.74 cores=1,3,5,7
/proc/2039/stat : 2039 (coprocessor) R 2038 2033 643 0 -1 4202496 20019 0 0 0 170 4 0 0 20 0 1 0 384532005 120336384 28560 33554432000 4194304 6586260 140734254857168 140734254852488 5599219 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/2039/statm: 29379 28560 192 584 0 28791 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 219208
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 1.90 3/182 2049
/proc/meminfo: memFree=30694948/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95692 CPUtime=6.13 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) D 2033 2033 643 0 -1 4202496 16434 38388 0 0 126 39 422 26 20 0 1 0 384531871 97988608 23369 33554432000 4194304 6006132 140735585129360 140735585121456 5195051 0 0 4096 0 18446744071580543392 0 0 17 5 0 0 13 0 0
/proc/2034/statm: 23923 23369 177 443 0 23476 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 104840
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.90 3/182 2059
/proc/meminfo: memFree=30719612/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=6.14 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 16435 38388 0 0 126 40 422 26 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2058] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2058/stat : 2058 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384532518 9367552 267 33554432000 4194304 5064252 140733669566720 140733669565632 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 2287 267 226 213 0 72 0
[pid=2059] ppid=2058 vsize=83868 CPUtime=6.21 cores=1,3,5,7
/proc/2059/stat : 2059 (glucose) R 2058 2033 643 0 -1 4202496 16883 0 0 0 618 3 0 0 20 0 1 0 384532519 85880832 19495 33554432000 4194304 5208918 140736353474336 140736353472008 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2059/statm: 20967 19495 95 248 0 20716 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 197852
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 2060
/proc/meminfo: memFree=30719264/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=6.14 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 16435 38388 0 0 126 40 422 26 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2058] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2058/stat : 2058 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384532518 9367552 267 33554432000 4194304 5064252 140733669566720 140733669565632 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 2287 267 226 213 0 72 0
[pid=2059] ppid=2058 vsize=83868 CPUtime=19.01 cores=1,3,5,7
/proc/2059/stat : 2059 (glucose) R 2058 2033 643 0 -1 4202496 16883 0 0 0 1898 3 0 0 20 0 1 0 384532519 85880832 19495 33554432000 4194304 5208918 140736353474336 140736353472008 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2059/statm: 20967 19495 95 248 0 20716 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 197852
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 2061
/proc/meminfo: memFree=30719504/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=6.14 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 16435 38388 0 0 126 40 422 26 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2058] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2058/stat : 2058 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384532518 9367552 267 33554432000 4194304 5064252 140733669566720 140733669565632 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 2287 267 226 213 0 72 0
[pid=2059] ppid=2058 vsize=83868 CPUtime=44.61 cores=1,3,5,7
/proc/2059/stat : 2059 (glucose) R 2058 2033 643 0 -1 4202496 16884 0 0 0 4458 3 0 0 20 0 1 0 384532519 85880832 19496 33554432000 4194304 5208918 140736353474336 140736353472008 4211863 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2059/statm: 20967 19496 95 248 0 20716 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 197852
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 2068
/proc/meminfo: memFree=30719200/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=68.17 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 19547 62022 0 0 140 42 6591 44 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2067] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2067/stat : 2067 (satsolver.sh) S 2034 2033 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384538723 9367552 266 33554432000 4194304 5064252 140735857744880 140735857743792 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2067/statm: 2287 266 226 213 0 72 0
[pid=2068] ppid=2067 vsize=83868 CPUtime=33.76 cores=1,3,5,7
/proc/2068/stat : 2068 (glucose) R 2067 2033 643 0 -1 4202496 17648 0 0 0 3372 4 0 0 20 0 1 0 384538724 85880832 19287 33554432000 4194304 5208918 140736472553376 140736472551048 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2068/statm: 20967 19287 95 248 0 20716 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 197852
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 2075
/proc/meminfo: memFree=30718572/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=130.27 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 22659 86605 0 0 154 44 12765 64 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2074] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2074/stat : 2074 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384544933 9367552 267 33554432000 4194304 5064252 140734754267152 140734754266064 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2074/statm: 2287 267 226 213 0 72 0
[pid=2075] ppid=2074 vsize=83864 CPUtime=31.65 cores=1,3,5,7
/proc/2075/stat : 2075 (glucose) R 2074 2033 643 0 -1 4202496 18350 0 0 0 3162 3 0 0 20 0 1 0 384544934 85876736 18951 33554432000 4194304 5208918 140735380244944 140735380242616 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2075/statm: 20966 18951 95 248 0 20715 0
Current children cumulated CPU time (s) 161.92
Current children cumulated vsize (KiB) 197848
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 2090
/proc/meminfo: memFree=30717012/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 2274
/proc/meminfo: memFree=30718064/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1308.37 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 81787 563250 0 0 417 79 129925 416 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2266] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2266/stat : 2266 (satsolver.sh) S 2034 2033 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384662795 9367552 266 33554432000 4194304 5064252 140735189076896 140735189075808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2266/statm: 2287 266 226 213 0 72 0
[pid=2267] ppid=2266 vsize=83868 CPUtime=53.03 cores=1,3,5,7
/proc/2267/stat : 2267 (glucose) R 2266 2033 643 0 -1 4202496 17521 0 0 0 5299 4 0 0 20 0 1 0 384662796 85880832 19616 33554432000 4194304 5208918 140734851679568 140734851677240 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2267/statm: 20967 19616 95 248 0 20716 0
Current children cumulated CPU time (s) 1361.4
Current children cumulated vsize (KiB) 197852
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 2281
/proc/meminfo: memFree=30716508/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1370.48 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 84899 587709 0 0 431 80 136102 435 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2280] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2280/stat : 2280 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384669008 9367552 267 33554432000 4194304 5064252 140734723488304 140734723487216 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2280/statm: 2287 267 226 213 0 72 0
[pid=2281] ppid=2280 vsize=83868 CPUtime=50.91 cores=1,3,5,7
/proc/2281/stat : 2281 (glucose) R 2280 2033 643 0 -1 4202496 17378 0 0 0 5087 4 0 0 20 0 1 0 384669008 85880832 19541 33554432000 4194304 5208918 140733658565152 140733658562824 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2281/statm: 20967 19541 95 248 0 20716 0
Current children cumulated CPU time (s) 1421.39
Current children cumulated vsize (KiB) 197852
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 2289
/proc/meminfo: memFree=30715436/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1432.52 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 88011 612055 0 0 445 82 142270 455 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2287] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2287/stat : 2287 (satsolver.sh) S 2034 2033 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384675213 9367552 266 33554432000 4194304 5064252 140733659389088 140733659388000 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2287/statm: 2287 266 226 213 0 72 0
[pid=2288] ppid=2287 vsize=83864 CPUtime=48.85 cores=1,3,5,7
/proc/2288/stat : 2288 (glucose) R 2287 2033 643 0 -1 4202496 17429 0 0 0 4881 4 0 0 20 0 1 0 384675213 85876736 19599 33554432000 4194304 5208918 140734077172960 140734077170632 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2288/statm: 20966 19599 95 248 0 20715 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 197848
[startup+1542.31 s]
/proc/loadavg: 2.03 2.01 1.92 3/184 2306
/proc/meminfo: memFree=30716352/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1494.41 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 91123 636419 0 0 458 84 148425 474 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2295] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2295/stat : 2295 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384681405 9367552 267 33554432000 4194304 5064252 140733423043344 140733423042256 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2295/statm: 2287 267 226 213 0 72 0
[pid=2296] ppid=2295 vsize=83868 CPUtime=46.94 cores=1,3,5,7
/proc/2296/stat : 2296 (glucose) R 2295 2033 643 0 -1 4202496 17714 0 0 0 4691 3 0 0 20 0 1 0 384681405 85880832 19287 33554432000 4194304 5208918 140737214073872 140737214071544 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2296/statm: 20967 19287 95 248 0 20716 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 197852
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/184 2336
/proc/meminfo: memFree=30715480/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1556.5 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 94235 661214 0 0 472 86 154600 492 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2312] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2312/stat : 2312 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384687614 9367552 267 33554432000 4194304 5064252 140734137663200 140734137662112 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2312/statm: 2287 267 226 213 0 72 0
[pid=2313] ppid=2312 vsize=83868 CPUtime=44.84 cores=1,3,5,7
/proc/2313/stat : 2313 (glucose) R 2312 2033 643 0 -1 4202496 18796 0 0 0 4480 4 0 0 20 0 1 0 384687614 85880832 19405 33554432000 4194304 5208918 140735808617904 140735808615576 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2313/statm: 20967 19405 95 248 0 20716 0
Current children cumulated CPU time (s) 1601.34
Current children cumulated vsize (KiB) 197852
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 2343
/proc/meminfo: memFree=30713304/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1618.62 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 97347 686720 0 0 486 88 160775 513 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2342] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2342/stat : 2342 (satsolver.sh) S 2034 2033 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384693827 9367552 266 33554432000 4194304 5064252 140734650138256 140734650137168 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2342/statm: 2287 266 226 213 0 72 0
[pid=2343] ppid=2342 vsize=83872 CPUtime=42.7 cores=1,3,5,7
/proc/2343/stat : 2343 (glucose) R 2342 2033 643 0 -1 4202496 17575 0 0 0 4267 3 0 0 20 0 1 0 384693827 85884928 19664 33554432000 4194304 5208918 140735384356336 140735384354008 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2343/statm: 20968 19664 95 248 0 20717 0
Current children cumulated CPU time (s) 1661.32
Current children cumulated vsize (KiB) 197856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 2357
/proc/meminfo: memFree=30717468/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1680.52 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 100459 711159 0 0 500 90 166932 530 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2356] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2356/stat : 2356 (satsolver.sh) S 2034 2033 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384700019 9367552 267 33554432000 4194304 5064252 140735226236720 140735226235632 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2356/statm: 2287 267 226 213 0 72 0
[pid=2357] ppid=2356 vsize=83868 CPUtime=40.79 cores=1,3,5,7
/proc/2357/stat : 2357 (glucose) R 2356 2033 643 0 -1 4202496 16770 0 0 0 4076 3 0 0 20 0 1 0 384700020 85880832 19452 33554432000 4194304 5208918 140734440800336 140734440798008 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2357/statm: 20967 19452 95 248 0 20716 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 197852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 2365
/proc/meminfo: memFree=30716372/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1742.54 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 103571 735062 0 0 513 92 173100 549 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2364] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2364/stat : 2364 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384706224 9367552 267 33554432000 4194304 5064252 140736915720848 140736915719760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2364/statm: 2287 267 226 213 0 72 0
[pid=2365] ppid=2364 vsize=83864 CPUtime=38.74 cores=1,3,5,7
/proc/2365/stat : 2365 (glucose) R 2364 2033 643 0 -1 4202496 17715 0 0 0 3871 3 0 0 20 0 1 0 384706224 85876736 19314 33554432000 4194304 5208918 140735860793792 140735860791464 4211521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2365/statm: 20966 19314 95 248 0 20715 0
Current children cumulated CPU time (s) 1781.28
Current children cumulated vsize (KiB) 197848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 2405
/proc/meminfo: memFree=30784592/32873844 swapFree=9160/9160
[pid=2033] ppid=2031 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2033/stat : 2033 (npSolver-wbo-It) S 2031 2033 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384531871 9367552 274 33554432000 4194304 5064252 140734863674352 140734863673264 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2033/statm: 2287 274 233 213 0 72 0
[pid=2034] ppid=2033 vsize=95688 CPUtime=1742.54 cores=1,3,5,7
/proc/2034/stat : 2034 (npSolver-wbo) S 2033 2033 643 0 -1 4202496 103571 735062 0 0 513 92 173100 549 20 0 1 0 384531871 97984512 23369 33554432000 4194304 6006132 140735585129360 140735585120720 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 30 0 0
/proc/2034/statm: 23922 23369 177 443 0 23475 0
[pid=2364] ppid=2034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2364/stat : 2364 (satsolver.sh) S 2034 2033 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384706224 9367552 267 33554432000 4194304 5064252 140736915720848 140736915719760 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2364/statm: 2287 267 226 213 0 72 0
[pid=2365] ppid=2364 vsize=83864 CPUtime=57.54 cores=1,3,5,7
/proc/2365/stat : 2365 (glucose) R 2364 2033 643 0 -1 4202496 17718 0 0 0 5751 3 0 0 20 0 1 0 384706224 85876736 19318 33554432000 4194304 5208918 140735860793792 140735860791464 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2365/statm: 20966 19318 95 248 0 20715 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 197848
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.12
CPU time (s): 1800.13
CPU user time (s): 1793.66
CPU system time (s): 6.46802
CPU usage (%): 99.9453
Max. virtual memory (cumulated for all children) (KiB): 228116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.66
system time used= 6.46802
maximum resident set size= 128088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857341
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20548
involuntary context switches= 2442
runsolver used 2.72659 second user time and 7.31089 second system time
The end