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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439774-1721248825/watcher-4439774-1721248825 -o /tmp/evaluation-result-4439774-1721248825/solver-4439774-1721248825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721243363-923572 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439774-1721248825.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=926847, runsolver pid=926844

[startup+0.100198 s]*
/proc/loadavg: 4.19 4.16 4.11 5/258 926848
/proc/meminfo: memFree=125286388/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=40820 memory=31520 CPUtime=0.09 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 5774 0 0 0 9 0 0 0 20 0 1 0 177053325 41799680 7880 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 10205 7880 2522 2550 0 7160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40820 KiB
Current children cumulated memory: 31520 KiB

[startup+0.206116 s]*
/proc/loadavg: 4.19 4.16 4.11 5/258 926848
/proc/meminfo: memFree=125284512/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=42616 memory=33412 CPUtime=0.19 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 6200 0 0 0 19 0 0 0 20 0 1 0 177053325 43638784 8353 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 10654 8353 2538 2550 0 7609 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42616 KiB
Current children cumulated memory: 33412 KiB

[startup+0.305918 s]*
/proc/loadavg: 4.19 4.16 4.11 5/258 926848
/proc/meminfo: memFree=125276672/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=50672 memory=41564 CPUtime=0.3 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 8196 0 0 0 29 1 0 0 20 0 1 0 177053325 51888128 10391 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 12668 10391 2618 2550 0 9623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50672 KiB
Current children cumulated memory: 41564 KiB

[startup+0.70023 s]
/proc/loadavg: 4.19 4.16 4.11 5/258 926848
/proc/meminfo: memFree=125274628/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=55752 memory=45804 CPUtime=0.68 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 9294 0 0 0 67 1 0 0 20 0 1 0 177053325 57090048 11451 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 13938 11451 2634 2550 0 10893 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55752 KiB
Current children cumulated memory: 45804 KiB

[startup+1.50023 s]
/proc/loadavg: 4.17 4.16 4.11 6/258 926848
/proc/meminfo: memFree=125268552/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=64232 memory=52140 CPUtime=1.48 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 10827 0 0 0 147 1 0 0 20 0 1 0 177053325 65773568 13035 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 16058 13035 2634 2550 0 13013 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64232 KiB
Current children cumulated memory: 52140 KiB

[startup+3.10624 s]
/proc/loadavg: 4.17 4.16 4.11 6/258 926848
/proc/meminfo: memFree=125250676/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=80724 memory=62436 CPUtime=3.08 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 13433 0 0 0 306 2 0 0 20 0 1 0 177053325 82661376 15609 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 20181 15609 2634 2550 0 17136 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 80724 KiB
Current children cumulated memory: 62436 KiB

[startup+6.30023 s]
/proc/loadavg: 4.16 4.16 4.11 6/258 926849
/proc/meminfo: memFree=125238920/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=92332 memory=72784 CPUtime=6.26 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 15999 0 0 0 624 2 0 0 20 0 1 0 177053325 94547968 18196 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 23083 18196 2650 2550 0 20038 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 72784 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.11 6/258 926849
/proc/meminfo: memFree=125228724/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=92332 memory=72784 CPUtime=12.64 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 15999 0 0 0 1262 2 0 0 20 0 1 0 177053325 94547968 18196 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 23083 18196 2650 2550 0 20038 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 92332 KiB
Current children cumulated memory: 72784 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.15 4.11 6/258 926853
/proc/meminfo: memFree=125223772/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=99916 memory=74364 CPUtime=25.39 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 16395 0 0 0 2537 2 0 0 20 0 1 0 177053325 102313984 18591 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 24979 18591 2650 2550 0 21934 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 99916 KiB
Current children cumulated memory: 74364 KiB

[startup+51.1058 s]
/proc/loadavg: 4.07 4.13 4.10 5/258 926949
/proc/meminfo: memFree=126378456/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=165784 memory=134532 CPUtime=50.9 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 31318 0 0 0 5086 4 0 0 20 0 1 0 177053325 169762816 33633 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 41446 33633 2650 2550 0 38401 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 165784 KiB
Current children cumulated memory: 134532 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 926957
/proc/meminfo: memFree=125244824/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=218720 memory=184968 CPUtime=101.89 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 39961 0 0 0 10182 7 0 0 20 0 1 0 177053325 223969280 46242 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 54680 46242 2650 2550 0 51635 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 218720 KiB
Current children cumulated memory: 184968 KiB

