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 (62794 MiB free)
memory of node 1: 64473 MiB (62197 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439509-1721222697/watcher-4439509-1721222697 -o /tmp/evaluation-result-4439509-1721222697/solver-4439509-1721222697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721219094-900682 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439509-1721222697.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=903029, runsolver pid=903026
[startup+0.100923 s]*
/proc/loadavg: 4.10 4.12 4.12 5/240 903030
/proc/meminfo: memFree=128256740/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=27260 memory=7420 CPUtime=0.1 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 1672 0 0 0 10 0 0 0 20 0 1 0 174426862 27914240 1855 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 6815 1855 794 2550 0 3770 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27260 KiB
Current children cumulated memory: 7420 KiB
[startup+0.212971 s]*
/proc/loadavg: 4.09 4.11 4.12 5/240 903044
/proc/meminfo: memFree=128231428/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=52376 memory=32312 CPUtime=0.21 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 6234 0 0 0 20 1 0 0 20 0 1 0 174426862 53633024 8078 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 13094 8078 922 2550 0 10049 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 52376 KiB
Current children cumulated memory: 32312 KiB
[startup+0.313607 s]*
/proc/loadavg: 4.09 4.11 4.12 5/240 903044
/proc/meminfo: memFree=128229988/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=54900 memory=34688 CPUtime=0.31 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 6877 0 0 0 30 1 0 0 20 0 1 0 174426862 56217600 8672 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 13725 8672 922 2550 0 10680 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54900 KiB
Current children cumulated memory: 34688 KiB
[startup+0.700238 s]
/proc/loadavg: 4.09 4.11 4.12 5/240 903044
/proc/meminfo: memFree=128207876/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=82892 memory=62324 CPUtime=0.68 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 13736 0 0 0 67 1 0 0 20 0 1 0 174426862 84881408 15581 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 20723 15581 970 2550 0 17678 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82892 KiB
Current children cumulated memory: 62324 KiB
[startup+1.50034 s]
/proc/loadavg: 4.09 4.11 4.12 5/242 903076
/proc/meminfo: memFree=128147828/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=198720 memory=168676 CPUtime=1.48 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 28931 0 0 0 143 5 0 0 20 0 1 0 174426862 203489280 42169 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 49680 42169 970 2550 0 46635 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 198720 KiB
Current children cumulated memory: 168676 KiB
[startup+3.11351 s]
/proc/loadavg: 4.09 4.11 4.12 5/242 903122
/proc/meminfo: memFree=127718392/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=365768 memory=319256 CPUtime=3.09 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 45806 0 0 0 299 10 0 0 20 0 1 0 174426862 374546432 79814 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 91442 79814 970 2550 0 88397 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 365768 KiB
Current children cumulated memory: 319256 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.11 4.12 5/242 903122
/proc/meminfo: memFree=126793260/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=321208 CPUtime=6.26 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 48591 0 0 0 613 13 0 0 20 0 1 0 174426862 386985984 80302 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 80302 970 2550 0 91434 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 321208 KiB
[startup+12.7003 s]
/proc/loadavg: 4.07 4.11 4.12 5/242 903123
/proc/meminfo: memFree=126687088/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=321380 CPUtime=12.64 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 48679 0 0 0 1251 13 0 0 20 0 1 0 174426862 386985984 80345 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 80345 986 2550 0 91434 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 321380 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.12 5/243 903126
/proc/meminfo: memFree=126650668/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=321412 CPUtime=25.4 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 48761 0 0 0 2527 13 0 0 20 0 1 0 174426862 386985984 80353 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 80353 986 2550 0 91434 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 321412 KiB
[startup+51.114 s]
/proc/loadavg: 4.09 4.11 4.12 5/244 903514
/proc/meminfo: memFree=125912768/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=323460 CPUtime=50.93 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 48884 0 0 0 5079 14 0 0 20 0 1 0 174426862 386985984 80865 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 80865 986 2550 0 91434 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 323460 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.14 4.13 5/244 903845
/proc/meminfo: memFree=125643756/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=327564 CPUtime=101.93 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 48971 0 0 0 10179 14 0 0 20 0 1 0 174426862 386985984 81891 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 81891 986 2550 0 91434 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 327564 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/244 903992
/proc/meminfo: memFree=125487936/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331660 CPUtime=161.7 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 49077 0 0 0 16156 14 0 0 20 0 1 0 174426862 386985984 82915 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82915 986 2550 0 91434 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 331660 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/246 904218
/proc/meminfo: memFree=125887624/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=327740 CPUtime=221.46 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 49605 0 0 0 22131 15 0 0 20 0 1 0 174426862 386985984 81935 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 81935 986 2550 0 91434 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 327740 KiB
[startup+282.3 s]
/proc/loadavg: 4.39 4.20 4.14 5/244 904380
/proc/meminfo: memFree=126060960/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331504 CPUtime=281.23 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 50101 0 0 0 28107 16 0 0 20 0 1 0 174426862 386985984 82876 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82876 986 2550 0 91434 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 331504 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.19 4.14 5/246 904985
/proc/meminfo: memFree=124645172/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=337648 CPUtime=341.02 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 50217 0 0 0 34086 16 0 0 20 0 1 0 174426862 386985984 84412 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 84412 986 2550 0 91434 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 337648 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/246 904995
/proc/meminfo: memFree=124243912/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=333720 CPUtime=400.82 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 50751 0 0 0 40065 17 0 0 20 0 1 0 174426862 386985984 83430 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83430 986 2550 0 91434 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 333720 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/246 905006
/proc/meminfo: memFree=124218200/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331504 CPUtime=460.59 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 51247 0 0 0 46041 18 0 0 20 0 1 0 174426862 386985984 82876 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82876 986 2550 0 91434 0
################
# More data... #
################
Current children cumulated memory: 333720 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/245 906104
/proc/meminfo: memFree=125574224/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331504 CPUtime=2851.84 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 68545 0 0 0 285138 46 0 0 20 0 1 0 174426862 386985984 82876 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82876 986 2550 0 91434 0
Current children cumulated CPU time: 2851.84 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 331504 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/244 906114
/proc/meminfo: memFree=125559008/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331672 CPUtime=2911.62 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 69083 0 0 0 291115 47 0 0 20 0 1 0 174426862 386985984 82918 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82918 986 2550 0 91434 0
Current children cumulated CPU time: 2911.62 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 331672 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 906125
/proc/meminfo: memFree=125548108/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=329456 CPUtime=2971.41 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 69578 0 0 0 297092 49 0 0 20 0 1 0 174426862 386985984 82364 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82364 986 2550 0 91434 0
Current children cumulated CPU time: 2971.41 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 329456 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/244 906136
/proc/meminfo: memFree=125554068/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=337648 CPUtime=3031.19 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 69695 0 0 0 303070 49 0 0 20 0 1 0 174426862 386985984 84412 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 84412 986 2550 0 91434 0
Current children cumulated CPU time: 3031.19 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 337648 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 906146
/proc/meminfo: memFree=125543480/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=333720 CPUtime=3090.97 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 70230 0 0 0 309047 50 0 0 20 0 1 0 174426862 386985984 83430 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83430 986 2550 0 91434 0
Current children cumulated CPU time: 3090.97 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 333720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/241 906156
/proc/meminfo: memFree=125547328/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=333552 CPUtime=3150.75 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 70723 0 0 0 315024 51 0 0 20 0 1 0 174426862 386985984 83388 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83388 986 2550 0 91434 0
Current children cumulated CPU time: 3150.75 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 333552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/241 906166
/proc/meminfo: memFree=125558248/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331672 CPUtime=3210.53 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 71255 0 0 0 321001 52 0 0 20 0 1 0 174426862 386985984 82918 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82918 986 2550 0 91434 0
Current children cumulated CPU time: 3210.53 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 331672 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/241 906177
/proc/meminfo: memFree=125507324/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=331504 CPUtime=3270.31 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 71748 0 0 0 326979 52 0 0 20 0 1 0 174426862 386985984 82876 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82876 986 2550 0 91434 0
Current children cumulated CPU time: 3270.31 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 331504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/244 906192
/proc/meminfo: memFree=125513488/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=337648 CPUtime=3330.09 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 71848 0 0 0 332957 52 0 0 20 0 1 0 174426862 386985984 84412 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 84412 986 2550 0 91434 0
Current children cumulated CPU time: 3330.09 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 337648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 906202
/proc/meminfo: memFree=125514956/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=335768 CPUtime=3389.87 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 72383 0 0 0 338934 53 0 0 20 0 1 0 174426862 386985984 83942 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83942 986 2550 0 91434 0
Current children cumulated CPU time: 3389.87 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 335768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/244 906213
/proc/meminfo: memFree=125506304/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=333552 CPUtime=3449.65 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 72875 0 0 0 344911 54 0 0 20 0 1 0 174426862 386985984 83388 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83388 986 2550 0 91434 0
Current children cumulated CPU time: 3449.65 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 333552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.87 4.33 4.17 5/244 906223
/proc/meminfo: memFree=125503824/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=333720 CPUtime=3509.43 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 73410 0 0 0 350888 55 0 0 20 0 1 0 174426862 386985984 83430 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83430 986 2550 0 91434 0
Current children cumulated CPU time: 3509.43 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 333720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.40 4.29 4.17 5/244 906234
/proc/meminfo: memFree=125509892/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=333552 CPUtime=3569.22 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 73903 0 0 0 356866 56 0 0 20 0 1 0 174426862 386985984 83388 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 83388 986 2550 0 91434 0
Current children cumulated CPU time: 3569.22 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 333552 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.2 s]
/proc/loadavg: 4.38 4.30 4.17 5/244 906331
/proc/meminfo: memFree=127238516/131655788 swapFree=131071996/131071996
[pid=903029] ppid=903026 vsize=377916 memory=329624 CPUtime=3600 cores=0,2
/proc/903029/stat : 903029 (CASHWMaxSAT-Dis) R 903026 903029 900672 0 -1 4194304 74341 0 0 0 359944 56 0 0 20 0 1 0 174426862 386985984 82406 134679101440 4194304 14636349 140729730626880 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 27373568 140729730634722 140729730634838 140729730634838 140729730641854 0
/proc/903029/statm: 94479 82406 986 2550 0 91434 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 377916 KiB
Current children cumulated memory: 329624 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.2 s]
# the end of solver process 903029 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.45 s, system=0.571019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3613.2
CPU time (s): 3600.02
CPU user time (s): 3599.45
CPU system time (s): 0.571019
CPU usage (%): 99.6351
Max. virtual memory (cumulated for all children) (KiB): 427236
Max. memory (cumulated for all children) (KiB): 372052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.45
system time used= 0.571019
maximum resident set size= 372052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74346
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= 44
involuntary context switches= 25191
# summary of solver processes directly reported to runsolver:
# pid: 903029
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.45
# total CPU system time (s): 0.571019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7816 second user time and 35.9843 second system time
The end
Begin job on nodeC011 at 2024-07-17 15:25:10
IDJOB=4439509
IDBENCH=147690
IDSOLVER=3076
FILE ID=nodeC011/4439509-1721222697
RUNJOBID= nodeC011-1721219094-900682
SLURM_JOB_ID= 7508952
Free space on /tmp= 723736 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439509-1721222697/watcher-4439509-1721222697 -o /tmp/evaluation-result-4439509-1721222697/solver-4439509-1721222697 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721219094-900682 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439509-1721222697.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=1574778746
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3645.711
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.317
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.125
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.321
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3650.887
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2893.040
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.143
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.379
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127992040 kB
MemAvailable: 129468128 kB
Buffers: 476748 kB
Cached: 1827880 kB
SwapCached: 0 kB
Active: 943560 kB
Inactive: 2159712 kB
Active(anon): 1460 kB
Inactive(anon): 834880 kB
Active(file): 942100 kB
Inactive(file): 1324832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 61364 kB
Writeback: 12 kB
AnonPages: 798452 kB
Mapped: 136840 kB
Shmem: 37704 kB
KReclaimable: 98712 kB
Slab: 198756 kB
SReclaimable: 98712 kB
SUnreclaim: 100044 kB
KernelStack: 3900 kB
PageTables: 10748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1115948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 256000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC011 at 2024-07-17 16:25:23