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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458005-1721877898/watcher-4458005-1721877898 -o /tmp/evaluation-result-4458005-1721877898/solver-4458005-1721877898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721877898-217720 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4458005-1721877898.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=217780, runsolver pid=217774

[startup+0.101064 s]*
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125804404/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=48508 memory=38372 CPUtime=0.1 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 8613 0 0 0 9 1 0 0 20 0 1 0 24319540 49672192 9593 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 12127 9593 2142 2417 0 9229 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48508 KiB
Current children cumulated memory: 38372 KiB

[startup+0.206197 s]*
/proc/loadavg: 0.99 1.14 1.73 7/258 217784
/proc/meminfo: memFree=125692440/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=101724 memory=90104 CPUtime=0.2 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 21348 0 0 0 17 3 0 0 20 0 1 0 24319540 104165376 22526 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 25431 22526 2350 2417 0 22533 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101724 KiB
Current children cumulated memory: 90104 KiB

[startup+0.30608 s]*
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125604000/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=126868 memory=115448 CPUtime=0.29 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 27684 0 0 0 26 3 0 0 20 0 1 0 24319540 129912832 28862 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 31717 28862 2350 2417 0 28819 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 126868 KiB
Current children cumulated memory: 115448 KiB

[startup+0.700234 s]
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125473088/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=217664 memory=189284 CPUtime=0.69 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 33533 0 0 0 64 5 0 0 20 0 1 0 24319540 222887936 47321 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 54416 47321 2414 2417 0 51518 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217664 KiB
Current children cumulated memory: 189284 KiB

[startup+1.50023 s]
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125218688/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=357288 memory=325904 CPUtime=1.48 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 63202 0 0 0 138 10 0 0 20 0 1 0 24319540 365862912 81476 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 89322 81476 2526 2417 0 86424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 357288 KiB
Current children cumulated memory: 325904 KiB

[startup+3.10598 s]
/proc/loadavg: 0.99 1.14 1.73 6/258 217784
/proc/meminfo: memFree=125080544/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=360180 memory=331740 CPUtime=3.09 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 64652 0 0 0 298 11 0 0 20 0 1 0 24319540 368824320 82935 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 90045 82935 2542 2417 0 87147 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360180 KiB
Current children cumulated memory: 331740 KiB

[startup+6.3002 s]
/proc/loadavg: 1.23 1.19 1.75 6/258 217784
/proc/meminfo: memFree=125061328/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=371156 memory=342504 CPUtime=6.27 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 67331 0 0 0 615 12 0 0 20 0 1 0 24319540 380063744 85626 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 92789 85626 2542 2417 0 89891 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 371156 KiB
Current children cumulated memory: 342504 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 1.23 1.76 6/258 217786
/proc/meminfo: memFree=125052376/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=385832 memory=344764 CPUtime=12.65 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 67395 0 0 0 1252 13 0 0 20 0 1 0 24319540 395091968 86191 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 96458 86191 2542 2417 0 93560 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 385832 KiB
Current children cumulated memory: 344764 KiB

