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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457927-1721877898/watcher-4457927-1721877898 -o /tmp/evaluation-result-4457927-1721877898/solver-4457927-1721877898 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721877898-217718 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4457927-1721877898.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_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=217761, runsolver pid=217758

[startup+0.100943 s]*
/proc/loadavg: 0.99 1.14 1.73 5/258 217784
/proc/meminfo: memFree=125851068/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=59664 memory=49776 CPUtime=0.09 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 10761 0 0 0 8 1 0 0 20 0 1 0 24319537 61095936 12444 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 14916 12444 2350 2417 0 12018 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59664 KiB
Current children cumulated memory: 49776 KiB

[startup+0.205942 s]*
/proc/loadavg: 0.99 1.14 1.73 5/258 217784
/proc/meminfo: memFree=125705604/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=73808 memory=63744 CPUtime=0.19 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 14193 0 0 0 17 2 0 0 20 0 1 0 24319537 75579392 15936 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 18452 15936 2414 2417 0 15554 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73808 KiB
Current children cumulated memory: 63744 KiB

[startup+0.304801 s]*
/proc/loadavg: 0.99 1.14 1.73 5/258 217784
/proc/meminfo: memFree=125624456/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=117512 memory=99132 CPUtime=0.29 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 18680 0 0 0 26 3 0 0 20 0 1 0 24319537 120332288 24783 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 29378 24783 2414 2417 0 26480 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117512 KiB
Current children cumulated memory: 99132 KiB

[startup+0.700174 s]
/proc/loadavg: 0.99 1.14 1.73 5/258 217784
/proc/meminfo: memFree=125492972/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=192516 memory=172304 CPUtime=0.68 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 34877 0 0 0 62 6 0 0 20 0 1 0 24319537 197136384 43076 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 48129 43076 2526 2417 0 45231 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 192516 KiB
Current children cumulated memory: 172304 KiB

[startup+1.50019 s]
/proc/loadavg: 0.99 1.14 1.73 5/258 217784
/proc/meminfo: memFree=125242864/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=192748 memory=173408 CPUtime=1.47 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 35112 0 0 0 141 6 0 0 20 0 1 0 24319537 197373952 43352 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 48187 43352 2542 2417 0 45289 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 192748 KiB
Current children cumulated memory: 173408 KiB

[startup+3.105 s]
/proc/loadavg: 0.99 1.14 1.73 5/258 217784
/proc/meminfo: memFree=125081584/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=203312 memory=177632 CPUtime=3.07 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 36153 0 0 0 301 6 0 0 20 0 1 0 24319537 208191488 44408 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 50828 44408 2542 2417 0 47930 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 203312 KiB
Current children cumulated memory: 177632 KiB

[startup+6.30013 s]
/proc/loadavg: 1.23 1.19 1.75 5/258 217784
/proc/meminfo: memFree=125061328/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=211176 memory=180272 CPUtime=6.26 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 36815 0 0 0 619 7 0 0 20 0 1 0 24319537 216244224 45068 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 52794 45068 2542 2417 0 49896 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 211176 KiB
Current children cumulated memory: 180272 KiB

[startup+12.7001 s]
/proc/loadavg: 1.45 1.23 1.76 5/258 217786
/proc/meminfo: memFree=125052376/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=212148 memory=181328 CPUtime=12.64 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 37079 0 0 0 1256 8 0 0 20 0 1 0 24319537 217239552 45332 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 53037 45332 2542 2417 0 50139 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 212148 KiB
Current children cumulated memory: 181328 KiB

[startup+25.5002 s]
/proc/loadavg: 2.02 1.37 1.79 5/256 217787
/proc/meminfo: memFree=124799344/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=272864 memory=239668 CPUtime=25.39 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 53886 0 0 0 2527 12 0 0 20 0 1 0 24319537 279412736 59917 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 68216 59917 2542 2417 0 65318 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 272864 KiB
Current children cumulated memory: 239668 KiB

