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-3719047-1338271484/watcher-3719047-1338271484 -o /tmp/evaluation-result-3719047-1338271484/solver-3719047-1338271484 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719047-1338271484.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.86 3/178 26923
/proc/meminfo: memFree=29929980/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=15412 CPUtime=0 cores=1,3,5,7
/proc/26923/stat : 26923 (python) R 26921 26923 26431 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 293272885 15781888 630 33554432000 4194304 5683644 140735536195552 140735536140280 225444708100 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 3853 631 333 364 0 295 0
[startup+0.017049 s]
/proc/loadavg: 2.00 2.01 1.86 3/178 26923
/proc/meminfo: memFree=29929980/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=16440 CPUtime=0 cores=1,3,5,7
/proc/26923/stat : 26923 (python) R 26921 26923 26431 0 -1 4202496 1107 0 0 0 0 0 0 0 20 0 1 0 293272885 16834560 927 33554432000 4194304 5683644 140735536195552 140735536177704 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4110 927 391 364 0 552 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16440
[startup+0.100272 s]
/proc/loadavg: 2.00 2.01 1.86 3/178 26923
/proc/meminfo: memFree=29929980/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300308 s]
/proc/loadavg: 2.00 2.01 1.86 3/178 26923
/proc/meminfo: memFree=29929980/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700307 s]
/proc/loadavg: 2.00 2.01 1.86 3/178 26923
/proc/meminfo: memFree=29929980/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50047 s]
/proc/loadavg: 2.00 2.01 1.86 3/183 26928
/proc/meminfo: memFree=29666872/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26925] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26925/stat : 26925 (sh) S 26923 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272887 9367552 267 33554432000 4194304 5064252 140733971789728 140733971788432 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26925/statm: 2287 267 226 213 0 72 0
[pid=26926] ppid=26925 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26926/stat : 26926 (python) S 26925 26923 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293272888 17141760 1059 33554432000 4194304 5683644 140734263938416 140734263936264 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26926/statm: 4185 1059 429 364 0 627 0
[pid=26927] ppid=26926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26927/stat : 26927 (sh) S 26926 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272890 9367552 268 33554432000 4194304 5064252 140734774581952 140734774580656 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26927/statm: 2287 268 226 213 0 72 0
[pid=26928] ppid=26927 vsize=792140 CPUtime=1.44 cores=1,3,5,7
/proc/26928/stat : 26928 (PBPASSolver-817) R 26927 26923 26431 0 -1 4202496 85636 0 0 0 92 52 0 0 20 0 1 0 293272890 811151360 85579 33554432000 4194304 4943705 140734773977328 140734773976240 4361008 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/26928/statm: 198035 85579 357 183 0 194405 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 844176
[startup+3.10037 s]
/proc/loadavg: 2.00 2.01 1.86 3/183 26928
/proc/meminfo: memFree=29562340/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26925] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26925/stat : 26925 (sh) S 26923 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272887 9367552 267 33554432000 4194304 5064252 140733971789728 140733971788432 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26925/statm: 2287 267 226 213 0 72 0
[pid=26926] ppid=26925 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26926/stat : 26926 (python) S 26925 26923 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293272888 17141760 1059 33554432000 4194304 5683644 140734263938416 140734263936264 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26926/statm: 4185 1059 429 364 0 627 0
[pid=26927] ppid=26926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26927/stat : 26927 (sh) S 26926 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272890 9367552 268 33554432000 4194304 5064252 140734774581952 140734774580656 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26927/statm: 2287 268 226 213 0 72 0
[pid=26928] ppid=26927 vsize=831692 CPUtime=3.04 cores=1,3,5,7
/proc/26928/stat : 26928 (PBPASSolver-817) R 26927 26923 26431 0 -1 4202496 90273 0 0 0 138 166 0 0 20 0 1 0 293272890 851652608 90040 33554432000 4194304 4943705 140734773977328 140734773972272 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/26928/statm: 207923 90040 365 183 0 204293 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 883728
[startup+6.30037 s]
/proc/loadavg: 2.00 2.01 1.86 3/183 26928
/proc/meminfo: memFree=29550444/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26925] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26925/stat : 26925 (sh) S 26923 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272887 9367552 267 33554432000 4194304 5064252 140733971789728 140733971788432 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26925/statm: 2287 267 226 213 0 72 0
[pid=26926] ppid=26925 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26926/stat : 26926 (python) S 26925 26923 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293272888 17141760 1059 33554432000 4194304 5683644 140734263938416 140734263936264 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26926/statm: 4185 1059 429 364 0 627 0
[pid=26927] ppid=26926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26927/stat : 26927 (sh) S 26926 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272890 9367552 268 33554432000 4194304 5064252 140734774581952 140734774580656 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26927/statm: 2287 268 226 213 0 72 0
[pid=26928] ppid=26927 vsize=841548 CPUtime=6.02 cores=1,3,5,7
/proc/26928/stat : 26928 (PBPASSolver-817) R 26927 26923 26431 0 -1 4202496 92040 0 0 0 208 394 0 0 20 0 1 0 293272890 861745152 91423 33554432000 4194304 4943705 140734773977328 140734773972304 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 20 0 0
/proc/26928/statm: 210387 91423 365 183 0 206757 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 893584
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26928
/proc/meminfo: memFree=29509572/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26925] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26925/stat : 26925 (sh) S 26923 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272887 9367552 267 33554432000 4194304 5064252 140733971789728 140733971788432 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26925/statm: 2287 267 226 213 0 72 0
[pid=26926] ppid=26925 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26926/stat : 26926 (python) S 26925 26923 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293272888 17141760 1059 33554432000 4194304 5683644 140734263938416 140734263936264 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26926/statm: 4185 1059 429 364 0 627 0
[pid=26927] ppid=26926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26927/stat : 26927 (sh) S 26926 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272890 9367552 268 33554432000 4194304 5064252 140734774581952 140734774580656 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26927/statm: 2287 268 226 213 0 72 0
[pid=26928] ppid=26927 vsize=862540 CPUtime=12.38 cores=1,3,5,7
/proc/26928/stat : 26928 (PBPASSolver-817) R 26927 26923 26431 0 -1 4202496 96804 0 0 0 362 876 0 0 20 0 1 0 293272890 883240960 94363 33554432000 4194304 4943705 140734773977328 140734773974704 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 25 0 0
/proc/26928/statm: 215635 94363 365 183 0 212005 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 914576
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26928
/proc/meminfo: memFree=29449860/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26925] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26925/stat : 26925 (sh) S 26923 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272887 9367552 267 33554432000 4194304 5064252 140733971789728 140733971788432 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26925/statm: 2287 267 226 213 0 72 0
[pid=26926] ppid=26925 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26926/stat : 26926 (python) S 26925 26923 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293272888 17141760 1059 33554432000 4194304 5683644 140734263938416 140734263936264 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26926/statm: 4185 1059 429 364 0 627 0
[pid=26927] ppid=26926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26927/stat : 26927 (sh) S 26926 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272890 9367552 268 33554432000 4194304 5064252 140734774581952 140734774580656 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26927/statm: 2287 268 226 213 0 72 0
[pid=26928] ppid=26927 vsize=903372 CPUtime=24.86 cores=1,3,5,7
/proc/26928/stat : 26928 (PBPASSolver-817) R 26927 26923 26431 0 -1 4202496 112486 0 0 0 657 1829 0 0 20 0 1 0 293272890 925052928 100669 33554432000 4194304 4943705 140734773977328 140734773973712 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 57 0 0
/proc/26928/statm: 225843 100669 365 183 0 222213 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 955408
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26928
/proc/meminfo: memFree=29327316/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=0.01 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193400 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26925] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26925/stat : 26925 (sh) S 26923 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272887 9367552 267 33554432000 4194304 5064252 140733971789728 140733971788432 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26925/statm: 2287 267 226 213 0 72 0
[pid=26926] ppid=26925 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26926/stat : 26926 (python) S 26925 26923 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293272888 17141760 1059 33554432000 4194304 5683644 140734263938416 140734263936264 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26926/statm: 4185 1059 429 364 0 627 0
[pid=26927] ppid=26926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26927/stat : 26927 (sh) S 26926 26923 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293272890 9367552 268 33554432000 4194304 5064252 140734774581952 140734774580656 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26927/statm: 2287 268 226 213 0 72 0
[pid=26928] ppid=26927 vsize=985292 CPUtime=50.39 cores=1,3,5,7
/proc/26928/stat : 26928 (PBPASSolver-817) R 26927 26923 26431 0 -1 4202496 152396 0 0 0 1267 3772 0 0 20 0 1 0 293272890 1008939008 116003 33554432000 4194304 4943705 140734773977328 140734773974736 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 63 0 0
/proc/26928/statm: 246323 116003 365 183 0 242693 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 1037328
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26930
/proc/meminfo: memFree=29449012/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=51.77 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1404 156950 0 0 1 0 1299 3877 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193096 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26929] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (sh) S 26923 26923 26431 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293278130 9367552 266 33554432000 4194304 5064252 140737101130928 140737101129632 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26929/statm: 2287 266 226 213 0 72 0
[pid=26930] ppid=26929 vsize=396800 CPUtime=11.43 cores=1,3,5,7
/proc/26930/stat : 26930 (CryptoMiniSat) R 26929 26923 26431 0 -1 4202496 35742 0 0 0 1130 13 0 0 20 0 1 0 293278130 406323200 82311 33554432000 4194304 4734972 140735876474864 140735876466616 4311731 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26930/statm: 99200 82311 370 132 0 94100 0
Current children cumulated CPU time (s) 63.2
Current children cumulated vsize (KiB) 422948
[startup+70.3003 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26930
/proc/meminfo: memFree=29401240/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=51.77 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1404 156950 0 0 1 0 1299 3877 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193096 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26929] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (sh) S 26923 26923 26431 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293278130 9367552 266 33554432000 4194304 5064252 140737101130928 140737101129632 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26929/statm: 2287 266 226 213 0 72 0
[pid=26930] ppid=26929 vsize=434420 CPUtime=17.85 cores=1,3,5,7
/proc/26930/stat : 26930 (CryptoMiniSat) R 26929 26923 26431 0 -1 4202496 39556 0 0 0 1770 15 0 0 20 0 1 0 293278130 444846080 91746 33554432000 4194304 4734972 140735876474864 140735876466056 4537492 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26930/statm: 108605 91746 383 132 0 103505 0
Current children cumulated CPU time (s) 69.62
Current children cumulated vsize (KiB) 460568
[startup+71.9003 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26930
/proc/meminfo: memFree=29399192/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=51.77 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1404 156950 0 0 1 0 1299 3877 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193096 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26929] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (sh) S 26923 26923 26431 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293278130 9367552 266 33554432000 4194304 5064252 140737101130928 140737101129632 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26929/statm: 2287 266 226 213 0 72 0
[pid=26930] ppid=26929 vsize=434420 CPUtime=19.44 cores=1,3,5,7
/proc/26930/stat : 26930 (CryptoMiniSat) R 26929 26923 26431 0 -1 4202496 39559 0 0 0 1929 15 0 0 20 0 1 0 293278130 444846080 91749 33554432000 4194304 4734972 140735876474864 140735876466056 4537462 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26930/statm: 108605 91749 383 132 0 103505 0
Current children cumulated CPU time (s) 71.21
Current children cumulated vsize (KiB) 460568
[startup+73.5004 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26930
/proc/meminfo: memFree=29397020/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=51.77 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1404 156950 0 0 1 0 1299 3877 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193096 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26929] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (sh) S 26923 26923 26431 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293278130 9367552 266 33554432000 4194304 5064252 140737101130928 140737101129632 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26929/statm: 2287 266 226 213 0 72 0
[pid=26930] ppid=26929 vsize=434012 CPUtime=21.03 cores=1,3,5,7
/proc/26930/stat : 26930 (CryptoMiniSat) R 26929 26923 26431 0 -1 4202496 43439 0 0 0 2088 15 0 0 20 0 1 0 293278130 444428288 92403 33554432000 4194304 4734972 140735876474864 140735876466408 225444335508 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26930/statm: 108503 92403 389 132 0 103403 0
Current children cumulated CPU time (s) 72.8
Current children cumulated vsize (KiB) 460160
[startup+73.9004 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26930
/proc/meminfo: memFree=29392628/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=51.77 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1404 156950 0 0 1 0 1299 3877 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193096 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26929] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (sh) S 26923 26923 26431 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293278130 9367552 266 33554432000 4194304 5064252 140737101130928 140737101129632 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26929/statm: 2287 266 226 213 0 72 0
[pid=26930] ppid=26929 vsize=454184 CPUtime=21.43 cores=1,3,5,7
/proc/26930/stat : 26930 (CryptoMiniSat) R 26929 26923 26431 0 -1 4202496 47435 0 0 0 2127 16 0 0 20 0 1 0 293278130 465084416 97421 33554432000 4194304 4734972 140735876474864 140735876466632 4235953 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26930/statm: 113546 97421 395 132 0 108446 0
Current children cumulated CPU time (s) 73.2
Current children cumulated vsize (KiB) 480332
[startup+74.3004 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26930
/proc/meminfo: memFree=29392628/32873844 swapFree=7900/7900
[pid=26923] ppid=26921 vsize=17000 CPUtime=51.77 cores=1,3,5,7
/proc/26923/stat : 26923 (python) S 26921 26923 26431 0 -1 4202496 1404 156950 0 0 1 0 1299 3877 20 0 1 0 293272885 17408000 1082 33554432000 4194304 5683644 140735536195552 140735536193096 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26923/statm: 4250 1082 429 364 0 692 0
[pid=26929] ppid=26923 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26929/stat : 26929 (sh) S 26923 26923 26431 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293278130 9367552 266 33554432000 4194304 5064252 140737101130928 140737101129632 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26929/statm: 2287 266 226 213 0 72 0
[pid=26930] ppid=26929 vsize=0 CPUtime=21.83 cores=1,3,5,7
/proc/26930/stat : 26930 (CryptoMiniSat) R 26929 26923 26431 0 -1 4202500 47454 0 0 0 2167 16 0 0 20 0 1 0 293278130 0 0 33554432000 0 0 0 0 0 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26930/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 73.6
Current children cumulated vsize (KiB) 26148
Child status: 0
Real time (s): 74.3152
CPU time (s): 73.6458
CPU user time (s): 34.6867
CPU system time (s): 38.9591
CPU usage (%): 99.0993
Max. virtual memory (cumulated for all children) (KiB): 1041424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.6867
system time used= 38.9591
maximum resident set size= 467244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162
involuntary context switches= 129
runsolver used 0.137979 second user time and 0.374943 second system time
The end