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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438877-1721226705/watcher-4438877-1721226705 -o /tmp/evaluation-result-4438877-1721226705/solver-4438877-1721226705 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721217567-904288 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438877-1721226705.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB

solver pid=911226, runsolver pid=911223

[startup+0.100097 s]*
/proc/loadavg: 4.36 4.24 4.20 5/246 911227
/proc/meminfo: memFree=123232300/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=36772 memory=20828 CPUtime=0.1 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 6053 0 0 0 9 1 0 0 20 0 1 0 174829358 37654528 5207 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 9193 5207 1002 2726 0 5941 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36772 KiB
Current children cumulated memory: 20828 KiB

[startup+0.212957 s]*
/proc/loadavg: 4.36 4.24 4.20 5/246 911227
/proc/meminfo: memFree=123209616/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=55364 memory=39484 CPUtime=0.21 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 10705 0 0 0 20 1 0 0 20 0 1 0 174829358 56692736 9871 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 13841 9871 1050 2726 0 10589 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55364 KiB
Current children cumulated memory: 39484 KiB

[startup+0.312982 s]*
/proc/loadavg: 4.36 4.24 4.20 5/246 911227
/proc/meminfo: memFree=123201376/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=56448 memory=40540 CPUtime=0.31 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 10994 0 0 0 30 1 0 0 20 0 1 0 174829358 57802752 10135 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 14112 10135 1050 2726 0 10860 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56448 KiB
Current children cumulated memory: 40540 KiB

[startup+0.700345 s]
/proc/loadavg: 4.36 4.24 4.20 5/246 911227
/proc/meminfo: memFree=123190968/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=56448 memory=40540 CPUtime=0.68 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 10994 0 0 0 67 1 0 0 20 0 1 0 174829358 57802752 10135 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 14112 10135 1050 2726 0 10860 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56448 KiB
Current children cumulated memory: 40540 KiB

[startup+1.50028 s]
/proc/loadavg: 4.36 4.24 4.20 5/246 911227
/proc/meminfo: memFree=123126884/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=99584 memory=82284 CPUtime=1.49 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 18268 0 0 0 146 3 0 0 20 0 1 0 174829358 101974016 20571 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 24896 20571 1066 2726 0 21644 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 99584 KiB
Current children cumulated memory: 82284 KiB

[startup+3.1125 s]
/proc/loadavg: 4.41 4.26 4.20 5/246 911227
/proc/meminfo: memFree=122931204/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=205200 memory=175280 CPUtime=3.09 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 27971 0 0 0 303 6 0 0 20 0 1 0 174829358 210124800 43820 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 51300 43820 1066 2726 0 48048 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 205200 KiB
Current children cumulated memory: 175280 KiB

[startup+6.30028 s]
/proc/loadavg: 4.41 4.26 4.20 5/247 911275
/proc/meminfo: memFree=122964004/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=375504 memory=321420 CPUtime=6.27 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 41818 0 0 0 616 11 0 0 20 0 1 0 174829358 384516096 80355 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 93876 80355 1066 2726 0 90624 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 375504 KiB
Current children cumulated memory: 321420 KiB

[startup+12.7003 s]
/proc/loadavg: 4.50 4.28 4.21 5/247 911275
/proc/meminfo: memFree=119169312/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2092984 memory=2000376 CPUtime=12.65 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 233173 0 0 0 1202 63 0 0 20 0 1 0 174829358 2143215616 500094 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 523246 500094 1114 2726 0 519994 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2092984 KiB
Current children cumulated memory: 2000376 KiB

[startup+25.5003 s]
/proc/loadavg: 4.66 4.32 4.23 5/247 911278
/proc/meminfo: memFree=118102736/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2098276 memory=2005456 CPUtime=25.4 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 234606 0 0 0 2477 63 0 0 20 0 1 0 174829358 2148634624 501364 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 524569 501364 1114 2726 0 521317 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2098276 KiB
Current children cumulated memory: 2005456 KiB

[startup+51.113 s]
/proc/loadavg: 4.55 4.33 4.23 5/247 911282
/proc/meminfo: memFree=118081328/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2099736 memory=2007120 CPUtime=50.93 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 235235 0 0 0 5029 64 0 0 20 0 1 0 174829358 2150129664 501780 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 524934 501780 1114 2726 0 521682 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2099736 KiB
Current children cumulated memory: 2007120 KiB

