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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457924-1721877731/watcher-4457924-1721877731 -o /tmp/evaluation-result-4457924-1721877731/solver-4457924-1721877731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721877731-262999 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4457924-1721877731.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100101 s]*
/proc/loadavg: 2.10 2.10 2.37 7/242 263060
/proc/meminfo: memFree=123999064/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=35484 memory=25852 CPUtime=0.1 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 4498 0 0 0 9 1 0 0 20 0 1 0 23762966 36335616 6463 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 8871 6463 2362 2726 0 5619 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35484 KiB
Current children cumulated memory: 25852 KiB

[startup+0.215667 s]*
/proc/loadavg: 2.10 2.10 2.37 6/242 263060
/proc/meminfo: memFree=123925176/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=65860 memory=55588 CPUtime=0.22 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 11698 0 0 0 19 3 0 0 20 0 1 0 23762966 67440640 13897 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 16465 13897 2618 2726 0 13213 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 65860 KiB
Current children cumulated memory: 55588 KiB

[startup+0.315503 s]*
/proc/loadavg: 2.10 2.10 2.37 7/242 263060
/proc/meminfo: memFree=123866956/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=69196 memory=59020 CPUtime=0.32 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 12589 0 0 0 28 4 0 0 20 0 1 0 23762966 70856704 14755 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 17299 14755 2618 2726 0 14047 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 69196 KiB
Current children cumulated memory: 59020 KiB

[startup+0.700365 s]
/proc/loadavg: 2.10 2.10 2.37 6/242 263060
/proc/meminfo: memFree=123774988/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=107828 memory=94332 CPUtime=0.69 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 21407 0 0 0 63 6 0 0 20 0 1 0 23762966 110415872 23583 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 26957 23583 2650 2726 0 23705 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107828 KiB
Current children cumulated memory: 94332 KiB

[startup+1.50035 s]
/proc/loadavg: 2.10 2.10 2.37 7/242 263060
/proc/meminfo: memFree=123632008/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=167692 memory=151696 CPUtime=1.48 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 37018 0 0 0 138 10 0 0 20 0 1 0 23762966 171716608 37924 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 41923 37924 2762 2726 0 38671 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167692 KiB
Current children cumulated memory: 151696 KiB

[startup+3.11393 s]
/proc/loadavg: 2.26 2.13 2.38 7/242 263060
/proc/meminfo: memFree=123320920/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=165212 memory=150636 CPUtime=3.09 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 37532 0 0 0 298 11 0 0 20 0 1 0 23762966 169177088 37659 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 41303 37659 2762 2726 0 38051 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 165212 KiB
Current children cumulated memory: 150636 KiB

[startup+6.30031 s]
/proc/loadavg: 2.26 2.13 2.38 7/242 263060
/proc/meminfo: memFree=123302420/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=180688 memory=158816 CPUtime=6.27 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 39584 0 0 0 615 12 0 0 20 0 1 0 23762966 185024512 39704 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 45172 39704 2762 2726 0 41920 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 180688 KiB
Current children cumulated memory: 158816 KiB

[startup+12.7003 s]
/proc/loadavg: 2.40 2.16 2.38 7/242 263062
/proc/meminfo: memFree=123287256/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=181680 memory=159872 CPUtime=12.65 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 39859 0 0 0 1253 12 0 0 20 0 1 0 23762966 186040320 39968 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 45420 39968 2762 2726 0 42168 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 181680 KiB
Current children cumulated memory: 159872 KiB

[startup+25.5003 s]
/proc/loadavg: 2.75 2.25 2.41 7/242 263063
/proc/meminfo: memFree=122960064/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=285112 memory=252956 CPUtime=25.42 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 65486 0 0 0 2525 17 0 0 20 0 1 0 23762966 291954688 63239 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 71278 63239 2762 2726 0 68026 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 285112 KiB
Current children cumulated memory: 252956 KiB