[startup+162.3 s]
/proc/loadavg: 4.55 4.24 4.14 5/257 926968
/proc/meminfo: memFree=125137152/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=279892 memory=245152 CPUtime=161.65 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 49870 0 0 0 16155 10 0 0 20 0 1 0 177053325 286609408 61288 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 69973 61288 2650 2550 0 66928 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 279892 KiB
Current children cumulated memory: 245152 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.23 4.14 5/257 926980
/proc/meminfo: memFree=125082212/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=336592 memory=293080 CPUtime=221.4 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 57293 0 0 0 22128 12 0 0 20 0 1 0 177053325 344670208 73270 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 84148 73270 2650 2550 0 81103 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 336592 KiB
Current children cumulated memory: 293080 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.18 4.12 5/257 926990
/proc/meminfo: memFree=125022652/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=386288 memory=335200 CPUtime=281.16 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 63660 0 0 0 28102 14 0 0 20 0 1 0 177053325 395558912 83800 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 96572 83800 2650 2550 0 93527 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 386288 KiB
Current children cumulated memory: 335200 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/254 927000
/proc/meminfo: memFree=124955312/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=435340 memory=388200 CPUtime=340.91 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 68782 0 0 0 34076 15 0 0 20 0 1 0 177053325 445788160 97050 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 108835 97050 2650 2550 0 105790 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 435340 KiB
Current children cumulated memory: 388200 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/254 927010
/proc/meminfo: memFree=124898924/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=492912 memory=441088 CPUtime=400.66 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 71823 0 0 0 40049 17 0 0 20 0 1 0 177053325 504741888 110272 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 123228 110272 2650 2550 0 120183 0
Current children cumulated CPU time: 400.66 s
Current children cumulated vsize: 492912 KiB
Current children cumulated memory: 441088 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/254 927021
/proc/meminfo: memFree=124852632/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=527396 memory=476836 CPUtime=460.42 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 74126 0 0 0 46024 18 0 0 20 0 1 0 177053325 540053504 119209 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 131849 119209 2650 2550 0 128804 0

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

Current children cumulated memory: 395572 KiB

[startup+2862.3 s]
/proc/loadavg: 3.10 3.13 3.41 4/250 928619
/proc/meminfo: memFree=123538888/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=395636 CPUtime=2852.02 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 134767 0 0 0 285108 94 0 0 20 0 1 0 177053325 422141952 98909 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 98909 2920 2550 0 100017 0
Current children cumulated CPU time: 2852.02 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 395636 KiB

[startup+2922.3 s]
/proc/loadavg: 3.11 3.12 3.39 4/251 928630
/proc/meminfo: memFree=123574480/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=391452 CPUtime=2911.83 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 136848 0 0 0 291085 98 0 0 20 0 1 0 177053325 422141952 97863 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 97863 2920 2550 0 100017 0
Current children cumulated CPU time: 2911.83 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 391452 KiB

[startup+2982.3 s]
/proc/loadavg: 3.09 3.11 3.37 4/252 928697
/proc/meminfo: memFree=123570188/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=391448 CPUtime=2971.65 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 138932 0 0 0 297063 102 0 0 20 0 1 0 177053325 422141952 97862 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 97862 2920 2550 0 100017 0
Current children cumulated CPU time: 2971.65 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 391448 KiB

[startup+3042.3 s]
/proc/loadavg: 3.08 3.10 3.35 4/252 928708
/proc/meminfo: memFree=123569480/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=393280 memory=385228 CPUtime=3031.48 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 140389 0 0 0 303041 107 0 0 20 0 1 0 177053325 402718720 96307 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 98320 96307 2920 2550 0 95275 0
Current children cumulated CPU time: 3031.48 s
Current children cumulated vsize: 393280 KiB
Current children cumulated memory: 385228 KiB

[startup+3102.3 s]
/proc/loadavg: 3.06 3.10 3.33 4/252 928719
/proc/meminfo: memFree=123543808/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=396004 CPUtime=3091.3 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 143547 0 0 0 309018 112 0 0 20 0 1 0 177053325 422141952 99001 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 99001 2920 2550 0 100017 0
Current children cumulated CPU time: 3091.3 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 396004 KiB

