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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458003-1721877735/watcher-4458003-1721877735 -o /tmp/evaluation-result-4458003-1721877735/solver-4458003-1721877735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721877735-214045 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458003-1721877735.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=214113, runsolver pid=214106

[startup+0.100403 s]*
/proc/loadavg: 2.87 3.07 3.15 9/252 214114
/proc/meminfo: memFree=124801848/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=27916 memory=12936 CPUtime=0.1 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 2856 0 0 0 9 1 0 0 20 0 1 0 23763276 28585984 3234 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 6979 3234 926 2594 0 3872 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27916 KiB
Current children cumulated memory: 12936 KiB

[startup+0.214332 s]*
/proc/loadavg: 2.87 3.07 3.15 8/252 214114
/proc/meminfo: memFree=124723500/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=47276 memory=37348 CPUtime=0.21 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 7965 0 0 0 19 2 0 0 20 0 1 0 23763276 48410624 9337 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 11819 9337 2302 2594 0 8712 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47276 KiB
Current children cumulated memory: 37348 KiB

[startup+0.314227 s]*
/proc/loadavg: 2.87 3.07 3.15 8/252 214114
/proc/meminfo: memFree=124662616/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=77332 memory=67984 CPUtime=0.31 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 15493 0 0 0 26 5 0 0 20 0 1 0 23763276 79187968 16996 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 19333 16996 2446 2594 0 16226 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 77332 KiB
Current children cumulated memory: 67984 KiB

[startup+0.700321 s]
/proc/loadavg: 2.87 3.07 3.15 7/252 214116
/proc/meminfo: memFree=124588212/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=124760 memory=113164 CPUtime=0.68 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 26691 0 0 0 60 8 0 0 20 0 1 0 23763276 127754240 28291 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 31190 28291 2526 2594 0 28083 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124760 KiB
Current children cumulated memory: 113164 KiB

[startup+1.50033 s]
/proc/loadavg: 2.87 3.07 3.15 8/252 214116
/proc/meminfo: memFree=124470628/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=221384 memory=206796 CPUtime=1.48 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 50208 0 0 0 135 13 0 0 20 0 1 0 23763276 226697216 51699 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 55346 51699 2590 2594 0 52239 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 221384 KiB
Current children cumulated memory: 206796 KiB

[startup+3.11386 s]
/proc/loadavg: 2.87 3.07 3.15 8/252 214116
/proc/meminfo: memFree=124127148/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=304852 memory=285820 CPUtime=3.08 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 71563 0 0 0 291 17 0 0 20 0 1 0 23763276 312168448 71455 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 76213 71455 2670 2594 0 73106 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 304852 KiB
Current children cumulated memory: 285820 KiB

[startup+6.30029 s]
/proc/loadavg: 2.96 3.08 3.16 8/252 214116
/proc/meminfo: memFree=124110248/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=303172 memory=284968 CPUtime=6.25 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 73042 0 0 0 607 18 0 0 20 0 1 0 23763276 310448128 71242 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 75793 71242 2670 2594 0 72686 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 303172 KiB
Current children cumulated memory: 284968 KiB

[startup+12.7003 s]
/proc/loadavg: 3.05 3.10 3.16 8/252 214117
/proc/meminfo: memFree=124092728/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=314616 memory=285776 CPUtime=12.63 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 73293 0 0 0 1244 19 0 0 20 0 1 0 23763276 322166784 71444 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 78654 71444 2670 2594 0 75547 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 314616 KiB
Current children cumulated memory: 285776 KiB

[startup+25.5003 s]
/proc/loadavg: 3.26 3.14 3.18 8/252 214119
/proc/meminfo: memFree=123758104/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=449256 memory=404244 CPUtime=25.4 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 102508 0 0 0 2514 26 0 0 20 0 1 0 23763276 460038144 101061 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 112314 101061 2670 2594 0 109207 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 449256 KiB
Current children cumulated memory: 404244 KiB

[startup+51.1134 s]
/proc/loadavg: 3.58 3.23 3.21 8/252 214124
/proc/meminfo: memFree=123760764/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=428340 memory=395648 CPUtime=50.94 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 103867 0 0 0 5065 29 0 0 20 0 1 0 23763276 438620160 98912 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 107085 98912 2670 2594 0 103978 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 428340 KiB
Current children cumulated memory: 395648 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.37 3.26 8/252 214133
/proc/meminfo: memFree=123635892/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=428340 memory=395648 CPUtime=101.97 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 103870 0 0 0 10168 29 0 0 20 0 1 0 23763276 438620160 98912 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 107085 98912 2670 2594 0 103978 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 428340 KiB
Current children cumulated memory: 395648 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.50 3.31 8/252 214144
/proc/meminfo: memFree=123525672/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=428340 memory=395648 CPUtime=161.8 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 103875 0 0 0 16150 30 0 0 20 0 1 0 23763276 438620160 98912 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 107085 98912 2670 2594 0 103978 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 428340 KiB
Current children cumulated memory: 395648 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.62 3.37 8/252 214538
/proc/meminfo: memFree=123411724/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=428340 memory=395648 CPUtime=221.62 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 103878 0 0 0 22132 30 0 0 20 0 1 0 23763276 438620160 98912 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 107085 98912 2670 2594 0 103978 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 428340 KiB
Current children cumulated memory: 395648 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 3.75 3.43 8/252 214548
/proc/meminfo: memFree=123238744/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=448768 memory=421576 CPUtime=281.43 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 110104 0 0 0 28111 32 0 0 20 0 1 0 23763276 459538432 105394 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 112192 105394 2938 2594 0 109085 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 448768 KiB
Current children cumulated memory: 421576 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.81 3.47 8/244 214560
/proc/meminfo: memFree=123110700/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=509312 memory=481232 CPUtime=341.22 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 124552 0 0 0 34087 35 0 0 20 0 1 0 23763276 521535488 120308 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 127328 120308 2938 2594 0 124221 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 509312 KiB
Current children cumulated memory: 481232 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.88 3.52 9/246 214740
/proc/meminfo: memFree=122961336/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=523768 memory=493388 CPUtime=401.01 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 130647 0 0 0 40063 38 0 0 20 0 1 0 23763276 536338432 123347 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 130942 123347 2938 2594 0 127835 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 523768 KiB
Current children cumulated memory: 493388 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.91 3.55 8/246 214750
/proc/meminfo: memFree=122728392/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=536928 memory=507360 CPUtime=460.8 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 137597 0 0 0 46039 41 0 0 20 0 1 0 23763276 549814272 126840 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 134232 126840 2938 2594 0 131125 0

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

