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-3718527-1338269132/watcher-3718527-1338269132 -o /tmp/evaluation-result-3718527-1338269132/solver-3718527-1338269132 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718527-1338269132.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.98 1.24 0.52 3/176 12890
/proc/meminfo: memFree=28080916/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/12890/stat : 12890 (python) D 12888 12890 12751 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293038872 15642624 559 33554432000 4194304 5683644 140734881151616 140734881119560 229355897744 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 3819 559 324 364 0 261 0
[startup+0.0653349 s]
/proc/loadavg: 1.98 1.24 0.52 3/176 12890
/proc/meminfo: memFree=28080916/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16984 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) R 12888 12890 12751 0 -1 4202496 1294 0 0 0 1 0 0 0 20 0 1 0 293038872 17391616 1077 33554432000 4194304 5683644 140734881151616 140734881132792 229355897744 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4246 1077 426 364 0 688 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16984
[startup+0.100303 s]
/proc/loadavg: 1.98 1.24 0.52 3/176 12890
/proc/meminfo: memFree=28080916/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.30031 s]
/proc/loadavg: 1.98 1.24 0.52 3/176 12890
/proc/meminfo: memFree=28080916/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700335 s]
/proc/loadavg: 1.98 1.24 0.52 3/176 12890
/proc/meminfo: memFree=28080916/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50049 s]
/proc/loadavg: 1.98 1.24 0.52 3/181 12895
/proc/meminfo: memFree=28045184/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=53068 CPUtime=1.4 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 116193 0 0 0 93 47 0 0 20 0 1 0 293038881 54341632 8309 33554432000 4194304 4943705 140734811283072 140734811280208 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12895/statm: 13267 8309 329 183 0 9637 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 105096
[startup+3.10048 s]
/proc/loadavg: 1.98 1.24 0.52 3/181 12895
/proc/meminfo: memFree=28041588/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=70092 CPUtime=2.99 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 174448 0 0 0 201 98 0 0 20 0 1 0 293038881 71774208 8037 33554432000 4194304 4943705 140734811283072 140734811280208 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12895/statm: 17523 8037 329 183 0 13893 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 122120
[startup+6.30051 s]
/proc/loadavg: 1.98 1.25 0.52 3/181 12895
/proc/meminfo: memFree=28014216/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=93516 CPUtime=6.2 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 256057 0 0 0 416 204 0 0 20 0 1 0 293038881 95760384 13093 33554432000 4194304 4943705 140734811283072 140734811280208 4270708 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12895/statm: 23379 13093 329 183 0 19749 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 145544
[startup+12.7005 s]
/proc/loadavg: 1.98 1.26 0.53 3/180 12895
/proc/meminfo: memFree=27992644/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=126284 CPUtime=12.59 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 371521 0 0 0 846 413 0 0 20 0 1 0 293038881 129314816 23092 33554432000 4194304 4943705 140734811283072 140734811280208 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12895/statm: 31571 23092 329 183 0 27941 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 178312
[startup+25.5005 s]
/proc/loadavg: 1.99 1.30 0.56 3/181 12896
/proc/meminfo: memFree=27967488/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=172492 CPUtime=25.4 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 537524 0 0 0 1711 829 0 0 20 0 1 0 293038881 176631808 27493 33554432000 4194304 4943705 140734811283072 140734811280208 4270802 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12895/statm: 43123 27493 329 183 0 39493 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 224520
[startup+51.1004 s]
/proc/loadavg: 2.05 1.37 0.60 3/181 12896
/proc/meminfo: memFree=26449608/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=3575212 CPUtime=50.97 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 996565 0 0 0 3794 1303 0 0 20 0 1 0 293038881 3661017088 402539 33554432000 4194304 4943705 140734811283072 140734811281984 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 2 0 0
/proc/12895/statm: 893803 402539 357 183 0 890173 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 3627240
[startup+102.307 s]
/proc/loadavg: 2.02 1.47 0.67 3/181 12896
/proc/meminfo: memFree=25072084/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 6680040
[startup+162.3 s]
/proc/loadavg: 2.01 1.56 0.75 3/181 12896
/proc/meminfo: memFree=24075132/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=8834220 CPUtime=162.07 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 1571769 0 0 0 14540 1667 0 0 20 0 1 0 293038881 9046241280 984367 33554432000 4194304 4943705 140734811283072 140734811281344 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 8 0 0
/proc/12895/statm: 2208555 984367 357 183 0 2204925 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 8886248
[startup+222.3 s]
/proc/loadavg: 2.00 1.64 0.82 3/181 12896
/proc/meminfo: memFree=23235368/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=10592940 CPUtime=222.02 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 1764131 0 0 0 20412 1790 0 0 20 0 1 0 293038881 10847170560 1190551 33554432000 4194304 4943705 140734811283072 140734811281984 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 10 0 0
/proc/12895/statm: 2648235 1190551 357 183 0 2644605 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 10644968
[startup+282.3 s]
/proc/loadavg: 2.06 1.72 0.90 3/182 12899
/proc/meminfo: memFree=22516248/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=12106668 CPUtime=281.97 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 1929697 0 0 0 26299 1898 0 0 20 0 1 0 293038881 12397228032 1369939 33554432000 4194304 4943705 140734811283072 140734811281984 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 13 0 0
/proc/12895/statm: 3026667 1369939 357 183 0 3023037 0
Current children cumulated CPU time (s) 281.99
Current children cumulated vsize (KiB) 12158696
[startup+342.3 s]
/proc/loadavg: 2.02 1.77 0.97 3/181 12900
/proc/meminfo: memFree=21841048/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=13456556 CPUtime=341.94 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 2077344 0 0 0 32199 1995 0 0 20 0 1 0 293038881 13779513344 1531407 33554432000 4194304 4943705 140734811283072 140734811281984 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 15 0 0
/proc/12895/statm: 3364139 1531407 357 183 0 3360509 0
Current children cumulated CPU time (s) 341.96
Current children cumulated vsize (KiB) 13508584
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.03 3/181 12900
/proc/meminfo: memFree=21251088/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=14691244 CPUtime=401.89 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 2212389 0 0 0 38112 2077 0 0 20 0 1 0 293038881 15043833856 1680275 33554432000 4194304 4943705 140734811283072 140734811281984 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 18 0 0
/proc/12895/statm: 3672811 1680275 357 183 0 3669181 0
Current children cumulated CPU time (s) 401.91
Current children cumulated vsize (KiB) 14743272
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+461.7 s]
/proc/loadavg: 2.00 1.84 1.09 3/181 12900
/proc/meminfo: memFree=20661224/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=15821740 CPUtime=461.27 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 2336040 0 0 0 43969 2158 0 0 20 0 1 0 293038881 16201461760 1817747 33554432000 4194304 4943705 140734811283072 140734811281984 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 21 0 0
/proc/12895/statm: 3955435 1817747 357 183 0 3951805 0
Current children cumulated CPU time (s) 461.29
Current children cumulated vsize (KiB) 15873768
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+461.7 s]
/proc/loadavg: 2.00 1.84 1.09 3/181 12900
/proc/meminfo: memFree=20661224/32873852 swapFree=6848/6848
[pid=12890] ppid=12888 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/12890/stat : 12890 (python) S 12888 12890 12751 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293038872 17399808 1081 33554432000 4194304 5683644 140734881151616 140734881149464 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12890/statm: 4248 1081 429 364 0 690 0
[pid=12892] ppid=12890 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12892/stat : 12892 (sh) S 12890 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038878 9367552 267 33554432000 4194304 5064252 140733913708592 140733913707296 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12892/statm: 2287 267 226 213 0 72 0
[pid=12893] ppid=12892 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12893/stat : 12893 (python) S 12892 12890 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293038878 17141760 1059 33554432000 4194304 5683644 140735617466464 140735617464312 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12893/statm: 4185 1059 429 364 0 627 0
[pid=12894] ppid=12893 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12894/stat : 12894 (sh) S 12893 12890 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038881 9367552 268 33554432000 4194304 5064252 140733435087360 140733435086064 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12894/statm: 2287 268 226 213 0 72 0
[pid=12895] ppid=12894 vsize=15821740 CPUtime=461.27 cores=1,3,5,7
/proc/12895/stat : 12895 (PBPASSolver-817) R 12894 12890 12751 0 -1 4202496 2336040 0 0 0 43969 2158 0 0 20 0 1 0 293038881 16201461760 1817747 33554432000 4194304 4943705 140734811283072 140734811281984 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 21 0 0
/proc/12895/statm: 3955435 1817747 357 183 0 3951805 0
Current children cumulated CPU time (s) 461.29
Current children cumulated vsize (KiB) 15873768
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12890 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=32994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.048991
# while last known CPU time is 461.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 461.72
CPU time (s): 461.29
CPU user time (s): 439.71
CPU system time (s): 21.58
CPU usage (%): 99.907
Max. virtual memory (cumulated for all children) (KiB): 15873768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.032994
system time used= 0.015997
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491
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= 171
involuntary context switches= 3
runsolver used 0.840872 second user time and 2.23266 second system time
The end