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-3719108-1338273159/watcher-3719108-1338273159 -o /tmp/evaluation-result-3719108-1338273159/solver-3719108-1338273159 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719108-1338273159.opb PrimePower CARD.SN ./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: 2.00 2.01 1.93 3/180 6929
/proc/meminfo: memFree=28484188/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/6929/stat : 6929 (python) D 6927 6929 6467 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 293440907 15749120 629 33554432000 4194304 5683644 140733958836784 140733958777272 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 3845 629 333 364 0 287 0
[startup+0.0752849 s]
/proc/loadavg: 2.00 2.01 1.93 3/180 6929
/proc/meminfo: memFree=28484188/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100348 s]
/proc/loadavg: 2.00 2.01 1.93 3/180 6929
/proc/meminfo: memFree=28484188/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300294 s]
/proc/loadavg: 2.00 2.01 1.93 3/180 6929
/proc/meminfo: memFree=28484188/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700309 s]
/proc/loadavg: 2.00 2.01 1.93 3/180 6929
/proc/meminfo: memFree=28484188/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50047 s]
/proc/loadavg: 2.00 2.01 1.93 3/185 6934
/proc/meminfo: memFree=28429188/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=53452 CPUtime=1.43 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 129870 0 0 0 98 45 0 0 20 0 1 0 293440913 54734848 6773 33554432000 4194304 4943705 140736754988704 140736754985840 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/6934/statm: 13363 7285 329 183 0 9733 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 105484
[startup+3.10048 s]
/proc/loadavg: 2.00 2.01 1.93 3/185 6934
/proc/meminfo: memFree=28383668/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=70220 CPUtime=3.03 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 194290 0 0 0 208 95 0 0 20 0 1 0 293440913 71905280 14053 33554432000 4194304 4943705 140736754988704 140736754985840 4270708 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/6934/statm: 17555 14053 329 183 0 13925 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 122252
[startup+6.30048 s]
/proc/loadavg: 2.00 2.01 1.93 3/185 6934
/proc/meminfo: memFree=28271056/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=93644 CPUtime=6.23 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 284225 0 0 0 424 199 0 0 20 0 1 0 293440913 95891456 19397 33554432000 4194304 4943705 140736754988704 140736754985840 4270807 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/6934/statm: 23411 19397 329 183 0 19781 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 145676
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 6934
/proc/meminfo: memFree=28055316/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=245388 CPUtime=12.62 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 390775 0 0 0 751 511 0 0 20 0 1 0 293440913 251277312 32855 33554432000 4194304 4943705 140736754988704 140736754985344 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/6934/statm: 61347 32855 365 183 0 57717 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 297420
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 6934
/proc/meminfo: memFree=27285120/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=1199500 CPUtime=25.24 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 495193 0 0 0 1117 1407 0 0 20 0 1 0 293440913 1228288000 137273 33554432000 4194304 4943705 140736754988704 140736754987616 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 17 0 0
/proc/6934/statm: 299875 137273 365 183 0 296245 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 1251532
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 6934
/proc/meminfo: memFree=26000944/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=2810668 CPUtime=50.6 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 671478 0 0 0 2172 2888 0 0 20 0 1 0 293440913 2878124032 313558 33554432000 4194304 4943705 140736754988704 140736754986112 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 36 0 0
/proc/6934/statm: 702667 313558 365 183 0 699037 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 2862700
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 6934
/proc/meminfo: memFree=23742700/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 5444300
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/186 6936
/proc/meminfo: memFree=21518284/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=7796812 CPUtime=160.43 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 1217130 0 0 0 8726 7317 0 0 20 0 1 0 293440913 7983935488 859210 33554432000 4194304 4943705 140736754988704 140736754987616 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 150 0 0
/proc/6934/statm: 1949203 859210 365 183 0 1945573 0
Current children cumulated CPU time (s) 160.45
Current children cumulated vsize (KiB) 7848844
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 6936
/proc/meminfo: memFree=19533452/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=9846572 CPUtime=219.48 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 1441422 0 0 0 12882 9066 0 0 20 0 1 0 293440913 10082889728 1083502 33554432000 4194304 4943705 140736754988704 140736754986112 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 230 0 0
/proc/6934/statm: 2461643 1083502 365 183 0 2458013 0
Current children cumulated CPU time (s) 219.5
Current children cumulated vsize (KiB) 9898604
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 6936
/proc/meminfo: memFree=17780704/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=11653804 CPUtime=278.17 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 1639178 0 0 0 17204 10613 0 0 20 0 1 0 293440913 11933495296 1281258 33554432000 4194304 4943705 140736754988704 140736754985344 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 331 0 0
/proc/6934/statm: 2913451 1281258 365 183 0 2909821 0
Current children cumulated CPU time (s) 278.19
Current children cumulated vsize (KiB) 11705836
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/183 6981
/proc/meminfo: memFree=23946856/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=13334860 CPUtime=336.94 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 1823104 0 0 0 21668 12026 0 0 20 0 1 0 293440913 13654896640 1472086 33554432000 4194304 4943705 140736754988704 140736754987616 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 449 0 0
/proc/6934/statm: 3333715 1472086 365 183 0 3330085 0
Current children cumulated CPU time (s) 336.96
Current children cumulated vsize (KiB) 13386892
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 6981
/proc/meminfo: memFree=23132308/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=14927820 CPUtime=396.72 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 1997441 0 0 0 26490 13182 0 0 20 0 1 0 293440913 15286087680 1660247 33554432000 4194304 4943705 140736754988704 140736754987648 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 469 0 0
/proc/6934/statm: 3731955 1660247 365 183 0 3728325 0
Current children cumulated CPU time (s) 396.74
Current children cumulated vsize (KiB) 14979852
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+438.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 6981
/proc/meminfo: memFree=22662344/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=15821676 CPUtime=432.58 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 2095216 0 0 0 29428 13830 0 0 20 0 1 0 293440913 16201396224 1767238 33554432000 4194304 4943705 140736754988704 140736754985664 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 484 0 0
/proc/6934/statm: 3955419 1767242 365 183 0 3951789 0
Current children cumulated CPU time (s) 432.6
Current children cumulated vsize (KiB) 15873708
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+438.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 6981
/proc/meminfo: memFree=22662344/32873844 swapFree=7116/7116
[pid=6929] ppid=6927 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6929/stat : 6929 (python) S 6927 6929 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293440907 17403904 1082 33554432000 4194304 5683644 140733958836784 140733958834632 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6929/statm: 4249 1082 429 364 0 691 0
[pid=6931] ppid=6929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6931/stat : 6931 (sh) S 6929 6929 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293440910 9367552 267 33554432000 4194304 5064252 140737471777424 140737471776128 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6931/statm: 2287 267 226 213 0 72 0
[pid=6932] ppid=6931 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/6932/stat : 6932 (python) S 6931 6929 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293440910 17141760 1059 33554432000 4194304 5683644 140734208950448 140734208948296 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6932/statm: 4185 1059 429 364 0 627 0
[pid=6933] ppid=6932 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6933/stat : 6933 (sh) S 6932 6929 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293440913 9367552 267 33554432000 4194304 5064252 140737274183376 140737274182080 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6933/statm: 2287 267 226 213 0 72 0
[pid=6934] ppid=6933 vsize=15821676 CPUtime=432.58 cores=1,3,5,7
/proc/6934/stat : 6934 (PBPASSolver-817) R 6933 6929 6467 0 -1 4202496 2095216 0 0 0 29428 13830 0 0 20 0 1 0 293440913 16201396224 1767238 33554432000 4194304 4943705 140736754988704 140736754985664 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 484 0 0
/proc/6934/statm: 3955419 1767242 365 183 0 3951789 0
Current children cumulated CPU time (s) 432.6
Current children cumulated vsize (KiB) 15873708
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6929 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=29995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.045992
# while last known CPU time is 432.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 438.319
CPU time (s): 432.6
CPU user time (s): 294.3
CPU system time (s): 138.3
CPU usage (%): 98.6951
Max. virtual memory (cumulated for all children) (KiB): 15873708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.015997
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= 116
involuntary context switches= 4
runsolver used 0.798878 second user time and 2.07968 second system time
The end