[startup+51.1143 s]
/proc/loadavg: 3.24 2.41 2.46 7/242 263068
/proc/meminfo: memFree=122972316/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=258412 memory=232556 CPUtime=50.95 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 66412 0 0 0 5075 20 0 0 20 0 1 0 23762966 264613888 58139 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 64603 58139 2762 2726 0 61351 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 258412 KiB
Current children cumulated memory: 232556 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 2.67 2.55 7/242 263076
/proc/meminfo: memFree=122838856/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=303588 memory=275188 CPUtime=101.97 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 81828 0 0 0 10166 31 0 0 20 0 1 0 23762966 310874112 68797 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 75897 68797 2762 2726 0 72645 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 303588 KiB
Current children cumulated memory: 275188 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.93 2.65 7/242 263087
/proc/meminfo: memFree=122779684/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=303588 memory=282364 CPUtime=161.75 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 100385 0 0 0 16129 46 0 0 20 0 1 0 23762966 310874112 70591 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 75897 70591 2762 2726 0 72645 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 303588 KiB
Current children cumulated memory: 282364 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.14 2.74 7/240 263480
/proc/meminfo: memFree=122624256/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=347524 memory=319704 CPUtime=221.54 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 118574 0 0 0 22096 58 0 0 20 0 1 0 23762966 355864576 79926 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 86881 79926 2762 2726 0 83629 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 347524 KiB
Current children cumulated memory: 319704 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.33 2.83 7/240 263492
/proc/meminfo: memFree=122485752/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=303588 memory=282372 CPUtime=281.32 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 118671 0 0 0 28072 60 0 0 20 0 1 0 23762966 310874112 70593 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 75897 70593 2762 2726 0 72645 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 303588 KiB
Current children cumulated memory: 282372 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.47 2.91 7/238 263502
/proc/meminfo: memFree=122335644/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=361492 memory=331504 CPUtime=341.09 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 131038 0 0 0 34046 63 0 0 20 0 1 0 23762966 370167808 82876 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 90373 82876 2762 2726 0 87121 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 361492 KiB
Current children cumulated memory: 331504 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.58 2.99 7/240 263682
/proc/meminfo: memFree=122214428/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=361492 memory=331736 CPUtime=400.87 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 131118 0 0 0 40023 64 0 0 20 0 1 0 23762966 370167808 82934 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 90373 82934 2762 2726 0 87121 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 361492 KiB
Current children cumulated memory: 331736 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.69 3.06 7/240 263693
/proc/meminfo: memFree=122006364/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=373308 memory=350744 CPUtime=460.65 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 135884 0 0 0 45999 66 0 0 20 0 1 0 23762966 382267392 87686 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 93327 87686 2762 2726 0 90075 0

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

