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...
3.08/3.14 c Converting 3328 PB-constraints to clauses...
385.08/386.23 c Out of memery in converting constraints: std::bad_alloc
385.08/386.23 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 (57480 MiB free)
memory of node 1: 64465 MiB (55706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511928-1751198754/watcher-4511928-1751198754 -o /tmp/evaluation-result-4511928-1751198754/solver-4511928-1751198754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23912 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4511928-1751198754.opb -mem-lim=31000
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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=25818, runsolver pid=25815
[startup+0.100065 s]*
/proc/loadavg: 4.18 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115896376/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=23288 memory=20516 CPUtime=0.09 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 4938 0 0 0 9 0 0 0 20 0 1 0 35497924 23846912 5129 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 5822 5129 448 484 0 5233 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23288 KiB
Current children cumulated memory: 20516 KiB
[startup+0.205699 s]*
/proc/loadavg: 4.18 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115872308/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=43636 memory=39316 CPUtime=0.19 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 9407 0 0 0 18 1 0 0 20 0 1 0 35497924 44683264 9829 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 10909 9829 448 484 0 10320 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43636 KiB
Current children cumulated memory: 39316 KiB
[startup+0.305677 s]*
/proc/loadavg: 4.18 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115852336/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=54576 memory=48660 CPUtime=0.29 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 11755 0 0 0 28 1 0 0 20 0 1 0 35497924 55885824 12165 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 13644 12165 448 484 0 13055 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54576 KiB
Current children cumulated memory: 48660 KiB
[startup+0.700147 s]
/proc/loadavg: 4.18 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115816172/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=155152 memory=137780 CPUtime=0.68 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 23815 0 0 0 64 4 0 0 20 0 1 0 35497924 158875648 34445 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 38788 34445 448 484 0 38199 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 155152 KiB
Current children cumulated memory: 137780 KiB
[startup+1.50014 s]
/proc/loadavg: 4.18 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115722856/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=220624 memory=205172 CPUtime=1.48 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 37089 0 0 0 141 7 0 0 20 0 1 0 35497924 225918976 51293 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 55156 51293 448 484 0 54567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 220624 KiB
Current children cumulated memory: 205172 KiB
[startup+3.10551 s]
/proc/loadavg: 4.17 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115536832/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=344784 memory=286452 CPUtime=3.08 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 57402 0 0 0 298 10 0 0 20 0 1 0 35497924 353058816 71613 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 86196 71613 448 484 0 85607 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 344784 KiB
Current children cumulated memory: 286452 KiB
[startup+6.30015 s]
/proc/loadavg: 4.17 4.17 4.11 5/266 25819
/proc/meminfo: memFree=115154992/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=691612 memory=594508 CPUtime=6.26 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 86413 0 0 0 606 20 0 0 20 0 1 0 35497924 708210688 148627 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 172903 148627 448 484 0 172314 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 691612 KiB
Current children cumulated memory: 594508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 4.11 5/266 25820
/proc/meminfo: memFree=114199552/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=1304108 memory=1229780 CPUtime=12.64 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 134805 0 0 0 1222 42 0 0 20 0 1 0 35497924 1335406592 307445 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 326027 307445 448 484 0 325438 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1304108 KiB
Current children cumulated memory: 1229780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.11 5/266 25820
/proc/meminfo: memFree=113030200/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=2292984 memory=2100924 CPUtime=25.4 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 200510 0 0 0 2469 71 0 0 20 0 1 0 35497924 2348015616 525231 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 573246 525231 448 484 0 572657 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2292984 KiB
Current children cumulated memory: 2100924 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.16 4.11 6/266 25820
/proc/meminfo: memFree=109134396/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=3028372 memory=2894112 CPUtime=50.94 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 296470 0 0 0 4996 98 0 0 20 0 1 0 35497924 3101052928 723528 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 757093 723528 448 484 0 756504 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3028372 KiB
Current children cumulated memory: 2894112 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.10 5/266 25822
/proc/meminfo: memFree=107778416/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=4696504 memory=4524480 CPUtime=101.99 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 412030 0 0 0 10038 161 0 0 20 0 1 0 35497924 4809220096 1131120 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 1174126 1131120 448 484 0 1173537 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 4696504 KiB
Current children cumulated memory: 4524480 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/266 25869
/proc/meminfo: memFree=112103456/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=5975008 memory=5509740 CPUtime=161.81 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 529211 0 0 0 15986 195 0 0 20 0 1 0 35497924 6118408192 1377435 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 1493752 1377435 448 484 0 1493163 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 5975008 KiB
Current children cumulated memory: 5509740 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 25871
/proc/meminfo: memFree=107047092/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=7619536 memory=7465552 CPUtime=221.63 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 605658 0 0 0 21888 275 0 0 20 0 1 0 35497924 7802404864 1866388 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 1904884 1866388 448 484 0 1904295 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 7619536 KiB
Current children cumulated memory: 7465552 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 25918
/proc/meminfo: memFree=110898852/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9138996 memory=8136220 CPUtime=281.46 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 689398 0 0 0 27842 304 0 0 20 0 1 0 35497924 9358331904 2034055 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2284749 2034055 448 484 0 2284160 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 9138996 KiB
Current children cumulated memory: 8136220 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 25967
/proc/meminfo: memFree=106421384/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9436136 memory=8741556 CPUtime=341.3 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 759616 0 0 0 33802 328 0 0 20 0 1 0 35497924 9662603264 2185389 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2359034 2185389 448 484 0 2358445 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 9436136 KiB
Current children cumulated memory: 8741556 KiB
[startup+386.349 s]
# the end of solver process 25818 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=381.689 s, system=3.55355 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.18 4.14 4.10 5/264 25967
/proc/meminfo: memFree=102078112/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9510496 memory=8893920 CPUtime=357.36 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 778314 0 0 0 35402 334 0 0 20 0 1 0 35497924 9738747904 2223480 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2377624 2223480 448 484 0 2377035 0
Current children cumulated CPU time: 357.36 s
Current children cumulated vsize: 9510496 KiB
Current children cumulated memory: 8893920 KiB
[startup+371.2 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 25967
/proc/meminfo: memFree=101978136/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9566096 memory=9011680 CPUtime=370.12 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 793139 0 0 0 36672 340 0 0 20 0 1 0 35497924 9795682304 2252920 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2391524 2252920 448 484 0 2390935 0
Current children cumulated CPU time: 370.12 s
Current children cumulated vsize: 9566096 KiB
Current children cumulated memory: 9011680 KiB
[startup+377.6 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 25967
/proc/meminfo: memFree=101184516/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9594500 memory=9070800 CPUtime=376.51 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 800639 0 0 0 37309 342 0 0 20 0 1 0 35497924 9824768000 2267700 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2398625 2267700 448 484 0 2398036 0
Current children cumulated CPU time: 376.51 s
Current children cumulated vsize: 9594500 KiB
Current children cumulated memory: 9070800 KiB
[startup+380.8 s]
/proc/loadavg: 4.13 4.13 4.09 5/264 25968
/proc/meminfo: memFree=101043320/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9608156 memory=9105888 CPUtime=379.7 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 804114 0 0 0 37627 343 0 0 20 0 1 0 35497924 9838751744 2276472 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2402039 2276472 448 484 0 2401450 0
Current children cumulated CPU time: 379.7 s
Current children cumulated vsize: 9608156 KiB
Current children cumulated memory: 9105888 KiB
[startup+384 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 25968
/proc/meminfo: memFree=100827360/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9619984 memory=9129916 CPUtime=382.89 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 807079 0 0 0 37946 343 0 0 20 0 1 0 35497924 9850863616 2282479 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2404996 2282479 448 484 0 2404407 0
Current children cumulated CPU time: 382.89 s
Current children cumulated vsize: 9619984 KiB
Current children cumulated memory: 9129916 KiB
[startup+385.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 25968
/proc/meminfo: memFree=100752592/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9623836 memory=9137832 CPUtime=384.48 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 808034 0 0 0 38105 343 0 0 20 0 1 0 35497924 9854808064 2284458 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2405959 2284458 448 484 0 2405370 0
Current children cumulated CPU time: 384.48 s
Current children cumulated vsize: 9623836 KiB
Current children cumulated memory: 9137832 KiB
[startup+386 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 25968
/proc/meminfo: memFree=100671312/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9624108 memory=9138088 CPUtime=384.88 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 808101 0 0 0 38145 343 0 0 20 0 1 0 35497924 9855086592 2284522 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2406027 2284522 448 484 0 2405438 0
Current children cumulated CPU time: 384.88 s
Current children cumulated vsize: 9624108 KiB
Current children cumulated memory: 9138088 KiB
[startup+386.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 25968
/proc/meminfo: memFree=100671312/131250000 swapFree=33010684/33010684
[pid=25818] ppid=25815 vsize=9624108 memory=9138088 CPUtime=385.08 cores=4,6
/proc/25818/stat : 25818 (uwrmaxsat) R 25815 25818 23901 0 -1 4194304 808101 0 0 0 38165 343 0 0 20 0 1 0 35497924 9855086592 2284522 18446744073709551615 4198400 6176925 140726794758208 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 37621760 140726794766698 140726794766825 140726794766825 140726794772427 0
/proc/25818/statm: 2406027 2284522 448 484 0 2405438 0
Current children cumulated CPU time: 385.08 s
Current children cumulated vsize: 9624108 KiB
Current children cumulated memory: 9138088 KiB
[startup+386.3 s]*
/proc/loadavg: 4.12 4.13 4.09 5/264 25968
/proc/meminfo: memFree=102871748/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): 386.349
CPU time (s): 385.242
CPU user time (s): 381.689
CPU system time (s): 3.55355
CPU usage (%): 99.7135
Max. virtual memory (cumulated for all children) (KiB): 9624108
Max. memory (cumulated for all children) (KiB): 9138088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 381.689
system time used= 3.55355
maximum resident set size= 9138216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 808130
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= 56
involuntary context switches= 532
# summary of solver processes directly reported to runsolver:
# pid: 25818
# total CPU time (s): 385.242
# total CPU user time (s): 381.689
# total CPU system time (s): 3.55355
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.797283 second user time and 1.68601 second system time
The end
Begin job on nodeC028 at 2025-06-29 14:05:54
IDJOB=4511928
IDBENCH=160487
IDSOLVER=3372
FILE ID=nodeC028/4511928-1751198754
RUNJOBID= nodeC028-1751194547-23912
SLURM_JOB_ID= 9587599
Free space on /tmp= 432980 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511928-1751198754/watcher-4511928-1751198754 -o /tmp/evaluation-result-4511928-1751198754/solver-4511928-1751198754 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23912 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4511928-1751198754.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a83101891c756e818f261b20124136b
RANDOM SEED=507838605
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.077
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.604
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 : 3598.376
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 : 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 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 : 3568.254
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.155
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 : 3600.085
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 : 3625.622
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: 115904176 kB
MemAvailable: 115655264 kB
Buffers: 3280 kB
Cached: 561492 kB
SwapCached: 0 kB
Active: 14355676 kB
Inactive: 305124 kB
Active(anon): 14114096 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 305124 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18844 kB
Writeback: 0 kB
AnonPages: 14098712 kB
Mapped: 108712 kB
Shmem: 18068 kB
KReclaimable: 87244 kB
Slab: 170404 kB
SReclaimable: 87244 kB
SUnreclaim: 83160 kB
KernelStack: 4336 kB
PageTables: 30800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 16135556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8032256 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= 432672 MiB
End job on nodeC028 at 2025-06-29 14:12:21