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: 64059 MiB (61709 MiB free)
  memory of node 1: 64510 MiB (62367 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439622-1721227496/watcher-4439622-1721227496 -o /tmp/evaluation-result-4439622-1721227496/solver-4439622-1721227496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721218474-895017 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439622-1721227496.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=900782, runsolver pid=900779

[startup+0.100749 s]*
/proc/loadavg: 4.10 4.13 4.16 5/243 900783
/proc/meminfo: memFree=127045064/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=34016 memory=12364 CPUtime=0.1 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 2894 0 0 0 9 1 0 0 20 0 1 0 174906554 34832384 3091 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 8504 3091 794 2550 0 5459 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34016 KiB
Current children cumulated memory: 12364 KiB

[startup+0.208592 s]*
/proc/loadavg: 4.10 4.13 4.16 5/243 900783
/proc/meminfo: memFree=127028648/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=59224 memory=38880 CPUtime=0.21 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 6466 0 0 0 19 2 0 0 20 0 1 0 174906554 60645376 9720 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 14806 9720 794 2550 0 11761 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59224 KiB
Current children cumulated memory: 38880 KiB

[startup+0.308893 s]*
/proc/loadavg: 4.10 4.13 4.16 5/243 900783
/proc/meminfo: memFree=127010036/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=64780 memory=45048 CPUtime=0.3 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 8984 0 0 0 28 2 0 0 20 0 1 0 174906554 66334720 11262 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 16195 11262 842 2550 0 13150 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64780 KiB
Current children cumulated memory: 45048 KiB

[startup+0.700345 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 900783
/proc/meminfo: memFree=127014432/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=70800 memory=51740 CPUtime=0.69 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 11761 0 0 0 66 3 0 0 20 0 1 0 174906554 72499200 12935 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 17700 12935 922 2550 0 14655 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70800 KiB
Current children cumulated memory: 51740 KiB

[startup+1.50034 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 900783
/proc/meminfo: memFree=126973088/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=203664 memory=191808 CPUtime=1.48 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 45429 0 0 0 140 8 0 0 20 0 1 0 174906554 208551936 47952 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 50916 47952 2490 2550 0 47871 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 203664 KiB
Current children cumulated memory: 191808 KiB

[startup+3.11301 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 900784
/proc/meminfo: memFree=126797756/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=278932 memory=264288 CPUtime=3.09 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 62432 0 0 0 298 11 0 0 20 0 1 0 174906554 285626368 66072 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 69733 66072 2634 2550 0 66688 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 278932 KiB
Current children cumulated memory: 264288 KiB

[startup+6.30033 s]
/proc/loadavg: 4.09 4.12 4.16 5/243 900784
/proc/meminfo: memFree=126803336/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=278932 memory=264800 CPUtime=6.26 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 62562 0 0 0 615 11 0 0 20 0 1 0 174906554 285626368 66200 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 69733 66200 2634 2550 0 66688 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 278932 KiB
Current children cumulated memory: 264800 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.14 4.16 5/243 900784
/proc/meminfo: memFree=126793952/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=279940 memory=265828 CPUtime=12.65 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 62842 0 0 0 1253 12 0 0 20 0 1 0 174906554 286658560 66457 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 69985 66457 2634 2550 0 66940 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 279940 KiB
Current children cumulated memory: 265828 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 4.16 5/243 900787
/proc/meminfo: memFree=126795492/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=279940 memory=265828 CPUtime=25.41 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 62849 0 0 0 2529 12 0 0 20 0 1 0 174906554 286658560 66457 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 69985 66457 2634 2550 0 66940 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 279940 KiB
Current children cumulated memory: 265828 KiB

[startup+51.1132 s]
/proc/loadavg: 4.08 4.12 4.16 5/243 900790
/proc/meminfo: memFree=126782840/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=279940 memory=266116 CPUtime=50.95 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 62860 0 0 0 5083 12 0 0 20 0 1 0 174906554 286658560 66529 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 69985 66529 2650 2550 0 66940 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 279940 KiB
Current children cumulated memory: 266116 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.18 4.18 5/241 900799
/proc/meminfo: memFree=126727596/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=323864 memory=294252 CPUtime=101.99 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 68924 0 0 0 10186 13 0 0 20 0 1 0 174906554 331636736 73563 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 80966 73563 2666 2550 0 77921 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 323864 KiB
Current children cumulated memory: 294252 KiB

[startup+162.3 s]
/proc/loadavg: 4.65 4.31 4.22 5/241 900810
/proc/meminfo: memFree=126717440/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=323864 memory=294252 CPUtime=161.81 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 68928 0 0 0 16168 13 0 0 20 0 1 0 174906554 331636736 73563 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 80966 73563 2666 2550 0 77921 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 323864 KiB
Current children cumulated memory: 294252 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.27 4.21 5/241 900820
/proc/meminfo: memFree=126731076/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=323864 memory=294252 CPUtime=221.64 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 68932 0 0 0 22150 14 0 0 20 0 1 0 174906554 331636736 73563 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 80966 73563 2666 2550 0 77921 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 323864 KiB
Current children cumulated memory: 294252 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/241 900830
/proc/meminfo: memFree=126666360/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=323864 memory=294252 CPUtime=281.47 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 68937 0 0 0 28133 14 0 0 20 0 1 0 174906554 331636736 73563 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 80966 73563 2666 2550 0 77921 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 323864 KiB
Current children cumulated memory: 294252 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.22 4.19 5/244 900846
/proc/meminfo: memFree=126630332/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=374992 memory=324120 CPUtime=341.3 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 75442 0 0 0 34115 15 0 0 20 0 1 0 174906554 383991808 81030 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 93748 81030 2666 2550 0 90703 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 374992 KiB
Current children cumulated memory: 324120 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.20 4.19 5/244 900856
/proc/meminfo: memFree=126619504/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=419244 memory=349164 CPUtime=401.13 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 81664 0 0 0 40096 17 0 0 20 0 1 0 174906554 429305856 87291 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 104811 87291 2666 2550 0 101766 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 419244 KiB
Current children cumulated memory: 349164 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/244 900868
/proc/meminfo: memFree=126586808/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=446296 memory=360960 CPUtime=460.96 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 84148 0 0 0 46079 17 0 0 20 0 1 0 174906554 457007104 90240 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 111574 90240 2666 2550 0 108529 0

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

/proc/loadavg: 3.16 3.45 3.83 4/235 901616
/proc/meminfo: memFree=126810656/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1298.71 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 102878 0 0 0 129849 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1298.71 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1362.3 s]
/proc/loadavg: 3.12 3.38 3.78 4/235 901627
/proc/meminfo: memFree=126856432/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1358.56 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103099 0 0 0 135834 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1358.56 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1422.3 s]
/proc/loadavg: 3.09 3.32 3.74 4/234 901637
/proc/meminfo: memFree=126850900/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1418.41 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103267 0 0 0 141819 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1418.41 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1482.3 s]
/proc/loadavg: 3.13 3.29 3.70 4/234 901647
/proc/meminfo: memFree=126809436/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1478.26 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103364 0 0 0 147804 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1478.26 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1542.3 s]
/proc/loadavg: 3.10 3.25 3.66 4/237 901663
/proc/meminfo: memFree=126812080/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1538.1 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103432 0 0 0 153788 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1538.1 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1602.3 s]
/proc/loadavg: 3.08 3.22 3.62 4/237 901673
/proc/meminfo: memFree=126816500/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1597.95 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103497 0 0 0 159773 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1597.95 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1662.3 s]
/proc/loadavg: 3.12 3.21 3.59 4/237 901683
/proc/meminfo: memFree=126823688/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1657.8 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103562 0 0 0 165758 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1657.8 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1722.3 s]
/proc/loadavg: 3.09 3.18 3.55 4/238 901694
/proc/meminfo: memFree=126814116/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1717.65 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103719 0 0 0 171743 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1717.65 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1782.3 s]
/proc/loadavg: 3.24 3.21 3.54 4/238 901706
/proc/meminfo: memFree=126821244/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1777.5 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103890 0 0 0 177728 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1777.5 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

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

