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-3718525-1338269286/watcher-3718525-1338269286 -o /tmp/evaluation-result-3718525-1338269286/solver-3718525-1338269286 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718525-1338269286.opb PrimePower CARD.DP ./CryptoMiniSat
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: 1.99 1.52 0.73 3/180 16601
/proc/meminfo: memFree=30996396/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/16601/stat : 16601 (python) D 16599 16601 16417 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293053590 15642624 526 33554432000 4194304 5683644 140735146452192 140735146433864 215124624272 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 3819 526 311 364 0 261 0
[startup+0.0166719 s]
/proc/loadavg: 1.99 1.52 0.73 3/180 16601
/proc/meminfo: memFree=30996396/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/16601/stat : 16601 (python) D 16599 16601 16417 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 293053590 15749120 636 33554432000 4194304 5683644 140735146452192 140735146392680 215124624272 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 3845 636 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.100271 s]
/proc/loadavg: 1.99 1.52 0.73 3/180 16601
/proc/meminfo: memFree=30996396/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.300259 s]
/proc/loadavg: 1.99 1.52 0.73 3/180 16601
/proc/meminfo: memFree=30996396/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+0.700256 s]
/proc/loadavg: 1.99 1.52 0.73 3/180 16601
/proc/meminfo: memFree=30996396/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17000
[startup+1.50045 s]
/proc/loadavg: 2.07 1.55 0.74 3/185 16606
/proc/meminfo: memFree=30973660/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=50892 CPUtime=1.38 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 115261 0 0 0 97 41 0 0 20 0 1 0 293053600 52113408 7571 33554432000 4194304 4943705 140733267849680 140733267846816 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/16606/statm: 12723 7571 329 183 0 9093 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 102924
[startup+3.10046 s]
/proc/loadavg: 2.07 1.55 0.74 3/185 16606
/proc/meminfo: memFree=30970164/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=68300 CPUtime=2.99 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 178755 0 0 0 205 94 0 0 20 0 1 0 293053600 69939200 8515 33554432000 4194304 4943705 140733267849680 140733267846816 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/16606/statm: 17075 8515 329 183 0 13445 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 120332
[startup+6.30049 s]
/proc/loadavg: 2.07 1.56 0.75 3/185 16606
/proc/meminfo: memFree=30949436/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=91724 CPUtime=6.19 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 264634 0 0 0 420 199 0 0 20 0 1 0 293053600 93925376 16931 33554432000 4194304 4943705 140733267849680 140733267847152 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/16606/statm: 22931 16931 329 183 0 19301 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 143756
[startup+12.7005 s]
/proc/loadavg: 2.06 1.56 0.76 3/185 16606
/proc/meminfo: memFree=30923704/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=124492 CPUtime=12.58 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 386509 0 0 0 849 409 0 0 20 0 1 0 293053600 127479808 22211 33554432000 4194304 4943705 140733267849680 140733267846816 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/16606/statm: 31123 22211 329 183 0 27493 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 176524
[startup+25.5005 s]
/proc/loadavg: 2.05 1.58 0.78 3/185 16606
/proc/meminfo: memFree=30876472/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=169676 CPUtime=25.38 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 559015 0 0 0 1722 816 0 0 20 0 1 0 293053600 173748224 34371 33554432000 4194304 4943705 140733267849680 140733267846816 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/16606/statm: 42419 34371 329 183 0 38789 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 221708
[startup+51.1004 s]
/proc/loadavg: 2.17 1.65 0.82 3/185 16606
/proc/meminfo: memFree=29401524/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=3580076 CPUtime=50.84 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 1033361 0 0 0 3766 1318 0 0 20 0 1 0 293053600 3665997824 403054 33554432000 4194304 4943705 140733267849680 140733267848592 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/16606/statm: 895019 403056 357 183 0 891389 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 3632108
[startup+102.307 s]
/proc/loadavg: 2.07 1.70 0.88 3/185 16606
/proc/meminfo: memFree=28010988/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 6680300
[startup+162.3 s]
/proc/loadavg: 2.02 1.75 0.94 3/186 16609
/proc/meminfo: memFree=27049292/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=8823468 CPUtime=161.1 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 1606871 0 0 0 14440 1670 0 0 20 0 1 0 293053600 9035231232 976564 33554432000 4194304 4943705 140733267849680 140733267848592 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 105 0 0
/proc/16606/statm: 2205867 976564 357 183 0 2202237 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 8875500
[startup+222.3 s]
/proc/loadavg: 2.01 1.79 1.01 3/185 16609
/proc/meminfo: memFree=26229500/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=10572972 CPUtime=220.67 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 1798223 0 0 0 20280 1787 0 0 20 0 1 0 293053600 10826723328 1177420 33554432000 4194304 4943705 140733267849680 140733267848592 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 145 0 0
/proc/16606/statm: 2643243 1177420 357 183 0 2639613 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 10625004
[startup+282.3 s]
/proc/loadavg: 2.00 1.83 1.07 3/185 16610
/proc/meminfo: memFree=25510768/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=12062636 CPUtime=280.18 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 1961156 0 0 0 26128 1890 0 0 20 0 1 0 293053600 12352139264 1354176 33554432000 4194304 4943705 140733267849680 140733267847920 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 191 0 0
/proc/16606/statm: 3015659 1354176 357 183 0 3012029 0
Current children cumulated CPU time (s) 280.21
Current children cumulated vsize (KiB) 12114668
[startup+342.3 s]
/proc/loadavg: 2.00 1.86 1.12 3/185 16610
/proc/meminfo: memFree=24861908/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=13407916 CPUtime=339.7 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 2108299 0 0 0 31992 1978 0 0 20 0 1 0 293053600 13729705984 1515140 33554432000 4194304 4943705 140733267849680 140733267848592 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 236 0 0
/proc/16606/statm: 3351979 1515140 357 183 0 3348349 0
Current children cumulated CPU time (s) 339.73
Current children cumulated vsize (KiB) 13459948
[startup+402.3 s]
/proc/loadavg: 2.00 1.88 1.17 3/185 16610
/proc/meminfo: memFree=24274248/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=14635436 CPUtime=399.23 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 2242559 0 0 0 37865 2058 0 0 20 0 1 0 293053600 14986686464 1663224 33554432000 4194304 4943705 140733267849680 140733267848592 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 279 0 0
/proc/16606/statm: 3658859 1663224 357 183 0 3655229 0
Current children cumulated CPU time (s) 399.26
Current children cumulated vsize (KiB) 14687468
[startup+462.3 s]
/proc/loadavg: 2.00 1.90 1.22 3/185 16610
/proc/meminfo: memFree=23722548/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=15772588 CPUtime=458.82 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 2366914 0 0 0 43754 2128 0 0 20 0 1 0 293053600 16151130112 1801401 33554432000 4194304 4943705 140733267849680 140733267848592 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 317 0 0
/proc/16606/statm: 3943147 1801403 357 183 0 3939517 0
Current children cumulated CPU time (s) 458.85
Current children cumulated vsize (KiB) 15824620
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+465 s]
/proc/loadavg: 2.00 1.90 1.22 3/185 16610
/proc/meminfo: memFree=23686632/32873844 swapFree=7620/7620
[pid=16601] ppid=16599 vsize=17000 CPUtime=0.02 cores=1,3,5,7
/proc/16601/stat : 16601 (python) S 16599 16601 16417 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293053590 17408000 1082 33554432000 4194304 5683644 140735146452192 140735146450040 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16601/statm: 4250 1082 429 364 0 692 0
[pid=16603] ppid=16601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16603/stat : 16603 (sh) S 16601 16601 16417 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293053597 9367552 267 33554432000 4194304 5064252 140736098002464 140736098001168 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16603/statm: 2287 267 226 213 0 72 0
[pid=16604] ppid=16603 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/16604/stat : 16604 (python) S 16603 16601 16417 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293053597 17137664 1058 33554432000 4194304 5683644 140733368569840 140733368567688 215124624768 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16604/statm: 4184 1058 429 364 0 626 0
[pid=16605] ppid=16604 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (sh) S 16604 16601 16417 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293053600 9367552 268 33554432000 4194304 5064252 140734622292128 140734622290832 215124436558 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16605/statm: 2287 268 226 213 0 72 0
[pid=16606] ppid=16605 vsize=15821484 CPUtime=461.5 cores=1,3,5,7
/proc/16606/stat : 16606 (PBPASSolver-817) R 16605 16601 16417 0 -1 4202496 2372285 0 0 0 44019 2131 0 0 20 0 1 0 293053600 16201199616 1806772 33554432000 4194304 4943705 140733267849680 140733267848592 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 320 0 0
/proc/16606/statm: 3955371 1806772 357 183 0 3951741 0
Current children cumulated CPU time (s) 461.53
Current children cumulated vsize (KiB) 15873516
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 16601 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=30995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=18997
# CPU time returned by wait4() is 0.049992
# while last known CPU time is 461.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 465.02
CPU time (s): 461.53
CPU user time (s): 440.21
CPU system time (s): 21.32
CPU usage (%): 99.2496
Max. virtual memory (cumulated for all children) (KiB): 15873516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.018997
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 5
runsolver used 0.734888 second user time and 2.23666 second system time
The end