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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439094-1721211293/watcher-4439094-1721211293 -o /tmp/evaluation-result-4439094-1721211293/solver-4439094-1721211293 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721207692-895761 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439094-1721211293.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=897840, runsolver pid=897837

[startup+0.100097 s]*
/proc/loadavg: 4.11 4.09 4.04 5/244 897841
/proc/meminfo: memFree=122694544/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=44768 memory=35972 CPUtime=0.1 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 6733 0 0 0 10 0 0 0 20 0 1 0 173288075 45842432 8993 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 11192 8993 2654 2594 0 8085 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44768 KiB
Current children cumulated memory: 35972 KiB

[startup+0.212951 s]*
/proc/loadavg: 4.11 4.09 4.04 5/244 897841
/proc/meminfo: memFree=122689672/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=45592 memory=36760 CPUtime=0.22 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 6952 0 0 0 21 1 0 0 20 0 1 0 173288075 46686208 9190 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 11398 9190 2654 2594 0 8291 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 45592 KiB
Current children cumulated memory: 36760 KiB

[startup+0.312528 s]*
/proc/loadavg: 4.11 4.09 4.04 5/244 897841
/proc/meminfo: memFree=122685192/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=49268 memory=40220 CPUtime=0.31 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 7786 0 0 0 30 1 0 0 20 0 1 0 173288075 50450432 10055 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 12317 10055 2670 2594 0 9210 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49268 KiB
Current children cumulated memory: 40220 KiB

[startup+0.700318 s]
/proc/loadavg: 4.11 4.09 4.04 5/244 897841
/proc/meminfo: memFree=122676652/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=50140 memory=40748 CPUtime=0.69 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 7926 0 0 0 68 1 0 0 20 0 1 0 173288075 51343360 10187 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 12535 10187 2670 2594 0 9428 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50140 KiB
Current children cumulated memory: 40748 KiB

[startup+1.50029 s]
/proc/loadavg: 4.10 4.09 4.04 5/244 897841
/proc/meminfo: memFree=122674468/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=54476 memory=44180 CPUtime=1.48 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 8807 0 0 0 147 1 0 0 20 0 1 0 173288075 55783424 11045 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 13619 11045 2670 2594 0 10512 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54476 KiB
Current children cumulated memory: 44180 KiB

[startup+3.11339 s]
/proc/loadavg: 4.10 4.09 4.04 5/244 897887
/proc/meminfo: memFree=123487660/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=85572 memory=74652 CPUtime=3.09 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 16863 0 0 0 307 2 0 0 20 0 1 0 173288075 87625728 18663 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 21393 18663 2670 2594 0 18286 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 85572 KiB
Current children cumulated memory: 74652 KiB

[startup+6.30022 s]
/proc/loadavg: 4.09 4.09 4.04 5/244 897889
/proc/meminfo: memFree=123299204/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=134616 memory=122964 CPUtime=6.26 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 28909 0 0 0 622 4 0 0 20 0 1 0 173288075 137846784 30741 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 33654 30741 2670 2594 0 30547 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 134616 KiB
Current children cumulated memory: 122964 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.04 5/244 897889
/proc/meminfo: memFree=123228532/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=161320 memory=148044 CPUtime=12.64 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 35775 0 0 0 1258 6 0 0 20 0 1 0 173288075 165191680 37011 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 40330 37011 2670 2594 0 37223 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 161320 KiB
Current children cumulated memory: 148044 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.04 5/244 897892
/proc/meminfo: memFree=123156092/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=164376 memory=151472 CPUtime=25.39 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 36629 0 0 0 2532 7 0 0 20 0 1 0 173288075 168321024 37868 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 41094 37868 2670 2594 0 37987 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 164376 KiB
Current children cumulated memory: 151472 KiB

