0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
4.68/4.73 c Converting 4752 PB-constraints to clauses...
440.83/442.17 c Out of memery in converting constraints: std::bad_alloc
440.83/442.17 s UNKNOWN
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: 63708 MiB (62592 MiB free)
memory of node 1: 64465 MiB (59046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511784-1751198162/watcher-4511784-1751198162 -o /tmp/evaluation-result-4511784-1751198162/solver-4511784-1751198162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23911 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4511784-1751198162.opb -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25598, runsolver pid=25595
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 25599
/proc/meminfo: memFree=124534088/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=25620 memory=23696 CPUtime=0.09 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 5838 0 0 0 8 1 0 0 20 0 1 0 35438742 26234880 5924 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 6405 5924 448 484 0 5816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25620 KiB
Current children cumulated memory: 23696 KiB
[startup+0.205612 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 25599
/proc/meminfo: memFree=124506304/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=46916 memory=44508 CPUtime=0.2 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 10293 0 0 0 18 2 0 0 20 0 1 0 35438742 48041984 11127 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 11729 11127 448 484 0 11140 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46916 KiB
Current children cumulated memory: 44508 KiB
[startup+0.305528 s]*
/proc/loadavg: 4.12 4.13 4.10 5/267 25599
/proc/meminfo: memFree=124490176/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=55564 memory=54108 CPUtime=0.3 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 12677 0 0 0 28 2 0 0 20 0 1 0 35438742 56897536 13527 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 13891 13527 448 484 0 13302 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55564 KiB
Current children cumulated memory: 54108 KiB
[startup+0.700174 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 25599
/proc/meminfo: memFree=124454076/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=155020 memory=142400 CPUtime=0.69 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 25076 0 0 0 63 6 0 0 20 0 1 0 35438742 158740480 35600 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 38755 35600 448 484 0 38166 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 155020 KiB
Current children cumulated memory: 142400 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 25599
/proc/meminfo: memFree=124123960/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=311492 memory=293108 CPUtime=1.49 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 40257 0 0 0 138 11 0 0 20 0 1 0 35438742 318967808 73277 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 77873 73277 448 484 0 77284 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 311492 KiB
Current children cumulated memory: 293108 KiB
[startup+3.10539 s]
/proc/loadavg: 4.12 4.13 4.10 5/267 25599
/proc/meminfo: memFree=123848156/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=428168 memory=391284 CPUtime=3.09 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 64829 0 0 0 294 15 0 0 20 0 1 0 35438742 438444032 97821 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 107042 97821 448 484 0 106453 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 428168 KiB
Current children cumulated memory: 391284 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.13 4.10 5/267 25599
/proc/meminfo: memFree=123028220/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=750948 memory=686076 CPUtime=6.27 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 102782 0 0 0 603 24 0 0 20 0 1 0 35438742 768970752 171519 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 187737 171519 448 484 0 187148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 750948 KiB
Current children cumulated memory: 686076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.10 5/267 25599
/proc/meminfo: memFree=121666852/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=1316128 memory=1204968 CPUtime=12.65 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 152322 0 0 0 1225 40 0 0 20 0 1 0 35438742 1347715072 301242 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 329032 301242 448 484 0 328443 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1316128 KiB
Current children cumulated memory: 1204968 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/267 25599
/proc/meminfo: memFree=119495920/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=2827008 memory=2615676 CPUtime=25.42 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 222795 0 0 0 2466 76 0 0 20 0 1 0 35438742 2894856192 653919 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 706752 653919 448 484 0 706163 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2827008 KiB
Current children cumulated memory: 2615676 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.12 4.09 5/267 25600
/proc/meminfo: memFree=117324884/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=3233964 memory=3089876 CPUtime=50.96 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 319293 0 0 0 4993 103 0 0 20 0 1 0 35438742 3311579136 772469 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 808491 772469 448 484 0 807902 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 3233964 KiB
Current children cumulated memory: 3089876 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/267 25601
/proc/meminfo: memFree=108821352/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=4881800 memory=4684660 CPUtime=102.01 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 430749 0 0 0 10039 162 0 0 20 0 1 0 35438742 4998963200 1171165 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 1220450 1171165 448 484 0 1219861 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 4881800 KiB
Current children cumulated memory: 4684660 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/268 25604
/proc/meminfo: memFree=88867852/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=6132176 memory=5626272 CPUtime=161.84 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 542173 0 0 0 15987 197 0 0 20 0 1 0 35438742 6279348224 1406568 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 1533044 1406568 448 484 0 1532455 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 6132176 KiB
Current children cumulated memory: 5626272 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 25651
/proc/meminfo: memFree=109987696/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9119656 memory=8924092 CPUtime=221.66 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 614615 0 0 0 21893 273 0 0 20 0 1 0 35438742 9338527744 2231023 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2279914 2231023 448 484 0 2279325 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 9119656 KiB
Current children cumulated memory: 8924092 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 25654
/proc/meminfo: memFree=107599868/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9269932 memory=8208964 CPUtime=281.48 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 692391 0 0 0 27851 297 0 0 20 0 1 0 35438742 9492410368 2052241 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2317483 2052241 448 484 0 2316894 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 9269932 KiB
Current children cumulated memory: 8208964 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 25712
/proc/meminfo: memFree=114261340/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9552576 memory=8808592 CPUtime=341.31 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 766177 0 0 0 33815 316 0 0 20 0 1 0 35438742 9781837824 2202148 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2388144 2202148 448 484 0 2387555 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 9552576 KiB
Current children cumulated memory: 8808592 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 25714
/proc/meminfo: memFree=107360800/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9783648 memory=9278340 CPUtime=401.13 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 819326 0 0 0 39780 333 0 0 20 0 1 0 35438742 10018455552 2319585 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2445912 2319585 448 484 0 2445323 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 9783648 KiB
Current children cumulated memory: 9278340 KiB
[startup+442.289 s]
# the end of solver process 25598 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=437.563 s, system=3.45497 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 25714
/proc/meminfo: memFree=108454428/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9784044 memory=9278852 CPUtime=408.41 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 819970 0 0 0 40508 333 0 0 20 0 1 0 35438742 10018861056 2319713 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446011 2319713 448 484 0 2445422 0
Current children cumulated CPU time: 408.41 s
Current children cumulated vsize: 9784044 KiB
Current children cumulated memory: 9278852 KiB
[startup+422.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 25715
/proc/meminfo: memFree=108006672/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9784972 memory=9281540 CPUtime=421.17 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 820596 0 0 0 41784 333 0 0 20 0 1 0 35438742 10019811328 2320385 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446243 2320385 448 484 0 2445654 0
Current children cumulated CPU time: 421.17 s
Current children cumulated vsize: 9784972 KiB
Current children cumulated memory: 9281540 KiB
[startup+435.2 s]
/proc/loadavg: 4.27 4.15 4.10 5/264 25715
/proc/meminfo: memFree=107601504/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9786028 memory=9284740 CPUtime=433.94 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 820988 0 0 0 43061 333 0 0 20 0 1 0 35438742 10020892672 2321185 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446507 2321185 448 484 0 2445918 0
Current children cumulated CPU time: 433.94 s
Current children cumulated vsize: 9786028 KiB
Current children cumulated memory: 9284740 KiB
[startup+438.4 s]
/proc/loadavg: 4.27 4.15 4.10 5/264 25715
/proc/meminfo: memFree=107516128/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9786692 memory=9285252 CPUtime=437.13 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 821129 0 0 0 43380 333 0 0 20 0 1 0 35438742 10021572608 2321313 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446673 2321313 448 484 0 2446084 0
Current children cumulated CPU time: 437.13 s
Current children cumulated vsize: 9786692 KiB
Current children cumulated memory: 9285252 KiB
[startup+440 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 25715
/proc/meminfo: memFree=107443556/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9786828 memory=9285636 CPUtime=438.72 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 821196 0 0 0 43539 333 0 0 20 0 1 0 35438742 10021711872 2321409 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446707 2321409 448 484 0 2446118 0
Current children cumulated CPU time: 438.72 s
Current children cumulated vsize: 9786828 KiB
Current children cumulated memory: 9285636 KiB
[startup+441.6 s]
/proc/loadavg: 4.33 4.17 4.11 5/264 25715
/proc/meminfo: memFree=107407044/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9787248 memory=9286020 CPUtime=440.32 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 821293 0 0 0 43698 334 0 0 20 0 1 0 35438742 10022141952 2321505 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446812 2321505 448 484 0 2446223 0
Current children cumulated CPU time: 440.32 s
Current children cumulated vsize: 9787248 KiB
Current children cumulated memory: 9286020 KiB
[startup+442 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 25715
/proc/meminfo: memFree=107390660/131250000 swapFree=33010684/33010684
[pid=25598] ppid=25595 vsize=9787516 memory=9286404 CPUtime=440.73 cores=0,2
/proc/25598/stat : 25598 (uwrmaxsat) R 25595 25598 23901 0 -1 4194304 821364 0 0 0 43739 334 0 0 20 0 1 0 35438742 10022416384 2321601 18446744073709551615 4198400 6176925 140727678113392 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 14061568 140727678122346 140727678122473 140727678122473 140727678128075 0
/proc/25598/statm: 2446879 2321601 448 484 0 2446290 0
Current children cumulated CPU time: 440.73 s
Current children cumulated vsize: 9787516 KiB
Current children cumulated memory: 9286404 KiB
[startup+442.2 s]*
/proc/loadavg: 4.33 4.17 4.11 5/264 25715
/proc/meminfo: memFree=108430364/131250000 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 442.289
CPU time (s): 441.018
CPU user time (s): 437.563
CPU system time (s): 3.45497
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 9787516
Max. memory (cumulated for all children) (KiB): 9286404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.563
system time used= 3.45497
maximum resident set size= 9286532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 821400
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= 57
involuntary context switches= 662
# summary of solver processes directly reported to runsolver:
# pid: 25598
# total CPU time (s): 441.018
# total CPU user time (s): 437.563
# total CPU system time (s): 3.45497
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.719788 second user time and 2.09985 second system time
The end
Begin job on nodeC028 at 2025-06-29 13:56:02
IDJOB=4511784
IDBENCH=160483
IDSOLVER=3372
FILE ID=nodeC028/4511784-1751198162
RUNJOBID= nodeC028-1751194547-23911
SLURM_JOB_ID= 9587599
Free space on /tmp= 432992 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511784-1751198162/watcher-4511784-1751198162 -o /tmp/evaluation-result-4511784-1751198162/solver-4511784-1751198162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23911 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4511784-1751198162.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=1008710326
nodeC028 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 : 0xb00002a
cpu MHz : 3600.092
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3600.088
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3600.083
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3600.356
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3600.078
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3600.148
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3599.804
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
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 : 0xb00002a
cpu MHz : 3398.759
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 124563824 kB
MemAvailable: 124299140 kB
Buffers: 3280 kB
Cached: 545788 kB
SwapCached: 0 kB
Active: 5777148 kB
Inactive: 289420 kB
Active(anon): 5535568 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 289420 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38036 kB
Writeback: 0 kB
AnonPages: 5517736 kB
Mapped: 108788 kB
Shmem: 18068 kB
KReclaimable: 87108 kB
Slab: 170280 kB
SReclaimable: 87108 kB
SUnreclaim: 83172 kB
KernelStack: 4288 kB
PageTables: 13664 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6061776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3297280 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC028 at 2025-06-29 14:03:25