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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439956-1721198241/watcher-4439956-1721198241 -o /tmp/evaluation-result-4439956-1721198241/solver-4439956-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886676 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439956-1721198241.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=888753, runsolver pid=888750

[startup+0.100111 s]*
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=124514932/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=42372 memory=23848 CPUtime=0.1 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 5337 0 0 0 10 0 0 0 20 0 1 0 171983316 43388928 5962 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 10593 5962 750 2417 0 7695 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42372 KiB
Current children cumulated memory: 23848 KiB

[startup+0.212996 s]*
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=124490272/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=62852 memory=44100 CPUtime=0.22 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 10421 0 0 0 21 1 0 0 20 0 1 0 171983316 64360448 11025 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 15713 11025 750 2417 0 12815 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 62852 KiB
Current children cumulated memory: 44100 KiB

[startup+0.31266 s]*
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=124448404/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=80592 memory=62316 CPUtime=0.31 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 14926 0 0 0 30 1 0 0 20 0 1 0 171983316 82526208 15579 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 20148 15579 750 2417 0 17250 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 80592 KiB
Current children cumulated memory: 62316 KiB

[startup+0.70034 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=124281960/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=209184 memory=198464 CPUtime=0.68 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 47885 0 0 0 62 6 0 0 20 0 1 0 171983316 214204416 49616 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 52296 49616 2350 2417 0 49398 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 209184 KiB
Current children cumulated memory: 198464 KiB

[startup+1.50034 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=124060720/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=255440 memory=244136 CPUtime=1.49 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 59305 0 0 0 140 9 0 0 20 0 1 0 171983316 261570560 61034 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 63860 61034 2350 2417 0 60962 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 255440 KiB
Current children cumulated memory: 244136 KiB

[startup+3.11268 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=123657856/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=529816 memory=496900 CPUtime=3.1 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 84577 0 0 0 295 15 0 0 20 0 1 0 171983316 542531584 124225 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 132454 124225 2510 2417 0 129556 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 529816 KiB
Current children cumulated memory: 496900 KiB

[startup+6.30032 s]
/proc/loadavg: 4.07 4.09 4.03 5/241 888754
/proc/meminfo: memFree=122971440/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=571528 memory=525852 CPUtime=6.27 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 90779 0 0 0 611 16 0 0 20 0 1 0 171983316 585244672 131463 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 142882 131463 2526 2417 0 139984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 571528 KiB
Current children cumulated memory: 525852 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.10 4.03 5/241 888801
/proc/meminfo: memFree=123314652/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=590380 memory=527908 CPUtime=12.66 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 91311 0 0 0 1249 17 0 0 20 0 1 0 171983316 604549120 131977 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 147595 131977 2526 2417 0 144697 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 590380 KiB
Current children cumulated memory: 527908 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.10 4.03 5/241 888803
/proc/meminfo: memFree=123287916/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=671116 memory=537764 CPUtime=25.43 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 92818 0 0 0 2525 18 0 0 20 0 1 0 171983316 687222784 134441 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 167779 134441 2526 2417 0 164881 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 671116 KiB
Current children cumulated memory: 537764 KiB

[startup+51.1128 s]
/proc/loadavg: 4.14 4.11 4.03 5/241 888808
/proc/meminfo: memFree=123100416/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=859420 memory=653524 CPUtime=50.95 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 121217 0 0 0 5072 23 0 0 20 0 1 0 171983316 880046080 163381 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 214855 163381 2526 2417 0 211957 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 859420 KiB
Current children cumulated memory: 653524 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/241 888817
/proc/meminfo: memFree=123018120/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=859420 memory=653908 CPUtime=101.97 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 121360 0 0 0 10173 24 0 0 20 0 1 0 171983316 880046080 163477 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 214855 163477 2526 2417 0 211957 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 859420 KiB
Current children cumulated memory: 653908 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/241 888873
/proc/meminfo: memFree=122961644/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=941064 memory=735332 CPUtime=161.77 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 155628 0 0 0 16147 30 0 0 20 0 1 0 171983316 963649536 183833 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 235266 183833 2542 2417 0 232368 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 941064 KiB
Current children cumulated memory: 735332 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/244 888888
/proc/meminfo: memFree=122845348/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1077572 memory=724424 CPUtime=221.6 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 158798 0 0 0 22129 31 0 0 20 0 1 0 171983316 1103433728 181106 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 269393 181106 2542 2417 0 266495 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1077572 KiB
Current children cumulated memory: 724424 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/245 888901
/proc/meminfo: memFree=122753700/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1151884 memory=774068 CPUtime=281.43 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 186351 0 0 0 28107 36 0 0 20 0 1 0 171983316 1179529216 193517 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 287971 193517 2542 2417 0 285073 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1151884 KiB
Current children cumulated memory: 774068 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/245 888912
/proc/meminfo: memFree=122686256/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1187004 memory=786248 CPUtime=341.26 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 186973 0 0 0 34089 37 0 0 20 0 1 0 171983316 1215492096 196562 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 296751 196562 2542 2417 0 293853 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 1187004 KiB
Current children cumulated memory: 786248 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/245 888923
/proc/meminfo: memFree=122569524/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1256048 memory=855412 CPUtime=401.06 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 204871 0 0 0 40066 40 0 0 20 0 1 0 171983316 1286193152 213853 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 314012 213853 2542 2417 0 311114 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 1256048 KiB
Current children cumulated memory: 855412 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/245 888933
/proc/meminfo: memFree=122531292/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1272588 memory=870244 CPUtime=460.89 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 206070 0 0 0 46048 41 0 0 20 0 1 0 171983316 1303130112 217561 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 318147 217561 2542 2417 0 315249 0

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

Current children cumulated memory: 1179652 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/243 889981
/proc/meminfo: memFree=121780680/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1179652 CPUtime=2854.35 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 360356 0 0 0 285353 82 0 0 20 0 1 0 171983316 1494069248 294913 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 294913 2542 2417 0 361865 0
Current children cumulated CPU time: 2854.35 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1179652 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/243 890375
/proc/meminfo: memFree=121783528/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1182612 CPUtime=2914.18 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 360706 0 0 0 291336 82 0 0 20 0 1 0 171983316 1494069248 295653 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295653 2542 2417 0 361865 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1182612 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/243 890385
/proc/meminfo: memFree=122124904/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183140 CPUtime=2974.01 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 360969 0 0 0 297319 82 0 0 20 0 1 0 171983316 1494069248 295785 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295785 2542 2417 0 361865 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183140 KiB

[startup+3042.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/243 890395
/proc/meminfo: memFree=122184568/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3033.85 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361198 0 0 0 303303 82 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3102.3 s]
/proc/loadavg: 4.56 4.28 4.16 5/245 890577
/proc/meminfo: memFree=122185928/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3093.68 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361314 0 0 0 309286 82 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.26 4.16 5/245 890587
/proc/meminfo: memFree=122121488/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3153.52 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361426 0 0 0 315270 82 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/247 890656
/proc/meminfo: memFree=122179248/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3213.35 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361551 0 0 0 321253 82 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.91 4.43 4.23 5/247 890666
/proc/meminfo: memFree=122184868/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3273.19 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361711 0 0 0 327237 82 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3273.19 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.43 4.38 4.22 5/247 890677
/proc/meminfo: memFree=122114284/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3333.03 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361820 0 0 0 333220 83 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.31 4.20 5/245 890688
/proc/meminfo: memFree=122184652/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3392.87 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 361965 0 0 0 339204 83 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.28 4.20 5/245 890698
/proc/meminfo: memFree=122177540/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3452.71 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 362065 0 0 0 345188 83 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.24 4.19 5/241 890709
/proc/meminfo: memFree=122176304/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3512.55 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 362192 0 0 0 351172 83 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.21 4.18 5/241 890720
/proc/meminfo: memFree=122112392/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3572.39 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 362325 0 0 0 357156 83 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.05 4.19 4.17 6/241 890770
/proc/meminfo: memFree=122631928/131655788 swapFree=131071996/131071996
[pid=888753] ppid=888750 vsize=1459052 memory=1183716 CPUtime=3600.03 cores=1,3
/proc/888753/stat : 888753 (CASHWMaxSAT-Dis) R 888750 888753 886664 0 -1 4194304 362369 0 0 0 359920 83 0 0 20 0 1 0 171983316 1494069248 295929 134679101440 4194304 14093885 140722971845472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 28155904 140722971849700 140722971849815 140722971849815 140722971856831 0
/proc/888753/statm: 364763 295929 2542 2417 0 361865 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1459052 KiB
Current children cumulated memory: 1183716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.21 s, system=0.838436 s

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

Child status: 10

Real time (s): 3610.02
CPU time (s): 3600.04
CPU user time (s): 3599.21
CPU system time (s): 0.838436
CPU usage (%): 99.7237
Max. virtual memory (cumulated for all children) (KiB): 2172704
Max. memory (cumulated for all children) (KiB): 1783240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.21
system time used= 0.838436
maximum resident set size= 1783240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362371
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= 123
involuntary context switches= 1696


# summary of solver processes directly reported to runsolver:
#   pid: 888753
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.21
#   total CPU system time (s): 0.838436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4292 second user time and 33.9693 second system time

The end