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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459370-1721885637/watcher-4459370-1721885637 -o /tmp/evaluation-result-4459370-1721885637/solver-4459370-1721885637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721875936-269730 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4459370-1721885637.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=275745, runsolver pid=275742
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.11 4.11 4.09 5/258 275746
/proc/meminfo: memFree=108350432/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=39660 memory=21192 CPUtime=0.09 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 4654 0 0 0 9 0 0 0 20 0 1 0 25086280 40611840 5298 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 9915 5298 750 2417 0 7017 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39660 KiB
Current children cumulated memory: 21192 KiB

[startup+0.205679 s]*
/proc/loadavg: 4.11 4.11 4.09 5/258 275746
/proc/meminfo: memFree=108323756/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=65308 memory=47200 CPUtime=0.2 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 11375 0 0 0 19 1 0 0 20 0 1 0 25086280 66875392 11800 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 16327 11800 782 2417 0 13429 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 65308 KiB
Current children cumulated memory: 47200 KiB

[startup+0.305617 s]*
/proc/loadavg: 4.11 4.11 4.09 5/258 275746
/proc/meminfo: memFree=108321532/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=63324 memory=46212 CPUtime=0.3 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 12706 0 0 0 29 1 0 0 20 0 1 0 25086280 64843776 11553 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 15831 11553 782 2417 0 12933 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63324 KiB
Current children cumulated memory: 46212 KiB

