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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439222-1721230067/watcher-4439222-1721230067 -o /tmp/evaluation-result-4439222-1721230067/solver-4439222-1721230067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721230079-913820 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439222-1721230067.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=913884, runsolver pid=913870

[startup+0.100926 s]*
/proc/loadavg: 1.08 1.08 1.39 8/259 913886
/proc/meminfo: memFree=127543480/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=36480 memory=22008 CPUtime=0.09 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 4780 0 0 0 9 0 0 0 20 0 1 0 175175643 37355520 5502 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 9120 5502 878 2594 0 6013 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36480 KiB
Current children cumulated memory: 22008 KiB

[startup+0.205268 s]*
/proc/loadavg: 1.08 1.08 1.39 5/259 913886
/proc/meminfo: memFree=127423348/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=80884 memory=72352 CPUtime=0.2 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 16029 0 0 0 19 1 0 0 20 0 1 0 175175643 82825216 18088 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 20221 18088 2430 2594 0 17114 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80884 KiB
Current children cumulated memory: 72352 KiB

[startup+0.306402 s]*
/proc/loadavg: 1.08 1.08 1.39 9/259 913888
/proc/meminfo: memFree=127356232/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=96700 memory=86644 CPUtime=0.3 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 19559 0 0 0 28 2 0 0 20 0 1 0 175175643 99020800 21661 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 24175 21661 2510 2594 0 21068 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 96700 KiB
Current children cumulated memory: 86644 KiB

[startup+0.70023 s]
/proc/loadavg: 1.08 1.08 1.39 8/259 913888
/proc/meminfo: memFree=127162324/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=130200 memory=119700 CPUtime=0.68 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 29038 0 0 0 65 3 0 0 20 0 1 0 175175643 133324800 29925 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 32550 29925 2654 2594 0 29443 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 130200 KiB
Current children cumulated memory: 119700 KiB

[startup+1.50015 s]
/proc/loadavg: 1.08 1.08 1.39 8/259 913888
/proc/meminfo: memFree=127039380/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=131176 memory=120492 CPUtime=1.48 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 29274 0 0 0 145 3 0 0 20 0 1 0 175175643 134324224 30123 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 32794 30123 2654 2594 0 29687 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 131176 KiB
Current children cumulated memory: 120492 KiB

[startup+3.1065 s]
/proc/loadavg: 1.08 1.08 1.39 8/259 913888
/proc/meminfo: memFree=126903356/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=131176 memory=120492 CPUtime=3.08 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 29285 0 0 0 305 3 0 0 20 0 1 0 175175643 134324224 30123 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 32794 30123 2654 2594 0 29687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 131176 KiB
Current children cumulated memory: 120492 KiB

[startup+6.30015 s]
/proc/loadavg: 1.31 1.13 1.41 8/259 913888
/proc/meminfo: memFree=126902240/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=131576 memory=121020 CPUtime=6.27 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 29385 0 0 0 624 3 0 0 20 0 1 0 175175643 134733824 30255 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 32894 30255 2654 2594 0 29787 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 131576 KiB
Current children cumulated memory: 121020 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.18 1.42 8/259 913889
/proc/meminfo: memFree=126895908/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=140796 memory=125700 CPUtime=12.65 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 30886 0 0 0 1262 3 0 0 20 0 1 0 175175643 144175104 31425 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 35199 31425 2654 2594 0 32092 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 140796 KiB
Current children cumulated memory: 125700 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.34 1.47 8/259 913891
/proc/meminfo: memFree=126840432/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=180604 memory=158172 CPUtime=25.41 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 38980 0 0 0 2537 4 0 0 20 0 1 0 175175643 184938496 39543 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 45151 39543 2654 2594 0 42044 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 180604 KiB
Current children cumulated memory: 158172 KiB

