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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439152-1721203675/watcher-4439152-1721203675 -o /tmp/evaluation-result-4439152-1721203675/solver-4439152-1721203675 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890809 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439152-1721203675.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
Current StackSize limit: 8192 KiB

solver pid=895993, runsolver pid=895990

[startup+0.101017 s]*
/proc/loadavg: 4.08 4.15 4.14 5/242 895994
/proc/meminfo: memFree=124597964/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=26556 memory=12236 CPUtime=0.1 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 2332 0 0 0 10 0 0 0 20 0 1 0 172525515 27193344 3059 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 6689 3059 878 2594 0 3582 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26556 KiB
Current children cumulated memory: 12236 KiB

[startup+0.213107 s]*
/proc/loadavg: 4.08 4.15 4.14 5/242 895994
/proc/meminfo: memFree=124578496/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=46668 memory=32036 CPUtime=0.21 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 7278 0 0 0 21 0 0 0 20 0 1 0 172525515 47788032 8009 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 11667 8009 878 2594 0 8560 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46668 KiB
Current children cumulated memory: 32036 KiB

[startup+0.312859 s]*
/proc/loadavg: 4.08 4.15 4.14 5/242 895994
/proc/meminfo: memFree=124560584/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=64312 memory=49724 CPUtime=0.31 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 11683 0 0 0 30 1 0 0 20 0 1 0 172525515 65855488 12431 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 16078 12431 878 2594 0 12971 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64312 KiB
Current children cumulated memory: 49724 KiB

[startup+0.700345 s]
/proc/loadavg: 4.08 4.15 4.14 5/242 895994
/proc/meminfo: memFree=124525172/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=182440 memory=173804 CPUtime=0.69 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 41871 0 0 0 63 6 0 0 20 0 1 0 172525515 186818560 43451 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 45610 43451 2446 2594 0 42503 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 182440 KiB
Current children cumulated memory: 173804 KiB

[startup+1.50028 s]
/proc/loadavg: 4.08 4.15 4.14 5/242 895994
/proc/meminfo: memFree=124347076/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=342588 memory=331976 CPUtime=1.48 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 81303 0 0 0 136 12 0 0 20 0 1 0 172525515 350810112 82994 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 85647 82994 2526 2594 0 82540 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 342588 KiB
Current children cumulated memory: 331976 KiB

[startup+3.1129 s]
/proc/loadavg: 4.08 4.15 4.14 5/242 895994
/proc/meminfo: memFree=124087828/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=577976 memory=521836 CPUtime=3.09 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 86354 0 0 0 293 16 0 0 20 0 1 0 172525515 591847424 130459 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 144494 130459 2558 2594 0 141387 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 577976 KiB
Current children cumulated memory: 521836 KiB

[startup+6.3003 s]
/proc/loadavg: 4.07 4.15 4.14 5/242 895994
/proc/meminfo: memFree=123986012/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=718580 memory=645936 CPUtime=6.27 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 119568 0 0 0 606 21 0 0 20 0 1 0 172525515 735825920 161484 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 179645 161484 2670 2594 0 176538 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 718580 KiB
Current children cumulated memory: 645936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.07 4.14 4.14 5/242 895996
/proc/meminfo: memFree=123943504/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=755876 memory=659884 CPUtime=12.65 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 123833 0 0 0 1243 22 0 0 20 0 1 0 172525515 774017024 164971 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 188969 164971 2670 2594 0 185862 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 755876 KiB
Current children cumulated memory: 659884 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.15 4.14 5/242 895997
/proc/meminfo: memFree=123901700/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=779532 memory=660392 CPUtime=25.42 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 123978 0 0 0 2519 23 0 0 20 0 1 0 172525515 798240768 165098 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 194883 165098 2670 2594 0 191776 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 779532 KiB
Current children cumulated memory: 660392 KiB

