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-3719008-1338270430/watcher-3719008-1338270430 -o /tmp/evaluation-result-3719008-1338270430/solver-3719008-1338270430 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719008-1338270430.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.59 2.16 1.67 3/180 7684
/proc/meminfo: memFree=28238924/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/7684/stat : 7684 (python) R 7682 7684 7403 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293167371 15642624 526 33554432000 4194304 5683644 140735706248944 140735706230616 254750311312 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 3819 526 311 364 0 261 0
[startup+0.081548 s]
/proc/loadavg: 2.59 2.16 1.67 3/180 7684
/proc/meminfo: memFree=28238924/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100313 s]
/proc/loadavg: 2.59 2.16 1.67 3/180 7684
/proc/meminfo: memFree=28238924/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300285 s]
/proc/loadavg: 2.59 2.16 1.67 3/180 7684
/proc/meminfo: memFree=28238924/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.70029 s]
/proc/loadavg: 2.59 2.16 1.67 3/180 7684
/proc/meminfo: memFree=28238924/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50042 s]
/proc/loadavg: 2.59 2.16 1.67 3/185 7689
/proc/meminfo: memFree=28018636/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7686] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7686/stat : 7686 (sh) S 7684 7684 7403 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293167379 9367552 267 33554432000 4194304 5064252 140736859725328 140736859724032 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7686/statm: 2287 267 226 213 0 72 0
[pid=7687] ppid=7686 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/7687/stat : 7687 (python) S 7686 7684 7403 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293167379 17145856 1059 33554432000 4194304 5683644 140734471243536 140734471241384 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7687/statm: 4186 1059 429 364 0 628 0
[pid=7688] ppid=7687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7688/stat : 7688 (sh) S 7687 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293167383 9367552 267 33554432000 4194304 5064252 140733748006576 140733748005280 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7688/statm: 2287 267 226 213 0 72 0
[pid=7689] ppid=7688 vsize=693068 CPUtime=1.37 cores=1,3,5,7
/proc/7689/stat : 7689 (PBPASSolver-817) R 7688 7684 7403 0 -1 4202496 74885 0 0 0 78 59 0 0 20 0 1 0 293167383 709701632 74828 33554432000 4194304 4943705 140736293300624 140736293298896 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/7689/statm: 173267 74828 357 183 0 169637 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 745104
[startup+3.10041 s]
/proc/loadavg: 2.59 2.16 1.67 3/185 7689
/proc/meminfo: memFree=27843300/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7686] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7686/stat : 7686 (sh) S 7684 7684 7403 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293167379 9367552 267 33554432000 4194304 5064252 140736859725328 140736859724032 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7686/statm: 2287 267 226 213 0 72 0
[pid=7687] ppid=7686 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/7687/stat : 7687 (python) S 7686 7684 7403 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293167379 17145856 1059 33554432000 4194304 5683644 140734471243536 140734471241384 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7687/statm: 4186 1059 429 364 0 628 0
[pid=7688] ppid=7687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7688/stat : 7688 (sh) S 7687 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293167383 9367552 267 33554432000 4194304 5064252 140733748006576 140733748005280 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7688/statm: 2287 267 226 213 0 72 0
[pid=7689] ppid=7688 vsize=1127500 CPUtime=2.83 cores=1,3,5,7
/proc/7689/stat : 7689 (PBPASSolver-817) R 7688 7684 7403 0 -1 4202496 122406 0 0 0 184 99 0 0 20 0 1 0 293167383 1154560000 122349 33554432000 4194304 4943705 140736293300624 140736293299536 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/7689/statm: 281875 122349 357 183 0 278245 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 1179536
[startup+6.3004 s]
/proc/loadavg: 2.62 2.18 1.67 3/185 7689
/proc/meminfo: memFree=27497216/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7686] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7686/stat : 7686 (sh) S 7684 7684 7403 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293167379 9367552 267 33554432000 4194304 5064252 140736859725328 140736859724032 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7686/statm: 2287 267 226 213 0 72 0
[pid=7687] ppid=7686 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/7687/stat : 7687 (python) S 7686 7684 7403 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293167379 17145856 1059 33554432000 4194304 5683644 140734471243536 140734471241384 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7687/statm: 4186 1059 429 364 0 628 0
[pid=7688] ppid=7687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7688/stat : 7688 (sh) S 7687 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293167383 9367552 267 33554432000 4194304 5064252 140733748006576 140733748005280 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7688/statm: 2287 267 226 213 0 72 0
[pid=7689] ppid=7688 vsize=1833036 CPUtime=6.03 cores=1,3,5,7
/proc/7689/stat : 7689 (PBPASSolver-817) R 7688 7684 7403 0 -1 4202496 199574 0 0 0 440 163 0 0 20 0 1 0 293167383 1877028864 199517 33554432000 4194304 4943705 140736293300624 140736293299536 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/7689/statm: 458259 199517 357 183 0 454629 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 1885072
[startup+12.7003 s]
/proc/loadavg: 2.65 2.19 1.68 3/185 7689
/proc/meminfo: memFree=27249216/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7686] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7686/stat : 7686 (sh) S 7684 7684 7403 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293167379 9367552 267 33554432000 4194304 5064252 140736859725328 140736859724032 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7686/statm: 2287 267 226 213 0 72 0
[pid=7687] ppid=7686 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/7687/stat : 7687 (python) S 7686 7684 7403 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293167379 17145856 1059 33554432000 4194304 5683644 140734471243536 140734471241384 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7687/statm: 4186 1059 429 364 0 628 0
[pid=7688] ppid=7687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7688/stat : 7688 (sh) S 7687 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293167383 9367552 267 33554432000 4194304 5064252 140733748006576 140733748005280 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7688/statm: 2287 267 226 213 0 72 0
[pid=7689] ppid=7688 vsize=2158124 CPUtime=12.28 cores=1,3,5,7
/proc/7689/stat : 7689 (PBPASSolver-817) R 7688 7684 7403 0 -1 4202496 235155 0 0 0 664 564 0 0 20 0 1 0 293167383 2209918976 235098 33554432000 4194304 4943705 140736293300624 140736293298032 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 29 0 0
/proc/7689/statm: 539531 235098 365 183 0 535901 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 2210160
[startup+25.5003 s]
/proc/loadavg: 2.79 2.25 1.71 3/185 7689
/proc/meminfo: memFree=27172816/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246792 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7686] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7686/stat : 7686 (sh) S 7684 7684 7403 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293167379 9367552 267 33554432000 4194304 5064252 140736859725328 140736859724032 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7686/statm: 2287 267 226 213 0 72 0
[pid=7687] ppid=7686 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/7687/stat : 7687 (python) S 7686 7684 7403 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293167379 17145856 1059 33554432000 4194304 5683644 140734471243536 140734471241384 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/7687/statm: 4186 1059 429 364 0 628 0
[pid=7688] ppid=7687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7688/stat : 7688 (sh) S 7687 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293167383 9367552 267 33554432000 4194304 5064252 140733748006576 140733748005280 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7688/statm: 2287 267 226 213 0 72 0
[pid=7689] ppid=7688 vsize=2218348 CPUtime=25.06 cores=1,3,5,7
/proc/7689/stat : 7689 (PBPASSolver-817) R 7688 7684 7403 0 -1 4202496 241836 0 0 0 888 1618 0 0 20 0 1 0 293167383 2271588352 241779 33554432000 4194304 4943705 140736293300624 140736293298032 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 31 0 0
/proc/7689/statm: 554587 241779 365 183 0 550957 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 2270384
[startup+51.1004 s]
/proc/loadavg: 2.86 2.31 1.74 3/183 7691
/proc/meminfo: memFree=27881432/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=316076 CPUtime=1.42 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 32286 0 0 0 133 9 0 0 20 0 1 0 293172337 323661824 58514 33554432000 4194304 4734972 140734812704416 140734812696472 4501668 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 79019 58514 362 132 0 73919 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 342220
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 2.87 2.32 1.75 3/183 7691
/proc/meminfo: memFree=27788960/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=314660 CPUtime=7.83 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 34159 0 0 0 773 10 0 0 20 0 1 0 293172337 322211840 58460 33554432000 4194304 4734972 140734812704416 140734812696168 4311929 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 78665 58460 368 132 0 73565 0
Current children cumulated CPU time (s) 57.02
Current children cumulated vsize (KiB) 340804
[startup+63.9004 s]
/proc/loadavg: 2.82 2.32 1.75 3/183 7691
/proc/meminfo: memFree=27624348/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=510740 CPUtime=14.22 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 56398 0 0 0 1408 14 0 0 20 0 1 0 293172337 522997760 92696 33554432000 4194304 4734972 140734812704416 140734812695672 4272960 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 127685 92696 389 132 0 122585 0
Current children cumulated CPU time (s) 63.41
Current children cumulated vsize (KiB) 536884
[startup+65.5004 s]
/proc/loadavg: 2.82 2.32 1.75 3/183 7691
/proc/meminfo: memFree=27602396/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=527784 CPUtime=15.82 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 60065 0 0 0 1567 15 0 0 20 0 1 0 293172337 540450816 97385 33554432000 4194304 4734972 140734812704416 140734812696440 4385041 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 131946 97385 397 132 0 126846 0
Current children cumulated CPU time (s) 65.01
Current children cumulated vsize (KiB) 553928
[startup+66.3004 s]
/proc/loadavg: 2.82 2.32 1.75 3/183 7691
/proc/meminfo: memFree=27599544/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=527784 CPUtime=16.62 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 60065 0 0 0 1647 15 0 0 20 0 1 0 293172337 540450816 97385 33554432000 4194304 4734972 140734812704416 140734812696440 4327786 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 131946 97385 397 132 0 126846 0
Current children cumulated CPU time (s) 65.81
Current children cumulated vsize (KiB) 553928
[startup+67.1068 s]
/proc/loadavg: 2.82 2.32 1.75 3/183 7691
/proc/meminfo: memFree=27596444/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=527784 CPUtime=17.42 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 60066 0 0 0 1727 15 0 0 20 0 1 0 293172337 540450816 97386 33554432000 4194304 4734972 140734812704416 140734812696440 4255423 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 131946 97386 397 132 0 126846 0
Current children cumulated CPU time (s) 66.61
Current children cumulated vsize (KiB) 553928
[startup+67.5004 s]
/proc/loadavg: 2.82 2.32 1.75 3/183 7691
/proc/meminfo: memFree=27596444/32873844 swapFree=7628/7628
[pid=7684] ppid=7682 vsize=16996 CPUtime=49.19 cores=1,3,5,7
/proc/7684/stat : 7684 (python) S 7682 7684 7403 0 -1 4202496 1405 255226 0 0 1 0 1311 3607 20 0 1 0 293167371 17403904 1082 33554432000 4194304 5683644 140735706248944 140735706246488 254750311808 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/7684/statm: 4249 1082 429 364 0 691 0
[pid=7690] ppid=7684 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7690/stat : 7690 (sh) S 7684 7684 7403 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293172336 9367552 266 33554432000 4194304 5064252 140735198061472 140735198060176 254750123598 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/7690/statm: 2287 266 226 213 0 72 0
[pid=7691] ppid=7690 vsize=437636 CPUtime=17.81 cores=1,3,5,7
/proc/7691/stat : 7691 (CryptoMiniSat) R 7690 7684 7403 0 -1 4202496 60081 0 0 0 1766 15 0 0 20 0 1 0 293172337 448139264 84070 33554432000 4194304 4734972 140734812704416 140734812696440 254749943664 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/7691/statm: 109409 84070 411 132 0 104309 0
Current children cumulated CPU time (s) 67
Current children cumulated vsize (KiB) 463780
Child status: 0
Real time (s): 67.583
CPU time (s): 67.1308
CPU user time (s): 30.8693
CPU system time (s): 36.2615
CPU usage (%): 99.3309
Max. virtual memory (cumulated for all children) (KiB): 2369008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8693
system time used= 36.2615
maximum resident set size= 1010564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317574
page faults= 0
swaps= 0
block input operations= 0
block output operations= 110784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220
involuntary context switches= 78
runsolver used 0.099984 second user time and 0.274958 second system time
The end