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 (62799 MiB free)
memory of node 1: 64465 MiB (57039 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542210-1753214973/watcher-4542210-1753214973 -o /tmp/evaluation-result-4542210-1753214973/solver-4542210-1753214973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753211360-165766 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=560603483 --ls=360 HOME/instance-4542210-1753214973.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
Current StackSize limit: 8192 KiB
solver pid=166176, runsolver pid=166172
[startup+0.100073 s]*
/proc/loadavg: 4.07 4.08 4.03 4/245 166180
/proc/meminfo: memFree=122677772/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=72196 memory=48172 CPUtime=0.1 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 8042 0 0 0 7 3 0 0 20 0 1 0 237176404 73928704 12043 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 18049 12043 1024 1200 0 16529 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 72196 KiB
Current children cumulated memory: 48172 KiB
[startup+0.217735 s]*
/proc/loadavg: 4.07 4.08 4.03 4/245 166180
/proc/meminfo: memFree=122648980/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=90280 memory=66968 CPUtime=0.19 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 12757 0 0 0 14 5 0 0 20 0 1 0 237176404 92446720 16742 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 22570 16742 1024 1200 0 21050 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90280 KiB
Current children cumulated memory: 66968 KiB
[startup+0.315631 s]*
/proc/loadavg: 4.22 4.11 4.04 4/247 166186
/proc/meminfo: memFree=122616912/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=106700 memory=81328 CPUtime=0.28 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 16415 0 0 0 21 7 0 0 20 0 1 0 237176404 109260800 20332 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 26675 20332 1024 1200 0 25155 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 106700 KiB
Current children cumulated memory: 81328 KiB
[startup+0.700228 s]
/proc/loadavg: 4.22 4.11 4.04 4/243 166193
/proc/meminfo: memFree=122565032/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=0.62 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26180 0 0 0 53 9 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+1.50016 s]
/proc/loadavg: 4.22 4.11 4.04 5/252 166227
/proc/meminfo: memFree=122299052/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=1.41 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26180 0 0 0 132 9 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+3.11304 s]
/proc/loadavg: 4.22 4.11 4.04 5/252 166227
/proc/meminfo: memFree=121497908/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=3.02 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26182 0 0 0 292 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+6.30032 s]
/proc/loadavg: 4.20 4.11 4.04 5/252 166227
/proc/meminfo: memFree=121106524/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=6.2 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26184 0 0 0 610 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.11 4.04 5/252 166227
/proc/meminfo: memFree=121155928/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=12.58 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26186 0 0 0 1248 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.11 4.03 5/252 166227
/proc/meminfo: memFree=121242840/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=25.35 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26186 0 0 0 2525 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+51.1133 s]
/proc/loadavg: 4.15 4.11 4.04 5/252 166228
/proc/meminfo: memFree=121236036/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=50.89 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26190 0 0 0 5079 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/253 166231
/proc/meminfo: memFree=121244828/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=101.93 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26192 0 0 0 10183 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/253 166233
/proc/meminfo: memFree=121203380/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=161.77 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26194 0 0 0 16167 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.04 5/251 166235
/proc/meminfo: memFree=121134232/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=221.61 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26198 0 0 0 22151 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/251 166237
/proc/meminfo: memFree=121051960/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=281.44 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26198 0 0 0 28134 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/250 166239
/proc/meminfo: memFree=120612028/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=341.28 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26200 0 0 0 34118 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+364.767 s]
# the end of solver process 166176 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=363.517 s, system=0.165036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+345.6 s]
/proc/loadavg: 4.13 4.10 4.04 5/250 166239
/proc/meminfo: memFree=120908544/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=344.57 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26200 0 0 0 34447 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 344.57 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+358.4 s]
/proc/loadavg: 4.10 4.09 4.04 5/250 166239
/proc/meminfo: memFree=122280916/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=146528 memory=122096 CPUtime=357.33 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 26200 0 0 0 35723 10 0 0 20 0 1 0 237176404 150044672 30524 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 36632 30524 1024 1200 0 35112 0
Current children cumulated CPU time: 357.33 s
Current children cumulated vsize: 146528 KiB
Current children cumulated memory: 122096 KiB
[startup+361.6 s]
/proc/loadavg: 4.09 4.09 4.04 5/244 166247
/proc/meminfo: memFree=127213000/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=280540 memory=267228 CPUtime=360.51 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 52665 0 0 0 36037 14 0 0 20 0 1 0 237176404 287272960 66807 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 70135 66807 1248 1200 0 68615 0
Current children cumulated CPU time: 360.51 s
Current children cumulated vsize: 280540 KiB
Current children cumulated memory: 267228 KiB
[startup+363.2 s]
/proc/loadavg: 4.09 4.09 4.04 5/246 166326
/proc/meminfo: memFree=127039372/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=281452 memory=270592 CPUtime=362.12 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 53002 0 0 0 36197 15 0 0 20 0 1 0 237176404 288206848 67648 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 70363 67648 1248 1200 0 68843 0
Current children cumulated CPU time: 362.12 s
Current children cumulated vsize: 281452 KiB
Current children cumulated memory: 270592 KiB
[startup+364 s]*
/proc/loadavg: 4.09 4.09 4.04 5/250 166330
/proc/meminfo: memFree=127026072/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=281452 memory=270848 CPUtime=362.92 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 53065 0 0 0 36277 15 0 0 20 0 1 0 237176404 288206848 67712 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 70363 67712 1248 1200 0 68843 0
Current children cumulated CPU time: 362.92 s
Current children cumulated vsize: 281452 KiB
Current children cumulated memory: 270848 KiB
[startup+364.4 s]
/proc/loadavg: 4.09 4.09 4.04 5/250 166330
/proc/meminfo: memFree=127026072/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=282716 memory=273024 CPUtime=363.31 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 53600 0 0 0 36316 15 0 0 20 0 1 0 237176404 289501184 68256 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 70679 68256 1248 1200 0 69159 0
Current children cumulated CPU time: 363.31 s
Current children cumulated vsize: 282716 KiB
Current children cumulated memory: 273024 KiB
[startup+364.6 s]
/proc/loadavg: 4.09 4.09 4.04 5/250 166330
/proc/meminfo: memFree=127026072/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=282716 memory=273280 CPUtime=363.51 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 53677 0 0 0 36336 15 0 0 20 0 1 0 237176404 289501184 68320 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 70679 68320 1248 1200 0 69159 0
Current children cumulated CPU time: 363.51 s
Current children cumulated vsize: 282716 KiB
Current children cumulated memory: 273280 KiB
[startup+364.7 s]
/proc/loadavg: 4.09 4.09 4.04 5/250 166330
/proc/meminfo: memFree=127026072/131382120 swapFree=33010160/33010684
[pid=166176] ppid=166172 vsize=226100 memory=217012 CPUtime=363.61 cores=4,6
/proc/166176/stat : 166176 (Exact) R 166172 166176 165755 0 -1 4194304 53969 0 0 0 36346 15 0 0 20 0 1 0 237176404 231526400 54253 18446744073709551615 4198400 9112445 140721895626096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 26005504 140721895635257 140721895635435 140721895635435 140721895641039 0
/proc/166176/statm: 56525 54253 1248 1200 0 55005 0
Current children cumulated CPU time: 363.61 s
Current children cumulated vsize: 226100 KiB
Current children cumulated memory: 217012 KiB
Child status: 20
Real time (s): 364.767
CPU time (s): 363.682
CPU user time (s): 363.517
CPU system time (s): 0.165036
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 282716
Max. memory (cumulated for all children) (KiB): 273280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 363.517
system time used= 0.165036
maximum resident set size= 274432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53970
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= 2
involuntary context switches= 138
# summary of solver processes directly reported to runsolver:
# pid: 166176
# total CPU time (s): 363.682
# total CPU user time (s): 363.517
# total CPU system time (s): 0.165036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82847 second user time and 3.61444 second system time
The end
Begin job on nodeC008 at 2025-07-22 22:09:33
IDJOB=4542210
IDBENCH=163910
IDSOLVER=3317
FILE ID=nodeC008/4542210-1753214973
RUNJOBID= nodeC008-1753211360-165766
SLURM_JOB_ID= 9687794
Free space on /tmp= 432644 MiB
SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542210-1753214973/watcher-4542210-1753214973 -o /tmp/evaluation-result-4542210-1753214973/solver-4542210-1753214973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753211360-165766 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=560603483 --ls=360 HOME/instance-4542210-1753214973.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 664376cebc4ace2a9adeb41aa7b140b0
RANDOM SEED=560603483
nodeC008 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 : 1197.210
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.72
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.844
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.72
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.623
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.72
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.186
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.72
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.308
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.72
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.326
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.72
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.213
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.72
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.196
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 122708912 kB
MemAvailable: 123568572 kB
Buffers: 2128 kB
Cached: 1632008 kB
SwapCached: 24 kB
Active: 7167104 kB
Inactive: 615772 kB
Active(anon): 6143292 kB
Inactive(anon): 31568 kB
Active(file): 1023812 kB
Inactive(file): 584204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9008 kB
Writeback: 8 kB
AnonPages: 6151476 kB
Mapped: 113440 kB
Shmem: 26120 kB
KReclaimable: 182540 kB
Slab: 273244 kB
SReclaimable: 182540 kB
SUnreclaim: 90704 kB
KernelStack: 3968 kB
PageTables: 15188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 7225552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3262464 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432640 MiB
End job on nodeC008 at 2025-07-22 22:15:38