0.00/0.02 c #vars 201 #constraints 802 3.99005 1
0.00/0.04 c 802 constraints
0.00/0.04 c Finish cloning data from SAT to LS
0.00/0.04 c restart_num_ls -100000 0
10.85/10.90 c Use LS-small
10.85/10.90 restart_num 0 307
10.85/10.90 LS-restart 90 98
21.73/21.87 c Use LS-small
21.73/21.87 restart_num 307 610
21.73/21.87 LS-restart 80 43
32.21/32.39 c Use LS-small
32.21/32.39 restart_num 610 925
32.21/32.39 LS-restart 70 4
44.78/44.97 c Use LS-small
44.78/44.97 restart_num 925 1233
44.78/44.97 LS-restart 60 34
56.45/56.69 c Use LS-small
56.45/56.69 restart_num 1233 1536
56.45/56.69 LS-restart 50 12
67.42/67.64 c Use LS-small
67.42/67.64 restart_num 1536 1905
67.42/67.64 LS-restart 40 62
83.79/84.02 c Use LS-small
83.79/84.02 restart_num 1905 2238
83.79/84.02 LS-restart 30 24
95.56/95.80 c Use LS-small
95.56/95.80 restart_num 2238 2563
95.56/95.80 LS-restart 20 94
106.13/106.47 c Use LS-small
106.13/106.47 restart_num 2563 2885
106.13/106.47 LS-restart 10 31
119.99/120.38 c Use LS-small
119.99/120.38 restart_num 2885 3291
131.76/132.12 c Use LS-small
131.76/132.12 restart_num 3291 3592
141.93/142.39 c Use LS-small
141.93/142.39 restart_num 3592 3893
164.37/164.82 c Use LS-small
164.37/164.82 restart_num 3893 4211
177.34/177.84 c Use LS-small
177.34/177.84 restart_num 4211 4616
188.21/188.73 c Use LS-small
188.21/188.73 restart_num 4616 4950
202.07/202.65 c Use LS-small
202.07/202.65 restart_num 4950 5343
213.56/214.16 c Use LS-small
213.56/214.16 s UNSATISFIABLE
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 (63215 MiB free)
memory of node 1: 64465 MiB (63952 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510378-1751196544/watcher-4510378-1751196544 -o /tmp/evaluation-result-4510378-1751196544/solver-4510378-1751196544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751196346-24650 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510378-1751196544.opb
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
Starting watchdog thread
solver pid=24939, runsolver pid=24936
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 4.01 2.57 1.94 5/252 24940
/proc/meminfo: memFree=130215972/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=0.09 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 7 2 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+0.212845 s]*
/proc/loadavg: 4.01 2.57 1.94 5/252 24940
/proc/meminfo: memFree=130215972/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=0.2 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 17 3 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+0.312277 s]*
/proc/loadavg: 4.01 2.57 1.94 5/252 24940
/proc/meminfo: memFree=130215972/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=0.3 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 25 5 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+0.700229 s]
/proc/loadavg: 4.01 2.57 1.94 5/252 24940
/proc/meminfo: memFree=130215976/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=0.68 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 54 14 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+1.50022 s]
/proc/loadavg: 4.01 2.57 1.94 5/252 24940
/proc/meminfo: memFree=130215976/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=1.47 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 120 27 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+3.11339 s]
/proc/loadavg: 4.09 2.61 1.96 5/252 24940
/proc/meminfo: memFree=130216200/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=3.09 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 254 55 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+6.30023 s]
/proc/loadavg: 4.09 2.61 1.96 5/252 24940
/proc/meminfo: memFree=130215948/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=84744 memory=12160 CPUtime=6.26 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 820 0 0 0 515 111 0 0 20 0 1 0 35333835 86777856 3040 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21186 3040 2496 595 0 5853 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 12160 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 2.63 1.97 5/252 24940
/proc/meminfo: memFree=130214248/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=86552 memory=17028 CPUtime=12.65 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 1972 0 0 0 1081 184 0 0 20 0 1 0 35333835 88629248 4257 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21638 4257 2528 595 0 6305 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86552 KiB
Current children cumulated memory: 17028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 2.70 2.00 5/252 24940
/proc/meminfo: memFree=130213252/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=87168 memory=17644 CPUtime=25.42 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 3068 0 0 0 2188 354 0 0 20 0 1 0 35333835 89260032 4411 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21792 4411 2528 595 0 6459 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 17644 KiB
[startup+51.1131 s]
/proc/loadavg: 4.12 2.82 2.06 5/252 24986
/proc/meminfo: memFree=130241316/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=87780 memory=18336 CPUtime=50.98 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 5272 0 0 0 4415 683 0 0 20 0 1 0 35333835 89886720 4584 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 21945 4584 2528 595 0 6612 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 87780 KiB
Current children cumulated memory: 18336 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 3.00 2.17 5/251 24988
/proc/meminfo: memFree=130170168/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=88212 memory=18660 CPUtime=102.04 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 9892 0 0 0 8941 1263 0 0 20 0 1 0 35333835 90329088 4665 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22053 4665 2528 595 0 6720 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 88212 KiB
Current children cumulated memory: 18660 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.20 2.29 5/249 24990
/proc/meminfo: memFree=130120868/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=88924 memory=19460 CPUtime=161.88 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 15787 0 0 0 14323 1865 0 0 20 0 1 0 35333835 91058176 4865 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22231 4865 2528 595 0 6898 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 88924 KiB
Current children cumulated memory: 19460 KiB
[startup+214.162 s]
# the end of solver process 24939 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=189.197 s, system=24.4218 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.12 3.27 2.33 5/249 24990
/proc/meminfo: memFree=130101624/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=88996 memory=19564 CPUtime=178.73 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 17308 0 0 0 15830 2043 0 0 20 0 1 0 35333835 91131904 4891 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22249 4891 2528 595 0 6916 0
Current children cumulated CPU time: 178.73 s
Current children cumulated vsize: 88996 KiB
Current children cumulated memory: 19564 KiB
[startup+192 s]*
/proc/loadavg: 4.10 3.30 2.35 5/249 24990
/proc/meminfo: memFree=130097696/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89020 memory=19468 CPUtime=191.52 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 17978 0 0 0 16935 2217 0 0 20 0 1 0 35333835 91156480 4867 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22255 4867 2528 595 0 6922 0
Current children cumulated CPU time: 191.52 s
Current children cumulated vsize: 89020 KiB
Current children cumulated memory: 19468 KiB
[startup+204.8 s]
/proc/loadavg: 4.08 3.33 2.38 5/249 24990
/proc/meminfo: memFree=130097444/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89096 memory=19544 CPUtime=204.27 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 19336 0 0 0 18084 2343 0 0 20 0 1 0 35333835 91234304 4886 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22274 4886 2528 595 0 6941 0
Current children cumulated CPU time: 204.27 s
Current children cumulated vsize: 89096 KiB
Current children cumulated memory: 19544 KiB
[startup+208 s]*
/proc/loadavg: 4.07 3.34 2.39 5/249 24990
/proc/meminfo: memFree=130097696/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89096 memory=19544 CPUtime=207.48 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 19336 0 0 0 18347 2401 0 0 20 0 1 0 35333835 91234304 4886 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22274 4886 2528 595 0 6941 0
Current children cumulated CPU time: 207.48 s
Current children cumulated vsize: 89096 KiB
Current children cumulated memory: 19544 KiB
[startup+211.2 s]
/proc/loadavg: 4.07 3.34 2.39 5/251 24995
/proc/meminfo: memFree=130089884/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89112 memory=19560 CPUtime=210.65 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 19665 0 0 0 18629 2436 0 0 20 0 1 0 35333835 91250688 4890 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22278 4890 2528 595 0 6945 0
Current children cumulated CPU time: 210.65 s
Current children cumulated vsize: 89112 KiB
Current children cumulated memory: 19560 KiB
[startup+212.8 s]
/proc/loadavg: 4.07 3.34 2.39 5/251 24995
/proc/meminfo: memFree=130089884/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89116 memory=19564 CPUtime=212.25 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 19926 0 0 0 18786 2439 0 0 20 0 1 0 35333835 91254784 4891 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22279 4891 2528 595 0 6946 0
Current children cumulated CPU time: 212.25 s
Current children cumulated vsize: 89116 KiB
Current children cumulated memory: 19564 KiB
[startup+213.6 s]
/proc/loadavg: 4.07 3.35 2.40 5/251 24995
/proc/meminfo: memFree=130089884/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89160 memory=19608 CPUtime=213.04 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 20111 0 0 0 18864 2440 0 0 20 0 1 0 35333835 91299840 4902 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22290 4902 2528 595 0 6957 0
Current children cumulated CPU time: 213.04 s
Current children cumulated vsize: 89160 KiB
Current children cumulated memory: 19608 KiB
[startup+214 s]*
/proc/loadavg: 4.07 3.35 2.40 5/251 24995
/proc/meminfo: memFree=130089884/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89160 memory=19608 CPUtime=213.46 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 20154 0 0 0 18905 2441 0 0 20 0 1 0 35333835 91299840 4902 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22290 4902 2528 595 0 6957 0
Current children cumulated CPU time: 213.46 s
Current children cumulated vsize: 89160 KiB
Current children cumulated memory: 19608 KiB
[startup+214.112 s]
/proc/loadavg: 4.07 3.35 2.40 5/251 24995
/proc/meminfo: memFree=130089884/131382112 swapFree=33010684/33010684
[pid=24939] ppid=24936 vsize=89160 memory=19608 CPUtime=213.56 cores=4,6
/proc/24939/stat : 24939 (SynLSCD) R 24936 24939 24639 0 -1 4194304 20154 0 0 0 18914 2442 0 0 20 0 1 0 35333835 91299840 4902 18446744073709551615 94788783214592 94788785648745 140725157448960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94788786130168 94788786163200 94788798136320 140725157452134 140725157452267 140725157452267 140725157457869 0
/proc/24939/statm: 22290 4902 2528 595 0 6957 0
Current children cumulated CPU time: 213.56 s
Current children cumulated vsize: 89160 KiB
Current children cumulated memory: 19608 KiB
Child status: 20
Real time (s): 214.162
CPU time (s): 213.619
CPU user time (s): 189.197
CPU system time (s): 24.4218
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 89404
Max. memory (cumulated for all children) (KiB): 19692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 189.197
system time used= 24.4218
maximum resident set size= 19992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20186
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= 140
involuntary context switches= 1173
# summary of solver processes directly reported to runsolver:
# pid: 24939
# total CPU time (s): 213.619
# total CPU user time (s): 189.197
# total CPU system time (s): 24.4218
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.990852 second user time and 1.98676 second system time
The end
Begin job on nodeC005 at 2025-06-29 13:29:05
IDJOB=4510378
IDBENCH=160357
IDSOLVER=3369
FILE ID=nodeC005/4510378-1751196544
RUNJOBID= nodeC005-1751196346-24650
SLURM_JOB_ID= 9587608
Free space on /tmp= 433048 MiB
SOLVER NAME= SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
COMMAND LINE= SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510378-1751196544/watcher-4510378-1751196544 -o /tmp/evaluation-result-4510378-1751196544/solver-4510378-1751196544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751196346-24650 --watchdog 3760 SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4510378-1751196544.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fa6a1707c990041c74d493ed085ddd0
RANDOM SEED=246796983
nodeC005 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 : 3661.602
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.90
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 : 3691.496
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.90
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.488
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.90
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.661
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.90
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.241
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.90
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 : 3691.471
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.90
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.588
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.90
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 : 1196.619
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130220732 kB
MemAvailable: 129887284 kB
Buffers: 3280 kB
Cached: 477452 kB
SwapCached: 0 kB
Active: 396160 kB
Inactive: 229564 kB
Active(anon): 162952 kB
Inactive(anon): 0 kB
Active(file): 233208 kB
Inactive(file): 229564 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3604 kB
Writeback: 0 kB
AnonPages: 148108 kB
Mapped: 113752 kB
Shmem: 17960 kB
KReclaimable: 86816 kB
Slab: 168060 kB
SReclaimable: 86816 kB
SUnreclaim: 81244 kB
KernelStack: 4096 kB
PageTables: 3444 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 521556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 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: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC005 at 2025-06-29 13:32:39