[startup+51.1067 s]
/proc/loadavg: 2.85 1.57 1.54 8/260 914065
/proc/meminfo: memFree=126752296/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=256668 memory=206156 CPUtime=50.94 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 50460 0 0 0 5085 9 0 0 20 0 1 0 175175643 262828032 51539 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 64167 51539 2654 2594 0 61060 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 256668 KiB
Current children cumulated memory: 206156 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.68 8/260 914074
/proc/meminfo: memFree=126738232/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=263908 memory=206156 CPUtime=101.98 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 50518 0 0 0 10186 12 0 0 20 0 1 0 175175643 270241792 51539 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 65977 51539 2654 2594 0 62870 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 263908 KiB
Current children cumulated memory: 206156 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.35 1.83 8/260 914084
/proc/meminfo: memFree=126690032/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=295080 memory=235824 CPUtime=161.79 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 58155 0 0 0 16164 15 0 0 20 0 1 0 175175643 302161920 58956 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 73770 58956 2654 2594 0 70663 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 295080 KiB
Current children cumulated memory: 235824 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.67 1.97 8/261 914153
/proc/meminfo: memFree=126680796/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=295080 memory=235824 CPUtime=221.61 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 58157 0 0 0 22145 16 0 0 20 0 1 0 175175643 302161920 58956 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 73770 58956 2654 2594 0 70663 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 295080 KiB
Current children cumulated memory: 235824 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.94 2.12 8/261 914164
/proc/meminfo: memFree=126632252/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=295080 memory=235824 CPUtime=281.43 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 58157 0 0 0 28126 17 0 0 20 0 1 0 175175643 302161920 58956 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 73770 58956 2654 2594 0 70663 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 295080 KiB
Current children cumulated memory: 235824 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.14 2.24 8/258 914174
/proc/meminfo: memFree=126623688/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=295080 memory=243516 CPUtime=341.25 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 58533 0 0 0 34107 18 0 0 20 0 1 0 175175643 302161920 60879 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 73770 60879 2654 2594 0 70663 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 295080 KiB
Current children cumulated memory: 243516 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.36 8/258 914186
/proc/meminfo: memFree=126580692/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=309324 memory=269780 CPUtime=401.07 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 59864 0 0 0 40089 18 0 0 20 0 1 0 175175643 316747776 67445 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 77331 67445 2654 2594 0 74224 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 309324 KiB
Current children cumulated memory: 269780 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.47 2.47 8/258 914196
/proc/meminfo: memFree=126526044/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=312140 memory=293420 CPUtime=460.89 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 60105 0 0 0 46071 18 0 0 20 0 1 0 175175643 319631360 73355 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 78035 73355 2654 2594 0 74928 0

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

/proc/loadavg: 4.07 4.08 4.01 6/255 915350
/proc/meminfo: memFree=122287296/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=515276 memory=485480 CPUtime=3152.87 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 97075 0 0 0 315256 31 0 0 20 0 1 0 175175643 527642624 121370 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 128819 121370 2654 2594 0 125712 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 515276 KiB
Current children cumulated memory: 485480 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/258 915366
/proc/meminfo: memFree=122284240/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=517304 memory=487080 CPUtime=3212.67 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 97689 0 0 0 321236 31 0 0 20 0 1 0 175175643 529719296 121770 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 129326 121770 2654 2594 0 126219 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 517304 KiB
Current children cumulated memory: 487080 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 6/257 915377
/proc/meminfo: memFree=122250624/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=534592 memory=503544 CPUtime=3272.47 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 101942 0 0 0 327215 32 0 0 20 0 1 0 175175643 547422208 125886 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 133648 125886 2654 2594 0 130541 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 534592 KiB
Current children cumulated memory: 503544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/257 915387
/proc/meminfo: memFree=122249556/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=534592 memory=503552 CPUtime=3332.27 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 102115 0 0 0 333195 32 0 0 20 0 1 0 175175643 547422208 125888 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 133648 125888 2654 2594 0 130541 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 534592 KiB
Current children cumulated memory: 503552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.01 6/257 915399
/proc/meminfo: memFree=122248560/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=534592 memory=503624 CPUtime=3392.07 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 102295 0 0 0 339175 32 0 0 20 0 1 0 175175643 547422208 125906 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 133648 125906 2654 2594 0 130541 0
Current children cumulated CPU time: 3392.07 s
Current children cumulated vsize: 534592 KiB
Current children cumulated memory: 503624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.02 6/257 915409
/proc/meminfo: memFree=122247284/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=534592 memory=503836 CPUtime=3451.87 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 102534 0 0 0 345155 32 0 0 20 0 1 0 175175643 547422208 125959 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 133648 125959 2654 2594 0 130541 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 534592 KiB
Current children cumulated memory: 503836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.03 6/255 915802
/proc/meminfo: memFree=122150420/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=536564 memory=505804 CPUtime=3511.66 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103184 0 0 0 351134 32 0 0 20 0 1 0 175175643 549441536 126451 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 134141 126451 2654 2594 0 131034 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 536564 KiB
Current children cumulated memory: 505804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/256 915814
/proc/meminfo: memFree=122175152/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=536564 memory=505824 CPUtime=3571.46 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103356 0 0 0 357114 32 0 0 20 0 1 0 175175643 549441536 126456 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 134141 126456 2654 2594 0 131034 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 536564 KiB
Current children cumulated memory: 505824 KiB

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

