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: 63837 MiB (62797 MiB free)
memory of node 1: 64465 MiB (63556 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512042-1751206247/watcher-4512042-1751206247 -o /tmp/evaluation-result-4512042-1751206247/solver-4512042-1751206247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751206247-28593 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512042-1751206247.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28647, runsolver pid=28635
[startup+0.100065 s]*
/proc/loadavg: 2.28 3.12 4.41 6/252 28652
/proc/meminfo: memFree=129331444/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=40204 memory=24812 CPUtime=0.09 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 6123 0 0 0 8 1 0 0 20 0 1 0 36304034 41168896 6203 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 10051 6203 864 2593 0 6944 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40204 KiB
Current children cumulated memory: 24812 KiB
[startup+0.205993 s]*
/proc/loadavg: 2.28 3.12 4.41 6/252 28652
/proc/meminfo: memFree=129279292/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=48280 memory=33772 CPUtime=0.2 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 8385 0 0 0 18 2 0 0 20 0 1 0 36304034 49438720 8443 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 12070 8443 864 2593 0 8963 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48280 KiB
Current children cumulated memory: 33772 KiB
[startup+0.306055 s]*
/proc/loadavg: 2.28 3.12 4.41 6/252 28652
/proc/meminfo: memFree=129234876/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=62172 memory=46324 CPUtime=0.29 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 11550 0 0 0 26 3 0 0 20 0 1 0 36304034 63664128 11581 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 15543 11581 864 2593 0 12436 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 46324 KiB
[startup+0.700281 s]
/proc/loadavg: 2.28 3.12 4.41 6/252 28652
/proc/meminfo: memFree=129143408/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=75648 memory=60884 CPUtime=0.68 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 14659 0 0 0 64 4 0 0 20 0 1 0 36304034 77463552 15221 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 18912 15221 864 2593 0 15805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75648 KiB
Current children cumulated memory: 60884 KiB
[startup+1.50037 s]
/proc/loadavg: 2.28 3.12 4.41 6/252 28652
/proc/meminfo: memFree=128872480/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=183440 memory=159568 CPUtime=1.47 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 28624 0 0 0 138 9 0 0 20 0 1 0 36304034 187842560 39892 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 45860 39892 864 2593 0 42753 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 183440 KiB
Current children cumulated memory: 159568 KiB
[startup+3.1136 s]
/proc/loadavg: 2.50 3.15 4.41 7/252 28652
/proc/meminfo: memFree=127597144/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=401688 memory=364636 CPUtime=3.09 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 48271 0 0 0 292 17 0 0 20 0 1 0 36304034 411328512 91159 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 100422 91159 864 2593 0 97315 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 401688 KiB
Current children cumulated memory: 364636 KiB
[startup+6.30035 s]
/proc/loadavg: 2.50 3.15 4.41 6/252 28652
/proc/meminfo: memFree=125446004/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=869500 memory=825188 CPUtime=6.27 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 92910 0 0 0 595 32 0 0 20 0 1 0 36304034 890368000 206297 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 217375 206297 864 2593 0 214268 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 869500 KiB
Current children cumulated memory: 825188 KiB
[startup+12.7003 s]
/proc/loadavg: 2.62 3.16 4.41 7/252 28652
/proc/meminfo: memFree=122979324/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=1718528 memory=1633784 CPUtime=12.65 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 187286 0 0 0 1204 61 0 0 20 0 1 0 36304034 1759772672 408446 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 429632 408446 864 2593 0 426525 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1718528 KiB
Current children cumulated memory: 1633784 KiB
[startup+25.5004 s]
/proc/loadavg: 2.93 3.20 4.40 7/252 28652
/proc/meminfo: memFree=119983844/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=2582576 memory=2394616 CPUtime=25.42 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 377647 0 0 0 2443 99 0 0 20 0 1 0 36304034 2644557824 598654 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 645644 598654 864 2593 0 642537 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2582576 KiB
Current children cumulated memory: 2394616 KiB
[startup+51.1137 s]
/proc/loadavg: 3.50 3.32 4.41 6/252 28653
/proc/meminfo: memFree=114246020/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=4145288 memory=3882844 CPUtime=50.97 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 546275 0 0 0 4943 154 0 0 20 0 1 0 36304034 4244774912 970711 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 1036322 970711 896 2593 0 1033215 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4145288 KiB
Current children cumulated memory: 3882844 KiB
[startup+102.3 s]
/proc/loadavg: 3.86 3.44 4.39 6/252 28655
/proc/meminfo: memFree=107932004/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=5664152 memory=5458596 CPUtime=102.04 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 696002 0 0 0 9991 213 0 0 20 0 1 0 36304034 5800091648 1364649 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 1416038 1364649 896 2593 0 1412931 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 5664152 KiB
Current children cumulated memory: 5458596 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.56 4.36 6/252 28657
/proc/meminfo: memFree=101724260/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=7279492 memory=7002676 CPUtime=161.89 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 800516 0 0 0 15918 271 0 0 20 0 1 0 36304034 7454199808 1750669 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 1819873 1750669 896 2593 0 1816766 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 7279492 KiB
Current children cumulated memory: 7002676 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.67 4.35 7/252 28659
/proc/meminfo: memFree=98621800/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=8447184 memory=7768372 CPUtime=221.74 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 891452 0 0 0 21867 307 0 0 20 0 1 0 36304034 8649916416 1942093 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 2111796 1942093 896 2593 0 2108689 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 8447184 KiB
Current children cumulated memory: 7768372 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.75 4.33 6/252 28661
/proc/meminfo: memFree=93636428/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=8735536 memory=8392484 CPUtime=281.59 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 964528 0 0 0 27829 330 0 0 20 0 1 0 36304034 8945188864 2098121 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 2183884 2098121 896 2593 0 2180777 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 8735536 KiB
Current children cumulated memory: 8392484 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.81 4.32 6/250 28663
/proc/meminfo: memFree=89034320/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=11472796 memory=10149688 CPUtime=341.44 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1016424 0 0 0 33745 399 0 0 20 0 1 0 36304034 11748143104 2537422 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 2868199 2537422 896 2593 0 2865092 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 11472796 KiB
Current children cumulated memory: 10149688 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.90 4.31 6/250 28664
/proc/meminfo: memFree=87018336/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=11712032 memory=10659292 CPUtime=401.29 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1079147 0 0 0 39707 422 0 0 20 0 1 0 36304034 11993120768 2664823 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 2928008 2664823 896 2593 0 2924901 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 11712032 KiB
Current children cumulated memory: 10659292 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.94 4.29 7/250 28666
/proc/meminfo: memFree=85105280/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=11932636 memory=11124080 CPUtime=461.14 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1135654 0 0 0 45673 441 0 0 20 0 1 0 36304034 12219019264 2781020 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 2983159 2781020 896 2593 0 2980052 0
Current children cumulated CPU time: 461.14 s
Current children cumulated vsize: 11932636 KiB
Current children cumulated memory: 11124080 KiB
[startup+522.3 s]
/proc/loadavg: 4.09 3.97 4.28 6/250 28713
/proc/meminfo: memFree=93826512/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12080300 memory=11440616 CPUtime=520.99 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1175966 0 0 0 51643 456 0 0 20 0 1 0 36304034 12370227200 2860154 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3020075 2860154 1152 2593 0 3016968 0
Current children cumulated CPU time: 520.99 s
Current children cumulated vsize: 12080300 KiB
Current children cumulated memory: 11440616 KiB
[startup+582.3 s]
/proc/loadavg: 4.13 4.00 4.27 7/250 28718
/proc/meminfo: memFree=91321904/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12081812 memory=11442280 CPUtime=580.85 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1179567 0 0 0 57628 457 0 0 20 0 1 0 36304034 12371775488 2860570 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3020453 2860570 1152 2593 0 3017346 0
Current children cumulated CPU time: 580.85 s
Current children cumulated vsize: 12081812 KiB
Current children cumulated memory: 11442280 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.02 4.26 6/250 28724
/proc/meminfo: memFree=90245328/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12083920 memory=11446736 CPUtime=640.7 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1183646 0 0 0 63612 458 0 0 20 0 1 0 36304034 12373934080 2861684 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3020980 2861684 1152 2593 0 3017873 0
Current children cumulated CPU time: 640.7 s
Current children cumulated vsize: 12083920 KiB
Current children cumulated memory: 11446736 KiB
[startup+702.3 s]
/proc/loadavg: 4.14 4.04 4.25 5/250 28816
/proc/meminfo: memFree=110507076/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12086572 memory=11449680 CPUtime=700.55 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1187821 0 0 0 69596 459 0 0 20 0 1 0 36304034 12376649728 2862420 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3021643 2862420 1152 2593 0 3018536 0
Current children cumulated CPU time: 700.55 s
Current children cumulated vsize: 12086572 KiB
Current children cumulated memory: 11449680 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.05 4.24 5/250 28818
/proc/meminfo: memFree=105836264/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12091956 memory=11458768 CPUtime=760.39 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1192414 0 0 0 75579 460 0 0 20 0 1 0 36304034 12382162944 2864692 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3022989 2864692 1152 2593 0 3019882 0
Current children cumulated CPU time: 760.39 s
Current children cumulated vsize: 12091956 KiB
Current children cumulated memory: 11458768 KiB
[startup+776.214 s]
# the end of solver process 28647 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=769.496 s, system=4.79108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+768 s]*
/proc/loadavg: 4.09 4.05 4.24 5/250 28818
/proc/meminfo: memFree=105627560/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12092900 memory=11459664 CPUtime=766.09 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1193038 0 0 0 76149 460 0 0 20 0 1 0 36304034 12383129600 2864916 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3023225 2864916 1152 2593 0 3020118 0
Current children cumulated CPU time: 766.09 s
Current children cumulated vsize: 12092900 KiB
Current children cumulated memory: 11459664 KiB
[startup+771.2 s]
/proc/loadavg: 4.09 4.05 4.24 5/250 28818
/proc/meminfo: memFree=104232072/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12093512 memory=11460304 CPUtime=769.28 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1193574 0 0 0 76467 461 0 0 20 0 1 0 36304034 12383756288 2865076 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3023378 2865076 1152 2593 0 3020271 0
Current children cumulated CPU time: 769.28 s
Current children cumulated vsize: 12093512 KiB
Current children cumulated memory: 11460304 KiB
[startup+774.4 s]
/proc/loadavg: 4.08 4.04 4.23 5/250 28819
/proc/meminfo: memFree=104214148/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12094536 memory=11461328 CPUtime=772.47 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1194098 0 0 0 76786 461 0 0 20 0 1 0 36304034 12384804864 2865332 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3023634 2865332 1152 2593 0 3020527 0
Current children cumulated CPU time: 772.47 s
Current children cumulated vsize: 12094536 KiB
Current children cumulated memory: 11461328 KiB
[startup+775.2 s]
/proc/loadavg: 4.08 4.04 4.23 5/250 28819
/proc/meminfo: memFree=104210052/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12095228 memory=11462096 CPUtime=773.27 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1194275 0 0 0 76866 461 0 0 20 0 1 0 36304034 12385513472 2865524 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3023807 2865524 1152 2593 0 3020700 0
Current children cumulated CPU time: 773.27 s
Current children cumulated vsize: 12095228 KiB
Current children cumulated memory: 11462096 KiB
[startup+776 s]*
/proc/loadavg: 4.08 4.04 4.23 5/250 28819
/proc/meminfo: memFree=104802700/131382112 swapFree=33010684/33010684
[pid=28647] ppid=28635 vsize=12095228 memory=11462096 CPUtime=774.08 cores=4,6
/proc/28647/stat : 28647 (CASHWMaxSAT-Dis) R 28635 28647 28582 0 -1 4194304 1194365 0 0 0 76947 461 0 0 20 0 1 0 36304034 12385513472 2865524 18446744073709551615 4198400 14817773 140736442924064 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 26443776 140736442927466 140736442927581 140736442927581 140736442933183 0
/proc/28647/statm: 3023807 2865524 1152 2593 0 3020700 0
Current children cumulated CPU time: 774.08 s
Current children cumulated vsize: 12095228 KiB
Current children cumulated memory: 11462096 KiB
[startup+776.212 s]
/proc/loadavg: 4.08 4.04 4.23 5/250 28819
/proc/meminfo: memFree=107574356/131382112 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 776.214
CPU time (s): 774.287
CPU user time (s): 769.496
CPU system time (s): 4.79108
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 12095228
Max. memory (cumulated for all children) (KiB): 11462096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 769.496
system time used= 4.79108
maximum resident set size= 11462096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1194403
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= 4
involuntary context switches= 1128
# summary of solver processes directly reported to runsolver:
# pid: 28647
# total CPU time (s): 774.287
# total CPU user time (s): 769.496
# total CPU system time (s): 4.79108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.0436 second user time and 8.2782 second system time
The end
Begin job on nodeC007 at 2025-06-29 16:10:49
IDJOB=4512042
IDBENCH=160491
IDSOLVER=3322
FILE ID=nodeC007/4512042-1751206247
RUNJOBID= nodeC007-1751206247-28593
SLURM_JOB_ID= 9587631
Free space on /tmp= 432496 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm100p-dec.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512042-1751206247/watcher-4512042-1751206247 -o /tmp/evaluation-result-4512042-1751206247/solver-4512042-1751206247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751206247-28593 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512042-1751206247.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 87dcb6b5c21e845aafa503750cb7c14f
RANDOM SEED=1429127486
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3493.046
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3491.906
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.226
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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.736
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 1197.594
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 1197.235
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3491.900
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
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 : 3491.796
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129400324 kB
MemAvailable: 129932780 kB
Buffers: 3280 kB
Cached: 1342528 kB
SwapCached: 0 kB
Active: 315144 kB
Inactive: 1097116 kB
Active(anon): 84512 kB
Inactive(anon): 0 kB
Active(file): 230632 kB
Inactive(file): 1097116 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 585824 kB
Writeback: 0 kB
AnonPages: 69652 kB
Mapped: 102204 kB
Shmem: 17960 kB
KReclaimable: 88672 kB
Slab: 170120 kB
SReclaimable: 88672 kB
SUnreclaim: 81448 kB
KernelStack: 3904 kB
PageTables: 2896 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 330992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432700 MiB
End job on nodeC007 at 2025-06-29 16:23:45