0.01/0.63 c #vars 231 #constraints 2707 11.7186 1
0.01/0.63 c intsize: 10
0.01/0.65 c 2707 constraints
0.01/0.65 c Finish cloning data from SAT to LS
0.01/0.65 c restart_num_ls -100000 0
58.24/59.13 c Use LS-small
58.24/59.13 restart_num 0 384
58.24/59.13 c LS-restart 90 4
160.47/161.71 c Use LS-small
160.47/161.71 c restart_num_ls 384 885
160.47/161.71 c LS 80 94
263.52/265.11 c Use LS-small
263.52/265.11 restart_num 885 1216
263.52/265.11 c LS-restart 70 63
321.32/323.12 c Use LS-small
321.32/323.12 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 (62250 MiB free)
memory of node 1: 64465 MiB (63319 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545663-1753259731/watcher-4545663-1753259731 -o /tmp/evaluation-result-4545663-1753259731/solver-4545663-1753259731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166041 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545663-1753259731.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=166276, runsolver pid=166265
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.86 0.52 0.23 1/247 166278
/proc/meminfo: memFree=128583392/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) D 166265 166276 166021 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241652224 17514496 160 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.213193 s]*
/proc/loadavg: 1.86 0.52 0.23 1/245 166279
/proc/meminfo: memFree=128583152/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) D 166265 166276 166021 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241652224 17514496 160 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.312967 s]*
/proc/loadavg: 1.86 0.52 0.23 1/245 166279
/proc/meminfo: memFree=128583152/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=17104 memory=640 CPUtime=0 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) D 166265 166276 166021 0 -1 4456448 82 0 0 0 0 0 0 0 20 0 1 0 241652224 17514496 160 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 4276 160 160 595 0 1074 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17104 KiB
Current children cumulated memory: 640 KiB
[startup+0.700252 s]
/proc/loadavg: 1.86 0.52 0.23 1/243 166280
/proc/meminfo: memFree=128582900/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=86676 memory=13948 CPUtime=0.1 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 1468 0 0 0 8 2 0 0 20 0 1 0 241652224 88756224 3487 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 21669 3487 2496 595 0 6336 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 86676 KiB
Current children cumulated memory: 13948 KiB
[startup+1.50024 s]
/proc/loadavg: 1.86 0.52 0.23 2/246 166288
/proc/meminfo: memFree=128579172/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=86676 memory=13948 CPUtime=0.89 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 1468 0 0 0 76 13 0 0 20 0 1 0 241652224 88756224 3487 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 21669 3487 2496 595 0 6336 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 86676 KiB
Current children cumulated memory: 13948 KiB
[startup+3.11223 s]
/proc/loadavg: 2.11 0.59 0.26 3/243 166295
/proc/meminfo: memFree=128578432/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=86676 memory=13948 CPUtime=2.49 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 1468 0 0 0 216 33 0 0 20 0 1 0 241652224 88756224 3487 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 21669 3487 2496 595 0 6336 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 86676 KiB
Current children cumulated memory: 13948 KiB
[startup+6.30023 s]
/proc/loadavg: 2.11 0.59 0.26 3/243 166295
/proc/meminfo: memFree=128578448/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=86676 memory=13948 CPUtime=5.68 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 1468 0 0 0 491 77 0 0 20 0 1 0 241652224 88756224 3487 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 21669 3487 2496 595 0 6336 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 86676 KiB
Current children cumulated memory: 13948 KiB
[startup+12.7002 s]
/proc/loadavg: 2.56 0.74 0.31 4/249 166307
/proc/meminfo: memFree=128578032/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=88572 memory=18556 CPUtime=12.05 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 2076 0 0 0 1063 142 0 0 20 0 1 0 241652224 90697728 4639 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 22143 4639 2528 595 0 6810 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 88572 KiB
Current children cumulated memory: 18556 KiB
[startup+25.5002 s]
/proc/loadavg: 2.86 0.86 0.36 2/243 166367
/proc/meminfo: memFree=128565936/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=91660 memory=25768 CPUtime=24.79 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 2820 0 0 0 2324 155 0 0 20 0 1 0 241652224 93859840 6442 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 22915 6442 2528 595 0 7582 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 91660 KiB
Current children cumulated memory: 25768 KiB
[startup+51.1129 s]
/proc/loadavg: 3.25 1.12 0.45 4/247 166492
/proc/meminfo: memFree=128540832/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=92932 memory=27148 CPUtime=50.26 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 3276 0 0 0 4852 174 0 0 20 0 1 0 241652224 95162368 6787 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 23233 6787 2528 595 0 7900 0
Current children cumulated CPU time: 50.26 s
Current children cumulated vsize: 92932 KiB
Current children cumulated memory: 27148 KiB
[startup+102.3 s]
/proc/loadavg: 3.75 1.62 0.67 5/251 166550
/proc/meminfo: memFree=126812716/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=94980 memory=28832 CPUtime=101.28 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 4786 0 0 0 9793 335 0 0 20 0 1 0 241652224 97259520 7208 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 23745 7208 2528 595 0 8412 0
Current children cumulated CPU time: 101.28 s
Current children cumulated vsize: 94980 KiB
Current children cumulated memory: 28832 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.07 0.88 5/251 166552
/proc/meminfo: memFree=126679684/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=94780 memory=28816 CPUtime=161.06 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 5004 0 0 0 15728 378 0 0 20 0 1 0 241652224 97054720 7204 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 23695 7204 2528 595 0 8362 0
Current children cumulated CPU time: 161.06 s
Current children cumulated vsize: 94780 KiB
Current children cumulated memory: 28816 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.44 1.09 5/251 166554
/proc/meminfo: memFree=126659560/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=95348 memory=29364 CPUtime=220.85 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 6584 0 0 0 21544 541 0 0 20 0 1 0 241652224 97636352 7341 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 23837 7341 2528 595 0 8504 0
Current children cumulated CPU time: 220.85 s
Current children cumulated vsize: 95348 KiB
Current children cumulated memory: 29364 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.76 1.28 5/250 166556
/proc/meminfo: memFree=126653440/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96504 memory=32416 CPUtime=280.66 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7174 0 0 0 27355 711 0 0 20 0 1 0 241652224 98820096 8104 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24126 8104 2528 595 0 8793 0
Current children cumulated CPU time: 280.66 s
Current children cumulated vsize: 96504 KiB
Current children cumulated memory: 32416 KiB
[startup+323.13 s]
# the end of solver process 166276 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=314.019 s, system=7.32443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.08 2.86 1.35 5/249 166556
/proc/meminfo: memFree=126651340/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96504 memory=32416 CPUtime=305.46 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7183 0 0 0 29822 724 0 0 20 0 1 0 241652224 98820096 8104 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24126 8104 2528 595 0 8793 0
Current children cumulated CPU time: 305.46 s
Current children cumulated vsize: 96504 KiB
Current children cumulated memory: 32416 KiB
[startup+313.6 s]
/proc/loadavg: 4.08 2.88 1.37 5/249 166558
/proc/meminfo: memFree=126635292/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96504 memory=32416 CPUtime=311.83 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7185 0 0 0 30456 727 0 0 20 0 1 0 241652224 98820096 8104 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24126 8104 2528 595 0 8793 0
Current children cumulated CPU time: 311.83 s
Current children cumulated vsize: 96504 KiB
Current children cumulated memory: 32416 KiB
[startup+320 s]*
/proc/loadavg: 4.07 2.90 1.38 5/249 166558
/proc/meminfo: memFree=126647152/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96100 memory=32184 CPUtime=318.22 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7220 0 0 0 31092 730 0 0 20 0 1 0 241652224 98406400 8046 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24025 8046 2528 595 0 8692 0
Current children cumulated CPU time: 318.22 s
Current children cumulated vsize: 96100 KiB
Current children cumulated memory: 32184 KiB
[startup+321.6 s]
/proc/loadavg: 4.07 2.90 1.38 5/249 166558
/proc/meminfo: memFree=126647152/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96100 memory=32184 CPUtime=319.81 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7328 0 0 0 31250 731 0 0 20 0 1 0 241652224 98406400 8046 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24025 8046 2528 595 0 8692 0
Current children cumulated CPU time: 319.81 s
Current children cumulated vsize: 96100 KiB
Current children cumulated memory: 32184 KiB
[startup+322.4 s]
/proc/loadavg: 4.07 2.91 1.40 5/249 166558
/proc/meminfo: memFree=126647152/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96100 memory=32184 CPUtime=320.61 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7328 0 0 0 31329 732 0 0 20 0 1 0 241652224 98406400 8046 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24025 8046 2528 595 0 8692 0
Current children cumulated CPU time: 320.61 s
Current children cumulated vsize: 96100 KiB
Current children cumulated memory: 32184 KiB
[startup+322.8 s]
/proc/loadavg: 4.07 2.91 1.40 5/249 166558
/proc/meminfo: memFree=126647152/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96100 memory=32184 CPUtime=321.01 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7328 0 0 0 31369 732 0 0 20 0 1 0 241652224 98406400 8046 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24025 8046 2528 595 0 8692 0
Current children cumulated CPU time: 321.01 s
Current children cumulated vsize: 96100 KiB
Current children cumulated memory: 32184 KiB
[startup+323 s]*
/proc/loadavg: 4.07 2.91 1.40 5/249 166558
/proc/meminfo: memFree=126647168/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96100 memory=32184 CPUtime=321.22 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7328 0 0 0 31390 732 0 0 20 0 1 0 241652224 98406400 8046 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24025 8046 2528 595 0 8692 0
Current children cumulated CPU time: 321.22 s
Current children cumulated vsize: 96100 KiB
Current children cumulated memory: 32184 KiB
[startup+323.113 s]
/proc/loadavg: 4.07 2.91 1.40 5/249 166558
/proc/meminfo: memFree=126647168/131382120 swapFree=33010416/33010684
[pid=166276] ppid=166265 vsize=96100 memory=32184 CPUtime=321.32 cores=5,7
/proc/166276/stat : 166276 (SynLSCD) R 166265 166276 166021 0 -1 4194304 7328 0 0 0 31400 732 0 0 20 0 1 0 241652224 98406400 8046 18446744073709551615 94900269424640 94900271859241 140720669605296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94900272340216 94900272373248 94900279328768 140720669608323 140720669608458 140720669608458 140720669614062 0
/proc/166276/statm: 24025 8046 2528 595 0 8692 0
Current children cumulated CPU time: 321.32 s
Current children cumulated vsize: 96100 KiB
Current children cumulated memory: 32184 KiB
Child status: 20
Real time (s): 323.13
CPU time (s): 321.344
CPU user time (s): 314.019
CPU system time (s): 7.32443
CPU usage (%): 99.4472
Max. virtual memory (cumulated for all children) (KiB): 96504
Max. memory (cumulated for all children) (KiB): 32416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.019
system time used= 7.32443
maximum resident set size= 32568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7360
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= 162
involuntary context switches= 264
# summary of solver processes directly reported to runsolver:
# pid: 166276
# total CPU time (s): 321.344
# total CPU user time (s): 314.019
# total CPU system time (s): 7.32443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.57434 second user time and 3.13931 second system time
The end
Begin job on nodeC002 at 2025-07-23 10:35:32
IDJOB=4545663
IDBENCH=147987
IDSOLVER=3421
FILE ID=nodeC002/4545663-1753259731
RUNJOBID= nodeC002-1753259701-166041
SLURM_JOB_ID= 9689157
Free space on /tmp= 432320 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996.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-4545663-1753259731/watcher-4545663-1753259731 -o /tmp/evaluation-result-4545663-1753259731/solver-4545663-1753259731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753259701-166041 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545663-1753259731.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a3c0b836e0973314fbcd5a68d5736cb2
RANDOM SEED=554905260
nodeC002 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.416
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.81
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 : 1197.662
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.81
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.699
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.81
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.285
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.81
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.251
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.81
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.733
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.81
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.465
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.81
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.222
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128587864 kB
MemAvailable: 129872224 kB
Buffers: 2128 kB
Cached: 2036352 kB
SwapCached: 28 kB
Active: 1175548 kB
Inactive: 927536 kB
Active(anon): 84428 kB
Inactive(anon): 6300 kB
Active(file): 1091120 kB
Inactive(file): 921236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 11000 kB
Writeback: 0 kB
AnonPages: 67776 kB
Mapped: 108940 kB
Shmem: 26124 kB
KReclaimable: 223260 kB
Slab: 314048 kB
SReclaimable: 223260 kB
SUnreclaim: 90788 kB
KernelStack: 3856 kB
PageTables: 2988 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 342760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432268 MiB
End job on nodeC002 at 2025-07-23 10:40:58