[startup+51.1125 s]
/proc/loadavg: 4.10 4.09 4.04 5/244 897897
/proc/meminfo: memFree=122881240/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=235588 memory=218116 CPUtime=50.91 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 53937 0 0 0 5078 13 0 0 20 0 1 0 173288075 241242112 54529 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 58897 54529 2670 2594 0 55790 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 235588 KiB
Current children cumulated memory: 218116 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/241 897906
/proc/meminfo: memFree=122774172/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=270224 memory=251036 CPUtime=101.91 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 64203 0 0 0 10173 18 0 0 20 0 1 0 173288075 276709376 62759 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 67556 62759 2670 2594 0 64449 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 270224 KiB
Current children cumulated memory: 251036 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/241 897916
/proc/meminfo: memFree=122634000/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=284248 memory=264440 CPUtime=161.69 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 67937 0 0 0 16150 19 0 0 20 0 1 0 173288075 291069952 66110 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 71062 66110 2670 2594 0 67955 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 284248 KiB
Current children cumulated memory: 264440 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/241 897927
/proc/meminfo: memFree=122551524/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=301464 memory=279684 CPUtime=221.47 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 71797 0 0 0 22127 20 0 0 20 0 1 0 173288075 308699136 69921 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 75366 69921 2670 2594 0 72259 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 301464 KiB
Current children cumulated memory: 279684 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/241 897938
/proc/meminfo: memFree=122485920/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=335092 memory=316444 CPUtime=281.27 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 79621 0 0 0 28105 22 0 0 20 0 1 0 173288075 343134208 79111 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 83773 79111 2670 2594 0 80666 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 335092 KiB
Current children cumulated memory: 316444 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/243 897953
/proc/meminfo: memFree=122464672/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=347436 memory=331432 CPUtime=341.07 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 83127 0 0 0 34085 22 0 0 20 0 1 0 173288075 355774464 82858 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 86859 82858 2670 2594 0 83752 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 347436 KiB
Current children cumulated memory: 331432 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/243 897963
/proc/meminfo: memFree=122445116/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=347436 memory=338052 CPUtime=400.89 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 83464 0 0 0 40067 22 0 0 20 0 1 0 173288075 355774464 84513 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 86859 84513 2670 2594 0 83752 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 347436 KiB
Current children cumulated memory: 338052 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.15 4.07 5/244 897975
/proc/meminfo: memFree=122436688/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=346900 memory=339808 CPUtime=460.71 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 84644 0 0 0 46048 23 0 0 20 0 1 0 173288075 355225600 84952 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 86725 84952 2670 2594 0 83618 0

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

Current children cumulated memory: 504884 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/245 899586
/proc/meminfo: memFree=122100796/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=514496 memory=504996 CPUtime=2853.42 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 138924 0 0 0 285308 34 0 0 20 0 1 0 173288075 526843904 126249 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 128624 126249 2670 2594 0 125517 0
Current children cumulated CPU time: 2853.42 s
Current children cumulated vsize: 514496 KiB
Current children cumulated memory: 504996 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 899597
/proc/meminfo: memFree=122100420/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=514496 memory=505196 CPUtime=2913.24 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 139135 0 0 0 291290 34 0 0 20 0 1 0 173288075 526843904 126299 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 128624 126299 2670 2594 0 125517 0
Current children cumulated CPU time: 2913.24 s
Current children cumulated vsize: 514496 KiB
Current children cumulated memory: 505196 KiB

