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-4458002-1721877731/watcher-4458002-1721877731 -o /tmp/evaluation-result-4458002-1721877731/solver-4458002-1721877731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721877731-262997 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4458002-1721877731.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=263059, runsolver pid=263043
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 2.10 2.10 2.37 8/242 263060
/proc/meminfo: memFree=123998728/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=29196 memory=14308 CPUtime=0.1 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 3029 0 0 0 10 0 0 0 20 0 1 0 23762966 29896704 3577 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 7299 3577 1066 2726 0 4047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29196 KiB
Current children cumulated memory: 14308 KiB

[startup+0.215477 s]*
/proc/loadavg: 2.10 2.10 2.37 8/242 263060
/proc/meminfo: memFree=123925176/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=47488 memory=37424 CPUtime=0.22 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 7870 0 0 0 20 2 0 0 20 0 1 0 23762966 48627712 9356 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 11872 9356 2378 2726 0 8620 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 47488 KiB
Current children cumulated memory: 37424 KiB

[startup+0.315588 s]*
/proc/loadavg: 2.10 2.10 2.37 9/242 263060
/proc/meminfo: memFree=123866620/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=74608 memory=64952 CPUtime=0.32 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 14625 0 0 0 27 5 0 0 20 0 1 0 23762966 76398592 16238 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 18652 16238 2538 2726 0 15400 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 74608 KiB
Current children cumulated memory: 64952 KiB

[startup+0.700326 s]
/proc/loadavg: 2.10 2.10 2.37 7/242 263060
/proc/meminfo: memFree=123774988/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=138920 memory=127352 CPUtime=0.69 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 30131 0 0 0 59 10 0 0 20 0 1 0 23762966 142254080 31838 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 34730 31838 2634 2726 0 31478 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138920 KiB
Current children cumulated memory: 127352 KiB

[startup+1.50031 s]
/proc/loadavg: 2.10 2.10 2.37 8/242 263060
/proc/meminfo: memFree=123632008/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=219460 memory=205372 CPUtime=1.48 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 50993 0 0 0 134 14 0 0 20 0 1 0 23762966 224727040 51343 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 54865 51343 2698 2726 0 51613 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 219460 KiB
Current children cumulated memory: 205372 KiB

[startup+3.11383 s]
/proc/loadavg: 2.26 2.13 2.38 8/242 263060
/proc/meminfo: memFree=123320920/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=307316 memory=288788 CPUtime=3.08 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 71763 0 0 0 290 18 0 0 20 0 1 0 23762966 314691584 72197 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 76829 72197 2778 2726 0 73577 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 307316 KiB
Current children cumulated memory: 288788 KiB

[startup+6.30027 s]
/proc/loadavg: 2.26 2.13 2.38 8/242 263060
/proc/meminfo: memFree=123302420/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=305560 memory=287636 CPUtime=6.25 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 73933 0 0 0 606 19 0 0 20 0 1 0 23762966 312893440 71909 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 76390 71909 2778 2726 0 73138 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 305560 KiB
Current children cumulated memory: 287636 KiB

[startup+12.7003 s]
/proc/loadavg: 2.40 2.16 2.38 8/242 263062
/proc/meminfo: memFree=123287256/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=320668 memory=288600 CPUtime=12.64 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 74249 0 0 0 1244 20 0 0 20 0 1 0 23762966 328364032 72150 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 80167 72150 2778 2726 0 76915 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 320668 KiB
Current children cumulated memory: 288600 KiB

[startup+25.5003 s]
/proc/loadavg: 2.75 2.25 2.41 8/242 263063
/proc/meminfo: memFree=122960064/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=451512 memory=403372 CPUtime=25.4 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 105998 0 0 0 2514 26 0 0 20 0 1 0 23762966 462348288 100843 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 112878 100843 2778 2726 0 109626 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 451512 KiB
Current children cumulated memory: 403372 KiB