# cumulated CPU time of all completed processes:  user=1796.56 s, system=0.229189 s

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

[startup+1792 s]*
/proc/loadavg: 3.21 3.20 3.53 4/238 901707
/proc/meminfo: memFree=126829280/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1787.19 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103908 0 0 0 178697 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1787.19 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1798.4 s]
/proc/loadavg: 3.19 3.20 3.53 4/238 901709
/proc/meminfo: memFree=126792480/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1793.56 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103951 0 0 0 179334 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1793.56 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1800 s]*
/proc/loadavg: 3.17 3.19 3.53 4/238 901709
/proc/meminfo: memFree=126796340/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1795.17 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103951 0 0 0 179495 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1795.17 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1800.8 s]
/proc/loadavg: 3.17 3.19 3.53 4/238 901709
/proc/meminfo: memFree=126796340/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1795.96 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103951 0 0 0 179574 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1795.96 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1801.2 s]
/proc/loadavg: 3.17 3.19 3.53 4/238 901709
/proc/meminfo: memFree=126786116/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=452124 CPUtime=1796.36 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103951 0 0 0 179614 22 0 0 20 0 1 0 174906554 526327808 113031 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113031 2666 2550 0 125453 0
Current children cumulated CPU time: 1796.36 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 452124 KiB

[startup+1801.6 s]
/proc/loadavg: 3.17 3.19 3.53 4/238 901709
/proc/meminfo: memFree=126786116/131655788 swapFree=131071996/131071996
[pid=900782] ppid=900779 vsize=513992 memory=453148 CPUtime=1796.75 cores=1,3
/proc/900782/stat : 900782 (CASHWMaxSAT-Dis) R 900779 900782 895005 0 -1 4194304 103966 0 0 0 179653 22 0 0 20 0 1 0 174906554 526327808 113287 134679101440 4194304 14636349 140730726600384 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 37314560 140730726601698 140730726601814 140730726601814 140730726608830 0
/proc/900782/statm: 128498 113287 2666 2550 0 125453 0
Current children cumulated CPU time: 1796.75 s
Current children cumulated vsize: 513992 KiB
Current children cumulated memory: 453148 KiB

Child status: 30

Real time (s): 1801.62
CPU time (s): 1796.79
CPU user time (s): 1796.56
CPU system time (s): 0.229189
CPU usage (%): 99.7316
Max. virtual memory (cumulated for all children) (KiB): 540576
Max. memory (cumulated for all children) (KiB): 477464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 0.229189
maximum resident set size= 477464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103966
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= 35
involuntary context switches= 699


# summary of solver processes directly reported to runsolver:
#   pid: 900782
#   total CPU time (s): 1796.79
#   total CPU user time (s): 1796.56
#   total CPU system time (s): 0.229189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.25469 second user time and 17.9768 second system time

The end