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-3718960-1338268853/watcher-3718960-1338268853 -o /tmp/evaluation-result-3718960-1338268853/solver-3718960-1338268853 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718960-1338268853.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: 0.00 0.00 0.00 2/172 24955
/proc/meminfo: memFree=28214792/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=1844 CPUtime=0 cores=1,3,5,7
/proc/24955/stat : 24955 (python) D 24953 24955 24925 0 -1 4194304 48 0 0 0 0 0 0 0 20 0 1 0 293010869 1888256 1 33554432000 0 0 140736989316762 140735311051512 5057063 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/24955/statm: 461 1 0 0 0 37 0
[startup+0.0315989 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 24955
/proc/meminfo: memFree=28214792/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/24955/stat : 24955 (python) D 24953 24955 24925 0 -1 4202496 669 0 3 0 0 0 0 0 20 0 1 0 293010869 15642624 559 33554432000 4194304 5683644 140736989313056 140736989285240 239873115024 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 1 0 0
/proc/24955/statm: 3819 559 324 364 0 261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15276
[startup+0.100274 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 24955
/proc/meminfo: memFree=28214792/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16436 CPUtime=0.01 cores=1,3,5,7
/proc/24955/stat : 24955 (python) D 24953 24955 24925 0 -1 4202496 1056 0 3 0 0 1 0 0 20 0 1 0 293010869 16830464 886 33554432000 4194304 5683644 140736989313056 140736989295208 239873115024 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 2 0 0
/proc/24955/statm: 4109 886 382 364 0 551 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16436
[startup+0.300205 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 24955
/proc/meminfo: memFree=28214792/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1330 0 3 0 1 2 0 0 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310904 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16996
[startup+0.700176 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 24955
/proc/meminfo: memFree=28214792/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1330 0 3 0 1 2 0 0 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310904 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16996
[startup+1.50037 s]
/proc/loadavg: 0.00 0.00 0.00 3/186 24978
/proc/meminfo: memFree=28173928/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1330 0 3 0 1 2 0 0 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310904 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24957] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24957/stat : 24957 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010894 9367552 267 33554432000 4194304 5064252 140735664716288 140735664714992 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 2287 267 226 213 0 72 0
[pid=24958] ppid=24957 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/24958/stat : 24958 (python) S 24957 24955 24925 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010895 17141760 1059 33554432000 4194304 5683644 140734357970608 140734357968456 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24958/statm: 4185 1059 429 364 0 627 0
[pid=24964] ppid=24958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24964/stat : 24964 (sh) S 24958 24955 24925 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293010898 9367552 268 33554432000 4194304 5064252 140733644543616 140733644542320 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24964/statm: 2287 268 226 213 0 72 0
[pid=24965] ppid=24964 vsize=34924 CPUtime=1.2 cores=1,3,5,7
/proc/24965/stat : 24965 (PBPASSolver-817) R 24964 24955 24925 0 -1 4202496 2684 0 0 0 21 99 0 0 20 0 1 0 293010898 35762176 2626 33554432000 4194304 4943705 140736195972848 140736195970192 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/24965/statm: 8731 2626 365 183 0 5101 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 86956
[startup+3.10036 s]
/proc/loadavg: 0.00 0.00 0.00 3/185 24978
/proc/meminfo: memFree=28157048/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1330 0 3 0 1 2 0 0 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310904 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24957] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24957/stat : 24957 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010894 9367552 267 33554432000 4194304 5064252 140735664716288 140735664714992 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 2287 267 226 213 0 72 0
[pid=24958] ppid=24957 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/24958/stat : 24958 (python) S 24957 24955 24925 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010895 17141760 1059 33554432000 4194304 5683644 140734357970608 140734357968456 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24958/statm: 4185 1059 429 364 0 627 0
[pid=24964] ppid=24958 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24964/stat : 24964 (sh) S 24958 24955 24925 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293010898 9367552 268 33554432000 4194304 5064252 140733644543616 140733644542320 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24964/statm: 2287 268 226 213 0 72 0
[pid=24965] ppid=24964 vsize=46796 CPUtime=2.8 cores=1,3,5,7
/proc/24965/stat : 24965 (PBPASSolver-817) R 24964 24955 24925 0 -1 4202496 3998 0 0 0 44 236 0 0 20 0 1 0 293010898 47919104 3940 33554432000 4194304 4943705 140736195972848 140736195968272 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/24965/statm: 11699 3940 365 183 0 8069 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 98828
[startup+6.30036 s]
/proc/loadavg: 0.16 0.03 0.01 3/181 24982
/proc/meminfo: memFree=27953844/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=151540 CPUtime=2.96 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 30444 0 1 0 291 5 0 0 20 0 1 0 293011200 155176960 30103 33554432000 4194304 4734972 140736096446480 140736096437832 4402894 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 37885 30103 383 132 0 32785 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 177684
[startup+12.7003 s]
/proc/loadavg: 0.31 0.07 0.02 3/181 24983
/proc/meminfo: memFree=27927240/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=160600 CPUtime=9.36 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 33174 0 1 0 930 6 0 0 20 0 1 0 293011200 164454400 32587 33554432000 4194304 4734972 140736096446480 140736096438504 4328320 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 40150 32587 398 132 0 35050 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 186744
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/181 24983
/proc/meminfo: memFree=27889432/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=177216 CPUtime=22.15 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 37585 0 1 0 2208 7 0 0 20 0 1 0 293011200 181469184 37344 33554432000 4194304 4734972 140736096446480 140736096438504 4250659 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 44304 37344 407 132 0 39204 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 203360
[startup+51.1004 s]
/proc/loadavg: 1.13 0.31 0.10 3/181 24983
/proc/meminfo: memFree=27857452/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=193900 CPUtime=47.73 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 42330 0 1 0 4764 9 0 0 20 0 1 0 293011200 198553600 41322 33554432000 4194304 4734972 140736096446480 140736096438264 4417961 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 48475 41322 407 132 0 43375 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 220044
[startup+102.307 s]
/proc/loadavg: 1.69 0.58 0.20 3/181 24983
/proc/meminfo: memFree=27802856/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=217548 CPUtime=98.91 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 48708 0 1 0 9880 11 0 0 20 0 1 0 293011200 222769152 48343 33554432000 4194304 4734972 140736096446480 140736096437704 4311743 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 54387 48343 407 132 0 49287 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 243692
[startup+162.3 s]
/proc/loadavg: 1.88 0.84 0.31 3/181 24983
/proc/meminfo: memFree=27786532/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=224080 CPUtime=158.89 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 51800 0 1 0 15876 13 0 0 20 0 1 0 293011200 229457920 49872 33554432000 4194304 4734972 140736096446480 140736096438504 4328169 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 56020 49872 407 132 0 50920 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 250224
[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.42 3/181 24983
/proc/meminfo: memFree=27781868/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231172 CPUtime=218.88 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 55672 0 1 0 21873 15 0 0 20 0 1 0 293011200 236720128 50671 33554432000 4194304 4734972 140736096446480 140736096438504 4328388 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57793 50671 407 132 0 52693 0
Current children cumulated CPU time (s) 221.93
Current children cumulated vsize (KiB) 257316
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 1.96 1.08 0.43 3/181 24983
/proc/meminfo: memFree=27771752/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231172 CPUtime=226.88 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 55674 0 1 0 22673 15 0 0 20 0 1 0 293011200 236720128 51695 33554432000 4194304 4734972 140736096446480 140736096438504 4328320 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57793 51695 407 132 0 52693 0
Current children cumulated CPU time (s) 229.93
Current children cumulated vsize (KiB) 257316
[startup+243.107 s]
/proc/loadavg: 1.97 1.12 0.46 3/181 24983
/proc/meminfo: memFree=27766336/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231268 CPUtime=239.69 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56037 0 1 0 23954 15 0 0 20 0 1 0 293011200 236818432 52176 33554432000 4194304 4734972 140736096446480 140736096438504 4327728 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57817 52176 407 132 0 52717 0
Current children cumulated CPU time (s) 242.74
Current children cumulated vsize (KiB) 257412
[startup+249.5 s]
/proc/loadavg: 1.97 1.13 0.47 3/181 24983
/proc/meminfo: memFree=27779120/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231344 CPUtime=246.08 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56385 0 1 0 24593 15 0 0 20 0 1 0 293011200 236896256 51140 33554432000 4194304 4734972 140736096446480 140736096438504 4328272 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57836 51140 407 132 0 52736 0
Current children cumulated CPU time (s) 249.13
Current children cumulated vsize (KiB) 257488
[startup+255.9 s]
/proc/loadavg: 1.97 1.15 0.47 3/181 24983
/proc/meminfo: memFree=27770928/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231344 CPUtime=252.48 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56386 0 1 0 25233 15 0 0 20 0 1 0 293011200 236896256 51652 33554432000 4194304 4734972 140736096446480 140736096438504 4328320 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57836 51652 407 132 0 52736 0
Current children cumulated CPU time (s) 255.53
Current children cumulated vsize (KiB) 257488
[startup+257.5 s]
/proc/loadavg: 1.98 1.16 0.48 3/181 24983
/proc/meminfo: memFree=27766956/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231344 CPUtime=254.08 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56387 0 1 0 25393 15 0 0 20 0 1 0 293011200 236896256 52164 33554432000 4194304 4734972 140736096446480 140736096438504 4328219 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57836 52164 407 132 0 52736 0
Current children cumulated CPU time (s) 257.13
Current children cumulated vsize (KiB) 257488
[startup+258.3 s]
/proc/loadavg: 1.98 1.16 0.48 3/181 24983
/proc/meminfo: memFree=27766956/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231344 CPUtime=254.88 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56387 0 1 0 25473 15 0 0 20 0 1 0 293011200 236896256 52164 33554432000 4194304 4734972 140736096446480 140736096438504 4236731 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57836 52164 407 132 0 52736 0
Current children cumulated CPU time (s) 257.93
Current children cumulated vsize (KiB) 257488
[startup+259.1 s]
/proc/loadavg: 1.98 1.16 0.48 3/181 24983
/proc/meminfo: memFree=27774900/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231416 CPUtime=255.68 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56838 0 1 0 25552 16 0 0 20 0 1 0 293011200 236969984 50732 33554432000 4194304 4734972 140736096446480 140736096438504 4251093 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57854 50732 407 132 0 52754 0
Current children cumulated CPU time (s) 258.73
Current children cumulated vsize (KiB) 257560
[startup+259.5 s]
/proc/loadavg: 1.98 1.16 0.48 3/181 24983
/proc/meminfo: memFree=27780796/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=231416 CPUtime=256.09 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56838 0 1 0 25593 16 0 0 20 0 1 0 293011200 236969984 50732 33554432000 4194304 4734972 140736096446480 140736096438504 4328191 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 57854 50732 407 132 0 52754 0
Current children cumulated CPU time (s) 259.14
Current children cumulated vsize (KiB) 257560
[startup+259.607 s]
/proc/loadavg: 1.98 1.16 0.48 3/181 24983
/proc/meminfo: memFree=27780796/32873844 swapFree=7384/7384
[pid=24955] ppid=24953 vsize=16996 CPUtime=3.05 cores=1,3,5,7
/proc/24955/stat : 24955 (python) S 24953 24955 24925 0 -1 4202496 1402 6527 3 0 1 2 48 254 20 0 1 0 293010869 17403904 1081 33554432000 4194304 5683644 140736989313056 140736989310600 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 3 0 0
/proc/24955/statm: 4249 1081 429 364 0 691 0
[pid=24979] ppid=24955 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24979/stat : 24979 (sh) S 24955 24955 24925 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011200 9367552 267 33554432000 4194304 5064252 140734965491392 140734965490096 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24979/statm: 2287 267 226 213 0 72 0
[pid=24980] ppid=24979 vsize=225152 CPUtime=256.19 cores=1,3,5,7
/proc/24980/stat : 24980 (CryptoMiniSat) R 24979 24955 24925 0 -1 4202496 56853 0 1 0 25603 16 0 0 20 0 1 0 293011200 230555648 49405 33554432000 4194304 4734972 140736096446480 140736096438504 239872726882 0 0 16781312 2 0 0 0 17 3 0 0 1 0 0
/proc/24980/statm: 56288 49405 421 132 0 51188 0
Current children cumulated CPU time (s) 259.24
Current children cumulated vsize (KiB) 251296
Child status: 0
Real time (s): 259.619
CPU time (s): 259.287
CPU user time (s): 256.545
CPU system time (s): 2.74158
CPU usage (%): 99.872
Max. virtual memory (cumulated for all children) (KiB): 304880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.545
system time used= 2.74158
maximum resident set size= 215888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65648
page faults= 4
swaps= 0
block input operations= 4808
block output operations= 7048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 499
involuntary context switches= 273
runsolver used 0.532918 second user time and 1.2968 second system time
The end