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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438683-1721213491/watcher-4438683-1721213491 -o /tmp/evaluation-result-4438683-1721213491/solver-4438683-1721213491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914127 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438683-1721213491.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=919854, runsolver pid=919851

[startup+0.100709 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 919855
/proc/meminfo: memFree=121732896/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=42560 memory=33532 CPUtime=0.1 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 6280 0 0 0 9 1 0 0 20 0 1 0 173518815 43581440 8383 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 10640 8383 2730 2726 0 7388 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42560 KiB
Current children cumulated memory: 33532 KiB

[startup+0.205609 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 919855
/proc/meminfo: memFree=121730916/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=44180 memory=35480 CPUtime=0.2 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 6690 0 0 0 19 1 0 0 20 0 1 0 173518815 45240320 8870 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 11045 8870 2762 2726 0 7793 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44180 KiB
Current children cumulated memory: 35480 KiB

[startup+0.305625 s]*
/proc/loadavg: 4.16 4.13 4.09 5/257 919855
/proc/meminfo: memFree=121730440/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=44536 memory=35744 CPUtime=0.3 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 6798 0 0 0 29 1 0 0 20 0 1 0 173518815 45604864 8936 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 11134 8936 2762 2726 0 7882 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44536 KiB
Current children cumulated memory: 35744 KiB

[startup+0.700228 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 919855
/proc/meminfo: memFree=121726940/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=48828 memory=39392 CPUtime=0.69 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 7687 0 0 0 68 1 0 0 20 0 1 0 173518815 49999872 9848 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 12207 9848 2762 2726 0 8955 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48828 KiB
Current children cumulated memory: 39392 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 919855
/proc/meminfo: memFree=121726232/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=60220 memory=49952 CPUtime=1.48 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 10342 0 0 0 147 1 0 0 20 0 1 0 173518815 61665280 12488 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 15055 12488 2762 2726 0 11803 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60220 KiB
Current children cumulated memory: 49952 KiB

[startup+3.10551 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 919856
/proc/meminfo: memFree=121699396/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=79700 memory=68696 CPUtime=3.08 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 15005 0 0 0 306 2 0 0 20 0 1 0 173518815 81612800 17174 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 19925 17174 2762 2726 0 16673 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79700 KiB
Current children cumulated memory: 68696 KiB

[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 919856
/proc/meminfo: memFree=121661072/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=122212 memory=108824 CPUtime=6.26 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 25043 0 0 0 623 3 0 0 20 0 1 0 173518815 125145088 27206 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 30553 27206 2762 2726 0 27301 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122212 KiB
Current children cumulated memory: 108824 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 919858
/proc/meminfo: memFree=121652596/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=131364 memory=114824 CPUtime=12.65 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 27689 0 0 0 1261 4 0 0 20 0 1 0 173518815 134516736 28706 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 32841 28706 2762 2726 0 29589 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131364 KiB
Current children cumulated memory: 114824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 919859
/proc/meminfo: memFree=121688744/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=140184 memory=123272 CPUtime=25.4 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 29783 0 0 0 2536 4 0 0 20 0 1 0 173518815 143548416 30818 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 35046 30818 2762 2726 0 31794 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 140184 KiB
Current children cumulated memory: 123272 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 919863
/proc/meminfo: memFree=121647816/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=182800 memory=162452 CPUtime=50.92 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 39829 0 0 0 5086 6 0 0 20 0 1 0 173518815 187187200 40613 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 45700 40613 2762 2726 0 42448 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 182800 KiB
Current children cumulated memory: 162452 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 919919
/proc/meminfo: memFree=122461152/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=205252 memory=184180 CPUtime=101.95 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 47383 0 0 0 10183 12 0 0 20 0 1 0 173518815 210178048 46045 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 51313 46045 2762 2726 0 48061 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 205252 KiB
Current children cumulated memory: 184180 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 919931
/proc/meminfo: memFree=122364656/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=221716 memory=197392 CPUtime=161.72 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 52853 0 0 0 16157 15 0 0 20 0 1 0 173518815 227037184 49348 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 55429 49348 2762 2726 0 52177 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 221716 KiB
Current children cumulated memory: 197392 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 919941
/proc/meminfo: memFree=122240536/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=310628 memory=285268 CPUtime=221.5 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 81201 0 0 0 22131 19 0 0 20 0 1 0 173518815 318083072 71317 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 77657 71317 2762 2726 0 74405 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 310628 KiB
Current children cumulated memory: 285268 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 920335
/proc/meminfo: memFree=122130668/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=365092 memory=345384 CPUtime=281.28 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 95667 0 0 0 28105 23 0 0 20 0 1 0 173518815 373854208 86346 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91273 86346 2762 2726 0 88021 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 365092 KiB
Current children cumulated memory: 345384 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 920345
/proc/meminfo: memFree=122119792/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=365652 memory=352064 CPUtime=341.09 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 95932 0 0 0 34085 24 0 0 20 0 1 0 173518815 374427648 88016 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91413 88016 2762 2726 0 88161 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 365652 KiB
Current children cumulated memory: 352064 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 920356
/proc/meminfo: memFree=122106856/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367508 memory=357688 CPUtime=400.89 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 96597 0 0 0 40065 24 0 0 20 0 1 0 173518815 376328192 89422 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91877 89422 2762 2726 0 88625 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 367508 KiB
Current children cumulated memory: 357688 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 920536
/proc/meminfo: memFree=121989640/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=368916 memory=359092 CPUtime=460.69 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 96807 0 0 0 46045 24 0 0 20 0 1 0 173518815 377769984 89773 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 92229 89773 2762 2726 0 88977 0

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

Current children cumulated memory: 360636 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 921649
/proc/meminfo: memFree=122485044/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=2912.56 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 134885 0 0 0 291216 40 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 2912.56 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 921664
/proc/meminfo: memFree=122483996/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=2972.35 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 134953 0 0 0 297195 40 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 2972.35 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 921676
/proc/meminfo: memFree=122483668/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3032.15 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135014 0 0 0 303175 40 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3032.15 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/256 921686
/proc/meminfo: memFree=122483192/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3091.95 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135088 0 0 0 309155 40 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 921697
/proc/meminfo: memFree=122482716/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3151.74 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135153 0 0 0 315134 40 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3151.74 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 921707
/proc/meminfo: memFree=122482276/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3211.54 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135219 0 0 0 321113 41 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3211.54 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/254 921717
/proc/meminfo: memFree=122481880/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3271.34 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135275 0 0 0 327093 41 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3271.34 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 921728
/proc/meminfo: memFree=122481304/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3331.13 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135352 0 0 0 333072 41 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3331.13 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3402.3 s]
/proc/loadavg: 3.53 3.95 4.03 4/247 921769
/proc/meminfo: memFree=122733224/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3390.94 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135418 0 0 0 339052 42 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3390.94 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3462.3 s]
/proc/loadavg: 3.19 3.77 3.97 4/247 921779
/proc/meminfo: memFree=122732748/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3450.74 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135488 0 0 0 345032 42 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3450.74 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3522.3 s]
/proc/loadavg: 3.19 3.66 3.91 4/247 921789
/proc/meminfo: memFree=122728036/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3510.54 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135547 0 0 0 351012 42 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3510.54 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.55 3.86 4/249 921804
/proc/meminfo: memFree=122727360/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3570.34 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135618 0 0 0 356992 42 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 3.23 3.53 3.84 4/249 921809
/proc/meminfo: memFree=122727220/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3600.05 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135661 0 0 0 359962 43 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.63 s, system=0.432393 s

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

[startup+3612.11 s]
/proc/loadavg: 3.23 3.53 3.84 4/249 921809
/proc/meminfo: memFree=122727220/131524600 swapFree=131071996/131071996
[pid=919854] ppid=919851 vsize=367564 memory=360636 CPUtime=3600.05 cores=0,2
/proc/919854/stat : 919854 (CASHWMaxSAT-Dis) R 919851 919854 914117 0 -1 4194304 135661 0 0 0 359962 43 0 0 20 0 1 0 173518815 376385536 90159 134679101440 4194304 15356333 140735573007184 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 26828800 140735573009378 140735573009494 140735573009494 140735573016510 0
/proc/919854/statm: 91891 90159 2810 2726 0 88639 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 367564 KiB
Current children cumulated memory: 360636 KiB

Child status: 10

Real time (s): 3612.11
CPU time (s): 3600.06
CPU user time (s): 3599.63
CPU system time (s): 0.432393
CPU usage (%): 99.6665
Max. virtual memory (cumulated for all children) (KiB): 501840
Max. memory (cumulated for all children) (KiB): 483796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.63
system time used= 0.432393
maximum resident set size= 483796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135663
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= 69
involuntary context switches= 25425


# summary of solver processes directly reported to runsolver:
#   pid: 919854
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.63
#   total CPU system time (s): 0.432393

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72126 second user time and 15.8243 second system time

The end