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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458197-1721879566/watcher-4458197-1721879566 -o /tmp/evaluation-result-4458197-1721879566/solver-4458197-1721879566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721875956-207660 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4458197-1721879566.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=209698, runsolver pid=209695

[startup+0.100923 s]*
/proc/loadavg: 4.06 4.09 4.09 5/253 209708
/proc/meminfo: memFree=121864784/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=58812 memory=49156 CPUtime=0.09 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 10758 0 0 0 8 1 0 0 20 0 1 0 24486918 60223488 12289 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 14703 12289 2522 2726 0 11451 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58812 KiB
Current children cumulated memory: 49156 KiB

[startup+0.205924 s]*
/proc/loadavg: 4.06 4.09 4.09 5/256 209714
/proc/meminfo: memFree=121811816/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=66992 memory=56644 CPUtime=0.19 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 12547 0 0 0 18 1 0 0 20 0 1 0 24486918 68599808 14161 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 16748 14161 2618 2726 0 13496 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66992 KiB
Current children cumulated memory: 56644 KiB

[startup+0.305923 s]*
/proc/loadavg: 4.06 4.09 4.09 5/256 209714
/proc/meminfo: memFree=121792764/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=81652 memory=70920 CPUtime=0.29 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 16278 0 0 0 27 2 0 0 20 0 1 0 24486918 83611648 17730 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 20413 17730 2746 2726 0 17161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 81652 KiB
Current children cumulated memory: 70920 KiB

