0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
4.27/4.34 c Converting 808 PB-constraints to clauses...
108.86/109.27 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
515.77/517.62 c ============================[ Problem Statistics ]============================
515.77/517.62 c | Number of variables: 3830738 |
515.77/517.62 c | Number of clauses: 20467255 (incl. 116644 soft in queue) |
515.77/517.62 c ===============================================================================
515.77/517.67 c Starting SCIP solver (with time-limit: 900s) ...
1413.09/1417.67 c SCIP timeout with lower and upper bounds: [1024, 9223372036854775807]
3600.07/3612.10 c *** TERMINATED by signal 15 ***
3600.07/3612.10 c _______________________________________________________________________________
3600.07/3612.10 c
3600.07/3612.10 c _______________________________________________________________________________
3600.07/3612.10 c
3600.07/3612.10 c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3612.10 c Memory used : 8308.00 MB
3600.07/3612.10 c CPU time : 3570.29 s
3600.07/3612.10 c Constr Enc: Srt/BDD/Add: 271 0 132
3600.07/3612.10 c _______________________________________________________________________________
3600.07/3612.10 c _______________________________________________________________________________
3600.07/3612.10 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 (59349 MiB free)
memory of node 1: 64465 MiB (57732 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485796-1751307306/watcher-4485796-1751307306 -o /tmp/evaluation-result-4485796-1751307306/solver-4485796-1751307306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751303214-40392 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4485796-1751307306.opb -no-par -scip-delay=300 -scip-cpu=900 -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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=40923, runsolver pid=40920
[startup+0.10006 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 40924
/proc/meminfo: memFree=119859180/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=62028 memory=45660 CPUtime=0.09 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 10401 0 0 0 8 1 0 0 20 0 1 0 46405167 63516672 11383 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 15507 11415 1120 3139 0 11795 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62028 KiB
Current children cumulated memory: 45660 KiB
[startup+0.20502 s]*
/proc/loadavg: 4.13 4.12 4.09 6/263 40924
/proc/meminfo: memFree=119831352/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=107768 memory=90420 CPUtime=0.2 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 18534 0 0 0 17 3 0 0 20 0 1 0 46405167 110354432 22605 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 26942 22605 1120 3139 0 23230 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107768 KiB
Current children cumulated memory: 90420 KiB
[startup+0.305422 s]*
/proc/loadavg: 4.13 4.12 4.09 5/263 40924
/proc/meminfo: memFree=119823288/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=111276 memory=92340 CPUtime=0.3 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 19015 0 0 0 27 3 0 0 20 0 1 0 46405167 113946624 23085 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 27819 23085 1120 3139 0 24107 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111276 KiB
Current children cumulated memory: 92340 KiB
[startup+0.700126 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 40924
/proc/meminfo: memFree=119823288/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=138600 memory=116276 CPUtime=0.69 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 25005 0 0 0 65 4 0 0 20 0 1 0 46405167 141926400 29069 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 34650 29069 1120 3139 0 30938 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138600 KiB
Current children cumulated memory: 116276 KiB
[startup+1.50011 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 40924
/proc/meminfo: memFree=119714232/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=258952 memory=235888 CPUtime=1.49 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 50329 0 0 0 142 7 0 0 20 0 1 0 46405167 265166848 58972 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 64738 58972 1120 3139 0 61026 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 258952 KiB
Current children cumulated memory: 235888 KiB
[startup+3.10529 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 40924
/proc/meminfo: memFree=119653568/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=283928 memory=261104 CPUtime=3.08 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 56625 0 0 0 300 8 0 0 20 0 1 0 46405167 290742272 65276 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 70982 65276 1120 3139 0 67270 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 283928 KiB
Current children cumulated memory: 261104 KiB
[startup+6.30012 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 40924
/proc/meminfo: memFree=119556804/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=377472 memory=353736 CPUtime=6.27 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 79277 0 0 0 616 11 0 0 20 0 1 0 46405167 386531328 88434 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 94368 88434 1120 3139 0 90656 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 377472 KiB
Current children cumulated memory: 353736 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 40924
/proc/meminfo: memFree=119512008/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=377472 memory=353736 CPUtime=12.65 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 79277 0 0 0 1254 11 0 0 20 0 1 0 46405167 386531328 88434 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 94368 88434 1120 3139 0 90656 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 377472 KiB
Current children cumulated memory: 353736 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 40924
/proc/meminfo: memFree=119422236/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=377472 memory=353736 CPUtime=25.42 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 79277 0 0 0 2531 11 0 0 20 0 1 0 46405167 386531328 88434 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 94368 88434 1120 3139 0 90656 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 377472 KiB
Current children cumulated memory: 353736 KiB
[startup+51.1053 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 40925
/proc/meminfo: memFree=119330016/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=377472 memory=353736 CPUtime=50.94 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 79277 0 0 0 5083 11 0 0 20 0 1 0 46405167 386531328 88434 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 94368 88434 1120 3139 0 90656 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 377472 KiB
Current children cumulated memory: 353736 KiB
[startup+102.3 s]
/proc/loadavg: 4.46 4.20 4.12 5/262 40927
/proc/meminfo: memFree=119105316/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=377472 memory=353736 CPUtime=101.98 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 79277 0 0 0 10186 12 0 0 20 0 1 0 46405167 386531328 88434 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 94368 88434 1120 3139 0 90656 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 377472 KiB
Current children cumulated memory: 353736 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/262 40929
/proc/meminfo: memFree=117350804/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=1823092 memory=1796548 CPUtime=161.77 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 315531 0 0 0 16104 73 0 0 20 0 1 0 46405167 1866846208 449137 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 455773 449137 2688 3139 0 452061 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1823092 KiB
Current children cumulated memory: 1796548 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 40932
/proc/meminfo: memFree=102575592/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=6751556 memory=6293780 CPUtime=221.56 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 986308 0 0 0 21876 280 0 0 20 0 1 0 46405167 6913593344 1573445 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1687889 1573445 2688 3139 0 1684177 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 6751556 KiB
Current children cumulated memory: 6293780 KiB
[startup+282.3 s]
/proc/loadavg: 4.52 4.25 4.14 5/264 40939
/proc/meminfo: memFree=94750104/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=6397220 memory=6004604 CPUtime=281.34 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1015529 0 0 0 27714 420 0 0 20 0 1 0 46405167 6550753280 1501151 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1599305 1501151 2688 3139 0 1595593 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 6397220 KiB
Current children cumulated memory: 6004604 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.24 4.14 5/264 40941
/proc/meminfo: memFree=93523012/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=6394868 memory=6003012 CPUtime=341.12 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1028530 0 0 0 33560 552 0 0 20 0 1 0 46405167 6548344832 1500753 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1598717 1500753 2688 3139 0 1595005 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 6394868 KiB
Current children cumulated memory: 6003012 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/264 40945
/proc/meminfo: memFree=96160628/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=6534228 memory=6142368 CPUtime=400.9 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1038577 0 0 0 39465 625 0 0 20 0 1 0 46405167 6691049472 1535592 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1633557 1535592 2688 3139 0 1629845 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 6534228 KiB
Current children cumulated memory: 6142368 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.20 4.14 5/264 40947
/proc/meminfo: memFree=93979332/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=6523144 memory=6070528 CPUtime=460.68 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1050599 0 0 0 45361 707 0 0 20 0 1 0 46405167 6679699456 1517632 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1630786 1517632 2688 3139 0 1627074 0
Current children cumulated CPU time: 460.68 s
################
# More data... #
################
Current children cumulated memory: 6651924 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 41071
/proc/meminfo: memFree=95135728/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7330572 memory=6832564 CPUtime=2912.65 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1277878 0 0 0 288841 2424 0 0 20 0 1 0 46405167 7506505728 1708141 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1832643 1708141 3328 3139 0 1828931 0
Current children cumulated CPU time: 2912.65 s
Current children cumulated vsize: 7330572 KiB
Current children cumulated memory: 6832564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 41073
/proc/meminfo: memFree=91349376/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7151400 memory=6653392 CPUtime=2972.44 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1287543 0 0 0 294744 2500 0 0 20 0 1 0 46405167 7323033600 1663348 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1787850 1663348 3328 3139 0 1784138 0
Current children cumulated CPU time: 2972.44 s
Current children cumulated vsize: 7151400 KiB
Current children cumulated memory: 6653392 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 41075
/proc/meminfo: memFree=94215392/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7152028 memory=6654020 CPUtime=3032.24 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1295073 0 0 0 300650 2574 0 0 20 0 1 0 46405167 7323676672 1663505 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788007 1663505 3328 3139 0 1784295 0
Current children cumulated CPU time: 3032.24 s
Current children cumulated vsize: 7152028 KiB
Current children cumulated memory: 6654020 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 41076
/proc/meminfo: memFree=95005024/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7152212 memory=6653272 CPUtime=3092.04 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1304830 0 0 0 306533 2671 0 0 20 0 1 0 46405167 7323865088 1663318 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788053 1663318 3328 3139 0 1784341 0
Current children cumulated CPU time: 3092.04 s
Current children cumulated vsize: 7152212 KiB
Current children cumulated memory: 6653272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.03 4.07 4.08 5/263 41438
/proc/meminfo: memFree=118042804/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7154208 memory=6654152 CPUtime=3151.83 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1314746 0 0 0 312441 2742 0 0 20 0 1 0 46405167 7325908992 1663538 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788552 1663538 3328 3139 0 1784840 0
Current children cumulated CPU time: 3151.83 s
Current children cumulated vsize: 7154208 KiB
Current children cumulated memory: 6654152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/263 41440
/proc/meminfo: memFree=116230468/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=8286640 memory=7790396 CPUtime=3211.63 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1320580 0 0 0 318358 2805 0 0 20 0 1 0 46405167 8485519360 1947599 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 2071660 1947599 3328 3139 0 2067948 0
Current children cumulated CPU time: 3211.63 s
Current children cumulated vsize: 8286640 KiB
Current children cumulated memory: 7790396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/264 41447
/proc/meminfo: memFree=117067208/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7153664 memory=6659752 CPUtime=3271.43 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1323999 0 0 0 324317 2826 0 0 20 0 1 0 46405167 7325351936 1664938 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788416 1664938 3328 3139 0 1784704 0
Current children cumulated CPU time: 3271.43 s
Current children cumulated vsize: 7153664 KiB
Current children cumulated memory: 6659752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.08 4.09 5/263 41450
/proc/meminfo: memFree=116853504/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7333784 memory=6839872 CPUtime=3331.23 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1328749 0 0 0 330271 2852 0 0 20 0 1 0 46405167 7509794816 1709968 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1833446 1709968 3328 3139 0 1829734 0
Current children cumulated CPU time: 3331.23 s
Current children cumulated vsize: 7333784 KiB
Current children cumulated memory: 6839872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.15 4.11 5/265 41456
/proc/meminfo: memFree=116987448/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7153952 memory=6653896 CPUtime=3391.03 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1334790 0 0 0 336197 2906 0 0 20 0 1 0 46405167 7325646848 1663474 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788488 1663474 3328 3139 0 1784776 0
Current children cumulated CPU time: 3391.03 s
Current children cumulated vsize: 7153952 KiB
Current children cumulated memory: 6653896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.28 4.16 4.12 5/265 41458
/proc/meminfo: memFree=115901572/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=8284480 memory=7786392 CPUtime=3450.83 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1337495 0 0 0 342154 2929 0 0 20 0 1 0 46405167 8483307520 1946598 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 2071120 1946598 3328 3139 0 2067408 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 8284480 KiB
Current children cumulated memory: 7786392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/265 41460
/proc/meminfo: memFree=116853676/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7154060 memory=6656052 CPUtime=3510.6 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1339476 0 0 0 348126 2934 0 0 20 0 1 0 46405167 7325757440 1664013 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788515 1664013 3328 3139 0 1784803 0
Current children cumulated CPU time: 3510.6 s
Current children cumulated vsize: 7154060 KiB
Current children cumulated memory: 6656052 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/264 41462
/proc/meminfo: memFree=116838556/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7154060 memory=6656052 CPUtime=3570.37 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1343007 0 0 0 354085 2952 0 0 20 0 1 0 46405167 7325757440 1664013 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1788515 1664013 3328 3139 0 1784803 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 7154060 KiB
Current children cumulated memory: 6656052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 41463
/proc/meminfo: memFree=116778668/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7156292 memory=6658284 CPUtime=3600.07 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1345044 0 0 0 357029 2978 0 0 20 0 1 0 46405167 7328043008 1664571 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1789073 1664571 3328 3139 0 1785361 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 7156292 KiB
Current children cumulated memory: 6658284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.18 s]
# the end of solver process 40923 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.29 s, system=29.8626 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 41463
/proc/meminfo: memFree=116778668/131249992 swapFree=33010160/33010684
[pid=40923] ppid=40920 vsize=7156292 memory=6658284 CPUtime=3600.07 cores=5,7
/proc/40923/stat : 40923 (uwrmaxsat-scip) R 40920 40923 40379 0 -1 4194304 1345044 0 0 0 357029 2978 0 0 20 0 1 0 46405167 7328043008 1664571 18446744073709551615 4198400 17051741 140734831847184 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29929472 140734831855930 140734831856100 140734831856100 140734831861702 0
/proc/40923/statm: 1789073 1664571 3328 3139 0 1785361 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 7156292 KiB
Current children cumulated memory: 6658284 KiB
Child status: 0
Real time (s): 3612.18
CPU time (s): 3600.15
CPU user time (s): 3570.29
CPU system time (s): 29.8626
CPU usage (%): 99.667
Max. virtual memory (cumulated for all children) (KiB): 8507532
Max. memory (cumulated for all children) (KiB): 8013548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.29
system time used= 29.8626
maximum resident set size= 8013548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1345044
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= 6
involuntary context switches= 20325
# summary of solver processes directly reported to runsolver:
# pid: 40923
# total CPU time (s): 3600.15
# total CPU user time (s): 3570.29
# total CPU system time (s): 29.8626
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47237 second user time and 16.9351 second system time
The end
Begin job on nodeC035 at 2025-06-30 20:15:06
IDJOB=4485796
IDBENCH=146886
IDSOLVER=3373
FILE ID=nodeC035/4485796-1751307306
RUNJOBID= nodeC035-1751303214-40392
SLURM_JOB_ID= 9594292
Free space on /tmp= 432980 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.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-4485796-1751307306/watcher-4485796-1751307306 -o /tmp/evaluation-result-4485796-1751307306/solver-4485796-1751307306 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751303214-40392 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4485796-1751307306.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6022b5aad9039ac1ca82f9921059af7c
RANDOM SEED=2016299994
nodeC035 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 : 3599.725
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 : 6999.51
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 : 3599.752
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 : 6999.51
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.030
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 : 6999.51
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.526
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 : 6999.51
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 : 3599.749
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 : 6999.51
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 : 3658.174
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 : 6999.51
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 : 3539.778
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 : 6999.51
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.752
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 : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 119892396 kB
MemAvailable: 124634264 kB
Buffers: 1840 kB
Cached: 5495280 kB
SwapCached: 8 kB
Active: 5376028 kB
Inactive: 5215820 kB
Active(anon): 5101156 kB
Inactive(anon): 11620 kB
Active(file): 274872 kB
Inactive(file): 5204200 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34992 kB
Writeback: 0 kB
AnonPages: 5095072 kB
Mapped: 134868 kB
Shmem: 18048 kB
KReclaimable: 204068 kB
Slab: 293000 kB
SReclaimable: 204068 kB
SUnreclaim: 88932 kB
KernelStack: 4236 kB
PageTables: 13348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6100004 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3211264 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC035 at 2025-06-30 21:15:19