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...
25.62/25.70 c Converting 11664 PB-constraints to clauses...
646.48/648.23 c Out of memery in converting constraints: std::bad_alloc
646.48/648.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 (44115 MiB free)
memory of node 1: 64465 MiB (54162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512108-1751199407/watcher-4512108-1751199407 -o /tmp/evaluation-result-4512108-1751199407/solver-4512108-1751199407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23914 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4512108-1751199407.opb -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26074, runsolver pid=26071
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 26075
/proc/meminfo: memFree=100612368/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=24556 memory=22868 CPUtime=0.09 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 6044 0 0 0 8 1 0 0 20 0 1 0 35563326 25145344 5717 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 7 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 6139 5717 448 484 0 5550 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24556 KiB
Current children cumulated memory: 22868 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 26075
/proc/meminfo: memFree=100592396/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=43968 memory=42100 CPUtime=0.2 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 10587 0 0 0 18 2 0 0 20 0 1 0 35563326 45023232 10525 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 10992 10525 448 484 0 10403 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43968 KiB
Current children cumulated memory: 42100 KiB
[startup+0.305539 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 26075
/proc/meminfo: memFree=100576520/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=53888 memory=52212 CPUtime=0.29 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 13118 0 0 0 27 2 0 0 20 0 1 0 35563326 55181312 13053 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 13472 13053 448 484 0 12883 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53888 KiB
Current children cumulated memory: 52212 KiB
[startup+0.700173 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 26075
/proc/meminfo: memFree=100536324/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=135456 memory=109096 CPUtime=0.68 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 23770 0 0 0 64 4 0 0 20 0 1 0 35563326 138706944 27274 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 33864 27274 448 484 0 33275 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 135456 KiB
Current children cumulated memory: 109096 KiB
[startup+1.50018 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 26075
/proc/meminfo: memFree=100434992/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=313532 memory=287392 CPUtime=1.48 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 37185 0 0 0 139 9 0 0 20 0 1 0 35563326 321056768 71848 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 78383 71848 448 484 0 77794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 313532 KiB
Current children cumulated memory: 287392 KiB
[startup+3.10543 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 26075
/proc/meminfo: memFree=99999196/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=618524 memory=557984 CPUtime=3.08 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 56384 0 0 0 290 18 0 0 20 0 1 0 35563326 633368576 139496 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 154631 139496 448 484 0 154042 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 618524 KiB
Current children cumulated memory: 557984 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 26075
/proc/meminfo: memFree=99343192/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=1225716 memory=1132640 CPUtime=6.27 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 102690 0 0 0 591 36 0 0 20 0 1 0 35563326 1255133184 283160 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 306429 283160 448 484 0 305840 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1225716 KiB
Current children cumulated memory: 1132640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 26075
/proc/meminfo: memFree=96177744/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=1724408 memory=1427612 CPUtime=12.65 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 153885 0 0 0 1217 48 0 0 20 0 1 0 35563326 1765793792 356903 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 431102 356903 448 484 0 430513 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1724408 KiB
Current children cumulated memory: 1427612 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 26075
/proc/meminfo: memFree=95151464/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=2629856 memory=2200160 CPUtime=25.42 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 346661 0 0 0 2459 83 0 0 20 0 1 0 35563326 2692972544 550040 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 657464 550040 448 484 0 656875 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2629856 KiB
Current children cumulated memory: 2200160 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 26076
/proc/meminfo: memFree=94461904/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=4068656 memory=3624628 CPUtime=50.96 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 484230 0 0 0 4964 132 0 0 20 0 1 0 35563326 4166303744 906157 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 1017164 906157 448 484 0 1016575 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4068656 KiB
Current children cumulated memory: 3624628 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 26079
/proc/meminfo: memFree=90599220/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=7471836 memory=6553844 CPUtime=102.02 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 637543 0 0 0 9986 216 0 0 20 0 1 0 35563326 7651160064 1638461 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 1867959 1638461 448 484 0 1867370 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 7471836 KiB
Current children cumulated memory: 6553844 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 26126
/proc/meminfo: memFree=100123724/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=7223136 memory=6785256 CPUtime=161.87 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 744673 0 0 0 15938 249 0 0 20 0 1 0 35563326 7396491264 1696314 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 1805784 1696314 448 484 0 1805195 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 7223136 KiB
Current children cumulated memory: 6785256 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 26128
/proc/meminfo: memFree=94681160/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=8403236 memory=7570484 CPUtime=221.71 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 835515 0 0 0 21894 277 0 0 20 0 1 0 35563326 8604913664 1892621 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2100809 1892621 448 484 0 2100220 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 8403236 KiB
Current children cumulated memory: 7570484 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/266 26174
/proc/meminfo: memFree=98583276/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11347944 memory=10806048 CPUtime=281.55 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 900030 0 0 0 27805 350 0 0 20 0 1 0 35563326 11620294656 2701512 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2836986 2701512 448 484 0 2836397 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 11347944 KiB
Current children cumulated memory: 10806048 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 26177
/proc/meminfo: memFree=96473404/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11442316 memory=9998232 CPUtime=341.39 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 964745 0 0 0 33767 372 0 0 20 0 1 0 35563326 11716931584 2499558 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2860579 2499558 448 484 0 2859990 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 11442316 KiB
Current children cumulated memory: 9998232 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 4.19 4.11 5/264 26179
/proc/meminfo: memFree=92997008/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11690672 memory=10522784 CPUtime=401.22 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1027153 0 0 0 39730 392 0 0 20 0 1 0 35563326 11971248128 2630696 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2922668 2630696 448 484 0 2922079 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 11690672 KiB
Current children cumulated memory: 10522784 KiB
[startup+462.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/264 26181
/proc/meminfo: memFree=89894108/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11911848 memory=11020392 CPUtime=461.06 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1085353 0 0 0 45695 411 0 0 20 0 1 0 35563326 12197732352 2755098 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2977962 2755098 448 484 0 2977373 0
Current children cumulated CPU time: 461.06 s
Current children cumulated vsize: 11911848 KiB
Current children cumulated memory: 11020392 KiB
[startup+522.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 26229
/proc/meminfo: memFree=99999080/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11956440 memory=11112148 CPUtime=520.9 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1099253 0 0 0 51673 417 0 0 20 0 1 0 35563326 12243394560 2778037 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2989110 2778037 448 484 0 2988521 0
Current children cumulated CPU time: 520.9 s
Current children cumulated vsize: 11956440 KiB
Current children cumulated memory: 11112148 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/263 26276
/proc/meminfo: memFree=108483500/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11959340 memory=11114964 CPUtime=580.74 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1102495 0 0 0 57655 419 0 0 20 0 1 0 35563326 12246364160 2778741 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2989835 2778741 448 484 0 2989246 0
Current children cumulated CPU time: 580.74 s
Current children cumulated vsize: 11959340 KiB
Current children cumulated memory: 11114964 KiB
[startup+642.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/265 26284
/proc/meminfo: memFree=107940948/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11965984 memory=11122516 CPUtime=640.59 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1106625 0 0 0 63638 421 0 0 20 0 1 0 35563326 12253167616 2780629 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2991496 2780629 448 484 0 2990907 0
Current children cumulated CPU time: 640.59 s
Current children cumulated vsize: 11965984 KiB
Current children cumulated memory: 11122516 KiB
[startup+648.387 s]
# the end of solver process 26074 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=642.302 s, system=4.36967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+643.2 s]
/proc/loadavg: 4.09 4.15 4.11 5/265 26284
/proc/meminfo: memFree=107940948/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11966308 memory=11122772 CPUtime=641.49 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1106706 0 0 0 63728 421 0 0 20 0 1 0 35563326 12253499392 2780693 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2991577 2780693 448 484 0 2990988 0
Current children cumulated CPU time: 641.49 s
Current children cumulated vsize: 11966308 KiB
Current children cumulated memory: 11122772 KiB
[startup+646.4 s]
/proc/loadavg: 4.08 4.15 4.11 5/265 26284
/proc/meminfo: memFree=107937168/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11967468 memory=11123924 CPUtime=644.68 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1107369 0 0 0 64047 421 0 0 20 0 1 0 35563326 12254687232 2780981 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2991867 2780981 448 484 0 2991278 0
Current children cumulated CPU time: 644.68 s
Current children cumulated vsize: 11967468 KiB
Current children cumulated memory: 11123924 KiB
[startup+647.2 s]
/proc/loadavg: 4.08 4.15 4.11 5/265 26285
/proc/meminfo: memFree=107937420/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11967468 memory=11123924 CPUtime=645.48 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1107403 0 0 0 64127 421 0 0 20 0 1 0 35563326 12254687232 2780981 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2991867 2780981 448 484 0 2991278 0
Current children cumulated CPU time: 645.48 s
Current children cumulated vsize: 11967468 KiB
Current children cumulated memory: 11123924 KiB
[startup+648 s]*
/proc/loadavg: 4.08 4.15 4.11 5/265 26285
/proc/meminfo: memFree=107937420/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11968200 memory=11124692 CPUtime=646.28 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1107686 0 0 0 64207 421 0 0 20 0 1 0 35563326 12255436800 2781173 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2992050 2781173 448 484 0 2991461 0
Current children cumulated CPU time: 646.28 s
Current children cumulated vsize: 11968200 KiB
Current children cumulated memory: 11124692 KiB
[startup+648.2 s]
/proc/loadavg: 4.08 4.15 4.11 5/265 26285
/proc/meminfo: memFree=107937420/131250000 swapFree=33010684/33010684
[pid=26074] ppid=26071 vsize=11968200 memory=11130708 CPUtime=646.48 cores=5,7
/proc/26074/stat : 26074 (uwrmaxsat) R 26071 26074 23901 0 -1 4194304 1107687 0 0 0 64227 421 0 0 20 0 1 0 35563326 12255436800 2782677 18446744073709551615 4198400 6176925 140729121410112 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 6553704 6596784 18325504 140729121417578 140729121417705 140729121417705 140729121423307 0
/proc/26074/statm: 2992050 2782677 448 484 0 2991461 0
Current children cumulated CPU time: 646.48 s
Current children cumulated vsize: 11968200 KiB
Current children cumulated memory: 11130708 KiB
[startup+648.3 s]*
/proc/loadavg: 4.07 4.14 4.11 5/265 26285
/proc/meminfo: memFree=110696732/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): 648.387
CPU time (s): 646.671
CPU user time (s): 642.302
CPU system time (s): 4.36967
CPU usage (%): 99.7354
Max. virtual memory (cumulated for all children) (KiB): 11968200
Max. memory (cumulated for all children) (KiB): 11130708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 642.302
system time used= 4.36967
maximum resident set size= 11130708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107687
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= 69
involuntary context switches= 805
# summary of solver processes directly reported to runsolver:
# pid: 26074
# total CPU time (s): 646.671
# total CPU user time (s): 642.302
# total CPU system time (s): 4.36967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22835 second user time and 2.77585 second system time
The end
Begin job on nodeC028 at 2025-06-29 14:16:48
IDJOB=4512108
IDBENCH=160492
IDSOLVER=3372
FILE ID=nodeC028/4512108-1751199407
RUNJOBID= nodeC028-1751194547-23914
SLURM_JOB_ID= 9587599
Free space on /tmp= 432536 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512108-1751199407/watcher-4512108-1751199407 -o /tmp/evaluation-result-4512108-1751199407/solver-4512108-1751199407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751194547-23914 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4512108-1751199407.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0020647681361a6ff6bc771888680f52
RANDOM SEED=230365409
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.083
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.639
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 : 3599.382
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 : 3598.636
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.088
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.080
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 : 3783.479
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 : 3599.919
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: 100635604 kB
MemAvailable: 100871676 kB
Buffers: 3280 kB
Cached: 1045904 kB
SwapCached: 0 kB
Active: 29194032 kB
Inactive: 789536 kB
Active(anon): 28952452 kB
Inactive(anon): 0 kB
Active(file): 241580 kB
Inactive(file): 789536 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 135944 kB
Writeback: 0 kB
AnonPages: 28938148 kB
Mapped: 108548 kB
Shmem: 18068 kB
KReclaimable: 88388 kB
Slab: 171908 kB
SReclaimable: 88388 kB
SUnreclaim: 83520 kB
KernelStack: 4304 kB
PageTables: 60992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 32019156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 13475840 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= 432824 MiB
End job on nodeC028 at 2025-06-29 14:27:37