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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=213028, runsolver pid=213025

[startup+0.100897 s]*
/proc/loadavg: 4.17 4.18 4.12 5/257 213029
/proc/meminfo: memFree=112619876/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=36892 memory=21160 CPUtime=0.09 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 6173 0 0 0 8 1 0 0 20 0 1 0 25034674 37777408 5290 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 9223 5290 1002 2726 0 5971 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36892 KiB
Current children cumulated memory: 21160 KiB

[startup+0.20555 s]*
/proc/loadavg: 4.17 4.18 4.12 5/257 213029
/proc/meminfo: memFree=112593760/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=54904 memory=39228 CPUtime=0.2 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 10693 0 0 0 18 2 0 0 20 0 1 0 25034674 56221696 9807 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 13726 9807 1034 2726 0 10474 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54904 KiB
Current children cumulated memory: 39228 KiB

[startup+0.305448 s]*
/proc/loadavg: 4.17 4.18 4.12 5/257 213029
/proc/meminfo: memFree=112561124/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=79576 memory=66988 CPUtime=0.3 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 17018 0 0 0 27 3 0 0 20 0 1 0 25034674 81485824 16747 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 19894 16747 2362 2726 0 16642 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79576 KiB
Current children cumulated memory: 66988 KiB

[startup+0.700223 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 213029
/proc/meminfo: memFree=112421744/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=275528 memory=261196 CPUtime=0.69 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 65371 0 0 0 59 10 0 0 20 0 1 0 25034674 282140672 65299 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 68882 65299 2618 2726 0 65630 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 275528 KiB
Current children cumulated memory: 261196 KiB

[startup+1.50023 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 213029
/proc/meminfo: memFree=112325984/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=329220 memory=314972 CPUtime=1.49 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 78869 0 0 0 137 12 0 0 20 0 1 0 25034674 337121280 78743 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 82305 78743 2618 2726 0 79053 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 329220 KiB
Current children cumulated memory: 314972 KiB

[startup+3.10547 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 213029
/proc/meminfo: memFree=112295224/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=338580 memory=324860 CPUtime=3.09 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 81310 0 0 0 296 13 0 0 20 0 1 0 25034674 346705920 81215 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 84645 81215 2650 2726 0 81393 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 338580 KiB
Current children cumulated memory: 324860 KiB

[startup+6.30021 s]
/proc/loadavg: 4.24 4.20 4.12 5/257 213030
/proc/meminfo: memFree=111891176/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=349460 memory=335684 CPUtime=6.27 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 84030 0 0 0 613 14 0 0 20 0 1 0 25034674 357847040 83921 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 87365 83921 2650 2726 0 84113 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 349460 KiB
Current children cumulated memory: 335684 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.19 4.12 5/257 213030
/proc/meminfo: memFree=112138196/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=366716 memory=352844 CPUtime=12.65 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 88321 0 0 0 1248 17 0 0 20 0 1 0 25034674 375517184 88211 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 91679 88211 2650 2726 0 88427 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 366716 KiB
Current children cumulated memory: 352844 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.18 4.12 5/257 213034
/proc/meminfo: memFree=111848568/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=399276 memory=384752 CPUtime=25.41 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 96246 0 0 0 2519 22 0 0 20 0 1 0 25034674 408858624 96188 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 99819 96188 2650 2726 0 96567 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 399276 KiB
Current children cumulated memory: 384752 KiB

[startup+51.1054 s]
/proc/loadavg: 4.19 4.18 4.12 5/257 213037
/proc/meminfo: memFree=110308504/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=407408 memory=392432 CPUtime=50.94 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 98191 0 0 0 5070 24 0 0 20 0 1 0 25034674 417185792 98108 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 101852 98108 2650 2726 0 98600 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 407408 KiB
Current children cumulated memory: 392432 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/258 213429
/proc/meminfo: memFree=110477292/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=428440 memory=413480 CPUtime=101.99 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 103492 0 0 0 10173 26 0 0 20 0 1 0 25034674 438722560 103370 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 107110 103370 2650 2726 0 103858 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 428440 KiB
Current children cumulated memory: 413480 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.20 4.13 5/257 213440
/proc/meminfo: memFree=109216488/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=435584 memory=420596 CPUtime=161.82 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 105283 0 0 0 16155 27 0 0 20 0 1 0 25034674 446038016 105149 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 108896 105149 2650 2726 0 105644 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 435584 KiB
Current children cumulated memory: 420596 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.21 4.13 5/257 213495
/proc/meminfo: memFree=107110956/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=444596 memory=429832 CPUtime=221.65 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 107552 0 0 0 22137 28 0 0 20 0 1 0 25034674 455266304 107458 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 111149 107458 2650 2726 0 107897 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 444596 KiB
Current children cumulated memory: 429832 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.20 4.13 5/256 213674
/proc/meminfo: memFree=106219392/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=785208 memory=743604 CPUtime=281.48 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 145126 0 0 0 28111 37 0 0 20 0 1 0 25034674 804052992 185901 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 196302 185901 2746 2726 0 193050 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 785208 KiB
Current children cumulated memory: 743604 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.19 4.13 5/256 213684
/proc/meminfo: memFree=102532072/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=1035248 memory=920560 CPUtime=341.32 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 176688 0 0 0 34088 44 0 0 20 0 1 0 25034674 1060093952 230140 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 258812 230140 2762 2726 0 255560 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1035248 KiB
Current children cumulated memory: 920560 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/258 213754
/proc/meminfo: memFree=92354456/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=1158740 memory=963500 CPUtime=401.18 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 185948 0 0 0 40071 47 0 0 20 0 1 0 25034674 1186549760 240875 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 289685 240875 2762 2726 0 286433 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1158740 KiB
Current children cumulated memory: 963500 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.15 4.12 5/258 213904
/proc/meminfo: memFree=111149872/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=1161792 memory=966628 CPUtime=461.03 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 186734 0 0 0 46055 48 0 0 20 0 1 0 25034674 1189675008 241657 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 290448 241657 2762 2726 0 287196 0

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

Current children cumulated memory: 1546016 KiB

[startup+2862.3 s]
/proc/loadavg: 2.13 2.19 2.80 3/244 214975
/proc/meminfo: memFree=121443964/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1546016 CPUtime=2853.69 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 488794 0 0 0 285217 152 0 0 20 0 1 0 25034674 2456834048 386504 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 386504 2826 2726 0 596561 0
Current children cumulated CPU time: 2853.69 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1546016 KiB

[startup+2922.3 s]
/proc/loadavg: 2.09 2.17 2.75 3/244 214986
/proc/meminfo: memFree=121424708/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1564968 CPUtime=2913.55 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 488911 0 0 0 291203 152 0 0 20 0 1 0 25034674 2456834048 391242 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 391242 2826 2726 0 596561 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1564968 KiB

[startup+2982.3 s]
/proc/loadavg: 2.15 2.17 2.71 3/244 214996
/proc/meminfo: memFree=121404088/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1584772 CPUtime=2973.42 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489019 0 0 0 297190 152 0 0 20 0 1 0 25034674 2456834048 396193 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 396193 2826 2726 0 596561 0
Current children cumulated CPU time: 2973.42 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1584772 KiB

[startup+3042.3 s]
/proc/loadavg: 2.12 2.15 2.67 3/243 215006
/proc/meminfo: memFree=121402576/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1585580 CPUtime=3033.29 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489125 0 0 0 303176 153 0 0 20 0 1 0 25034674 2456834048 396395 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 396395 2826 2726 0 596561 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1585580 KiB

[startup+3102.3 s]
/proc/loadavg: 2.08 2.14 2.63 3/240 215018
/proc/meminfo: memFree=121373036/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1607808 CPUtime=3093.16 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489312 0 0 0 309163 153 0 0 20 0 1 0 25034674 2456834048 401952 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 401952 2826 2726 0 596561 0
Current children cumulated CPU time: 3093.16 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1607808 KiB

[startup+3162.3 s]
/proc/loadavg: 2.13 2.14 2.60 3/240 215028
/proc/meminfo: memFree=121341596/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1634412 CPUtime=3153.02 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489422 0 0 0 315149 153 0 0 20 0 1 0 25034674 2456834048 408603 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 408603 2826 2726 0 596561 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1634412 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.13 2.57 3/240 215038
/proc/meminfo: memFree=121307820/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1657072 CPUtime=3212.89 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489525 0 0 0 321136 153 0 0 20 0 1 0 25034674 2456834048 414268 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 414268 2826 2726 0 596561 0
Current children cumulated CPU time: 3212.89 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1657072 KiB

[startup+3282.3 s]
/proc/loadavg: 2.15 2.13 2.54 3/240 215049
/proc/meminfo: memFree=121260332/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1674240 CPUtime=3272.75 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489706 0 0 0 327122 153 0 0 20 0 1 0 25034674 2456834048 418560 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 418560 2826 2726 0 596561 0
Current children cumulated CPU time: 3272.75 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1674240 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.12 2.51 3/241 215062
/proc/meminfo: memFree=121238464/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1695004 CPUtime=3332.62 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489840 0 0 0 333109 153 0 0 20 0 1 0 25034674 2456834048 423751 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 423751 2826 2726 0 596561 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1695004 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.11 2.48 3/243 215076
/proc/meminfo: memFree=121211600/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1721216 CPUtime=3392.49 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 489956 0 0 0 339096 153 0 0 20 0 1 0 25034674 2456834048 430304 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 430304 2826 2726 0 596561 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1721216 KiB

[startup+3462.3 s]
/proc/loadavg: 2.35 2.19 2.49 3/243 215087
/proc/meminfo: memFree=121188404/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1743748 CPUtime=3452.36 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 490132 0 0 0 345083 153 0 0 20 0 1 0 25034674 2456834048 435937 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 435937 2826 2726 0 596561 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1743748 KiB

[startup+3522.3 s]
/proc/loadavg: 2.22 2.19 2.46 3/243 215098
/proc/meminfo: memFree=121187240/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1743748 CPUtime=3512.22 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 490263 0 0 0 351069 153 0 0 20 0 1 0 25034674 2456834048 435937 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 435937 2826 2726 0 596561 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1743748 KiB

[startup+3582.3 s]
/proc/loadavg: 2.23 2.20 2.45 3/244 215109
/proc/meminfo: memFree=121185956/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1743748 CPUtime=3572.05 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 490441 0 0 0 357052 153 0 0 20 0 1 0 25034674 2456834048 435937 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 435937 2826 2726 0 596561 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1743748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 2.14 2.18 2.43 3/244 215114
/proc/meminfo: memFree=121185500/131524600 swapFree=131054992/131071996
[pid=213028] ppid=213025 vsize=2399252 memory=1743748 CPUtime=3600.07 cores=4,6
/proc/213028/stat : 213028 (CASHWMaxSAT-Dis) R 213025 213028 207649 0 -1 4194304 490513 0 0 0 359854 153 0 0 20 0 1 0 25034674 2456834048 435937 134679101440 4194304 15356333 140724129643120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 44244992 140724129645539 140724129645655 140724129645655 140724129652670 0
/proc/213028/statm: 599813 435937 2826 2726 0 596561 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2399252 KiB
Current children cumulated memory: 1743748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.55 s, system=1.53928 s

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

Child status: 10

Real time (s): 3610.41
CPU time (s): 3600.09
CPU user time (s): 3598.55
CPU system time (s): 1.53928
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 2862148
Max. memory (cumulated for all children) (KiB): 1894112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.53928
maximum resident set size= 1894904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490515
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= 55
involuntary context switches= 1973


# summary of solver processes directly reported to runsolver:
#   pid: 213028
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.55
#   total CPU system time (s): 1.53928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46308 second user time and 15.6958 second system time

The end