Current children cumulated memory: 933472 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.13 9/245 215818
/proc/meminfo: memFree=121337784/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=954972 memory=948512 CPUtime=2914.2 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 262927 0 0 0 291324 96 0 0 20 0 1 0 23763276 977891328 237128 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 238743 237128 2986 2594 0 235636 0
Current children cumulated CPU time: 2914.2 s
Current children cumulated vsize: 954972 KiB
Current children cumulated memory: 948512 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.13 8/245 215830
/proc/meminfo: memFree=121320864/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=947180 memory=940944 CPUtime=2974.05 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 264624 0 0 0 297304 101 0 0 20 0 1 0 23763276 969912320 235236 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 236795 235236 2986 2594 0 233688 0
Current children cumulated CPU time: 2974.05 s
Current children cumulated vsize: 947180 KiB
Current children cumulated memory: 940944 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 8/245 215840
/proc/meminfo: memFree=121329524/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=952876 memory=946592 CPUtime=3033.91 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 266462 0 0 0 303283 108 0 0 20 0 1 0 23763276 975745024 236648 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 238219 236648 2986 2594 0 235112 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 952876 KiB
Current children cumulated memory: 946592 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.13 9/245 215850
/proc/meminfo: memFree=121345448/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=940748 memory=934436 CPUtime=3093.77 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 268245 0 0 0 309265 112 0 0 20 0 1 0 23763276 963325952 233609 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 235187 233609 2986 2594 0 232080 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 940748 KiB
Current children cumulated memory: 934436 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.12 8/243 215861
/proc/meminfo: memFree=121449740/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3153.63 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 269306 0 0 0 315248 115 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.12 8/242 215871
/proc/meminfo: memFree=121458832/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3213.48 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 270855 0 0 0 321228 120 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.12 8/243 215882
/proc/meminfo: memFree=121432984/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3273.34 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 272035 0 0 0 327211 123 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.17 4.13 8/243 215892
/proc/meminfo: memFree=121482560/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3333.2 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 273810 0 0 0 333191 129 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3333.2 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.53 4.26 4.17 8/243 215903
/proc/meminfo: memFree=121480176/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3393.05 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 274788 0 0 0 339173 132 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

[startup+3462.3 s]
/proc/loadavg: 4.59 4.33 4.20 8/243 215913
/proc/meminfo: memFree=121343840/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=963104 memory=956636 CPUtime=3452.89 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 275734 0 0 0 345154 135 0 0 20 0 1 0 23763276 986218496 239159 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 240776 239159 2986 2594 0 237669 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 963104 KiB
Current children cumulated memory: 956636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.27 4.18 9/246 215928
/proc/meminfo: memFree=121479408/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3512.74 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 275957 0 0 0 351138 136 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.25 4.18 9/245 215940
/proc/meminfo: memFree=121479200/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3572.56 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 276142 0 0 0 357120 136 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.12 4.23 4.17 8/245 215944
/proc/meminfo: memFree=121479148/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3600.07 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 276295 0 0 0 359871 136 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.72 s, system=1.36948 s

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

[startup+3609.9 s]
/proc/loadavg: 4.12 4.23 4.17 8/245 215944
/proc/meminfo: memFree=121479148/131655788 swapFree=131057052/131071996
[pid=214113] ppid=214106 vsize=827148 memory=820932 CPUtime=3600.07 cores=1,3
/proc/214113/stat : 214113 (CASHWMaxSAT-Dis) R 214106 214113 214033 0 -1 4194304 276295 0 0 0 359871 136 0 0 20 0 1 0 23763276 846999552 205233 134679101440 4194304 14817773 140725704275920 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34193408 140725704283109 140725704283224 140725704283224 140725704290239 0
/proc/214113/statm: 206787 205233 2986 2594 0 203680 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 827148 KiB
Current children cumulated memory: 820932 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.09
CPU user time (s): 3598.72
CPU system time (s): 1.36948
CPU usage (%): 99.7281
Max. virtual memory (cumulated for all children) (KiB): 980996
Max. memory (cumulated for all children) (KiB): 974780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.36948
maximum resident set size= 974780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276300
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= 78
involuntary context switches= 1793


# summary of solver processes directly reported to runsolver:
#   pid: 214113
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.72
#   total CPU system time (s): 1.36948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.857 second user time and 33.0612 second system time

The end