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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439466-1721198243/watcher-4439466-1721198243 -o /tmp/evaluation-result-4439466-1721198243/solver-4439466-1721198243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721194641-907825 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439466-1721198243.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=909960, runsolver pid=909957

[startup+0.100888 s]*
/proc/loadavg: 4.07 4.09 4.02 5/255 909961
/proc/meminfo: memFree=123628320/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=40412 memory=21112 CPUtime=0.09 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 4934 0 0 0 9 0 0 0 20 0 1 0 171994021 41381888 5278 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 10103 5278 938 2550 0 7058 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40412 KiB
Current children cumulated memory: 21112 KiB

[startup+0.205618 s]*
/proc/loadavg: 4.07 4.09 4.02 5/255 909961
/proc/meminfo: memFree=123616896/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=52712 memory=33256 CPUtime=0.2 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 8000 0 0 0 19 1 0 0 20 0 1 0 171994021 53977088 8314 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 13178 8314 938 2550 0 10133 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52712 KiB
Current children cumulated memory: 33256 KiB

[startup+0.305556 s]*
/proc/loadavg: 4.07 4.09 4.02 5/255 909961
/proc/meminfo: memFree=123599308/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=68060 memory=50020 CPUtime=0.3 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 11632 0 0 0 28 2 0 0 20 0 1 0 171994021 69693440 12505 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 17015 12505 970 2550 0 13970 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68060 KiB
Current children cumulated memory: 50020 KiB

[startup+0.70023 s]
/proc/loadavg: 4.07 4.09 4.02 5/255 909961
/proc/meminfo: memFree=123575440/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=153072 memory=138068 CPUtime=0.68 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 32250 0 0 0 62 6 0 0 20 0 1 0 171994021 156745728 34517 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 38268 34517 2490 2550 0 35223 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153072 KiB
Current children cumulated memory: 138068 KiB

[startup+1.50023 s]
/proc/loadavg: 4.07 4.09 4.02 5/255 909961
/proc/meminfo: memFree=123477608/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=190012 memory=174948 CPUtime=1.48 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 40918 0 0 0 141 7 0 0 20 0 1 0 171994021 194572288 43737 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 47503 43737 2586 2550 0 44458 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190012 KiB
Current children cumulated memory: 174948 KiB

[startup+3.10565 s]
/proc/loadavg: 4.07 4.09 4.02 5/255 909961
/proc/meminfo: memFree=123365232/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=191456 memory=176412 CPUtime=3.08 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 41253 0 0 0 301 7 0 0 20 0 1 0 171994021 196050944 44103 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 47864 44103 2634 2550 0 44819 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 176412 KiB

[startup+6.30019 s]
/proc/loadavg: 4.14 4.10 4.02 5/255 909961
/proc/meminfo: memFree=122531432/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=191456 memory=176412 CPUtime=6.26 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 41255 0 0 0 619 7 0 0 20 0 1 0 171994021 196050944 44103 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 47864 44103 2634 2550 0 44819 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 191456 KiB
Current children cumulated memory: 176412 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.02 5/255 909962
/proc/meminfo: memFree=121799088/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=241416 memory=214392 CPUtime=12.64 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 50261 0 0 0 1255 9 0 0 20 0 1 0 171994021 247209984 53598 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 60354 53598 2650 2550 0 57309 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 241416 KiB
Current children cumulated memory: 214392 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.02 5/255 909964
/proc/meminfo: memFree=120942536/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=248700 memory=218276 CPUtime=25.4 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 50708 0 0 0 2530 10 0 0 20 0 1 0 171994021 254668800 54569 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 62175 54569 2650 2550 0 59130 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 248700 KiB
Current children cumulated memory: 218276 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.10 4.03 5/255 909968
/proc/meminfo: memFree=120916076/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=264164 memory=218764 CPUtime=50.92 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 50798 0 0 0 5082 10 0 0 20 0 1 0 171994021 270503936 54691 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 66041 54691 2650 2550 0 62996 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 264164 KiB
Current children cumulated memory: 218764 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/255 909977
/proc/meminfo: memFree=120765288/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=264528 memory=219284 CPUtime=101.93 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 50984 0 0 0 10183 10 0 0 20 0 1 0 171994021 270876672 54821 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 66132 54821 2650 2550 0 63087 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 264528 KiB
Current children cumulated memory: 219284 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/256 909989
/proc/meminfo: memFree=120689764/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=314288 memory=267012 CPUtime=161.71 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 62894 0 0 0 16159 12 0 0 20 0 1 0 171994021 321830912 66753 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 78572 66753 2650 2550 0 75527 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 314288 KiB
Current children cumulated memory: 267012 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.04 5/258 910004
/proc/meminfo: memFree=120664684/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=324084 memory=277816 CPUtime=221.49 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 65589 0 0 0 22137 12 0 0 20 0 1 0 171994021 331862016 69454 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 81021 69454 2650 2550 0 77976 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 324084 KiB
Current children cumulated memory: 277816 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/258 910015
/proc/meminfo: memFree=120607716/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=324084 memory=277936 CPUtime=281.26 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 65673 0 0 0 28114 12 0 0 20 0 1 0 171994021 331862016 69484 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 81021 69484 2650 2550 0 77976 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 324084 KiB
Current children cumulated memory: 277936 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/257 910026
/proc/meminfo: memFree=120593896/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=334292 memory=287164 CPUtime=341.04 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 68015 0 0 0 34091 13 0 0 20 0 1 0 171994021 342315008 71791 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 83573 71791 2650 2550 0 80528 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 334292 KiB
Current children cumulated memory: 287164 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/257 910037
/proc/meminfo: memFree=120249780/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=353888 memory=307216 CPUtime=400.81 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 72996 0 0 0 40067 14 0 0 20 0 1 0 171994021 362381312 76804 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 88472 76804 2650 2550 0 85427 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 353888 KiB
Current children cumulated memory: 307216 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/256 910047
/proc/meminfo: memFree=120216520/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=414272 memory=349624 CPUtime=460.58 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 83109 0 0 0 46043 15 0 0 20 0 1 0 171994021 424214528 87406 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 103568 87406 2650 2550 0 100523 0

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