[startup+0.700236 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 275746
/proc/meminfo: memFree=108258664/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=224952 memory=211600 CPUtime=0.69 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 52913 0 0 0 62 7 0 0 20 0 1 0 25086280 230350848 52900 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 56238 52900 2350 2417 0 53340 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 224952 KiB
Current children cumulated memory: 211600 KiB

[startup+1.50024 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 275746
/proc/meminfo: memFree=108089316/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=299436 memory=286952 CPUtime=1.48 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 71179 0 0 0 139 9 0 0 20 0 1 0 25086280 306622464 71738 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 74859 71738 2398 2417 0 71961 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 299436 KiB
Current children cumulated memory: 286952 KiB

[startup+3.10595 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 275746
/proc/meminfo: memFree=108186520/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=302340 memory=289912 CPUtime=3.08 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 71912 0 0 0 299 9 0 0 20 0 1 0 25086280 309596160 72478 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 75585 72478 2414 2417 0 72687 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 302340 KiB
Current children cumulated memory: 289912 KiB

[startup+6.30023 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 275747
/proc/meminfo: memFree=108164844/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=307328 memory=294392 CPUtime=6.27 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 73044 0 0 0 617 10 0 0 20 0 1 0 25086280 314703872 73598 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 76832 73598 2414 2417 0 73934 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 307328 KiB
Current children cumulated memory: 294392 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 275747
/proc/meminfo: memFree=108093372/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=316076 memory=303096 CPUtime=12.66 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 75226 0 0 0 1255 11 0 0 20 0 1 0 25086280 323661824 75774 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 79019 75774 2414 2417 0 76121 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 316076 KiB
Current children cumulated memory: 303096 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 275750
/proc/meminfo: memFree=108065436/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=357932 memory=344448 CPUtime=25.42 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 83052 0 0 0 2529 13 0 0 20 0 1 0 25086280 366522368 86112 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 89483 86112 2414 2417 0 86585 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 357932 KiB
Current children cumulated memory: 344448 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.11 4.09 6/258 275753
/proc/meminfo: memFree=107749616/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=365204 memory=351896 CPUtime=50.96 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 84923 0 0 0 5082 14 0 0 20 0 1 0 25086280 373968896 87974 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 91301 87974 2414 2417 0 88403 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 365204 KiB
Current children cumulated memory: 351896 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 275763
/proc/meminfo: memFree=108050104/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=375308 memory=361864 CPUtime=102.02 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 87466 0 0 0 10187 15 0 0 20 0 1 0 25086280 384315392 90466 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 93827 90466 2414 2417 0 90929 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 375308 KiB
Current children cumulated memory: 361864 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 275773
/proc/meminfo: memFree=107825888/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=604980 memory=569820 CPUtime=161.86 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 120497 0 0 0 16164 22 0 0 20 0 1 0 25086280 619499520 142455 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 151245 142455 2526 2417 0 148347 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 604980 KiB
Current children cumulated memory: 569820 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 275784
/proc/meminfo: memFree=107637512/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=883712 memory=726732 CPUtime=221.71 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 155173 0 0 0 22142 29 0 0 20 0 1 0 25086280 904921088 181683 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 220928 181683 2542 2417 0 218030 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 883712 KiB
Current children cumulated memory: 726732 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/254 275794
/proc/meminfo: memFree=107477332/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=969688 memory=812636 CPUtime=281.55 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 191086 0 0 0 28120 35 0 0 20 0 1 0 25086280 992960512 203159 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 242422 203159 2542 2417 0 239524 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 969688 KiB
Current children cumulated memory: 812636 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 275804
/proc/meminfo: memFree=107423856/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=1082940 memory=913448 CPUtime=341.39 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 216325 0 0 0 34100 39 0 0 20 0 1 0 25086280 1108930560 228362 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 270735 228362 2542 2417 0 267837 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1082940 KiB
Current children cumulated memory: 913448 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 275820
/proc/meminfo: memFree=107281172/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=1164072 memory=967740 CPUtime=401.21 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 235303 0 0 0 40079 42 0 0 20 0 1 0 25086280 1192009728 241935 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 291018 241935 2542 2417 0 288120 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1164072 KiB
Current children cumulated memory: 967740 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 275831
/proc/meminfo: memFree=107248564/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=1253900 memory=1044836 CPUtime=461.05 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 260474 0 0 0 46059 46 0 0 20 0 1 0 25086280 1283993600 261209 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 313475 261209 2542 2417 0 310577 0

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

Current children cumulated memory: 2025268 KiB

[startup+2922.3 s]
/proc/loadavg: 1.16 1.40 2.03 2/237 276945
/proc/meminfo: memFree=115442972/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2407844 memory=2035040 CPUtime=2913.74 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 559355 0 0 0 291082 292 0 0 20 0 1 0 25086280 2465632256 508760 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 601961 508760 2794 2417 0 599063 0
Current children cumulated CPU time: 2913.74 s
Current children cumulated vsize: 2407844 KiB
Current children cumulated memory: 2035040 KiB

[startup+2982.3 s]
/proc/loadavg: 1.10 1.34 1.97 2/236 276955
/proc/meminfo: memFree=115372068/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2105532 CPUtime=2973.55 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 560006 0 0 0 297061 294 0 0 20 0 1 0 25086280 2601066496 526383 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 526383 2794 2417 0 632128 0
Current children cumulated CPU time: 2973.55 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2105532 KiB

[startup+3042.3 s]
/proc/loadavg: 1.13 1.31 1.92 2/236 276965
/proc/meminfo: memFree=115376956/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2102416 CPUtime=3033.37 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 560722 0 0 0 303037 300 0 0 20 0 1 0 25086280 2601066496 525604 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 525604 2794 2417 0 632128 0
Current children cumulated CPU time: 3033.37 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2102416 KiB

[startup+3102.3 s]
/proc/loadavg: 1.10 1.26 1.86 2/235 277360
/proc/meminfo: memFree=115379860/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2096312 CPUtime=3093.18 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 561423 0 0 0 309012 306 0 0 20 0 1 0 25086280 2601066496 524078 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 524078 2794 2417 0 632128 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2096312 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.23 1.81 2/235 277370
/proc/meminfo: memFree=115380624/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2095496 CPUtime=3152.99 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 562141 0 0 0 314987 312 0 0 20 0 1 0 25086280 2601066496 523874 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 523874 2794 2417 0 632128 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2095496 KiB

[startup+3222.3 s]
/proc/loadavg: 1.43 1.28 1.79 2/235 277381
/proc/meminfo: memFree=115388736/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2087292 CPUtime=3212.8 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 562963 0 0 0 320962 318 0 0 20 0 1 0 25086280 2601066496 521823 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 521823 2794 2417 0 632128 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2087292 KiB

[startup+3282.3 s]
/proc/loadavg: 1.20 1.24 1.75 2/237 277561
/proc/meminfo: memFree=115388308/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2087304 CPUtime=3272.62 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 563774 0 0 0 326939 323 0 0 20 0 1 0 25086280 2601066496 521826 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 521826 2794 2417 0 632128 0
Current children cumulated CPU time: 3272.62 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2087304 KiB

[startup+3342.3 s]
/proc/loadavg: 1.18 1.23 1.71 2/238 277572
/proc/meminfo: memFree=115374160/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2101172 CPUtime=3332.44 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 564585 0 0 0 332916 328 0 0 20 0 1 0 25086280 2601066496 525293 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 525293 2794 2417 0 632128 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2101172 KiB

[startup+3402.3 s]
/proc/loadavg: 1.06 1.18 1.66 2/241 277644
/proc/meminfo: memFree=115355836/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2118936 CPUtime=3392.27 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 565388 0 0 0 338893 334 0 0 20 0 1 0 25086280 2601066496 529734 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 529734 2794 2417 0 632128 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2118936 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.18 1.63 2/241 277654
/proc/meminfo: memFree=115351560/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2122944 CPUtime=3452.07 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 566203 0 0 0 344868 339 0 0 20 0 1 0 25086280 2601066496 530736 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 530736 2794 2417 0 632128 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2122944 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.17 1.60 2/241 277665
/proc/meminfo: memFree=115343532/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2130624 CPUtime=3511.89 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 567036 0 0 0 350843 346 0 0 20 0 1 0 25086280 2601066496 532656 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 532656 2794 2417 0 632128 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2130624 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.16 1.56 2/241 277675
/proc/meminfo: memFree=115340392/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2133272 CPUtime=3571.71 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 567511 0 0 0 356819 352 0 0 20 0 1 0 25086280 2601066496 533318 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 533318 2794 2417 0 632128 0
Current children cumulated CPU time: 3571.71 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2133272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 1.06 1.14 1.54 2/239 277681
/proc/meminfo: memFree=115314572/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2161240 CPUtime=3600.03 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 567862 0 0 0 359650 353 0 0 20 0 1 0 25086280 2601066496 540310 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 540310 2794 2417 0 632128 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2161240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.5 s, system=3.56192 s

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

[startup+3610.7 s]
/proc/loadavg: 1.06 1.14 1.54 2/239 277681
/proc/meminfo: memFree=115314572/131524600 swapFree=131071216/131071996
[pid=275745] ppid=275742 vsize=2540104 memory=2161240 CPUtime=3600.03 cores=4,6
/proc/275745/stat : 275745 (CASHWMaxSAT-Dis) R 275742 275745 269719 0 -1 4194304 567862 0 0 0 359650 353 0 0 20 0 1 0 25086280 2601066496 540310 134679101440 4194304 14093885 140736884333440 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 27418624 140736884335589 140736884335704 140736884335704 140736884342719 0
/proc/275745/statm: 635026 540310 2794 2417 0 632128 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2540104 KiB
Current children cumulated memory: 2161240 KiB

Child status: 10

Real time (s): 3610.73
CPU time (s): 3600.06
CPU user time (s): 3596.5
CPU system time (s): 3.56192
CPU usage (%): 99.7046
Max. virtual memory (cumulated for all children) (KiB): 2751720
Max. memory (cumulated for all children) (KiB): 2333208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.5
system time used= 3.56192
maximum resident set size= 2376184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567865
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= 102
involuntary context switches= 3528


# summary of solver processes directly reported to runsolver:
#   pid: 275745
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.5
#   total CPU system time (s): 3.56192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18799 second user time and 17.345 second system time

The end