[startup+3162.3 s]
/proc/loadavg: 3.07 3.09 3.31 4/251 928729
/proc/meminfo: memFree=123544372/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=397684 CPUtime=3151.12 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 146152 0 0 0 314996 116 0 0 20 0 1 0 177053325 422141952 99421 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 99421 2920 2550 0 100017 0
Current children cumulated CPU time: 3151.12 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 397684 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.10 3.30 4/250 928741
/proc/meminfo: memFree=123549908/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=395636 CPUtime=3210.93 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 148239 0 0 0 320973 120 0 0 20 0 1 0 177053325 422141952 98909 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 98909 2920 2550 0 100017 0
Current children cumulated CPU time: 3210.93 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 395636 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.10 3.28 4/248 928751
/proc/meminfo: memFree=123556600/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=393280 memory=386544 CPUtime=3270.76 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 152014 0 0 0 326948 128 0 0 20 0 1 0 177053325 402718720 96636 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 98320 96636 2920 2550 0 95275 0
Current children cumulated CPU time: 3270.76 s
Current children cumulated vsize: 393280 KiB
Current children cumulated memory: 386544 KiB

[startup+3342.3 s]
/proc/loadavg: 3.04 3.08 3.26 4/248 928762
/proc/meminfo: memFree=123542016/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=397852 CPUtime=3330.57 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 154187 0 0 0 332924 133 0 0 20 0 1 0 177053325 422141952 99463 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 99463 2920 2550 0 100017 0
Current children cumulated CPU time: 3330.57 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 397852 KiB

[startup+3402.3 s]
/proc/loadavg: 3.11 3.09 3.26 4/248 928772
/proc/meminfo: memFree=123549552/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=395636 CPUtime=3390.4 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 156825 0 0 0 338903 137 0 0 20 0 1 0 177053325 422141952 98909 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 98909 2920 2550 0 100017 0
Current children cumulated CPU time: 3390.4 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 395636 KiB

[startup+3462.3 s]
/proc/loadavg: 3.09 3.09 3.25 4/248 928783
/proc/meminfo: memFree=123520128/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=395804 CPUtime=3450.22 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 159212 0 0 0 344880 142 0 0 20 0 1 0 177053325 422141952 98951 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 98951 2920 2550 0 100017 0
Current children cumulated CPU time: 3450.22 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 395804 KiB

[startup+3522.3 s]
/proc/loadavg: 3.07 3.08 3.23 4/247 928793
/proc/meminfo: memFree=123503056/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=391440 CPUtime=3510.04 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 161765 0 0 0 350858 146 0 0 20 0 1 0 177053325 422141952 97860 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 97860 2920 2550 0 100017 0
Current children cumulated CPU time: 3510.04 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 391440 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.10 3.23 4/250 928808
/proc/meminfo: memFree=123516456/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=389400 CPUtime=3569.86 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 164211 0 0 0 356836 150 0 0 20 0 1 0 177053325 422141952 97350 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 97350 2920 2550 0 100017 0
Current children cumulated CPU time: 3569.86 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 389400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 2.81 3.02 3.20 3/243 928843
/proc/meminfo: memFree=123813692/131524600 swapFree=131071996/131071996
[pid=926847] ppid=926844 vsize=412248 memory=397592 CPUtime=3600.06 cores=0,2
/proc/926847/stat : 926847 (CASHWMaxSAT-Dis) R 926844 926847 923562 0 -1 4194304 164824 0 0 0 359855 151 0 0 20 0 1 0 177053325 422141952 99398 134679101440 4194304 14636349 140737250677520 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 39632896 140737250681826 140737250681942 140737250681942 140737250688958 0
/proc/926847/statm: 103062 99398 2920 2550 0 100017 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 412248 KiB
Current children cumulated memory: 397592 KiB

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

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

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

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

Child status: 10

Real time (s): 3612.6
CPU time (s): 3600.07
CPU user time (s): 3598.55
CPU system time (s): 1.52135
CPU usage (%): 99.6532
Max. virtual memory (cumulated for all children) (KiB): 1241524
Max. memory (cumulated for all children) (KiB): 1179176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.55
system time used= 1.52135
maximum resident set size= 1179176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164826
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= 72
involuntary context switches= 24685


# summary of solver processes directly reported to runsolver:
#   pid: 926847
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.55
#   total CPU system time (s): 1.52135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58745 second user time and 16.528 second system time

The end