[startup+102.3 s]
/proc/loadavg: 4.27 4.29 4.22 5/247 911291
/proc/meminfo: memFree=117329284/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2106224 memory=2013396 CPUtime=101.93 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 237152 0 0 0 10128 65 0 0 20 0 1 0 174829358 2156773376 503349 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 526556 503349 1114 2726 0 523304 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2106224 KiB
Current children cumulated memory: 2013396 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.26 4.21 5/246 911302
/proc/meminfo: memFree=113580480/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2126232 memory=2032844 CPUtime=161.71 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 240776 0 0 0 16103 68 0 0 20 0 1 0 174829358 2177261568 508211 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 531558 508211 1114 2726 0 528306 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2126232 KiB
Current children cumulated memory: 2032844 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/242 911312
/proc/meminfo: memFree=112900192/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2127864 memory=2034496 CPUtime=221.49 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 241443 0 0 0 22081 68 0 0 20 0 1 0 174829358 2178932736 508624 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 531966 508624 1146 2726 0 528714 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 2127864 KiB
Current children cumulated memory: 2034496 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.20 4.19 5/242 911323
/proc/meminfo: memFree=112625528/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2130628 memory=2036916 CPUtime=281.28 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 242341 0 0 0 28059 69 0 0 20 0 1 0 174829358 2181763072 509229 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 532657 509229 1146 2726 0 529405 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 2130628 KiB
Current children cumulated memory: 2036916 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.19 4.18 5/241 911333
/proc/meminfo: memFree=112458284/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2132188 memory=2038200 CPUtime=341.06 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 242946 0 0 0 34036 70 0 0 20 0 1 0 174829358 2183360512 509550 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 533047 509550 1146 2726 0 529795 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 2132188 KiB
Current children cumulated memory: 2038200 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/241 911343
/proc/meminfo: memFree=112235508/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2133052 memory=2039092 CPUtime=400.84 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 243448 0 0 0 40014 70 0 0 20 0 1 0 174829358 2184245248 509773 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 533263 509773 1146 2726 0 530011 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 2133052 KiB
Current children cumulated memory: 2039092 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/241 911354
/proc/meminfo: memFree=111389796/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=2134028 memory=2039888 CPUtime=460.62 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 243908 0 0 0 45991 71 0 0 20 0 1 0 174829358 2185244672 509972 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 533507 509972 1146 2726 0 530255 0
Current children cumulated CPU time: 460.62 s

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