[startup+0.700218 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 209714
/proc/meminfo: memFree=121776464/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=83628 memory=72764 CPUtime=0.68 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 16732 0 0 0 66 2 0 0 20 0 1 0 24486918 85635072 18191 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 20907 18191 2746 2726 0 17655 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83628 KiB
Current children cumulated memory: 72764 KiB

[startup+1.50024 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 209714
/proc/meminfo: memFree=121762192/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=103232 memory=90544 CPUtime=1.47 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 22190 0 0 0 145 2 0 0 20 0 1 0 24486918 105709568 22636 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 25808 22636 2762 2726 0 22556 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 103232 KiB
Current children cumulated memory: 90544 KiB

[startup+3.10542 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 209716
/proc/meminfo: memFree=121759604/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=105428 memory=93448 CPUtime=3.07 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 22923 0 0 0 305 2 0 0 20 0 1 0 24486918 107958272 23362 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 26357 23362 2762 2726 0 23105 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105428 KiB
Current children cumulated memory: 93448 KiB

[startup+6.30017 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 209762
/proc/meminfo: memFree=123480072/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=128192 memory=110344 CPUtime=6.26 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 27174 0 0 0 623 3 0 0 20 0 1 0 24486918 131268608 27586 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 32048 27586 2762 2726 0 28796 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 128192 KiB
Current children cumulated memory: 110344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/256 209763
/proc/meminfo: memFree=123450176/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=134920 memory=112456 CPUtime=12.65 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 27686 0 0 0 1262 3 0 0 20 0 1 0 24486918 138158080 28114 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 33730 28114 2762 2726 0 30478 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134920 KiB
Current children cumulated memory: 112456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.09 4.08 5/256 209812
/proc/meminfo: memFree=123601032/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=150384 memory=127212 CPUtime=25.41 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 31302 0 0 0 2538 3 0 0 20 0 1 0 24486918 153993216 31803 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 37596 31803 2762 2726 0 34344 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 150384 KiB
Current children cumulated memory: 127212 KiB

[startup+51.1052 s]
/proc/loadavg: 4.02 4.08 4.08 5/256 209815
/proc/meminfo: memFree=123510440/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=159980 memory=141556 CPUtime=50.96 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 34061 0 0 0 5092 4 0 0 20 0 1 0 24486918 163819520 35389 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 39995 35389 2762 2726 0 36743 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 159980 KiB
Current children cumulated memory: 141556 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/256 209825
/proc/meminfo: memFree=123407988/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=170168 memory=161632 CPUtime=102.02 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 38385 0 0 0 10198 4 0 0 20 0 1 0 24486918 174252032 40408 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 42542 40408 2762 2726 0 39290 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 170168 KiB
Current children cumulated memory: 161632 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 210220
/proc/meminfo: memFree=123301552/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=193224 memory=185700 CPUtime=161.89 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 49965 0 0 0 16183 6 0 0 20 0 1 0 24486918 197861376 46425 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 48306 46425 2762 2726 0 45054 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 193224 KiB
Current children cumulated memory: 185700 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 210231
/proc/meminfo: memFree=123218576/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=223992 memory=216400 CPUtime=221.75 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 59962 0 0 0 22167 8 0 0 20 0 1 0 24486918 229367808 54100 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 55998 54100 3047 2726 0 52746 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 223992 KiB
Current children cumulated memory: 216400 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 210241
/proc/meminfo: memFree=123122864/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=236496 memory=221516 CPUtime=281.61 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 61886 0 0 0 28153 8 0 0 20 0 1 0 24486918 242171904 55379 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 59124 55379 3047 2726 0 55872 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 236496 KiB
Current children cumulated memory: 221516 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/259 210422
/proc/meminfo: memFree=123048796/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=249436 memory=226184 CPUtime=341.48 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 64993 0 0 0 34139 9 0 0 20 0 1 0 24486918 255422464 56546 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 62359 56546 3047 2726 0 59107 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 249436 KiB
Current children cumulated memory: 226184 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/259 210432
/proc/meminfo: memFree=122953748/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=283148 memory=254604 CPUtime=401.34 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 73119 0 0 0 40124 10 0 0 20 0 1 0 24486918 289943552 63651 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 70787 63651 3047 2726 0 67535 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 283148 KiB
Current children cumulated memory: 254604 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 210445
/proc/meminfo: memFree=122906596/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=300068 memory=257124 CPUtime=461.2 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 73826 0 0 0 46110 10 0 0 20 0 1 0 24486918 307269632 64281 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 75017 64281 3047 2726 0 71765 0

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

Current children cumulated memory: 471024 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 211558
/proc/meminfo: memFree=121966752/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=2855.32 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180551 0 0 0 285500 32 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/257 211569
/proc/meminfo: memFree=121961744/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=2915.15 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180605 0 0 0 291483 32 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 2915.15 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/257 211581
/proc/meminfo: memFree=121961268/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=2975 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180666 0 0 0 297468 32 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 2975 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/257 211592
/proc/meminfo: memFree=121959960/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3034.84 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180719 0 0 0 303452 32 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3034.84 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 211602
/proc/meminfo: memFree=121959164/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3094.69 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180778 0 0 0 309436 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 211614
/proc/meminfo: memFree=121954808/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3154.53 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180834 0 0 0 315420 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3154.53 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 211624
/proc/meminfo: memFree=121934636/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3214.37 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180886 0 0 0 321404 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 211635
/proc/meminfo: memFree=121843360/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3274.22 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180940 0 0 0 327389 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 211646
/proc/meminfo: memFree=121801224/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3334.05 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 180998 0 0 0 333372 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3334.05 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 211657
/proc/meminfo: memFree=121780736/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3393.9 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 181057 0 0 0 339357 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3393.9 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 211672
/proc/meminfo: memFree=121684228/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3453.74 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 181115 0 0 0 345341 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3453.74 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 211683
/proc/meminfo: memFree=121637880/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3513.58 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 181206 0 0 0 351325 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 211693
/proc/meminfo: memFree=121584720/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3573.42 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 181267 0 0 0 357309 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3573.42 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.10 4.10 4.09 5/256 211697
/proc/meminfo: memFree=121559904/131524600 swapFree=131054992/131071996
[pid=209698] ppid=209695 vsize=477940 memory=471024 CPUtime=3600.05 cores=4,6
/proc/209698/stat : 209698 (CASHWMaxSAT-Dis) R 209695 209698 207649 0 -1 4194304 181307 0 0 0 359972 33 0 0 20 0 1 0 24486918 489410560 117756 134679101440 4194304 15356333 140726853099696 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 50233344 140726853104611 140726853104727 140726853104727 140726853111742 0
/proc/209698/statm: 119485 117756 3111 2726 0 116233 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 477940 KiB
Current children cumulated memory: 471024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.73 s, system=0.333794 s

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

Child status: 10

Real time (s): 3609.01
CPU time (s): 3600.06
CPU user time (s): 3599.73
CPU system time (s): 0.333794
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 578956
Max. memory (cumulated for all children) (KiB): 547704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.73
system time used= 0.333794
maximum resident set size= 547704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181311
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= 50
involuntary context switches= 1700


# summary of solver processes directly reported to runsolver:
#   pid: 209698
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.73
#   total CPU system time (s): 0.333794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36333 second user time and 15.9143 second system time

The end