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-3719049-1338271558/watcher-3719049-1338271558 -o /tmp/evaluation-result-3719049-1338271558/solver-3719049-1338271558 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719049-1338271558.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.86 3/178 26967
/proc/meminfo: memFree=29864752/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/26967/stat : 26967 (python) D 26965 26967 26431 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293280353 15642624 526 33554432000 4194304 5683644 140737444633008 140737444618920 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 3819 526 312 364 0 261 0
[startup+0.0990239 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 26967
/proc/meminfo: memFree=29864752/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100251 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 26967
/proc/meminfo: memFree=29864752/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 26967
/proc/meminfo: memFree=29864752/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 26967
/proc/meminfo: memFree=29864752/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26972
/proc/meminfo: memFree=29615488/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26969] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26969/stat : 26969 (sh) S 26967 26967 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293280361 9367552 267 33554432000 4194304 5064252 140733922097808 140733922096512 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26969/statm: 2287 267 226 213 0 72 0
[pid=26970] ppid=26969 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/26970/stat : 26970 (python) S 26969 26967 26431 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293280361 17145856 1059 33554432000 4194304 5683644 140733981418608 140733981416456 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26970/statm: 4186 1059 429 364 0 628 0
[pid=26971] ppid=26970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26971/stat : 26971 (sh) S 26970 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293280364 9367552 267 33554432000 4194304 5064252 140733215739056 140733215737760 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26971/statm: 2287 267 226 213 0 72 0
[pid=26972] ppid=26971 vsize=715372 CPUtime=1.38 cores=1,3,5,7
/proc/26972/stat : 26972 (PBPASSolver-817) R 26971 26967 26431 0 -1 4202496 77235 0 0 0 82 56 0 0 20 0 1 0 293280364 732540928 77178 33554432000 4194304 4943705 140735849341440 140735849339712 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/26972/statm: 178843 77178 365 183 0 175213 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 767408
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26972
/proc/meminfo: memFree=29546668/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26969] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26969/stat : 26969 (sh) S 26967 26967 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293280361 9367552 267 33554432000 4194304 5064252 140733922097808 140733922096512 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26969/statm: 2287 267 226 213 0 72 0
[pid=26970] ppid=26969 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/26970/stat : 26970 (python) S 26969 26967 26431 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293280361 17145856 1059 33554432000 4194304 5683644 140733981418608 140733981416456 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26970/statm: 4186 1059 429 364 0 628 0
[pid=26971] ppid=26970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26971/stat : 26971 (sh) S 26970 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293280364 9367552 267 33554432000 4194304 5064252 140733215739056 140733215737760 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26971/statm: 2287 267 226 213 0 72 0
[pid=26972] ppid=26971 vsize=725100 CPUtime=2.98 cores=1,3,5,7
/proc/26972/stat : 26972 (PBPASSolver-817) R 26971 26967 26431 0 -1 4202496 78302 0 0 0 118 180 0 0 20 0 1 0 293280364 742502400 78245 33554432000 4194304 4943705 140735849341440 140735849338816 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/26972/statm: 181275 78245 365 183 0 177645 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 777136
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26972
/proc/meminfo: memFree=29529676/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26969] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26969/stat : 26969 (sh) S 26967 26967 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293280361 9367552 267 33554432000 4194304 5064252 140733922097808 140733922096512 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26969/statm: 2287 267 226 213 0 72 0
[pid=26970] ppid=26969 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/26970/stat : 26970 (python) S 26969 26967 26431 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293280361 17145856 1059 33554432000 4194304 5683644 140733981418608 140733981416456 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26970/statm: 4186 1059 429 364 0 628 0
[pid=26971] ppid=26970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26971/stat : 26971 (sh) S 26970 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293280364 9367552 267 33554432000 4194304 5064252 140733215739056 140733215737760 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26971/statm: 2287 267 226 213 0 72 0
[pid=26972] ppid=26971 vsize=745324 CPUtime=6.06 cores=1,3,5,7
/proc/26972/stat : 26972 (PBPASSolver-817) R 26971 26967 26431 0 -1 4202496 80502 0 0 0 190 416 0 0 20 0 1 0 293280364 763211776 80445 33554432000 4194304 4943705 140735849341440 140735849338464 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 11 0 0
/proc/26972/statm: 186331 80445 365 183 0 182701 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 797360
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26972
/proc/meminfo: memFree=29495776/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26969] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26969/stat : 26969 (sh) S 26967 26967 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293280361 9367552 267 33554432000 4194304 5064252 140733922097808 140733922096512 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26969/statm: 2287 267 226 213 0 72 0
[pid=26970] ppid=26969 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/26970/stat : 26970 (python) S 26969 26967 26431 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293280361 17145856 1059 33554432000 4194304 5683644 140733981418608 140733981416456 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26970/statm: 4186 1059 429 364 0 628 0
[pid=26971] ppid=26970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26971/stat : 26971 (sh) S 26970 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293280364 9367552 267 33554432000 4194304 5064252 140733215739056 140733215737760 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26971/statm: 2287 267 226 213 0 72 0
[pid=26972] ppid=26971 vsize=786796 CPUtime=12.45 cores=1,3,5,7
/proc/26972/stat : 26972 (PBPASSolver-817) R 26971 26967 26431 0 -1 4202496 85050 0 0 0 332 913 0 0 20 0 1 0 293280364 805679104 84993 33554432000 4194304 4943705 140735849341440 140735849338848 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 12 0 0
/proc/26972/statm: 196699 84993 365 183 0 193069 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 838832
Solver just ended. Dumping a history of the last processes samples
[startup+14.3066 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26972
/proc/meminfo: memFree=29485360/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630856 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26969] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26969/stat : 26969 (sh) S 26967 26967 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293280361 9367552 267 33554432000 4194304 5064252 140733922097808 140733922096512 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26969/statm: 2287 267 226 213 0 72 0
[pid=26970] ppid=26969 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/26970/stat : 26970 (python) S 26969 26967 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293280361 17145856 1060 33554432000 4194304 5683644 140733981418608 140733981416456 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26970/statm: 4186 1060 429 364 0 628 0
[pid=26971] ppid=26970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26971/stat : 26971 (sh) S 26970 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293280364 9367552 267 33554432000 4194304 5064252 140733215739056 140733215737760 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26971/statm: 2287 267 226 213 0 72 0
[pid=26972] ppid=26971 vsize=0 CPUtime=14.04 cores=1,3,5,7
/proc/26972/stat : 26972 (PBPASSolver-817) R 26971 26967 26431 0 -1 4202500 86214 0 0 0 368 1036 0 0 20 0 1 0 293280364 0 0 33554432000 0 0 0 0 0 0 0 16781312 17608 18446744073709551615 0 0 17 1 0 0 13 0 0
/proc/26972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.06
Current children cumulated vsize (KiB) 52036
[startup+15.1003 s]
/proc/loadavg: 2.00 2.00 1.86 3/183 26972
/proc/meminfo: memFree=29485360/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=14.1 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1405 88695 0 0 1 0 370 1039 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630552 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 14.1
Current children cumulated vsize (KiB) 16996
[startup+15.9003 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26974
/proc/meminfo: memFree=29726704/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=14.1 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1405 88695 0 0 1 0 370 1039 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630552 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26973] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26973/stat : 26973 (sh) S 26967 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293281786 9367552 266 33554432000 4194304 5064252 140734722601312 140734722600016 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26973/statm: 2287 266 226 213 0 72 0
[pid=26974] ppid=26973 vsize=157092 CPUtime=1.56 cores=1,3,5,7
/proc/26974/stat : 26974 (CryptoMiniSat) R 26973 26967 26431 0 -1 4202496 20896 0 0 0 151 5 0 0 20 0 1 0 293281786 160862208 26902 33554432000 4194304 4734972 140736245449152 140736245441208 4313122 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26974/statm: 39273 26902 370 132 0 34173 0
Current children cumulated CPU time (s) 15.66
Current children cumulated vsize (KiB) 183236
[startup+16.3003 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 26974
/proc/meminfo: memFree=29726704/32873844 swapFree=7900/7900
[pid=26967] ppid=26965 vsize=16996 CPUtime=14.1 cores=1,3,5,7
/proc/26967/stat : 26967 (python) S 26965 26967 26431 0 -1 4202496 1405 88695 0 0 1 0 370 1039 20 0 1 0 293280353 17403904 1081 33554432000 4194304 5683644 140737444633008 140737444630552 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26967/statm: 4249 1081 429 364 0 691 0
[pid=26973] ppid=26967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26973/stat : 26973 (sh) S 26967 26967 26431 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293281786 9367552 266 33554432000 4194304 5064252 140734722601312 140734722600016 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26973/statm: 2287 266 226 213 0 72 0
[pid=26974] ppid=26973 vsize=157092 CPUtime=1.96 cores=1,3,5,7
/proc/26974/stat : 26974 (CryptoMiniSat) R 26973 26967 26431 0 -1 4202496 20901 0 0 0 191 5 0 0 20 0 1 0 293281786 160862208 26907 33554432000 4194304 4734972 140736245449152 140736245440280 4311683 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/26974/statm: 39273 26907 370 132 0 34173 0
Current children cumulated CPU time (s) 16.06
Current children cumulated vsize (KiB) 183236
Child status: 0
Real time (s): 16.399
CPU time (s): 16.1975
CPU user time (s): 5.72913
CPU system time (s): 10.4684
CPU usage (%): 98.7717
Max. virtual memory (cumulated for all children) (KiB): 848816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.72913
system time used= 10.4684
maximum resident set size= 344440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 49496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 51
runsolver used 0.06199 second user time and 0.134979 second system time
The end