Current children cumulated memory: 329652 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.07 7/238 264750
/proc/meminfo: memFree=121100932/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=396844 memory=389512 CPUtime=2852.41 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 174470 0 0 0 285097 144 0 0 20 0 1 0 23762966 406368256 97378 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 99211 97378 2826 2726 0 95959 0
Current children cumulated CPU time: 2852.41 s
Current children cumulated vsize: 396844 KiB
Current children cumulated memory: 389512 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.14 4.08 7/240 264764
/proc/meminfo: memFree=121094844/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=402548 memory=395216 CPUtime=2912.26 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 177990 0 0 0 291072 154 0 0 20 0 1 0 23762966 412209152 98804 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 100637 98804 2826 2726 0 97385 0
Current children cumulated CPU time: 2912.26 s
Current children cumulated vsize: 402548 KiB
Current children cumulated memory: 395216 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.08 7/240 264775
/proc/meminfo: memFree=121152056/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=336984 memory=329652 CPUtime=2972.11 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 181598 0 0 0 297049 162 0 0 20 0 1 0 23762966 345071616 82413 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 84246 82413 2826 2726 0 80994 0
Current children cumulated CPU time: 2972.11 s
Current children cumulated vsize: 336984 KiB
Current children cumulated memory: 329652 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 7/240 264785
/proc/meminfo: memFree=121086752/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=397676 memory=390344 CPUtime=3031.96 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 185938 0 0 0 303026 170 0 0 20 0 1 0 23762966 407220224 97586 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 99419 97586 2826 2726 0 96167 0
Current children cumulated CPU time: 3031.96 s
Current children cumulated vsize: 397676 KiB
Current children cumulated memory: 390344 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/240 264796
/proc/meminfo: memFree=121076560/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=407656 memory=400324 CPUtime=3091.81 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 189934 0 0 0 309001 180 0 0 20 0 1 0 23762966 417439744 100081 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 101914 100081 2826 2726 0 98662 0
Current children cumulated CPU time: 3091.81 s
Current children cumulated vsize: 407656 KiB
Current children cumulated memory: 400324 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/240 264806
/proc/meminfo: memFree=121076288/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=407484 memory=400152 CPUtime=3151.65 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 193835 0 0 0 314977 188 0 0 20 0 1 0 23762966 417263616 100038 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 101871 100038 2826 2726 0 98619 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 407484 KiB
Current children cumulated memory: 400152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 7/238 264816
/proc/meminfo: memFree=121081596/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=401692 memory=394360 CPUtime=3211.5 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 197312 0 0 0 320955 195 0 0 20 0 1 0 23762966 411332608 98590 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 100423 98590 2826 2726 0 97171 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 401692 KiB
Current children cumulated memory: 394360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 7/238 264827
/proc/meminfo: memFree=121047752/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=435172 memory=427840 CPUtime=3271.35 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 200031 0 0 0 326933 202 0 0 20 0 1 0 23762966 445616128 106960 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 108793 106960 2826 2726 0 105541 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 435172 KiB
Current children cumulated memory: 427840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/238 264837
/proc/meminfo: memFree=121145928/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=336984 memory=329652 CPUtime=3331.2 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 200185 0 0 0 332918 202 0 0 20 0 1 0 23762966 345071616 82413 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 84246 82413 2826 2726 0 80994 0
Current children cumulated CPU time: 3331.2 s
Current children cumulated vsize: 336984 KiB
Current children cumulated memory: 329652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 7/238 264849
/proc/meminfo: memFree=121125640/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=357132 memory=349700 CPUtime=3391.04 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 200723 0 0 0 338902 202 0 0 20 0 1 0 23762966 365703168 87425 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 89283 87425 2826 2726 0 86031 0
Current children cumulated CPU time: 3391.04 s
Current children cumulated vsize: 357132 KiB
Current children cumulated memory: 349700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 7/238 264859
/proc/meminfo: memFree=121124948/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=357352 memory=350072 CPUtime=3450.89 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 200880 0 0 0 344886 203 0 0 20 0 1 0 23762966 365928448 87518 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 89338 87518 2826 2726 0 86086 0
Current children cumulated CPU time: 3450.89 s
Current children cumulated vsize: 357352 KiB
Current children cumulated memory: 350072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 7/241 264874
/proc/meminfo: memFree=121123516/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=358504 memory=351068 CPUtime=3510.73 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 201252 0 0 0 350870 203 0 0 20 0 1 0 23762966 367108096 87767 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 89626 87767 2826 2726 0 86374 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 358504 KiB
Current children cumulated memory: 351068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 7/241 264886
/proc/meminfo: memFree=121122848/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=358864 memory=351508 CPUtime=3570.58 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 201430 0 0 0 356854 204 0 0 20 0 1 0 23762966 367476736 87877 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 89716 87877 2826 2726 0 86464 0
Current children cumulated CPU time: 3570.58 s
Current children cumulated vsize: 358864 KiB
Current children cumulated memory: 351508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.09 4.10 4.09 6/241 264983
/proc/meminfo: memFree=123013788/131655788 swapFree=131061684/131071996
[pid=263052] ppid=263042 vsize=391472 memory=384084 CPUtime=3600 cores=5,7
/proc/263052/stat : 263052 (CASHWMaxSAT-Dis) R 263042 263052 262986 0 -1 4194304 202418 0 0 0 359795 205 0 0 20 0 1 0 23762966 400867328 96021 134679101440 4194304 15356333 140727471138400 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 50663424 140727471145959 140727471146075 140727471146075 140727471153086 0
/proc/263052/statm: 97868 96021 2826 2726 0 94616 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 391472 KiB
Current children cumulated memory: 384084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.95 s, system=2.05703 s

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

Child status: 10

Real time (s): 3611.8
CPU time (s): 3600.01
CPU user time (s): 3597.95
CPU system time (s): 2.05703
CPU usage (%): 99.6734
Max. virtual memory (cumulated for all children) (KiB): 495320
Max. memory (cumulated for all children) (KiB): 487916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.95
system time used= 2.05703
maximum resident set size= 495660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202420
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= 26
involuntary context switches= 5175


# summary of solver processes directly reported to runsolver:
#   pid: 263052
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3597.95
#   total CPU system time (s): 2.05703

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6642 second user time and 39.2357 second system time

The end