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-3719067-1338272824/watcher-3719067-1338272824 -o /tmp/evaluation-result-3719067-1338272824/solver-3719067-1338272824 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719067-1338272824.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.00 1.91 3/178 8715
/proc/meminfo: memFree=27361696/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/8715/stat : 8715 (python) R 8713 8715 8298 0 -1 4202496 652 0 0 0 0 0 0 0 20 0 1 0 293408117 15675392 545 33554432000 4194304 5683644 140735269701392 140735269687304 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 3827 549 316 364 0 269 0
[startup+0.050073 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 8715
/proc/meminfo: memFree=27361696/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16468 CPUtime=0 cores=1,3,5,7
/proc/8715/stat : 8715 (python) R 8713 8715 8298 0 -1 4202496 1125 0 0 0 0 0 0 0 20 0 1 0 293408117 16863232 944 33554432000 4194304 5683644 140735269701392 140735269684024 272886482304 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4117 944 392 364 0 559 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16468
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 8715
/proc/meminfo: memFree=27361696/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300315 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 8715
/proc/meminfo: memFree=27361696/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700304 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 8715
/proc/meminfo: memFree=27361696/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50048 s]
/proc/loadavg: 2.08 2.02 1.92 3/183 8720
/proc/meminfo: memFree=27137100/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=722508 CPUtime=1.27 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 78058 0 0 0 81 46 0 0 20 0 1 0 293408127 739848192 78001 33554432000 4194304 4943705 140735429864752 140735429863664 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/8720/statm: 180691 78004 357 183 0 177061 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 774540
[startup+3.10047 s]
/proc/loadavg: 2.08 2.02 1.92 3/183 8720
/proc/meminfo: memFree=26953944/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1209420 CPUtime=2.87 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 131309 0 0 0 208 79 0 0 20 0 1 0 293408127 1238446080 131252 33554432000 4194304 4943705 140735429864752 140735429863664 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/8720/statm: 302355 131252 357 183 0 298725 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 1261452
[startup+6.30037 s]
/proc/loadavg: 2.08 2.02 1.92 3/183 8720
/proc/meminfo: memFree=26627568/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1475884 CPUtime=6.06 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 160918 0 0 0 350 256 0 0 20 0 1 0 293408127 1511305216 160621 33554432000 4194304 4943705 140735429864752 140735429860048 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/8720/statm: 368971 160621 365 183 0 365341 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 1527916
[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 1.93 3/183 8720
/proc/meminfo: memFree=26602524/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1496460 CPUtime=12.45 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 165130 0 0 0 502 743 0 0 20 0 1 0 293408127 1532375040 163569 33554432000 4194304 4943705 140735429864752 140735429861104 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 14 0 0
/proc/8720/statm: 374115 163569 365 183 0 370485 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 1548492
[startup+25.5004 s]
/proc/loadavg: 2.28 2.06 1.94 3/184 8721
/proc/meminfo: memFree=26600576/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1541132 CPUtime=25.21 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 180370 0 0 0 812 1709 0 0 20 0 1 0 293408127 1578119168 171097 33554432000 4194304 4943705 140735429864752 140735429862160 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 18 0 0
/proc/8720/statm: 385283 171097 365 183 0 381653 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 1593164
[startup+51.1004 s]
/proc/loadavg: 2.46 2.12 1.96 3/183 8721
/proc/meminfo: memFree=26497344/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1619980 CPUtime=50.65 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 197245 0 0 0 1418 3647 0 0 20 0 1 0 293408127 1658859520 183428 33554432000 4194304 4943705 140735429864752 140735429862160 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/8720/statm: 404995 183428 365 183 0 401365 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 1672012
Solver just ended. Dumping a history of the last processes samples
[startup+52.7004 s]
/proc/loadavg: 2.50 2.14 1.96 3/183 8721
/proc/meminfo: memFree=26472284/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1624332 CPUtime=52.26 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 197727 0 0 0 1458 3768 0 0 20 0 1 0 293408127 1663315968 183910 33554432000 4194304 4943705 140735429864752 140735429862160 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/8720/statm: 406083 183910 365 183 0 402453 0
Current children cumulated CPU time (s) 52.28
Current children cumulated vsize (KiB) 1676364
[startup+54.3004 s]
/proc/loadavg: 2.50 2.14 1.96 3/183 8721
/proc/meminfo: memFree=26466572/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1628428 CPUtime=53.85 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 198202 0 0 0 1495 3890 0 0 20 0 1 0 293408127 1667510272 184385 33554432000 4194304 4943705 140735429864752 140735429862160 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/8720/statm: 407107 184385 365 183 0 403477 0
Current children cumulated CPU time (s) 53.87
Current children cumulated vsize (KiB) 1680460
[startup+54.7004 s]
/proc/loadavg: 2.50 2.14 1.96 3/183 8721
/proc/meminfo: memFree=26466572/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269699240 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8717] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8717/stat : 8717 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293408125 9367552 266 33554432000 4194304 5064252 140735600757648 140735600756352 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8717/statm: 2287 266 226 213 0 72 0
[pid=8718] ppid=8717 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/8718/stat : 8718 (python) S 8717 8715 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293408125 17141760 1059 33554432000 4194304 5683644 140733373473744 140733373471592 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8718/statm: 4185 1059 429 364 0 627 0
[pid=8719] ppid=8718 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8719/stat : 8719 (sh) S 8718 8715 8298 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293408127 9367552 268 33554432000 4194304 5064252 140734545516960 140734545515664 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8719/statm: 2287 268 226 213 0 72 0
[pid=8720] ppid=8719 vsize=1629452 CPUtime=54.26 cores=1,3,5,7
/proc/8720/stat : 8720 (PBPASSolver-817) R 8719 8715 8298 0 -1 4202496 198359 0 0 0 1505 3921 0 0 20 0 1 0 293408127 1668558848 184542 33554432000 4194304 4943705 140735429864752 140735429862128 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/8720/statm: 407363 184542 365 183 0 403733 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 1681484
[startup+54.9003 s]
/proc/loadavg: 2.50 2.14 1.96 3/181 8723
/proc/meminfo: memFree=27200528/32873844 swapFree=7112/7112
[pid=8715] ppid=8713 vsize=16996 CPUtime=54.48 cores=1,3,5,7
/proc/8715/stat : 8715 (python) S 8713 8715 8298 0 -1 4202496 1405 200887 0 0 1 0 1510 3937 20 0 1 0 293408117 17403904 1082 33554432000 4194304 5683644 140735269701392 140735269698936 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/8715/statm: 4249 1082 429 364 0 691 0
[pid=8722] ppid=8715 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8722/stat : 8722 (sh) S 8715 8715 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293413606 9367552 267 33554432000 4194304 5064252 140734369108688 140734369107392 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8722/statm: 2287 267 226 213 0 72 0
[pid=8723] ppid=8722 vsize=34544 CPUtime=0.01 cores=1,3,5,7
/proc/8723/stat : 8723 (CryptoMiniSat) R 8722 8715 8298 0 -1 4202496 2009 0 0 0 1 0 0 0 20 0 1 0 293413607 35373056 2155 33554432000 4194304 4734972 140734368937664 140734368934664 4264435 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/8723/statm: 8636 2156 341 132 0 3536 0
Current children cumulated CPU time (s) 54.49
Current children cumulated vsize (KiB) 60688
Child status: 0
Real time (s): 54.9224
CPU time (s): 54.5297
CPU user time (s): 15.1407
CPU system time (s): 39.389
CPU usage (%): 99.285
Max. virtual memory (cumulated for all children) (KiB): 1681484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1407
system time used= 39.389
maximum resident set size= 738168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 239
involuntary context switches= 66
runsolver used 0.088986 second user time and 0.25896 second system time
The end