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...
0.00/0.08 c Converting 796 PB-constraints to clauses...
0.00/0.09 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
306.55/307.46 c Starting SCIP solver (with time-limit: 900s) ...
1203.75/1207.47 c SCIP timeout with lower and upper bounds: [32, 9223372036854775807]
3600.08/3610.80 c *** TERMINATED by signal 15 ***
3600.08/3610.80 c _______________________________________________________________________________
3600.08/3610.80 c
3600.08/3610.80 c _______________________________________________________________________________
3600.08/3610.80 c
3600.08/3610.80 c =======================[ UWrMaxSat resources usage ]===========================
3600.08/3610.80 c Memory used : 2746.00 MB
3600.08/3610.80 c CPU time : 3589.57 s
3600.08/3610.80 c Constr Enc: Srt/BDD/Add: 430 0 0
3600.08/3610.80 c Reused sorter inputs : 1152 of 116352 inputs (0.99% in avg) in 910 sorters
3600.08/3610.80 c _______________________________________________________________________________
3600.08/3610.80 c _______________________________________________________________________________
3600.08/3610.80 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 (60888 MiB free)
memory of node 1: 64465 MiB (56110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509624-1751517855/watcher-4509624-1751517855 -o /tmp/evaluation-result-4509624-1751517855/solver-4509624-1751517855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751514241-73434 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4509624-1751517855.opb -no-par -scip-delay=300 -scip-cpu=900 -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
Starting watchdog thread
solver pid=74165, runsolver pid=74162
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 74166
/proc/meminfo: memFree=119772248/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=43152 memory=32088 CPUtime=0.1 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 8581 0 0 0 9 1 0 0 20 0 1 0 67408017 44187648 8022 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 10788 8022 2688 3139 0 7076 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43152 KiB
Current children cumulated memory: 32088 KiB
[startup+0.205543 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 74166
/proc/meminfo: memFree=119736400/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=64548 memory=53456 CPUtime=0.2 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 13887 0 0 0 18 2 0 0 20 0 1 0 67408017 66097152 13364 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 16137 13364 2688 3139 0 12425 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 64548 KiB
Current children cumulated memory: 53456 KiB
[startup+0.305437 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 74166
/proc/meminfo: memFree=119675596/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=115172 memory=94920 CPUtime=0.3 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 18914 0 0 0 27 3 0 0 20 0 1 0 67408017 117936128 23730 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 28793 23730 2688 3139 0 25081 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115172 KiB
Current children cumulated memory: 94920 KiB
[startup+0.700184 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 74166
/proc/meminfo: memFree=119635712/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=185960 memory=167960 CPUtime=0.69 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 25006 0 0 0 64 5 0 0 20 0 1 0 67408017 190423040 41990 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 46490 41990 2688 3139 0 42778 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 185960 KiB
Current children cumulated memory: 167960 KiB
[startup+1.50018 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 74166
/proc/meminfo: memFree=119397456/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=303940 memory=280324 CPUtime=1.48 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 37754 0 0 0 139 9 0 0 20 0 1 0 67408017 311234560 70081 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 75985 70081 2688 3139 0 72273 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 303940 KiB
Current children cumulated memory: 280324 KiB
[startup+3.10526 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 74166
/proc/meminfo: memFree=118938316/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=648920 memory=567708 CPUtime=3.08 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 59273 0 0 0 290 18 0 0 20 0 1 0 67408017 664494080 141927 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 162230 141927 2688 3139 0 158518 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 648920 KiB
Current children cumulated memory: 567708 KiB
[startup+6.30018 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 74166
/proc/meminfo: memFree=117784172/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=1845252 memory=1731168 CPUtime=6.27 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 227891 0 0 0 572 55 0 0 20 0 1 0 67408017 1889538048 432792 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 461313 432792 2688 3139 0 457601 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1845252 KiB
Current children cumulated memory: 1731168 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 74166
/proc/meminfo: memFree=117324096/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2095152 memory=1928288 CPUtime=12.66 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 248192 0 0 0 1184 82 0 0 20 0 1 0 67408017 2145435648 482072 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 523788 482072 2688 3139 0 520076 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2095152 KiB
Current children cumulated memory: 1928288 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 74166
/proc/meminfo: memFree=117354340/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2275380 memory=2069704 CPUtime=25.43 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 254492 0 0 0 2450 93 0 0 20 0 1 0 67408017 2329989120 517426 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 568845 517426 2720 3139 0 565133 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2275380 KiB
Current children cumulated memory: 2069704 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 74212
/proc/meminfo: memFree=117135428/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2439064 memory=2167616 CPUtime=50.96 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 269027 0 0 0 4951 145 0 0 20 0 1 0 67408017 2497601536 541904 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 609766 541904 2720 3139 0 606054 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2439064 KiB
Current children cumulated memory: 2167616 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 74213
/proc/meminfo: memFree=117006276/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2566556 memory=2382052 CPUtime=102.02 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 290130 0 0 0 9987 215 0 0 20 0 1 0 67408017 2628153344 595513 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 641639 595513 2720 3139 0 637927 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2566556 KiB
Current children cumulated memory: 2382052 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 74215
/proc/meminfo: memFree=117005804/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2274536 memory=2093272 CPUtime=161.85 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 305515 0 0 0 15912 273 0 0 20 0 1 0 67408017 2329124864 523318 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 568634 523318 2720 3139 0 564922 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 2274536 KiB
Current children cumulated memory: 2093272 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 74219
/proc/meminfo: memFree=117071420/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2210724 memory=2030876 CPUtime=221.69 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 320617 0 0 0 21841 328 0 0 20 0 1 0 67408017 2263781376 507719 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 552681 507719 2720 3139 0 548969 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2210724 KiB
Current children cumulated memory: 2030876 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 74221
/proc/meminfo: memFree=117067912/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2208200 memory=2028388 CPUtime=281.52 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 328624 0 0 0 27779 373 0 0 20 0 1 0 67408017 2261196800 507097 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 552050 507097 2720 3139 0 548338 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 2208200 KiB
Current children cumulated memory: 2028388 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 4.16 4.11 5/264 74223
/proc/meminfo: memFree=117290940/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2207796 memory=2032684 CPUtime=341.36 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 331967 0 0 0 33750 386 0 0 20 0 1 0 67408017 2260783104 508171 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 551949 508171 3296 3139 0 548237 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2207796 KiB
Current children cumulated memory: 2032684 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 74226
/proc/meminfo: memFree=116751516/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2207796 memory=2032684 CPUtime=401.19 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 331994 0 0 0 39733 386 0 0 20 0 1 0 67408017 2260783104 508171 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 551949 508171 3296 3139 0 548237 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 2207796 KiB
Current children cumulated memory: 2032684 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 74235
/proc/meminfo: memFree=116626432/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2207796 memory=2032684 CPUtime=461.04 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 332025 0 0 0 45717 387 0 0 20 0 1 0 67408017 2260783104 508171 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 551949 508171 3296 3139 0 548237 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 2093128 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 74933
/proc/meminfo: memFree=124613196/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2380652 memory=2108464 CPUtime=2853.9 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 421245 0 0 0 284492 898 0 0 20 0 1 0 67408017 2437787648 527116 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 595163 527116 3296 3139 0 591451 0
Current children cumulated CPU time: 2853.9 s
Current children cumulated vsize: 2380652 KiB
Current children cumulated memory: 2108464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 74942
/proc/meminfo: memFree=124537720/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2392644 memory=2120456 CPUtime=2913.72 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 424912 0 0 0 290457 915 0 0 20 0 1 0 67408017 2450067456 530114 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 598161 530114 3296 3139 0 594449 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 2392644 KiB
Current children cumulated memory: 2120456 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 74944
/proc/meminfo: memFree=124551440/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2376764 memory=2106624 CPUtime=2973.53 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 428508 0 0 0 296419 934 0 0 20 0 1 0 67408017 2433806336 526656 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 594191 526656 3296 3139 0 590479 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 2376764 KiB
Current children cumulated memory: 2106624 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 74946
/proc/meminfo: memFree=124520424/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2453128 memory=2180940 CPUtime=3033.33 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 430903 0 0 0 302389 944 0 0 20 0 1 0 67408017 2512003072 545235 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 613282 545235 3296 3139 0 609570 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 2453128 KiB
Current children cumulated memory: 2180940 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 74948
/proc/meminfo: memFree=124594004/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2355540 memory=2085400 CPUtime=3093.14 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 435422 0 0 0 308341 973 0 0 20 0 1 0 67408017 2412072960 521350 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 588885 521350 3296 3139 0 585173 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 2355540 KiB
Current children cumulated memory: 2085400 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 74950
/proc/meminfo: memFree=124578032/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2347676 memory=2077536 CPUtime=3152.96 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 436667 0 0 0 314317 979 0 0 20 0 1 0 67408017 2404020224 519384 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 586919 519384 3296 3139 0 583207 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 2347676 KiB
Current children cumulated memory: 2077536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 74952
/proc/meminfo: memFree=124573980/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2336860 memory=2066720 CPUtime=3212.77 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 438794 0 0 0 320287 990 0 0 20 0 1 0 67408017 2392944640 516680 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 584215 516680 3296 3139 0 580503 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 2336860 KiB
Current children cumulated memory: 2066720 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 74954
/proc/meminfo: memFree=124552896/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2337120 memory=2066980 CPUtime=3272.59 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 439849 0 0 0 326263 996 0 0 20 0 1 0 67408017 2393210880 516745 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 584280 516745 3296 3139 0 580568 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 2337120 KiB
Current children cumulated memory: 2066980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 74956
/proc/meminfo: memFree=124512860/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2337320 memory=2067180 CPUtime=3332.41 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 440891 0 0 0 332239 1002 0 0 20 0 1 0 67408017 2393415680 516795 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 584330 516795 3296 3139 0 580618 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 2337320 KiB
Current children cumulated memory: 2067180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 74958
/proc/meminfo: memFree=124500496/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2337836 memory=2067696 CPUtime=3392.22 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 442026 0 0 0 338214 1008 0 0 20 0 1 0 67408017 2393944064 516924 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 584459 516924 3296 3139 0 580747 0
Current children cumulated CPU time: 3392.22 s
Current children cumulated vsize: 2337836 KiB
Current children cumulated memory: 2067696 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/265 74961
/proc/meminfo: memFree=124484308/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2346396 memory=2074208 CPUtime=3452.04 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 444730 0 0 0 344182 1022 0 0 20 0 1 0 67408017 2402709504 518552 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 586599 518552 3296 3139 0 582887 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 2346396 KiB
Current children cumulated memory: 2074208 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/264 74969
/proc/meminfo: memFree=124462964/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2362408 memory=2090220 CPUtime=3511.86 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 447919 0 0 0 350147 1039 0 0 20 0 1 0 67408017 2419105792 522555 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 590602 522555 3296 3139 0 586890 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 2362408 KiB
Current children cumulated memory: 2090220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.16 4.12 5/263 74971
/proc/meminfo: memFree=124457056/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2339060 memory=2066872 CPUtime=3571.67 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 449468 0 0 0 356121 1046 0 0 20 0 1 0 67408017 2395197440 516718 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 584765 516718 3296 3139 0 581053 0
Current children cumulated CPU time: 3571.67 s
Current children cumulated vsize: 2339060 KiB
Current children cumulated memory: 2066872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 74973
/proc/meminfo: memFree=124457152/131250000 swapFree=33010684/33010684
[pid=74165] ppid=74162 vsize=2635364 memory=2352264 CPUtime=3600.08 cores=4,6
/proc/74165/stat : 74165 (uwrmaxsat-scip) R 74162 74165 73423 0 -1 4194304 449918 0 0 0 358957 1051 0 0 20 0 1 0 67408017 2698612736 588066 18446744073709551615 4198400 17051741 140722729257920 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 54530048 140722729265466 140722729265636 140722729265636 140722729271238 0
/proc/74165/statm: 658841 588066 3296 3139 0 655129 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2635364 KiB
Current children cumulated memory: 2352264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 74165 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.57 s, system=10.5237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.81
CPU time (s): 3600.1
CPU user time (s): 3589.57
CPU system time (s): 10.5237
CPU usage (%): 99.7034
Max. virtual memory (cumulated for all children) (KiB): 2812680
Max. memory (cumulated for all children) (KiB): 2540484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.57
system time used= 10.5237
maximum resident set size= 2540484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449918
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= 201
involuntary context switches= 3246
# summary of solver processes directly reported to runsolver:
# pid: 74165
# total CPU time (s): 3600.1
# total CPU user time (s): 3589.57
# total CPU system time (s): 10.5237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84331 second user time and 15.5305 second system time
The end
Begin job on nodeC028 at 2025-07-03 06:44:15
IDJOB=4509624
IDBENCH=158625
IDSOLVER=3373
FILE ID=nodeC028/4509624-1751517855
RUNJOBID= nodeC028-1751514241-73434
SLURM_JOB_ID= 9598622
Free space on /tmp= 431448 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509624-1751517855/watcher-4509624-1751517855 -o /tmp/evaluation-result-4509624-1751517855/solver-4509624-1751517855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751514241-73434 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4509624-1751517855.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f10ffbf957f8216a1934b9362956d36
RANDOM SEED=1297624646
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.076
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.075
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 : 3601.042
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 : 3545.793
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 : 3602.763
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.079
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.064
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 : 3715.740
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: 119807716 kB
MemAvailable: 121668228 kB
Buffers: 3280 kB
Cached: 2662864 kB
SwapCached: 0 kB
Active: 8413392 kB
Inactive: 2353616 kB
Active(anon): 8118932 kB
Inactive(anon): 0 kB
Active(file): 294460 kB
Inactive(file): 2353616 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 33632 kB
Writeback: 116 kB
AnonPages: 8103600 kB
Mapped: 135488 kB
Shmem: 18068 kB
KReclaimable: 103352 kB
Slab: 192488 kB
SReclaimable: 103352 kB
SUnreclaim: 89136 kB
KernelStack: 4236 kB
PageTables: 19032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 9589016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4417536 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= 431424 MiB
End job on nodeC028 at 2025-07-03 07:44:26