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-3718946-1338268854/watcher-3718946-1338268854 -o /tmp/evaluation-result-3718946-1338268854/solver-3718946-1338268854 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718946-1338268854.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.08 0.02 0.01 4/181 6515
/proc/meminfo: memFree=30459720/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/6515/stat : 6515 (python) R 6513 6515 6467 0 -1 4202496 656 0 0 0 0 0 0 0 20 0 1 0 293010321 15675392 549 33554432000 4194304 5683644 140736806370048 140736806355960 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/6515/statm: 3827 552 316 364 0 269 0
[startup+0.0128041 s]
/proc/loadavg: 0.08 0.02 0.01 4/181 6515
/proc/meminfo: memFree=30459720/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/6515/stat : 6515 (python) D 6513 6515 6467 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 293010321 15749120 636 33554432000 4194304 5683644 140736806370048 140736806314776 240565175184 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6515/statm: 3845 636 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.100331 s]
/proc/loadavg: 0.08 0.02 0.01 4/181 6515
/proc/meminfo: memFree=30459720/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367896 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300245 s]
/proc/loadavg: 0.08 0.02 0.01 4/181 6515
/proc/meminfo: memFree=30459720/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367896 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700181 s]
/proc/loadavg: 0.08 0.02 0.01 4/181 6515
/proc/meminfo: memFree=30459720/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367896 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50032 s]
/proc/loadavg: 0.08 0.02 0.01 4/186 6520
/proc/meminfo: memFree=30439948/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367896 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6517] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6517/stat : 6517 (sh) S 6515 6515 6467 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010330 9367552 267 33554432000 4194304 5064252 140736499447648 140736499446352 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6517/statm: 2287 267 226 213 0 72 0
[pid=6518] ppid=6517 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/6518/stat : 6518 (python) S 6517 6515 6467 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010330 17137664 1058 33554432000 4194304 5683644 140735090437952 140735090435800 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/6518/statm: 4184 1058 429 364 0 626 0
[pid=6519] ppid=6518 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6519/stat : 6519 (sh) S 6518 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010343 9367552 267 33554432000 4194304 5064252 140735422865168 140735422863872 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6519/statm: 2287 267 226 213 0 72 0
[pid=6520] ppid=6519 vsize=35180 CPUtime=1.27 cores=1,3,5,7
/proc/6520/stat : 6520 (PBPASSolver-817) R 6519 6515 6467 0 -1 4202496 2717 0 0 0 26 101 0 0 20 0 1 0 293010343 36024320 2660 33554432000 4194304 4943705 140733427246368 140733427243728 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/6520/statm: 8795 2660 365 183 0 5165 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 87208
[startup+3.10038 s]
/proc/loadavg: 0.08 0.02 0.01 3/186 6520
/proc/meminfo: memFree=30424324/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 16996
[startup+6.30035 s]
/proc/loadavg: 0.31 0.07 0.02 3/182 6524
/proc/meminfo: memFree=30318300/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=157736 CPUtime=3.19 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 31680 0 0 0 314 5 0 0 20 0 1 0 293010631 161521664 31337 33554432000 4194304 4734972 140734287459568 140734287450920 4537686 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 39434 31337 383 132 0 34334 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 183880
[startup+12.7003 s]
/proc/loadavg: 0.45 0.10 0.03 3/181 6524
/proc/meminfo: memFree=30289548/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=166988 CPUtime=9.59 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 34503 0 0 0 953 6 0 0 20 0 1 0 293010631 170995712 33536 33554432000 4194304 4734972 140734287459568 140734287451592 4327490 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 41747 33536 398 132 0 36647 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 193132
[startup+25.5003 s]
/proc/loadavg: 0.86 0.21 0.07 3/181 6524
/proc/meminfo: memFree=30140384/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=183764 CPUtime=22.39 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 38971 0 0 0 2232 7 0 0 20 0 1 0 293010631 188174336 38137 33554432000 4194304 4734972 140734287459568 140734287451592 4251307 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 45941 38137 407 132 0 40841 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 209908
[startup+51.1003 s]
/proc/loadavg: 1.25 0.35 0.12 3/181 6524
/proc/meminfo: memFree=30089672/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=201600 CPUtime=47.99 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 43542 0 0 0 4790 9 0 0 20 0 1 0 293010631 206438400 42011 33554432000 4194304 4734972 140734287459568 140734287450008 4408707 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 50400 42011 407 132 0 45300 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 227744
[startup+102.307 s]
/proc/loadavg: 1.67 0.60 0.21 3/181 6524
/proc/meminfo: memFree=30020500/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=223748 CPUtime=99.19 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 50064 0 0 0 9908 11 0 0 20 0 1 0 293010631 229117952 48366 33554432000 4194304 4734972 140734287459568 140734287451352 4394807 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 55937 48366 407 132 0 50837 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 249892
[startup+162.3 s]
/proc/loadavg: 1.88 0.85 0.32 3/181 6524
/proc/meminfo: memFree=29994212/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=231676 CPUtime=159.17 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 53650 0 0 0 15904 13 0 0 20 0 1 0 293010631 237236224 49503 33554432000 4194304 4734972 140734287459568 140734287451592 4326608 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 57919 49503 407 132 0 52819 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 257820
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.42 3/181 6525
/proc/meminfo: memFree=29954192/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=288920 CPUtime=219.14 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 57346 0 0 0 21900 14 0 0 20 0 1 0 293010631 295854080 54427 33554432000 4194304 4734972 140734287459568 140734287451624 4327731 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 72230 54427 407 132 0 67130 0
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (KiB) 315064
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 1.96 1.09 0.44 3/181 6525
/proc/meminfo: memFree=29959452/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=240908 CPUtime=227.15 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 57369 0 0 0 22700 15 0 0 20 0 1 0 293010631 246689792 53020 33554432000 4194304 4734972 140734287459568 140734287451592 4327487 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60227 53020 407 132 0 55127 0
Current children cumulated CPU time (s) 229.91
Current children cumulated vsize (KiB) 267052
[startup+255.9 s]
/proc/loadavg: 1.97 1.16 0.48 3/181 6525
/proc/meminfo: memFree=29955512/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241040 CPUtime=252.74 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58432 0 0 0 25259 15 0 0 20 0 1 0 293010631 246824960 53770 33554432000 4194304 4734972 140734287459568 140734287451592 4328276 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60260 53770 407 132 0 55160 0
Current children cumulated CPU time (s) 255.5
Current children cumulated vsize (KiB) 267184
[startup+262.3 s]
/proc/loadavg: 1.97 1.17 0.49 3/181 6525
/proc/meminfo: memFree=29952456/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=259.14 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58887 0 0 0 25898 16 0 0 20 0 1 0 293010631 246898688 52846 33554432000 4194304 4734972 140734287459568 140734287451592 4328788 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 52846 407 132 0 55178 0
Current children cumulated CPU time (s) 261.9
Current children cumulated vsize (KiB) 267256
[startup+268.7 s]
/proc/loadavg: 1.98 1.20 0.50 3/181 6525
/proc/meminfo: memFree=29949028/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=265.53 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58897 0 0 0 26537 16 0 0 20 0 1 0 293010631 246898688 53891 33554432000 4194304 4734972 140734287459568 140734287451592 4328365 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 53891 407 132 0 55178 0
Current children cumulated CPU time (s) 268.29
Current children cumulated vsize (KiB) 267256
[startup+270.3 s]
/proc/loadavg: 1.98 1.20 0.50 3/181 6525
/proc/meminfo: memFree=29947228/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=267.13 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58897 0 0 0 26697 16 0 0 20 0 1 0 293010631 246898688 53891 33554432000 4194304 4734972 140734287459568 140734287451592 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 53891 407 132 0 55178 0
Current children cumulated CPU time (s) 269.89
Current children cumulated vsize (KiB) 267256
[startup+271.9 s]
/proc/loadavg: 1.98 1.20 0.50 3/181 6525
/proc/meminfo: memFree=29943132/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=268.73 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58898 0 0 0 26857 16 0 0 20 0 1 0 293010631 246898688 54403 33554432000 4194304 4734972 140734287459568 140734287451592 4327487 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 54403 407 132 0 55178 0
Current children cumulated CPU time (s) 271.49
Current children cumulated vsize (KiB) 267256
[startup+272.7 s]
/proc/loadavg: 1.98 1.20 0.50 3/181 6525
/proc/meminfo: memFree=29943132/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=269.53 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58898 0 0 0 26937 16 0 0 20 0 1 0 293010631 246898688 54403 33554432000 4194304 4734972 140734287459568 140734287451592 4327826 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 54403 407 132 0 55178 0
Current children cumulated CPU time (s) 272.29
Current children cumulated vsize (KiB) 267256
[startup+272.9 s]
/proc/loadavg: 1.98 1.20 0.50 3/181 6525
/proc/meminfo: memFree=29943132/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=269.73 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58898 0 0 0 26957 16 0 0 20 0 1 0 293010631 246898688 54403 33554432000 4194304 4734972 140734287459568 140734287451592 4513030 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 54403 407 132 0 55178 0
Current children cumulated CPU time (s) 272.49
Current children cumulated vsize (KiB) 267256
[startup+273 s]
/proc/loadavg: 1.98 1.20 0.50 3/181 6525
/proc/meminfo: memFree=29943132/32873844 swapFree=7116/7116
[pid=6515] ppid=6513 vsize=16996 CPUtime=2.76 cores=1,3,5,7
/proc/6515/stat : 6515 (python) S 6513 6515 6467 0 -1 4202496 1405 6525 0 0 1 0 57 218 20 0 1 0 293010321 17403904 1081 33554432000 4194304 5683644 140736806370048 140736806367592 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6515/statm: 4249 1081 429 364 0 691 0
[pid=6523] ppid=6515 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6523/stat : 6523 (sh) S 6515 6515 6467 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293010631 9367552 267 33554432000 4194304 5064252 140737142644672 140737142643376 240564987470 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6523/statm: 2287 267 226 213 0 72 0
[pid=6524] ppid=6523 vsize=241112 CPUtime=269.83 cores=1,3,5,7
/proc/6524/stat : 6524 (CryptoMiniSat) R 6523 6515 6467 0 -1 4202496 58898 0 0 0 26967 16 0 0 20 0 1 0 293010631 246898688 54403 33554432000 4194304 4734972 140734287459568 140734287451592 4588860 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/6524/statm: 60278 54403 407 132 0 55178 0
Current children cumulated CPU time (s) 272.59
Current children cumulated vsize (KiB) 267256
Child status: 0
Real time (s): 273.06
CPU time (s): 272.685
CPU user time (s): 270.32
CPU system time (s): 2.36464
CPU usage (%): 99.8626
Max. virtual memory (cumulated for all children) (KiB): 315064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 270.32
system time used= 2.36464
maximum resident set size= 221856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67708
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 184
involuntary context switches= 296
runsolver used 0.669898 second user time and 1.35079 second system time
The end