[startup+51.1048 s]
/proc/loadavg: 2.76 1.60 1.86 5/258 218179
/proc/meminfo: memFree=124767972/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=349040 memory=315340 CPUtime=50.89 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 73103 0 0 0 5073 16 0 0 20 0 1 0 24319537 357416960 78835 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 87260 78835 2542 2417 0 84362 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 349040 KiB
Current children cumulated memory: 315340 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.00 1.98 5/258 218188
/proc/meminfo: memFree=124740220/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=349040 memory=316940 CPUtime=101.88 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 73442 0 0 0 10169 19 0 0 20 0 1 0 24319537 357416960 79235 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 87260 79235 2542 2417 0 84362 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 349040 KiB
Current children cumulated memory: 316940 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.38 2.12 5/258 218198
/proc/meminfo: memFree=124721136/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=351464 memory=323064 CPUtime=161.65 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 83381 0 0 0 16144 21 0 0 20 0 1 0 24319537 359899136 80766 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 87866 80766 2542 2417 0 84968 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 351464 KiB
Current children cumulated memory: 323064 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.69 2.24 5/257 218378
/proc/meminfo: memFree=124510328/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=393928 memory=378564 CPUtime=221.43 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 103270 0 0 0 22119 24 0 0 20 0 1 0 24319537 403382272 94641 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 98482 94641 2542 2417 0 95584 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 393928 KiB
Current children cumulated memory: 378564 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.95 2.36 5/257 218389
/proc/meminfo: memFree=124354164/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=425280 memory=406804 CPUtime=281.21 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 113343 0 0 0 28095 26 0 0 20 0 1 0 24319537 435486720 101701 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 106320 101701 2542 2417 0 103422 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 406804 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.17 2.48 5/258 218459
/proc/meminfo: memFree=124254404/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=425280 memory=410456 CPUtime=340.99 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 113492 0 0 0 34073 26 0 0 20 0 1 0 24319537 435486720 102614 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 106320 102614 2542 2417 0 103422 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 410456 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 3.34 2.58 5/258 218471
/proc/meminfo: memFree=124193972/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=455220 memory=439456 CPUtime=400.77 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 121033 0 0 0 40050 27 0 0 20 0 1 0 24319537 466145280 109864 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 113805 109864 2542 2417 0 110907 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 455220 KiB
Current children cumulated memory: 439456 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.48 2.68 5/258 218481
/proc/meminfo: memFree=124139608/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=455220 memory=439464 CPUtime=460.55 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 121191 0 0 0 46028 27 0 0 20 0 1 0 24319537 466145280 109866 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 113805 109866 2542 2417 0 110907 0

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

Current children cumulated memory: 674948 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/256 219500
/proc/meminfo: memFree=123513612/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=2911.89 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 212587 0 0 0 291104 85 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 2911.89 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.11 4.02 5/256 219511
/proc/meminfo: memFree=123510112/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=2971.72 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 212754 0 0 0 297087 85 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 2971.72 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/256 219525
/proc/meminfo: memFree=123512348/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3031.54 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 212921 0 0 0 303069 85 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3031.54 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/256 219535
/proc/meminfo: memFree=123502348/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3091.37 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 213282 0 0 0 309051 86 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3091.37 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/256 219545
/proc/meminfo: memFree=123496296/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3151.2 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 213659 0 0 0 315033 87 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3151.2 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/256 219557
/proc/meminfo: memFree=123504772/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3211.02 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 213809 0 0 0 321015 87 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3211.02 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.03 5/256 219567
/proc/meminfo: memFree=123498184/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3270.84 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 214186 0 0 0 326997 87 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3270.84 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/257 219582
/proc/meminfo: memFree=123491852/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3330.67 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 218779 0 0 0 332967 100 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3330.67 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/257 219594
/proc/meminfo: memFree=123540104/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3390.49 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 218937 0 0 0 338949 100 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3390.49 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/257 219604
/proc/meminfo: memFree=123539536/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3450.32 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 219298 0 0 0 344931 101 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3450.32 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.03 5/257 219615
/proc/meminfo: memFree=123503120/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3510.15 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 219455 0 0 0 350914 101 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3510.15 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/257 219625
/proc/meminfo: memFree=123505136/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3569.97 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 219616 0 0 0 356896 101 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3569.97 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.14 4.10 4.04 5/259 220153
/proc/meminfo: memFree=125214164/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3600.08 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 219861 0 0 0 359907 101 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.07 s, system=1.02184 s

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

[startup+3612.5 s]
/proc/loadavg: 4.14 4.10 4.04 5/259 220153
/proc/meminfo: memFree=125214164/131524600 swapFree=131055836/131071996
[pid=217761] ppid=217758 vsize=681976 memory=674948 CPUtime=3600.08 cores=0,2
/proc/217761/stat : 217761 (CASHWMaxSAT-Dis) R 217758 217761 217708 0 -1 4194304 219861 0 0 0 359907 101 0 0 20 0 1 0 24319537 698343424 168737 134679101440 4194304 14093885 140733047033952 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 42786816 140733047043045 140733047043160 140733047043160 140733047050175 0
/proc/217761/statm: 170494 168737 2542 2417 0 167596 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 681976 KiB
Current children cumulated memory: 674948 KiB

Child status: 10

Real time (s): 3612.5
CPU time (s): 3600.09
CPU user time (s): 3599.07
CPU system time (s): 1.02184
CPU usage (%): 99.6565
Max. virtual memory (cumulated for all children) (KiB): 731296
Max. memory (cumulated for all children) (KiB): 710548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 1.02184
maximum resident set size= 710548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219864
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= 87
involuntary context switches= 25211


# summary of solver processes directly reported to runsolver:
#   pid: 217761
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.07
#   total CPU system time (s): 1.02184

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67515 second user time and 14.2112 second system time

The end