[startup+51.1136 s]
/proc/loadavg: 3.24 2.41 2.46 8/242 263068
/proc/meminfo: memFree=122972316/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=430596 memory=394512 CPUtime=50.95 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 107277 0 0 0 5067 28 0 0 20 0 1 0 23762966 440930304 98628 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 107649 98628 2778 2726 0 104397 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 430596 KiB
Current children cumulated memory: 394512 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 2.67 2.55 8/242 263076
/proc/meminfo: memFree=122838856/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=430596 memory=394520 CPUtime=102 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 107349 0 0 0 10169 31 0 0 20 0 1 0 23762966 440930304 98630 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 107649 98630 2778 2726 0 104397 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 430596 KiB
Current children cumulated memory: 394520 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.93 2.65 8/242 263087
/proc/meminfo: memFree=122779684/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=430596 memory=394520 CPUtime=161.84 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 107349 0 0 0 16151 33 0 0 20 0 1 0 23762966 440930304 98630 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 107649 98630 2778 2726 0 104397 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 430596 KiB
Current children cumulated memory: 394520 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.14 2.74 8/240 263480
/proc/meminfo: memFree=122624256/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=430596 memory=394620 CPUtime=221.66 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 107411 0 0 0 22131 35 0 0 20 0 1 0 23762966 440930304 98655 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 107649 98655 2778 2726 0 104397 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 430596 KiB
Current children cumulated memory: 394620 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.33 2.83 8/240 263492
/proc/meminfo: memFree=122485752/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=451092 memory=420836 CPUtime=281.48 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 114362 0 0 0 28110 38 0 0 20 0 1 0 23762966 461918208 105209 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 112773 105209 2778 2726 0 109521 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 451092 KiB
Current children cumulated memory: 420836 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.47 2.91 8/238 263502
/proc/meminfo: memFree=122335644/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=525536 memory=493184 CPUtime=341.28 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 134837 0 0 0 34085 43 0 0 20 0 1 0 23762966 538148864 123296 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 131384 123296 3063 2726 0 128132 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 525536 KiB
Current children cumulated memory: 493184 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.58 2.99 8/240 263682
/proc/meminfo: memFree=122214428/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=565236 memory=520732 CPUtime=401.08 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 142699 0 0 0 40063 45 0 0 20 0 1 0 23762966 578801664 130183 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 141309 130183 3063 2726 0 138057 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 565236 KiB
Current children cumulated memory: 520732 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.69 3.06 8/240 263693
/proc/meminfo: memFree=122006364/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=551740 memory=522048 CPUtime=460.89 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 145803 0 0 0 46042 47 0 0 20 0 1 0 23762966 564981760 130512 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0

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

Current children cumulated memory: 808188 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.07 8/238 264750
/proc/meminfo: memFree=121100932/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=2854.28 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 278983 0 0 0 285341 87 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 2854.28 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.14 4.08 8/240 264764
/proc/meminfo: memFree=121094844/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=2914.14 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 279262 0 0 0 291327 87 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.08 8/240 264775
/proc/meminfo: memFree=121152056/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=2974.01 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 279484 0 0 0 297314 87 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 8/240 264785
/proc/meminfo: memFree=121086752/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3033.87 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 279801 0 0 0 303300 87 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/240 264796
/proc/meminfo: memFree=121076560/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3093.73 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 280058 0 0 0 309286 87 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/240 264806
/proc/meminfo: memFree=121076288/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3153.6 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 280307 0 0 0 315272 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 8/238 264816
/proc/meminfo: memFree=121081596/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3213.47 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 280599 0 0 0 321259 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 8/238 264827
/proc/meminfo: memFree=121047752/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3273.33 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 280841 0 0 0 327245 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/238 264837
/proc/meminfo: memFree=121145928/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3333.19 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 281199 0 0 0 333231 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 8/238 264849
/proc/meminfo: memFree=121125640/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3393.05 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 281475 0 0 0 339217 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 8/238 264859
/proc/meminfo: memFree=121124948/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3452.9 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 281788 0 0 0 345202 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 8/241 264874
/proc/meminfo: memFree=121123516/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3512.75 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 281982 0 0 0 351187 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 8/241 264886
/proc/meminfo: memFree=121122848/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3572.61 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 282198 0 0 0 357173 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.09 4.10 4.09 8/241 264891
/proc/meminfo: memFree=121089904/131655788 swapFree=131061684/131071996
[pid=263059] ppid=263043 vsize=814560 memory=808188 CPUtime=3600.04 cores=4,6
/proc/263059/stat : 263059 (CASHWMaxSAT-Dis) R 263043 263059 262986 0 -1 4194304 282312 0 0 0 359916 88 0 0 20 0 1 0 23762966 834109440 202047 134679101440 4194304 15356333 140731162764320 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 38522880 140731162772455 140731162772571 140731162772571 140731162779582 0
/proc/263059/statm: 203640 202047 3111 2726 0 200388 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 814560 KiB
Current children cumulated memory: 808188 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.16 s, system=0.890737 s

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

Child status: 10

Real time (s): 3609.8
CPU time (s): 3600.05
CPU user time (s): 3599.16
CPU system time (s): 0.890737
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 972772
Max. memory (cumulated for all children) (KiB): 953912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 0.890737
maximum resident set size= 953912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282317
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= 46
involuntary context switches= 2625


# summary of solver processes directly reported to runsolver:
#   pid: 263059
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.16
#   total CPU system time (s): 0.890737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1974 second user time and 39.0868 second system time

The end