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 (61856 MiB free)
  memory of node 1: 64473 MiB (62959 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439217-1721230057/watcher-4439217-1721230057 -o /tmp/evaluation-result-4439217-1721230057/solver-4439217-1721230057 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721220980-904266 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439217-1721230057.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
solver pid=909505, runsolver pid=909502
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.12 4.09 4.09 5/256 909506
/proc/meminfo: memFree=127793516/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=36676 memory=22272 CPUtime=0.09 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 4821 0 0 0 9 0 0 0 20 0 1 0 175172413 37556224 5568 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 9169 5568 878 2594 0 6062 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36676 KiB
Current children cumulated memory: 22272 KiB

[startup+0.205519 s]*
/proc/loadavg: 4.12 4.09 4.09 5/256 909506
/proc/meminfo: memFree=127775540/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=54680 memory=40224 CPUtime=0.2 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 9315 0 0 0 19 1 0 0 20 0 1 0 175172413 55992320 10056 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 13670 10056 878 2594 0 10563 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54680 KiB
Current children cumulated memory: 40224 KiB

[startup+0.30546 s]*
/proc/loadavg: 4.12 4.09 4.09 6/256 909506
/proc/meminfo: memFree=127758936/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=71776 memory=57356 CPUtime=0.3 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 13573 0 0 0 29 1 0 0 20 0 1 0 175172413 73498624 14339 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 17944 14339 926 2594 0 14837 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71776 KiB
Current children cumulated memory: 57356 KiB

[startup+0.700225 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 909506
/proc/meminfo: memFree=127667052/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=192592 memory=182260 CPUtime=0.69 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 43605 0 0 0 63 6 0 0 20 0 1 0 175172413 197214208 45565 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 48148 45565 2510 2594 0 45041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192592 KiB
Current children cumulated memory: 182260 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 909506
/proc/meminfo: memFree=127640384/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=259412 memory=247312 CPUtime=1.49 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 65486 0 0 0 140 9 0 0 20 0 1 0 175172413 265637888 61828 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 64853 61828 2622 2594 0 61746 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 259412 KiB
Current children cumulated memory: 247312 KiB

[startup+3.10545 s]
/proc/loadavg: 4.27 4.12 4.10 5/256 909507
/proc/meminfo: memFree=127570736/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=263980 memory=250488 CPUtime=3.09 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66346 0 0 0 300 9 0 0 20 0 1 0 175172413 270315520 62622 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 65995 62622 2654 2594 0 62888 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 263980 KiB
Current children cumulated memory: 250488 KiB

[startup+6.3002 s]
/proc/loadavg: 4.27 4.12 4.10 5/256 909507
/proc/meminfo: memFree=127570156/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=264892 memory=251012 CPUtime=6.27 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66488 0 0 0 618 9 0 0 20 0 1 0 175172413 271249408 62753 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 66223 62753 2654 2594 0 63116 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264892 KiB
Current children cumulated memory: 251012 KiB

[startup+12.7002 s]
/proc/loadavg: 4.39 4.15 4.11 5/256 909509
/proc/meminfo: memFree=127570092/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=264892 memory=251012 CPUtime=12.65 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66507 0 0 0 1256 9 0 0 20 0 1 0 175172413 271249408 62753 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 66223 62753 2654 2594 0 63116 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 264892 KiB
Current children cumulated memory: 251012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.16 4.11 5/256 909510
/proc/meminfo: memFree=127569128/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=265876 memory=252060 CPUtime=25.42 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66756 0 0 0 2532 10 0 0 20 0 1 0 175172413 272257024 63015 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 66469 63015 2654 2594 0 63362 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 265876 KiB
Current children cumulated memory: 252060 KiB

[startup+51.1056 s]
/proc/loadavg: 4.48 4.20 4.13 5/258 909683
/proc/meminfo: memFree=127568256/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=265876 memory=252060 CPUtime=50.94 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66761 0 0 0 5084 10 0 0 20 0 1 0 175172413 272257024 63015 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 66469 63015 2654 2594 0 63362 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 265876 KiB
Current children cumulated memory: 252060 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.24 4.14 5/258 909694
/proc/meminfo: memFree=127568504/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=265876 memory=252060 CPUtime=101.99 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66763 0 0 0 10189 10 0 0 20 0 1 0 175172413 272257024 63015 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 66469 63015 2654 2594 0 63362 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 265876 KiB
Current children cumulated memory: 252060 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.21 4.14 5/257 909705
/proc/meminfo: memFree=127567144/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=265876 memory=252060 CPUtime=161.81 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 66765 0 0 0 16171 10 0 0 20 0 1 0 175172413 272257024 63015 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 66469 63015 2654 2594 0 63362 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 265876 KiB
Current children cumulated memory: 252060 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.13 5/262 909777
/proc/meminfo: memFree=127542148/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=288792 memory=264072 CPUtime=221.63 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 70205 0 0 0 22152 11 0 0 20 0 1 0 175172413 295723008 66018 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 72198 66018 2654 2594 0 69091 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 288792 KiB
Current children cumulated memory: 264072 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/262 909787
/proc/meminfo: memFree=127539224/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=294940 memory=264812 CPUtime=281.46 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 70954 0 0 0 28135 11 0 0 20 0 1 0 175172413 302018560 66203 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 73735 66203 2654 2594 0 70628 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 264812 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/262 909798
/proc/meminfo: memFree=127539072/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=294940 memory=264812 CPUtime=341.27 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 70954 0 0 0 34116 11 0 0 20 0 1 0 175172413 302018560 66203 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 73735 66203 2654 2594 0 70628 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 264812 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.13 5/260 909809
/proc/meminfo: memFree=127538008/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=294940 memory=264812 CPUtime=401.09 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 70954 0 0 0 40098 11 0 0 20 0 1 0 175172413 302018560 66203 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 73735 66203 2654 2594 0 70628 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 294940 KiB
Current children cumulated memory: 264812 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/260 909819
/proc/meminfo: memFree=127529800/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=294940 memory=264812 CPUtime=460.89 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 70959 0 0 0 46078 11 0 0 20 0 1 0 175172413 302018560 66203 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 73735 66203 2654 2594 0 70628 0

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

/proc/loadavg: 3.14 3.32 3.69 4/252 910938
/proc/meminfo: memFree=127072904/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=389872 memory=343364 CPUtime=1896.81 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 86611 0 0 0 189667 14 0 0 20 0 1 0 175172413 399228928 85841 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97468 85841 2654 2594 0 94361 0
Current children cumulated CPU time: 1896.81 s
Current children cumulated vsize: 389872 KiB
Current children cumulated memory: 343364 KiB

[startup+1962.3 s]
/proc/loadavg: 3.10 3.28 3.65 4/250 910948
/proc/meminfo: memFree=127067048/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=389872 memory=347492 CPUtime=1956.64 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 86669 0 0 0 195650 14 0 0 20 0 1 0 175172413 399228928 86873 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97468 86873 2654 2594 0 94361 0
Current children cumulated CPU time: 1956.64 s
Current children cumulated vsize: 389872 KiB
Current children cumulated memory: 347492 KiB

[startup+2022.3 s]
/proc/loadavg: 3.44 3.32 3.64 4/251 910973
/proc/meminfo: memFree=127064372/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348236 CPUtime=2016.47 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 86989 0 0 0 201633 14 0 0 20 0 1 0 175172413 400945152 87059 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87059 2654 2594 0 94780 0
Current children cumulated CPU time: 2016.47 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348236 KiB

[startup+2082.3 s]
/proc/loadavg: 3.25 3.29 3.61 4/251 910983
/proc/meminfo: memFree=127065552/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348240 CPUtime=2076.3 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87052 0 0 0 207616 14 0 0 20 0 1 0 175172413 400945152 87060 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87060 2654 2594 0 94780 0
Current children cumulated CPU time: 2076.3 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348240 KiB

[startup+2142.3 s]
/proc/loadavg: 3.14 3.25 3.58 4/250 910994
/proc/meminfo: memFree=127066352/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348240 CPUtime=2136.12 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87109 0 0 0 213598 14 0 0 20 0 1 0 175172413 400945152 87060 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87060 2654 2594 0 94780 0
Current children cumulated CPU time: 2136.12 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348240 KiB

[startup+2202.3 s]
/proc/loadavg: 3.15 3.23 3.55 4/249 911005
/proc/meminfo: memFree=127064528/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348240 CPUtime=2195.95 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87170 0 0 0 219581 14 0 0 20 0 1 0 175172413 400945152 87060 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87060 2654 2594 0 94780 0
Current children cumulated CPU time: 2195.95 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348240 KiB

[startup+2262.3 s]
/proc/loadavg: 3.11 3.20 3.52 4/250 911016
/proc/meminfo: memFree=127062832/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348496 CPUtime=2255.78 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87360 0 0 0 225564 14 0 0 20 0 1 0 175172413 400945152 87124 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87124 2654 2594 0 94780 0
Current children cumulated CPU time: 2255.78 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348496 KiB

[startup+2322.3 s]
/proc/loadavg: 3.08 3.18 3.49 4/248 911026
/proc/meminfo: memFree=127061368/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348496 CPUtime=2315.61 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87418 0 0 0 231547 14 0 0 20 0 1 0 175172413 400945152 87124 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87124 2654 2594 0 94780 0
Current children cumulated CPU time: 2315.61 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348496 KiB

[startup+2382.3 s]
/proc/loadavg: 3.11 3.17 3.46 4/248 911037
/proc/meminfo: memFree=127022912/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348496 CPUtime=2375.45 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87479 0 0 0 237531 14 0 0 20 0 1 0 175172413 400945152 87124 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87124 2654 2594 0 94780 0
Current children cumulated CPU time: 2375.45 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348496 KiB

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

# cumulated CPU time of all completed processes:  user=2396.23 s, system=0.151558 s

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

[startup+2393.6 s]
/proc/loadavg: 3.09 3.17 3.46 4/248 911039
/proc/meminfo: memFree=127060240/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348496 CPUtime=2386.72 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87481 0 0 0 238658 14 0 0 20 0 1 0 175172413 400945152 87124 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87124 2654 2594 0 94780 0
Current children cumulated CPU time: 2386.72 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348496 KiB

[startup+2400 s]*
/proc/loadavg: 3.09 3.16 3.46 4/248 911039
/proc/meminfo: memFree=127060232/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=391548 memory=348496 CPUtime=2393.1 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87485 0 0 0 239296 14 0 0 20 0 1 0 175172413 400945152 87124 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 97887 87124 2654 2594 0 94780 0
Current children cumulated CPU time: 2393.1 s
Current children cumulated vsize: 391548 KiB
Current children cumulated memory: 348496 KiB

[startup+2401.6 s]
/proc/loadavg: 3.09 3.16 3.46 4/248 911039
/proc/meminfo: memFree=127136288/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=315512 memory=272688 CPUtime=2394.7 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87585 0 0 0 239455 15 0 0 20 0 1 0 175172413 323084288 68172 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 78878 68172 2702 2594 0 75771 0
Current children cumulated CPU time: 2394.7 s
Current children cumulated vsize: 315512 KiB
Current children cumulated memory: 272688 KiB

[startup+2402.4 s]
/proc/loadavg: 3.08 3.16 3.45 4/248 911041
/proc/meminfo: memFree=127136232/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=315512 memory=272688 CPUtime=2395.5 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87585 0 0 0 239535 15 0 0 20 0 1 0 175172413 323084288 68172 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 78878 68172 2702 2594 0 75771 0
Current children cumulated CPU time: 2395.5 s
Current children cumulated vsize: 315512 KiB
Current children cumulated memory: 272688 KiB

[startup+2402.8 s]
/proc/loadavg: 3.08 3.16 3.45 4/248 911041
/proc/meminfo: memFree=127136232/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=315512 memory=272688 CPUtime=2395.9 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87585 0 0 0 239575 15 0 0 20 0 1 0 175172413 323084288 68172 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 78878 68172 2702 2594 0 75771 0
Current children cumulated CPU time: 2395.9 s
Current children cumulated vsize: 315512 KiB
Current children cumulated memory: 272688 KiB

[startup+2403.2 s]
/proc/loadavg: 3.08 3.16 3.45 4/248 911041
/proc/meminfo: memFree=127136232/131524600 swapFree=131071996/131071996
[pid=909505] ppid=909502 vsize=315512 memory=272688 CPUtime=2396.3 cores=1,3
/proc/909505/stat : 909505 (CASHWMaxSAT-Dis) R 909502 909505 904254 0 -1 4194304 87585 0 0 0 239615 15 0 0 20 0 1 0 175172413 323084288 68172 134679101440 4194304 14817773 140733531604896 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23842816 140733531608036 140733531608151 140733531608151 140733531615167 0
/proc/909505/statm: 78878 68172 2702 2594 0 75771 0
Current children cumulated CPU time: 2396.3 s
Current children cumulated vsize: 315512 KiB
Current children cumulated memory: 272688 KiB

Child status: 30

Real time (s): 2403.28
CPU time (s): 2396.38
CPU user time (s): 2396.23
CPU system time (s): 0.151558
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 391548
Max. memory (cumulated for all children) (KiB): 348496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.23
system time used= 0.151558
maximum resident set size= 348496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87585
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= 1883


# summary of solver processes directly reported to runsolver:
#   pid: 909505
#   total CPU time (s): 2396.38
#   total CPU user time (s): 2396.23
#   total CPU system time (s): 0.151558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.36275 second user time and 10.9988 second system time

The end