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 (62232 MiB free)
memory of node 1: 64465 MiB (62149 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516985-1751237714/watcher-4516985-1751237714 -o /tmp/evaluation-result-4516985-1751237714/solver-4516985-1751237714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751228868-30843 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=577523189 --ls=360 --inp-dombreaklim=0 HOME/instance-4516985-1751237714.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=32780, runsolver pid=32777
[startup+0.100071 s]*
/proc/loadavg: 4.11 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127367812/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=0.09 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 9 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+0.213293 s]*
/proc/loadavg: 4.11 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127367812/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=0.19 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 19 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+0.313089 s]*
/proc/loadavg: 4.11 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127367812/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=0.27 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 27 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+0.700231 s]
/proc/loadavg: 4.11 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127367812/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=0.62 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 62 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127368056/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=1.41 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 141 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+3.10535 s]
/proc/loadavg: 4.10 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127368056/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=3 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 300 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+6.30013 s]
/proc/loadavg: 4.09 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127368432/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=6.17 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 617 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.12 5/252 32781
/proc/meminfo: memFree=127360368/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=12.54 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 1254 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.11 4.12 5/252 32782
/proc/meminfo: memFree=127360368/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=25.31 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 2531 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+51.1128 s]
/proc/loadavg: 4.09 4.10 4.11 5/252 32782
/proc/meminfo: memFree=127352320/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=50.87 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 5087 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/251 32786
/proc/meminfo: memFree=127336524/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=101.95 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 10195 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 32788
/proc/meminfo: memFree=127312336/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=161.82 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 16182 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.12 5/251 32790
/proc/meminfo: memFree=127280096/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=221.7 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 22170 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.15 4.12 5/251 32836
/proc/meminfo: memFree=128545980/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=281.58 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 28158 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+342.3 s]
/proc/loadavg: 4.53 4.23 4.15 5/250 32838
/proc/meminfo: memFree=128501580/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=341.45 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 34145 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+384.454 s]
# the end of solver process 32780 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=383.378 s, system=0.139568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.64 4.27 4.17 5/250 32854
/proc/meminfo: memFree=128494868/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=34936 memory=11124 CPUtime=357.52 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 2123 0 0 0 35752 0 0 0 20 0 1 0 39450805 35774464 2781 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 8734 2781 1024 1200 0 7214 0
Current children cumulated CPU time: 357.52 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 11124 KiB
[startup+371.2 s]
/proc/loadavg: 4.79 4.32 4.19 5/250 32854
/proc/meminfo: memFree=128468024/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=50848 memory=34724 CPUtime=370.29 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 6263 0 0 0 37022 7 0 0 20 0 1 0 39450805 52068352 8681 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 12712 8681 1280 1200 0 11192 0
Current children cumulated CPU time: 370.29 s
Current children cumulated vsize: 50848 KiB
Current children cumulated memory: 34724 KiB
[startup+377.6 s]
/proc/loadavg: 4.73 4.32 4.18 5/250 32854
/proc/meminfo: memFree=128459960/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=53672 memory=39164 CPUtime=376.68 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 6885 0 0 0 37657 11 0 0 20 0 1 0 39450805 54960128 9791 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 13418 9791 1280 1200 0 11898 0
Current children cumulated CPU time: 376.68 s
Current children cumulated vsize: 53672 KiB
Current children cumulated memory: 39164 KiB
[startup+380.8 s]
/proc/loadavg: 4.73 4.32 4.18 5/251 32855
/proc/meminfo: memFree=128459960/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=55288 memory=40828 CPUtime=379.87 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 7283 0 0 0 37975 12 0 0 20 0 1 0 39450805 56614912 10207 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 13822 10207 1280 1200 0 12302 0
Current children cumulated CPU time: 379.87 s
Current children cumulated vsize: 55288 KiB
Current children cumulated memory: 40828 KiB
[startup+382.4 s]
/proc/loadavg: 4.67 4.31 4.18 5/251 32855
/proc/meminfo: memFree=128459960/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=56516 memory=41980 CPUtime=381.45 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 7577 0 0 0 38133 12 0 0 20 0 1 0 39450805 57872384 10495 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 14129 10495 1280 1200 0 12609 0
Current children cumulated CPU time: 381.45 s
Current children cumulated vsize: 56516 KiB
Current children cumulated memory: 41980 KiB
[startup+383.2 s]
/proc/loadavg: 4.67 4.31 4.18 5/251 32855
/proc/meminfo: memFree=128459960/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=57232 memory=42876 CPUtime=382.26 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 7799 0 0 0 38213 13 0 0 20 0 1 0 39450805 58605568 10719 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 14308 10719 1280 1200 0 12788 0
Current children cumulated CPU time: 382.26 s
Current children cumulated vsize: 57232 KiB
Current children cumulated memory: 42876 KiB
[startup+384 s]*
/proc/loadavg: 4.67 4.31 4.18 5/251 32855
/proc/meminfo: memFree=128459960/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=57796 memory=43388 CPUtime=383.07 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 7941 0 0 0 38294 13 0 0 20 0 1 0 39450805 59183104 10847 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 14449 10847 1280 1200 0 12929 0
Current children cumulated CPU time: 383.07 s
Current children cumulated vsize: 57796 KiB
Current children cumulated memory: 43388 KiB
[startup+384.4 s]
/proc/loadavg: 4.67 4.31 4.18 5/251 32855
/proc/meminfo: memFree=128459960/131382116 swapFree=33010684/33010684
[pid=32780] ppid=32777 vsize=58468 memory=43772 CPUtime=383.45 cores=4,6
/proc/32780/stat : 32780 (Exact) R 32777 32780 30832 0 -1 4194304 8048 0 0 0 38332 13 0 0 20 0 1 0 39450805 59871232 10943 18446744073709551615 4198400 9112445 140736807684336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 27832320 140736807688487 140736807688685 140736807688685 140736807694287 0
/proc/32780/statm: 14617 10943 1280 1200 0 13097 0
Current children cumulated CPU time: 383.45 s
Current children cumulated vsize: 58468 KiB
Current children cumulated memory: 43772 KiB
Child status: 20
Real time (s): 384.454
CPU time (s): 383.518
CPU user time (s): 383.378
CPU system time (s): 0.139568
CPU usage (%): 99.7565
Max. virtual memory (cumulated for all children) (KiB): 58468
Max. memory (cumulated for all children) (KiB): 43772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 383.378
system time used= 0.139568
maximum resident set size= 43900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8055
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= 386
# summary of solver processes directly reported to runsolver:
# pid: 32780
# total CPU time (s): 383.518
# total CPU user time (s): 383.378
# total CPU system time (s): 0.139568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91413 second user time and 3.41504 second system time
The end
Begin job on nodeC010 at 2025-06-30 00:55:14
IDJOB=4516985
IDBENCH=175951
IDSOLVER=3319
FILE ID=nodeC010/4516985-1751237714
RUNJOBID= nodeC010-1751228868-30843
SLURM_JOB_ID= 9587691
Free space on /tmp= 432668 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq8/normalized-21array_ineq8.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516985-1751237714/watcher-4516985-1751237714 -o /tmp/evaluation-result-4516985-1751237714/solver-4516985-1751237714 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751228868-30843 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=577523189 --ls=360 --inp-dombreaklim=0 HOME/instance-4516985-1751237714.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15ee35ebe220ef81377737899de34856
RANDOM SEED=577523189
nodeC010 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 : 3662.456
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.36
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.182
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.36
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.413
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.36
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 : 3700.000
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.36
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.960
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.36
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 : 3506.388
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.36
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.145
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.36
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.457
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127368100 kB
MemAvailable: 127642044 kB
Buffers: 3280 kB
Cached: 1083380 kB
SwapCached: 0 kB
Active: 2653888 kB
Inactive: 790872 kB
Active(anon): 2376060 kB
Inactive(anon): 0 kB
Active(file): 277828 kB
Inactive(file): 790872 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7496 kB
Writeback: 12 kB
AnonPages: 2361220 kB
Mapped: 118280 kB
Shmem: 17960 kB
KReclaimable: 89744 kB
Slab: 171336 kB
SReclaimable: 89744 kB
SUnreclaim: 81592 kB
KernelStack: 4064 kB
PageTables: 7648 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 2756120 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2002944 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432664 MiB
End job on nodeC010 at 2025-06-30 01:01:39