# cumulated CPU time of all completed processes:  user=3591.25 s, system=0.334274 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.03 6/256 915814
/proc/meminfo: memFree=122175160/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=536564 memory=505824 CPUtime=3573.16 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103356 0 0 0 357284 32 0 0 20 0 1 0 175175643 549441536 126456 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 134141 126456 2654 2594 0 131034 0
Current children cumulated CPU time: 3573.16 s
Current children cumulated vsize: 536564 KiB
Current children cumulated memory: 505824 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.02 6/256 915814
/proc/meminfo: memFree=122175112/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=536564 memory=505824 CPUtime=3579.53 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103388 0 0 0 357921 32 0 0 20 0 1 0 175175643 549441536 126456 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 134141 126456 2654 2594 0 131034 0
Current children cumulated CPU time: 3579.53 s
Current children cumulated vsize: 536564 KiB
Current children cumulated memory: 505824 KiB

[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.02 6/256 915816
/proc/meminfo: memFree=122174776/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=536564 memory=505824 CPUtime=3585.91 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103389 0 0 0 358559 32 0 0 20 0 1 0 175175643 549441536 126456 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 134141 126456 2654 2594 0 131034 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 536564 KiB
Current children cumulated memory: 505824 KiB

[startup+3600 s]*
/proc/loadavg: 4.07 4.09 4.02 6/256 915816
/proc/meminfo: memFree=122174748/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=536564 memory=505824 CPUtime=3589.1 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103389 0 0 0 358878 32 0 0 20 0 1 0 175175643 549441536 126456 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 134141 126456 2654 2594 0 131034 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 536564 KiB
Current children cumulated memory: 505824 KiB

[startup+3601.6 s]
/proc/loadavg: 4.07 4.09 4.02 5/254 915831
/proc/meminfo: memFree=122849284/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=339404 memory=322248 CPUtime=3590.7 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103432 0 0 0 359037 33 0 0 20 0 1 0 175175643 347549696 80562 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 84851 80562 2702 2594 0 81744 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 339404 KiB
Current children cumulated memory: 322248 KiB

[startup+3602 s]*
/proc/loadavg: 4.07 4.09 4.02 5/256 915863
/proc/meminfo: memFree=122742744/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=339404 memory=322248 CPUtime=3591.1 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103432 0 0 0 359077 33 0 0 20 0 1 0 175175643 347549696 80562 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 84851 80562 2702 2594 0 81744 0
Current children cumulated CPU time: 3591.1 s
Current children cumulated vsize: 339404 KiB
Current children cumulated memory: 322248 KiB

[startup+3602.4 s]
/proc/loadavg: 4.07 4.09 4.02 5/256 915863
/proc/meminfo: memFree=122742744/131524600 swapFree=131071996/131071996
[pid=913884] ppid=913870 vsize=339404 memory=322248 CPUtime=3591.49 cores=0,2
/proc/913884/stat : 913884 (CASHWMaxSAT-Dis) R 913870 913884 913810 0 -1 4194304 103432 0 0 0 359116 33 0 0 20 0 1 0 175175643 347549696 80562 134679101440 4194304 14817773 140731270582464 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 31588352 140731270591460 140731270591575 140731270591575 140731270598591 0
/proc/913884/statm: 84851 80562 2702 2594 0 81744 0
Current children cumulated CPU time: 3591.49 s
Current children cumulated vsize: 339404 KiB
Current children cumulated memory: 322248 KiB

Child status: 30

Real time (s): 3602.48
CPU time (s): 3591.58
CPU user time (s): 3591.25
CPU system time (s): 0.334274
CPU usage (%): 99.6974
Max. virtual memory (cumulated for all children) (KiB): 536564
Max. memory (cumulated for all children) (KiB): 505824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.25
system time used= 0.334274
maximum resident set size= 505824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103432
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= 29
involuntary context switches= 25131


# summary of solver processes directly reported to runsolver:
#   pid: 913884
#   total CPU time (s): 3591.58
#   total CPU user time (s): 3591.25
#   total CPU system time (s): 0.334274

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.277 second user time and 18.3897 second system time

The end