[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.79 6/256 217787
/proc/meminfo: memFree=124799320/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=484516 memory=440268 CPUtime=25.42 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 96995 0 0 0 2523 19 0 0 20 0 1 0 24319540 496144384 110067 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 121129 110067 2542 2417 0 118231 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 484516 KiB
Current children cumulated memory: 440268 KiB

[startup+51.1063 s]
/proc/loadavg: 2.76 1.60 1.86 6/258 218179
/proc/meminfo: memFree=124767964/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=521136 memory=468132 CPUtime=50.96 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 103526 0 0 0 5076 20 0 0 20 0 1 0 24319540 533643264 117033 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 130284 117033 2542 2417 0 127386 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 521136 KiB
Current children cumulated memory: 468132 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.00 1.98 6/258 218188
/proc/meminfo: memFree=124740220/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=521136 memory=476844 CPUtime=102 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 105706 0 0 0 10178 22 0 0 20 0 1 0 24319540 533643264 119211 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 130284 119211 2542 2417 0 127386 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 521136 KiB
Current children cumulated memory: 476844 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.38 2.12 6/258 218198
/proc/meminfo: memFree=124721136/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=521136 memory=476844 CPUtime=161.8 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 105706 0 0 0 16157 23 0 0 20 0 1 0 24319540 533643264 119211 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 130284 119211 2542 2417 0 127386 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 521136 KiB
Current children cumulated memory: 476844 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.69 2.24 6/257 218378
/proc/meminfo: memFree=124510328/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=521136 memory=477032 CPUtime=221.61 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 106027 0 0 0 22137 24 0 0 20 0 1 0 24319540 533643264 119258 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 130284 119258 2542 2417 0 127386 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 521136 KiB
Current children cumulated memory: 477032 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.95 2.36 6/257 218389
/proc/meminfo: memFree=124354164/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=608572 memory=557764 CPUtime=281.42 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 124861 0 0 0 28114 28 0 0 20 0 1 0 24319540 623177728 139441 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 152143 139441 2542 2417 0 149245 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 608572 KiB
Current children cumulated memory: 557764 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.17 2.48 6/258 218459
/proc/meminfo: memFree=124254396/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=691820 memory=636664 CPUtime=341.25 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 147807 0 0 0 34092 33 0 0 20 0 1 0 24319540 708423680 159166 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 172955 159166 2542 2417 0 170057 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 691820 KiB
Current children cumulated memory: 636664 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.34 2.58 6/258 218471
/proc/meminfo: memFree=124193972/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=676812 memory=634556 CPUtime=401.08 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 149782 0 0 0 40075 33 0 0 20 0 1 0 24319540 693055488 158639 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 169203 158639 2542 2417 0 166305 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 676812 KiB
Current children cumulated memory: 634556 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.48 2.68 6/258 218481
/proc/meminfo: memFree=124139608/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=722220 memory=669376 CPUtime=460.9 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 158058 0 0 0 46055 35 0 0 20 0 1 0 24319540 739553280 167344 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 180555 167344 2542 2417 0 177657 0

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

Current children cumulated memory: 743036 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/256 219489
/proc/meminfo: memFree=123501316/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=830328 memory=795188 CPUtime=2853.71 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 488394 0 0 0 284769 602 0 0 20 0 1 0 24319540 850255872 198797 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 207582 198797 2542 2417 0 204684 0
Current children cumulated CPU time: 2853.71 s
Current children cumulated vsize: 830328 KiB
Current children cumulated memory: 795188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/256 219500
/proc/meminfo: memFree=123513612/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=750188 memory=743036 CPUtime=2913.56 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 510488 0 0 0 290713 643 0 0 20 0 1 0 24319540 768192512 185759 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 187547 185759 2542 2417 0 184649 0
Current children cumulated CPU time: 2913.56 s
Current children cumulated vsize: 750188 KiB
Current children cumulated memory: 743036 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.11 4.02 6/256 219511
/proc/meminfo: memFree=123508064/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=799508 memory=786832 CPUtime=2973.42 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 529995 0 0 0 296666 676 0 0 20 0 1 0 24319540 818696192 196708 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 199877 196708 2542 2417 0 196979 0
Current children cumulated CPU time: 2973.42 s
Current children cumulated vsize: 799508 KiB
Current children cumulated memory: 786832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/256 219525
/proc/meminfo: memFree=123510300/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=750188 memory=743036 CPUtime=3033.27 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 554548 0 0 0 302612 715 0 0 20 0 1 0 24319540 768192512 185759 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 187547 185759 2542 2417 0 184649 0
Current children cumulated CPU time: 3033.27 s
Current children cumulated vsize: 750188 KiB
Current children cumulated memory: 743036 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/256 219535
/proc/meminfo: memFree=123500300/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=799508 memory=791628 CPUtime=3093.13 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 565051 0 0 0 308572 741 0 0 20 0 1 0 24319540 818696192 197907 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 199877 197907 2542 2417 0 196979 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 799508 KiB
Current children cumulated memory: 791628 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/256 219545
/proc/meminfo: memFree=123496296/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=750188 memory=743036 CPUtime=3152.99 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 578614 0 0 0 314525 774 0 0 20 0 1 0 24319540 768192512 185759 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 187547 185759 2542 2417 0 184649 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 750188 KiB
Current children cumulated memory: 743036 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.03 6/256 219557
/proc/meminfo: memFree=123502724/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=799508 memory=789032 CPUtime=3212.84 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 592022 0 0 0 320486 798 0 0 20 0 1 0 24319540 818696192 197258 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 199877 197258 2542 2417 0 196979 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 799508 KiB
Current children cumulated memory: 789032 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.03 6/256 219567
/proc/meminfo: memFree=123465456/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=830328 memory=795188 CPUtime=3272.69 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 627346 0 0 0 326407 862 0 0 20 0 1 0 24319540 850255872 198797 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 207582 198797 2542 2417 0 204684 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 830328 KiB
Current children cumulated memory: 795188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.03 6/257 219582
/proc/meminfo: memFree=123491852/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=750188 memory=743036 CPUtime=3332.54 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 635084 0 0 0 332380 874 0 0 20 0 1 0 24319540 768192512 185759 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 187547 185759 2542 2417 0 184649 0
Current children cumulated CPU time: 3332.54 s
Current children cumulated vsize: 750188 KiB
Current children cumulated memory: 743036 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/257 219594
/proc/meminfo: memFree=123540104/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=799508 memory=778640 CPUtime=3392.41 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 646022 0 0 0 338329 912 0 0 20 0 1 0 24319540 818696192 194660 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 199877 194660 2542 2417 0 196979 0
Current children cumulated CPU time: 3392.41 s
Current children cumulated vsize: 799508 KiB
Current children cumulated memory: 778640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 6/257 219604
/proc/meminfo: memFree=123539536/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=750188 memory=743036 CPUtime=3452.26 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 654161 0 0 0 344286 940 0 0 20 0 1 0 24319540 768192512 185759 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 187547 185759 2542 2417 0 184649 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 750188 KiB
Current children cumulated memory: 743036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 6/257 219615
/proc/meminfo: memFree=123501072/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=799508 memory=786832 CPUtime=3512.12 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 659255 0 0 0 350255 957 0 0 20 0 1 0 24319540 818696192 196708 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 199877 196708 2542 2417 0 196979 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 799508 KiB
Current children cumulated memory: 786832 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 6/257 219625
/proc/meminfo: memFree=123505136/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=799508 memory=780688 CPUtime=3571.97 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 675179 0 0 0 356188 1009 0 0 20 0 1 0 24319540 818696192 195172 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 199877 195172 2542 2417 0 196979 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 799508 KiB
Current children cumulated memory: 780688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.14 4.10 4.04 6/259 220014
/proc/meminfo: memFree=123496200/131524600 swapFree=131055836/131071996
[pid=217780] ppid=217774 vsize=750188 memory=743036 CPUtime=3600.01 cores=1,3
/proc/217780/stat : 217780 (CASHWMaxSAT-Dis) R 217774 217780 217708 0 -1 4194304 676787 0 0 0 358986 1015 0 0 20 0 1 0 24319540 768192512 185759 134679101440 4194304 14093885 140724799950352 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 50425856 140724799955941 140724799956056 140724799956056 140724799963071 0
/proc/217780/statm: 187547 185759 2542 2417 0 184649 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 750188 KiB
Current children cumulated memory: 743036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.86 s, system=10.1588 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.02
CPU user time (s): 3589.86
CPU system time (s): 10.1588
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 880416
Max. memory (cumulated for all children) (KiB): 844368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.86
system time used= 10.1588
maximum resident set size= 874788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676793
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= 128
involuntary context switches= 2722


# summary of solver processes directly reported to runsolver:
#   pid: 217780
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3589.86
#   total CPU system time (s): 10.1588

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15149 second user time and 17.5412 second system time

The end