Current children cumulated memory: 5515492 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.13 4.18 5/241 912357
/proc/meminfo: memFree=94175100/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5792952 memory=5573424 CPUtime=2851.93 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 972696 0 0 0 284630 563 0 0 20 0 1 0 174829358 5931982848 1393356 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1448238 1393356 1146 2726 0 1444986 0
Current children cumulated CPU time: 2851.93 s
Current children cumulated vsize: 5792952 KiB
Current children cumulated memory: 5573424 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.18 5/244 912372
/proc/meminfo: memFree=94165244/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5792952 memory=5576312 CPUtime=2911.73 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 973879 0 0 0 290608 565 0 0 20 0 1 0 174829358 5931982848 1394078 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1448238 1394078 1146 2726 0 1444986 0
Current children cumulated CPU time: 2911.73 s
Current children cumulated vsize: 5792952 KiB
Current children cumulated memory: 5576312 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.17 5/244 912382
/proc/meminfo: memFree=94592412/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5792952 memory=5579028 CPUtime=2971.56 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 975295 0 0 0 296589 567 0 0 20 0 1 0 174829358 5931982848 1394757 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1448238 1394757 1146 2726 0 1444986 0
Current children cumulated CPU time: 2971.56 s
Current children cumulated vsize: 5792952 KiB
Current children cumulated memory: 5579028 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/244 912393
/proc/meminfo: memFree=94608548/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5792952 memory=5579028 CPUtime=3031.38 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 976599 0 0 0 302570 568 0 0 20 0 1 0 174829358 5931982848 1394757 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1448238 1394757 1146 2726 0 1444986 0
Current children cumulated CPU time: 3031.38 s
Current children cumulated vsize: 5792952 KiB
Current children cumulated memory: 5579028 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 912404
/proc/meminfo: memFree=94608408/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5792952 memory=5579028 CPUtime=3091.21 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 977909 0 0 0 308551 570 0 0 20 0 1 0 174829358 5931982848 1394757 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1448238 1394757 1146 2726 0 1444986 0
Current children cumulated CPU time: 3091.21 s
Current children cumulated vsize: 5792952 KiB
Current children cumulated memory: 5579028 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 912415
/proc/meminfo: memFree=94622540/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680212 memory=5523912 CPUtime=3151.03 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 988752 0 0 0 314484 619 0 0 20 0 1 0 174829358 5816537088 1380978 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420053 1380978 1146 2726 0 1416801 0
Current children cumulated CPU time: 3151.03 s
Current children cumulated vsize: 5680212 KiB
Current children cumulated memory: 5523912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.16 6/246 912520
/proc/meminfo: memFree=94763696/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680212 memory=5527040 CPUtime=3210.86 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 990338 0 0 0 320466 620 0 0 20 0 1 0 174829358 5816537088 1381760 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420053 1381760 1146 2726 0 1416801 0
Current children cumulated CPU time: 3210.86 s
Current children cumulated vsize: 5680212 KiB
Current children cumulated memory: 5527040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.16 5/243 912820
/proc/meminfo: memFree=94697508/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680212 memory=5529804 CPUtime=3270.68 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 991552 0 0 0 326446 622 0 0 20 0 1 0 174829358 5816537088 1382451 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420053 1382451 1146 2726 0 1416801 0
Current children cumulated CPU time: 3270.68 s
Current children cumulated vsize: 5680212 KiB
Current children cumulated memory: 5529804 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/243 912830
/proc/meminfo: memFree=94706924/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680212 memory=5534832 CPUtime=3330.51 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 993040 0 0 0 332428 623 0 0 20 0 1 0 174829358 5816537088 1383708 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420053 1383708 1146 2726 0 1416801 0
Current children cumulated CPU time: 3330.51 s
Current children cumulated vsize: 5680212 KiB
Current children cumulated memory: 5534832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.15 6/246 912935
/proc/meminfo: memFree=94695468/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680212 memory=5535128 CPUtime=3390.33 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 994349 0 0 0 338408 625 0 0 20 0 1 0 174829358 5816537088 1383782 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420053 1383782 1146 2726 0 1416801 0
Current children cumulated CPU time: 3390.33 s
Current children cumulated vsize: 5680212 KiB
Current children cumulated memory: 5535128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/244 913020
/proc/meminfo: memFree=93005680/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680208 memory=5537304 CPUtime=3450.15 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 1003655 0 0 0 344350 665 0 0 20 0 1 0 174829358 5816532992 1384326 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420052 1384326 1146 2726 0 1416800 0
Current children cumulated CPU time: 3450.15 s
Current children cumulated vsize: 5680208 KiB
Current children cumulated memory: 5537304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.34 4.17 4.16 5/247 913089
/proc/meminfo: memFree=94199884/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680208 memory=5538600 CPUtime=3509.98 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 1004863 0 0 0 350331 667 0 0 20 0 1 0 174829358 5816532992 1384650 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420052 1384650 1146 2726 0 1416800 0
Current children cumulated CPU time: 3509.98 s
Current children cumulated vsize: 5680208 KiB
Current children cumulated memory: 5538600 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.17 4.16 5/245 913099
/proc/meminfo: memFree=94619260/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680208 memory=5539384 CPUtime=3569.81 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 1006323 0 0 0 356313 668 0 0 20 0 1 0 174829358 5816532992 1384846 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420052 1384846 1146 2726 0 1416800 0
Current children cumulated CPU time: 3569.81 s
Current children cumulated vsize: 5680208 KiB
Current children cumulated memory: 5539384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.07 4.13 4.15 4/236 913148
/proc/meminfo: memFree=117520356/131655788 swapFree=131071996/131071996
[pid=911226] ppid=911223 vsize=5680208 memory=5540112 CPUtime=3600.02 cores=0,2
/proc/911226/stat : 911226 (CASHWMaxSAT-Dis) R 911223 911226 904278 0 -1 4194304 1007088 0 0 0 359333 669 0 0 20 0 1 0 174829358 5816532992 1385028 134679101440 4194304 15356333 140734664829888 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 46043136 140734664836066 140734664836182 140734664836182 140734664843198 0
/proc/911226/statm: 1420052 1385028 1146 2726 0 1416800 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5680208 KiB
Current children cumulated memory: 5540112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.33 s, system=6.76519 s

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

Child status: 10

Real time (s): 3612.67
CPU time (s): 3600.1
CPU user time (s): 3593.33
CPU system time (s): 6.76519
CPU usage (%): 99.6519
Max. virtual memory (cumulated for all children) (KiB): 7188984
Max. memory (cumulated for all children) (KiB): 6686492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.33
system time used= 6.76519
maximum resident set size= 6686492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007091
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= 281
involuntary context switches= 25209


# summary of solver processes directly reported to runsolver:
#   pid: 911226
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.33
#   total CPU system time (s): 6.76519

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9616 second user time and 34.546 second system time

The end