runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62491 MiB free)
  memory of node 1: 64473 MiB (63301 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438631-1721207680/watcher-4438631-1721207680 -o /tmp/evaluation-result-4438631-1721207680/solver-4438631-1721207680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721207693-896653 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438631-1721207680.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=896710, runsolver pid=896696

[startup+0.100376 s]*
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128738304/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=38028 memory=23572 CPUtime=0.09 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 6389 0 0 0 9 0 0 0 20 0 1 0 172934689 38940672 5893 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 9507 5893 1034 2726 0 6255 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 23572 KiB

[startup+0.2057 s]*
/proc/loadavg: 1.15 1.13 1.35 5/259 896715
/proc/meminfo: memFree=128640812/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=79096 memory=69784 CPUtime=0.2 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 16498 0 0 0 18 2 0 0 20 0 1 0 172934689 80994304 17446 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 19774 17446 2586 2726 0 16522 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 79096 KiB
Current children cumulated memory: 69784 KiB

[startup+0.305549 s]*
/proc/loadavg: 1.15 1.13 1.35 5/259 896715
/proc/meminfo: memFree=128608228/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=100948 memory=90412 CPUtime=0.3 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 21607 0 0 0 27 3 0 0 20 0 1 0 172934689 103370752 22603 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 25237 22603 2666 2726 0 21985 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 100948 KiB
Current children cumulated memory: 90412 KiB

[startup+0.700163 s]
/proc/loadavg: 1.15 1.13 1.35 5/259 896715
/proc/meminfo: memFree=128576856/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=102772 memory=92968 CPUtime=0.69 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 22222 0 0 0 66 3 0 0 20 0 1 0 172934689 105238528 23242 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 25693 23242 2714 2726 0 22441 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 92968 KiB

[startup+1.50022 s]
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128474272/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=104408 memory=94816 CPUtime=1.48 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 22631 0 0 0 145 3 0 0 20 0 1 0 172934689 106913792 23704 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 26102 23704 2714 2726 0 22850 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 104408 KiB
Current children cumulated memory: 94816 KiB

[startup+3.10613 s]
/proc/loadavg: 1.15 1.13 1.35 7/259 896761
/proc/meminfo: memFree=127791596/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=183564 memory=167500 CPUtime=3.08 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 37507 0 0 0 303 5 0 0 20 0 1 0 172934689 187969536 41875 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 45891 41875 2810 2726 0 42639 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183564 KiB
Current children cumulated memory: 167500 KiB

[startup+6.30019 s]
/proc/loadavg: 1.38 1.17 1.37 7/259 896761
/proc/meminfo: memFree=127492848/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=218460 memory=189820 CPUtime=6.26 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 43151 0 0 0 620 6 0 0 20 0 1 0 172934689 223703040 47455 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 54615 47455 2826 2726 0 51363 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 218460 KiB
Current children cumulated memory: 189820 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.22 1.38 7/259 896763
/proc/meminfo: memFree=126946800/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=272132 memory=209728 CPUtime=12.64 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 47618 0 0 0 1257 7 0 0 20 0 1 0 172934689 278663168 52432 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 68033 52432 2826 2726 0 64781 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 272132 KiB
Current children cumulated memory: 209728 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.36 1.43 7/259 896764
/proc/meminfo: memFree=126838340/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=304340 memory=241776 CPUtime=25.4 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 57509 0 0 0 2531 9 0 0 20 0 1 0 172934689 311644160 60444 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 76085 60444 2826 2726 0 72833 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 304340 KiB
Current children cumulated memory: 241776 KiB

[startup+51.1064 s]
/proc/loadavg: 2.84 1.59 1.50 7/259 896769
/proc/meminfo: memFree=126715144/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=338504 memory=274720 CPUtime=50.94 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 67194 0 0 0 5083 11 0 0 20 0 1 0 172934689 346628096 68680 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 84626 68680 2826 2726 0 81374 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 338504 KiB
Current children cumulated memory: 274720 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 1.99 1.64 7/256 896777
/proc/meminfo: memFree=126510656/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=490932 memory=401408 CPUtime=101.96 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 101868 0 0 0 10181 15 0 0 20 0 1 0 172934689 502714368 100352 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 122733 100352 2826 2726 0 119481 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 490932 KiB
Current children cumulated memory: 401408 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.39 1.81 7/256 896788
/proc/meminfo: memFree=126443544/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=570896 memory=401936 CPUtime=161.78 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 101997 0 0 0 16162 16 0 0 20 0 1 0 172934689 584597504 100484 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 142724 100484 2826 2726 0 139472 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 570896 KiB
Current children cumulated memory: 401936 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.72 1.96 7/256 896798
/proc/meminfo: memFree=126264724/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=657576 memory=439288 CPUtime=221.59 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 110303 0 0 0 22141 18 0 0 20 0 1 0 172934689 673357824 109822 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 164394 109822 2826 2726 0 161142 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 657576 KiB
Current children cumulated memory: 439288 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.97 2.09 7/258 896812
/proc/meminfo: memFree=126138436/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=733124 memory=459692 CPUtime=281.39 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 114100 0 0 0 28120 19 0 0 20 0 1 0 172934689 750718976 114923 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 183281 114923 3111 2726 0 180029 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 733124 KiB
Current children cumulated memory: 459692 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.21 2.23 7/256 896825
/proc/meminfo: memFree=125960756/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=812648 memory=516588 CPUtime=341.21 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 127861 0 0 0 34098 23 0 0 20 0 1 0 172934689 832151552 129147 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 203162 129147 3111 2726 0 199910 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 812648 KiB
Current children cumulated memory: 516588 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.37 2.35 7/256 896836
/proc/meminfo: memFree=125861676/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=886616 memory=538300 CPUtime=401.02 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 132955 0 0 0 40079 23 0 0 20 0 1 0 172934689 907894784 134575 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 221654 134575 3111 2726 0 218402 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 886616 KiB
Current children cumulated memory: 538300 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.46 7/256 896846
/proc/meminfo: memFree=125830768/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=985172 memory=560744 CPUtime=460.84 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 138087 0 0 0 46059 25 0 0 20 0 1 0 172934689 1008816128 140186 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 246293 140186 3111 2726 0 243041 0

################
# More data... #
################

/proc/loadavg: 4.08 4.12 3.89 7/254 897735
/proc/meminfo: memFree=125413316/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1014284 CPUtime=2016.17 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 230952 0 0 0 201562 55 0 0 20 0 1 0 172934689 1736941568 253571 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 253571 3111 2726 0 420806 0
Current children cumulated CPU time: 2016.17 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1014284 KiB

[startup+2082.3 s]
/proc/loadavg: 4.06 4.11 3.90 7/255 897746
/proc/meminfo: memFree=125322768/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1100860 CPUtime=2076.02 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 239015 0 0 0 207543 59 0 0 20 0 1 0 172934689 1736941568 275215 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 275215 3111 2726 0 420806 0
Current children cumulated CPU time: 2076.02 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1100860 KiB

[startup+2142.3 s]
/proc/loadavg: 4.14 4.12 3.92 7/257 897760
/proc/meminfo: memFree=125259380/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1151388 CPUtime=2135.86 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 239101 0 0 0 213527 59 0 0 20 0 1 0 172934689 1736941568 287847 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 287847 3111 2726 0 420806 0
Current children cumulated CPU time: 2135.86 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1151388 KiB

[startup+2202.3 s]
/proc/loadavg: 4.16 4.12 3.94 7/259 897775
/proc/meminfo: memFree=125146404/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1263264 CPUtime=2195.7 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 247295 0 0 0 219510 60 0 0 20 0 1 0 172934689 1736941568 315816 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 315816 3111 2726 0 420806 0
Current children cumulated CPU time: 2195.7 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1263264 KiB

[startup+2262.3 s]
/proc/loadavg: 4.11 4.12 3.95 7/259 897785
/proc/meminfo: memFree=125022444/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1386916 CPUtime=2255.54 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 261084 0 0 0 225491 63 0 0 20 0 1 0 172934689 1736941568 346729 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 346729 3111 2726 0 420806 0
Current children cumulated CPU time: 2255.54 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1386916 KiB

[startup+2322.3 s]
/proc/loadavg: 4.17 4.12 3.97 7/259 897796
/proc/meminfo: memFree=124984172/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1399420 CPUtime=2315.38 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 261338 0 0 0 231475 63 0 0 20 0 1 0 172934689 1736941568 349855 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 349855 3111 2726 0 420806 0
Current children cumulated CPU time: 2315.38 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1399420 KiB

[startup+2382.3 s]
/proc/loadavg: 4.12 4.12 3.98 7/258 897807
/proc/meminfo: memFree=124891976/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1506528 CPUtime=2375.23 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 267899 0 0 0 237459 64 0 0 20 0 1 0 172934689 1736941568 376632 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 376632 3111 2726 0 420806 0
Current children cumulated CPU time: 2375.23 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1506528 KiB

[startup+2442.3 s]
/proc/loadavg: 4.09 4.11 3.99 7/258 898201
/proc/meminfo: memFree=124843316/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1526364 CPUtime=2435.06 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268028 0 0 0 243442 64 0 0 20 0 1 0 172934689 1736941568 381591 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 381591 3111 2726 0 420806 0
Current children cumulated CPU time: 2435.06 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1526364 KiB

[startup+2453.99 s]
# the end of solver process 896710 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=2446.07 s, system=0.659015 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2444.8 s]
/proc/loadavg: 4.09 4.11 3.99 7/258 898201
/proc/meminfo: memFree=124830892/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1538744 CPUtime=2437.55 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 243691 64 0 0 20 0 1 0 172934689 1736941568 384686 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 384686 3111 2726 0 420806 0
Current children cumulated CPU time: 2437.55 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1538744 KiB

[startup+2448 s]*
/proc/loadavg: 4.08 4.11 3.99 7/258 898201
/proc/meminfo: memFree=124830904/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1538744 CPUtime=2440.75 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 244011 64 0 0 20 0 1 0 172934689 1736941568 384686 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 384686 3111 2726 0 420806 0
Current children cumulated CPU time: 2440.75 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1538744 KiB

[startup+2451.2 s]
/proc/loadavg: 4.08 4.10 3.99 7/258 898202
/proc/meminfo: memFree=124830916/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1538744 CPUtime=2443.94 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 244330 64 0 0 20 0 1 0 172934689 1736941568 384686 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 384686 3111 2726 0 420806 0
Current children cumulated CPU time: 2443.94 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1538744 KiB

[startup+2452.8 s]
/proc/loadavg: 4.08 4.10 3.99 7/258 898202
/proc/meminfo: memFree=124830972/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1538744 CPUtime=2445.53 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 244489 64 0 0 20 0 1 0 172934689 1736941568 384686 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 384686 3111 2726 0 420806 0
Current children cumulated CPU time: 2445.53 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1538744 KiB

[startup+2453.6 s]
/proc/loadavg: 4.08 4.10 3.99 7/258 898202
/proc/meminfo: memFree=124830952/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1548584 CPUtime=2446.33 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 244569 64 0 0 20 0 1 0 172934689 1736941568 387146 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 387146 3111 2726 0 420806 0
Current children cumulated CPU time: 2446.33 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1548584 KiB

[startup+2453.8 s]
/proc/loadavg: 4.08 4.10 3.99 7/258 898202
/proc/meminfo: memFree=124830952/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1548584 CPUtime=2446.53 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 244589 64 0 0 20 0 1 0 172934689 1736941568 387146 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 387146 3111 2726 0 420806 0
Current children cumulated CPU time: 2446.53 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1548584 KiB

[startup+2453.9 s]
/proc/loadavg: 4.08 4.10 3.99 7/258 898202
/proc/meminfo: memFree=124830952/131524600 swapFree=131071996/131071996
[pid=896710] ppid=896696 vsize=1696232 memory=1548584 CPUtime=2446.63 cores=5,7
/proc/896710/stat : 896710 (CASHWMaxSAT-Dis) R 896696 896710 896640 0 -1 4194304 268038 0 0 0 244599 64 0 0 20 0 1 0 172934689 1736941568 387146 134679101440 4194304 15356333 140727946206256 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 26959872 140727946212322 140727946212438 140727946212438 140727946219454 0
/proc/896710/statm: 424058 387146 3111 2726 0 420806 0
Current children cumulated CPU time: 2446.63 s
Current children cumulated vsize: 1696232 KiB
Current children cumulated memory: 1548584 KiB

Child status: 30

Real time (s): 2453.99
CPU time (s): 2446.73
CPU user time (s): 2446.07
CPU system time (s): 0.659015
CPU usage (%): 99.7043
Max. virtual memory (cumulated for all children) (KiB): 1796592
Max. memory (cumulated for all children) (KiB): 1548584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2446.07
system time used= 0.659015
maximum resident set size= 1548584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 2362


# summary of solver processes directly reported to runsolver:
#   pid: 896710
#   total CPU time (s): 2446.73
#   total CPU user time (s): 2446.07
#   total CPU system time (s): 0.659015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.62363 second user time and 13.4301 second system time

The end