[startup+2982.3 s]
/proc/loadavg: 4.24 4.14 4.11 5/244 899608
/proc/meminfo: memFree=122098192/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=518696 memory=506920 CPUtime=2973.05 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 139490 0 0 0 297271 34 0 0 20 0 1 0 173288075 531144704 126730 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 129674 126730 2670 2594 0 126567 0
Current children cumulated CPU time: 2973.05 s
Current children cumulated vsize: 518696 KiB
Current children cumulated memory: 506920 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/242 899618
/proc/meminfo: memFree=122098084/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=518696 memory=506920 CPUtime=3032.87 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 139705 0 0 0 303253 34 0 0 20 0 1 0 173288075 531144704 126730 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 129674 126730 2670 2594 0 126567 0
Current children cumulated CPU time: 3032.87 s
Current children cumulated vsize: 518696 KiB
Current children cumulated memory: 506920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/242 899629
/proc/meminfo: memFree=122097220/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=518696 memory=507156 CPUtime=3092.68 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 139978 0 0 0 309234 34 0 0 20 0 1 0 173288075 531144704 126789 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 129674 126789 2670 2594 0 126567 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 518696 KiB
Current children cumulated memory: 507156 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/242 899639
/proc/meminfo: memFree=122096944/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=518696 memory=507156 CPUtime=3152.5 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 140194 0 0 0 315216 34 0 0 20 0 1 0 173288075 531144704 126789 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 129674 126789 2670 2594 0 126567 0
Current children cumulated CPU time: 3152.5 s
Current children cumulated vsize: 518696 KiB
Current children cumulated memory: 507156 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/242 899649
/proc/meminfo: memFree=122095244/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=519720 memory=508500 CPUtime=3212.31 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 140756 0 0 0 321197 34 0 0 20 0 1 0 173288075 532193280 127125 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 129930 127125 2670 2594 0 126823 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 519720 KiB
Current children cumulated memory: 508500 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/241 899660
/proc/meminfo: memFree=122090728/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=524928 memory=512796 CPUtime=3272.12 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 142032 0 0 0 327178 34 0 0 20 0 1 0 173288075 537526272 128199 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 131232 128199 2670 2594 0 128125 0
Current children cumulated CPU time: 3272.12 s
Current children cumulated vsize: 524928 KiB
Current children cumulated memory: 512796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/243 899674
/proc/meminfo: memFree=122090392/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=524928 memory=512796 CPUtime=3331.94 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 142245 0 0 0 333160 34 0 0 20 0 1 0 173288075 537526272 128199 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 131232 128199 2670 2594 0 128125 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 524928 KiB
Current children cumulated memory: 512796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 899684
/proc/meminfo: memFree=122090104/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=524928 memory=512796 CPUtime=3391.75 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 142461 0 0 0 339141 34 0 0 20 0 1 0 173288075 537526272 128199 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 131232 128199 2670 2594 0 128125 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 524928 KiB
Current children cumulated memory: 512796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/243 899695
/proc/meminfo: memFree=122089844/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=524928 memory=512796 CPUtime=3451.57 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 142675 0 0 0 345123 34 0 0 20 0 1 0 173288075 537526272 128199 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 131232 128199 2670 2594 0 128125 0
Current children cumulated CPU time: 3451.57 s
Current children cumulated vsize: 524928 KiB
Current children cumulated memory: 512796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.71 4.32 4.17 5/243 899705
/proc/meminfo: memFree=122088080/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=524928 memory=512796 CPUtime=3511.38 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 142890 0 0 0 351104 34 0 0 20 0 1 0 173288075 537526272 128199 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 131232 128199 2670 2594 0 128125 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 524928 KiB
Current children cumulated memory: 512796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.28 4.16 5/243 899716
/proc/meminfo: memFree=122087764/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=524928 memory=512796 CPUtime=3571.2 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 143104 0 0 0 357086 34 0 0 20 0 1 0 173288075 537526272 128199 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 131232 128199 2670 2594 0 128125 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 524928 KiB
Current children cumulated memory: 512796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.27 4.27 4.16 5/243 899812
/proc/meminfo: memFree=122070020/131655788 swapFree=131071996/131071996
[pid=897840] ppid=897837 vsize=420832 memory=413340 CPUtime=3600.02 cores=0,2
/proc/897840/stat : 897840 (CASHWMaxSAT-Dis) R 897837 897840 895751 0 -1 4194304 143511 0 0 0 359965 37 0 0 20 0 1 0 173288075 430931968 103335 134679101440 4194304 14817773 140725006894240 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 24969216 140725006898148 140725006898263 140725006898263 140725006905279 0
/proc/897840/statm: 105208 103335 2670 2594 0 102101 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 420832 KiB
Current children cumulated memory: 413340 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.2 s]
# the end of solver process 897840 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.65 s, system=0.374617 s

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

Child status: 10

Real time (s): 3611.2
CPU time (s): 3600.03
CPU user time (s): 3599.65
CPU system time (s): 0.374617
CPU usage (%): 99.6905
Max. virtual memory (cumulated for all children) (KiB): 524928
Max. memory (cumulated for all children) (KiB): 513848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.65
system time used= 0.374617
maximum resident set size= 513848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143514
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= 24646


# summary of solver processes directly reported to runsolver:
#   pid: 897840
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.65
#   total CPU system time (s): 0.374617

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8801 second user time and 33.3281 second system time

The end