Current children cumulated memory: 736844 KiB

[startup+2922.3 s]
/proc/loadavg: 4.27 4.18 4.11 5/256 911492
/proc/meminfo: memFree=121788716/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=767188 CPUtime=2911.37 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176291 0 0 0 291090 47 0 0 20 0 1 0 171994021 888086528 191797 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 191797 2666 2550 0 213773 0
Current children cumulated CPU time: 2911.37 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 767188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/255 911503
/proc/meminfo: memFree=121711244/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=796220 CPUtime=2971.18 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176378 0 0 0 297071 47 0 0 20 0 1 0 171994021 888086528 199055 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 199055 2666 2550 0 213773 0
Current children cumulated CPU time: 2971.18 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 796220 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 911514
/proc/meminfo: memFree=121634288/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3030.99 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176437 0 0 0 303052 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3030.99 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/257 911695
/proc/meminfo: memFree=121663484/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3090.8 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176580 0 0 0 309033 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3090.8 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 911705
/proc/meminfo: memFree=121650700/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3150.61 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176724 0 0 0 315014 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3150.61 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 911776
/proc/meminfo: memFree=121625136/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3210.42 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176842 0 0 0 320995 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3210.42 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/259 911786
/proc/meminfo: memFree=121649528/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3270.23 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 176960 0 0 0 326976 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3270.23 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 911797
/proc/meminfo: memFree=121640108/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3330.05 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177076 0 0 0 332958 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3330.05 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 911808
/proc/meminfo: memFree=121629628/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3389.86 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177193 0 0 0 338939 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3389.86 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 911818
/proc/meminfo: memFree=121616876/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3449.67 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177312 0 0 0 344920 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3449.67 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 911828
/proc/meminfo: memFree=121628896/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3509.49 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177436 0 0 0 350902 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 911840
/proc/meminfo: memFree=121622020/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3569.3 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177556 0 0 0 356883 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3569.3 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 911937
/proc/meminfo: memFree=122453904/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3600 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177642 0 0 0 359953 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.54 s, system=0.482151 s

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

[startup+3613.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 911937
/proc/meminfo: memFree=122453904/131524600 swapFree=131071996/131071996
[pid=909960] ppid=909957 vsize=867272 memory=801236 CPUtime=3600 cores=0,2
/proc/909960/stat : 909960 (CASHWMaxSAT-Dis) R 909957 909960 907815 0 -1 4194304 177642 0 0 0 359953 47 0 0 20 0 1 0 171994021 888086528 200309 134679101440 4194304 14636349 140732207729520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 52150272 140732207735778 140732207735894 140732207735894 140732207742910 0
/proc/909960/statm: 216818 200309 2666 2550 0 213773 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 867272 KiB
Current children cumulated memory: 801236 KiB

Child status: 10

Real time (s): 3613.11
CPU time (s): 3600.02
CPU user time (s): 3599.54
CPU system time (s): 0.482151
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 867272
Max. memory (cumulated for all children) (KiB): 801236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.54
system time used= 0.482151
maximum resident set size= 801244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177644
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= 64
involuntary context switches= 25435


# summary of solver processes directly reported to runsolver:
#   pid: 909960
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.54
#   total CPU system time (s): 0.482151

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67575 second user time and 16.1915 second system time

The end