[startup+51.1126 s]
/proc/loadavg: 4.16 4.16 4.14 5/242 896002
/proc/meminfo: memFree=123852424/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=815944 memory=663392 CPUtime=50.96 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 125375 0 0 0 5072 24 0 0 20 0 1 0 172525515 835526656 165848 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 203986 165848 2670 2594 0 200879 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 815944 KiB
Current children cumulated memory: 663392 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/242 896012
/proc/meminfo: memFree=123642732/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1122876 memory=796760 CPUtime=102 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 175877 0 0 0 10167 33 0 0 20 0 1 0 172525515 1149825024 199190 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 280719 199190 2670 2594 0 277612 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1122876 KiB
Current children cumulated memory: 796760 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/244 896026
/proc/meminfo: memFree=123464556/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1304020 memory=908160 CPUtime=161.84 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 203193 0 0 0 16146 38 0 0 20 0 1 0 172525515 1335316480 227040 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 326005 227040 2670 2594 0 322898 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1304020 KiB
Current children cumulated memory: 908160 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/243 896037
/proc/meminfo: memFree=123448100/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1305708 memory=911212 CPUtime=221.66 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 228784 0 0 0 22124 42 0 0 20 0 1 0 172525515 1337044992 227803 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 326427 227803 2670 2594 0 323320 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1305708 KiB
Current children cumulated memory: 911212 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/243 896048
/proc/meminfo: memFree=123248328/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1492012 memory=1040016 CPUtime=281.49 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 265444 0 0 0 28101 48 0 0 20 0 1 0 172525515 1527820288 260004 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 373003 260004 2670 2594 0 369896 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1492012 KiB
Current children cumulated memory: 1040016 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/243 896058
/proc/meminfo: memFree=123118896/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1533304 memory=1081428 CPUtime=341.32 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 285077 0 0 0 34081 51 0 0 20 0 1 0 172525515 1570103296 270357 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 383326 270357 2670 2594 0 380219 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1533304 KiB
Current children cumulated memory: 1081428 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/243 896069
/proc/meminfo: memFree=123059132/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1594832 memory=1130504 CPUtime=401.15 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 305375 0 0 0 40060 55 0 0 20 0 1 0 172525515 1633107968 282626 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 398708 282626 2670 2594 0 395601 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1594832 KiB
Current children cumulated memory: 1130504 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/243 896081
/proc/meminfo: memFree=123002384/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1691768 memory=1163488 CPUtime=461 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 306931 0 0 0 46043 57 0 0 20 0 1 0 172525515 1732370432 290872 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 422942 290872 2670 2594 0 419835 0

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

Current children cumulated memory: 1490888 KiB

[startup+2922.3 s]
/proc/loadavg: 1.53 2.08 2.86 2/223 897627
/proc/meminfo: memFree=126095500/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=2914.85 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518324 0 0 0 291378 107 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 2914.85 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+2982.3 s]
/proc/loadavg: 1.30 1.92 2.75 2/223 897639
/proc/meminfo: memFree=126095000/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=2974.72 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518424 0 0 0 297365 107 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3042.3 s]
/proc/loadavg: 1.24 1.78 2.65 2/224 897818
/proc/meminfo: memFree=126094232/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3034.61 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518492 0 0 0 303353 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3034.61 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3102.3 s]
/proc/loadavg: 1.17 1.65 2.55 2/223 897828
/proc/meminfo: memFree=126093932/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3094.48 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518583 0 0 0 309340 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.55 2.46 2/224 897844
/proc/meminfo: memFree=126093304/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3154.36 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518694 0 0 0 315328 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3154.36 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.46 2.37 2/222 897865
/proc/meminfo: memFree=126092788/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3214.23 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518807 0 0 0 321315 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3282.3 s]
/proc/loadavg: 1.07 1.39 2.29 2/222 897875
/proc/meminfo: memFree=126092196/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3274.1 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518872 0 0 0 327302 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3274.1 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.33 2.21 2/223 897887
/proc/meminfo: memFree=126091528/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3333.98 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 518955 0 0 0 333290 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3402.3 s]
/proc/loadavg: 1.07 1.28 2.13 2/223 897899
/proc/meminfo: memFree=126091068/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3393.85 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 519050 0 0 0 339277 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3462.3 s]
/proc/loadavg: 1.20 1.28 2.08 2/222 897913
/proc/meminfo: memFree=126090416/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3453.72 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 519152 0 0 0 345264 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.22 2.01 2/222 897924
/proc/meminfo: memFree=126089812/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3513.59 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 519204 0 0 0 351251 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

[startup+3582.3 s]
/proc/loadavg: 1.13 1.21 1.95 2/222 897935
/proc/meminfo: memFree=126089164/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3573.46 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 519292 0 0 0 357238 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3573.46 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 1.09 1.19 1.93 3/222 897940
/proc/meminfo: memFree=126089008/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3600 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 519321 0 0 0 359892 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.93 s, system=1.09317 s

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

[startup+3608.9 s]
/proc/loadavg: 1.09 1.19 1.93 3/222 897940
/proc/meminfo: memFree=126089008/131655788 swapFree=131071996/131071996
[pid=895993] ppid=895990 vsize=1911384 memory=1490888 CPUtime=3600 cores=4,6
/proc/895993/stat : 895993 (CASHWMaxSAT-Dis) R 895990 895993 890798 0 -1 4194304 519321 0 0 0 359892 108 0 0 20 0 1 0 172525515 1957257216 372722 134679101440 4194304 14817773 140731730083264 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39407616 140731730084836 140731730084951 140731730084951 140731730091967 0
/proc/895993/statm: 477846 372722 2718 2594 0 474739 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1911384 KiB
Current children cumulated memory: 1490888 KiB

Child status: 10

Real time (s): 3608.91
CPU time (s): 3600.02
CPU user time (s): 3598.93
CPU system time (s): 1.09317
CPU usage (%): 99.7536
Max. virtual memory (cumulated for all children) (KiB): 2587076
Max. memory (cumulated for all children) (KiB): 2080540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.09317
maximum resident set size= 2080540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519324
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= 108
involuntary context switches= 1865


# summary of solver processes directly reported to runsolver:
#   pid: 895993
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.93
#   total CPU system time (s): 1.09317

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.798 second user time and 32.6705 second system time

The end