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...
18.94/19.05 c Converting 9096 PB-constraints to clauses...
515.74/517.21 c Out of memery in converting constraints: std::bad_alloc
515.74/517.21 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 (51673 MiB free)
memory of node 1: 64465 MiB (52176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512180-1751199637/watcher-4512180-1751199637 -o /tmp/evaluation-result-4512180-1751199637/solver-4512180-1751199637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23911 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4512180-1751199637.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=26172, runsolver pid=26169
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 26173
/proc/meminfo: memFree=106334212/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=24748 memory=23068 CPUtime=0.1 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 5578 0 0 0 9 1 0 0 20 0 1 0 35586315 25341952 5767 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 6187 5767 448 484 0 5598 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24748 KiB
Current children cumulated memory: 23068 KiB
[startup+0.205683 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 26173
/proc/meminfo: memFree=106314492/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=44808 memory=40736 CPUtime=0.19 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 9734 0 0 0 18 1 0 0 20 0 1 0 35586315 45883392 10184 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 11202 10184 448 484 0 10613 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44808 KiB
Current children cumulated memory: 40736 KiB
[startup+0.305599 s]*
/proc/loadavg: 4.10 4.11 4.09 5/266 26173
/proc/meminfo: memFree=106302332/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=55380 memory=48800 CPUtime=0.3 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 11767 0 0 0 28 2 0 0 20 0 1 0 35586315 56709120 12200 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 13845 12200 448 484 0 13256 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55380 KiB
Current children cumulated memory: 48800 KiB
[startup+0.700175 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 26173
/proc/meminfo: memFree=106270200/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=156812 memory=144932 CPUtime=0.68 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 25588 0 0 0 63 5 0 0 20 0 1 0 35586315 160575488 36233 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 39203 36233 448 484 0 38614 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 156812 KiB
Current children cumulated memory: 144932 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 26173
/proc/meminfo: memFree=106181232/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=313492 memory=281844 CPUtime=1.48 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 37327 0 0 0 139 9 0 0 20 0 1 0 35586315 321015808 70461 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 78373 70461 448 484 0 77784 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 313492 KiB
Current children cumulated memory: 281844 KiB
[startup+3.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 26173
/proc/meminfo: memFree=105733664/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=632864 memory=566048 CPUtime=3.08 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 56847 0 0 0 291 17 0 0 20 0 1 0 35586315 648052736 141512 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 158216 141512 448 484 0 157627 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 632864 KiB
Current children cumulated memory: 566048 KiB
[startup+6.30017 s]
/proc/loadavg: 4.33 4.16 4.11 5/266 26173
/proc/meminfo: memFree=105336600/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=914548 memory=863196 CPUtime=6.27 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 108725 0 0 0 598 29 0 0 20 0 1 0 35586315 936497152 215799 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 228637 215799 448 484 0 228048 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 914548 KiB
Current children cumulated memory: 863196 KiB
[startup+12.7002 s]
/proc/loadavg: 4.30 4.15 4.10 5/266 26173
/proc/meminfo: memFree=104799284/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=1359484 memory=1205212 CPUtime=12.66 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 194399 0 0 0 1221 45 0 0 20 0 1 0 35586315 1392111616 301303 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 339871 301303 448 484 0 339282 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1359484 KiB
Current children cumulated memory: 1205212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.30 4.16 4.11 5/266 26173
/proc/meminfo: memFree=103434236/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=2427892 memory=2143160 CPUtime=25.42 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 343355 0 0 0 2461 81 0 0 20 0 1 0 35586315 2486161408 535790 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 606973 535790 448 484 0 606384 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2427892 KiB
Current children cumulated memory: 2143160 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.15 4.10 5/266 26174
/proc/meminfo: memFree=98627820/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=3895436 memory=3566004 CPUtime=50.95 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 460400 0 0 0 4964 131 0 0 20 0 1 0 35586315 3988926464 891501 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 973859 891501 448 484 0 973270 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3895436 KiB
Current children cumulated memory: 3566004 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 26175
/proc/meminfo: memFree=96915908/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=6068980 memory=5483148 CPUtime=102.01 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 611956 0 0 0 9998 203 0 0 20 0 1 0 35586315 6214635520 1370787 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 1517245 1370787 448 484 0 1516656 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 6068980 KiB
Current children cumulated memory: 5483148 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/265 26178
/proc/meminfo: memFree=93369752/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=7405152 memory=6582932 CPUtime=161.84 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 746584 0 0 0 15939 245 0 0 20 0 1 0 35586315 7582875648 1645733 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 1851288 1645733 448 484 0 1850699 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 7405152 KiB
Current children cumulated memory: 6582932 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/264 26180
/proc/meminfo: memFree=88773564/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=10452560 memory=9992916 CPUtime=221.67 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 836771 0 0 0 21840 327 0 0 20 0 1 0 35586315 10703421440 2498229 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2613140 2498229 448 484 0 2612551 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 10452560 KiB
Current children cumulated memory: 9992916 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/263 26229
/proc/meminfo: memFree=100216572/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=10629704 memory=9314444 CPUtime=281.5 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 920599 0 0 0 27796 354 0 0 20 0 1 0 35586315 10884816896 2328611 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2657426 2328611 448 484 0 2656837 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 10629704 KiB
Current children cumulated memory: 9314444 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/263 26276
/proc/meminfo: memFree=108603648/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=10948080 memory=9965204 CPUtime=341.33 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1000919 0 0 0 33751 382 0 0 20 0 1 0 35586315 11210833920 2491301 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2737020 2491301 448 484 0 2736431 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 10948080 KiB
Current children cumulated memory: 9965204 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/265 26284
/proc/meminfo: memFree=108009572/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11236808 memory=10542784 CPUtime=401.17 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1070850 0 0 0 39710 407 0 0 20 0 1 0 35586315 11506491392 2635696 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2809202 2635696 448 484 0 2808613 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 11236808 KiB
Current children cumulated memory: 10542784 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 26330
/proc/meminfo: memFree=119149304/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11261476 memory=10596812 CPUtime=460.99 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1078878 0 0 0 45689 410 0 0 20 0 1 0 35586315 11531751424 2649203 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2815369 2649203 448 484 0 2814780 0
Current children cumulated CPU time: 460.99 s
Current children cumulated vsize: 11261476 KiB
Current children cumulated memory: 10596812 KiB
[startup+517.378 s]
# the end of solver process 26172 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=511.638 s, system=4.29241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.06 4.13 4.10 5/265 26333
/proc/meminfo: memFree=119108260/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11262884 memory=10599372 CPUtime=485.02 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1080216 0 0 0 48091 411 0 0 20 0 1 0 35586315 11533193216 2649843 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2815721 2649843 448 484 0 2815132 0
Current children cumulated CPU time: 485.02 s
Current children cumulated vsize: 11262884 KiB
Current children cumulated memory: 10599372 KiB
[startup+499.2 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 26333
/proc/meminfo: memFree=119070920/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11263892 memory=10600396 CPUtime=497.79 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1081006 0 0 0 49367 412 0 0 20 0 1 0 35586315 11534225408 2650099 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2815973 2650099 448 484 0 2815384 0
Current children cumulated CPU time: 497.79 s
Current children cumulated vsize: 11263892 KiB
Current children cumulated memory: 10600396 KiB
[startup+505.6 s]
/proc/loadavg: 4.11 4.14 4.10 5/265 26333
/proc/meminfo: memFree=119054552/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11264328 memory=10600908 CPUtime=504.17 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1081753 0 0 0 50005 412 0 0 20 0 1 0 35586315 11534671872 2650227 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2816082 2650227 448 484 0 2815493 0
Current children cumulated CPU time: 504.17 s
Current children cumulated vsize: 11264328 KiB
Current children cumulated memory: 10600908 KiB
[startup+512 s]*
/proc/loadavg: 4.10 4.13 4.10 5/265 26333
/proc/meminfo: memFree=119029492/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11265472 memory=10602060 CPUtime=510.56 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1082211 0 0 0 50644 412 0 0 20 0 1 0 35586315 11535843328 2650515 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2816368 2650515 448 484 0 2815779 0
Current children cumulated CPU time: 510.56 s
Current children cumulated vsize: 11265472 KiB
Current children cumulated memory: 10602060 KiB
[startup+515.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 26333
/proc/meminfo: memFree=119015032/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11266204 memory=10602700 CPUtime=513.74 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1082380 0 0 0 50962 412 0 0 20 0 1 0 35586315 11536592896 2650675 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2816551 2650675 448 484 0 2815962 0
Current children cumulated CPU time: 513.74 s
Current children cumulated vsize: 11266204 KiB
Current children cumulated memory: 10602700 KiB
[startup+516 s]*
/proc/loadavg: 4.09 4.13 4.10 5/265 26333
/proc/meminfo: memFree=119015032/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11266376 memory=10602956 CPUtime=514.55 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1082437 0 0 0 51043 412 0 0 20 0 1 0 35586315 11536769024 2650739 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2816594 2650739 448 484 0 2816005 0
Current children cumulated CPU time: 514.55 s
Current children cumulated vsize: 11266376 KiB
Current children cumulated memory: 10602956 KiB
[startup+516.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 26333
/proc/meminfo: memFree=119015032/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11266960 memory=10603468 CPUtime=515.34 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1082693 0 0 0 51122 412 0 0 20 0 1 0 35586315 11537367040 2650867 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2816740 2650867 448 484 0 2816151 0
Current children cumulated CPU time: 515.34 s
Current children cumulated vsize: 11266960 KiB
Current children cumulated memory: 10603468 KiB
[startup+517.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 26333
/proc/meminfo: memFree=119015032/131250000 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=11266960 memory=10603468 CPUtime=515.74 cores=0,2
/proc/26172/stat : 26172 (uwrmaxsat) R 26169 26172 23901 0 -1 4194304 1082693 0 0 0 51162 412 0 0 20 0 1 0 35586315 11537367040 2650867 18446744073709551615 4198400 6176925 140735253450032 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 24698880 140735253457258 140735253457385 140735253457385 140735253462987 0
/proc/26172/statm: 2816740 2650867 448 484 0 2816151 0
Current children cumulated CPU time: 515.74 s
Current children cumulated vsize: 11266960 KiB
Current children cumulated memory: 10603468 KiB
[startup+517.3 s]*
/proc/loadavg: 4.09 4.13 4.10 5/265 26333
/proc/meminfo: memFree=121943008/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): 517.378
CPU time (s): 515.93
CPU user time (s): 511.638
CPU system time (s): 4.29241
CPU usage (%): 99.7202
Max. virtual memory (cumulated for all children) (KiB): 11266960
Max. memory (cumulated for all children) (KiB): 10603468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 511.638
system time used= 4.2924
maximum resident set size= 10603468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1082712
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= 4
involuntary context switches= 788
# summary of solver processes directly reported to runsolver:
# pid: 26172
# total CPU time (s): 515.93
# total CPU user time (s): 511.638
# total CPU system time (s): 4.29241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.859613 second user time and 2.47114 second system time
The end
Begin job on nodeC028 at 2025-06-29 14:20:38
IDJOB=4512180
IDBENCH=160496
IDSOLVER=3372
FILE ID=nodeC028/4512180-1751199637
RUNJOBID= nodeC028-1751194547-23911
SLURM_JOB_ID= 9587599
Free space on /tmp= 432660 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512180-1751199637/watcher-4512180-1751199637 -o /tmp/evaluation-result-4512180-1751199637/solver-4512180-1751199637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23911 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4512180-1751199637.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8e33a6540182d2687f15b6bd9bbee190
RANDOM SEED=1577465799
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 : 3569.531
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.087
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.064
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 : 3600.141
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.012
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 : 3700.000
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 : 3592.050
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: 106350340 kB
MemAvailable: 106458896 kB
Buffers: 3280 kB
Cached: 918448 kB
SwapCached: 0 kB
Active: 23555124 kB
Inactive: 662048 kB
Active(anon): 23313544 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 662048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 102492 kB
Writeback: 0 kB
AnonPages: 23298628 kB
Mapped: 108748 kB
Shmem: 18068 kB
KReclaimable: 88332 kB
Slab: 171564 kB
SReclaimable: 88332 kB
SUnreclaim: 83232 kB
KernelStack: 4320 kB
PageTables: 49896 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 25599672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11864064 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= 432952 MiB
End job on nodeC028 at 2025-06-29 14:29:15