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.06 c Converting 7744 PB-constraints to clauses...
0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.10/0.13 c ============================[ Encoding Statistics ]============================
0.10/0.13 c | Number of variables: 14375 |
0.10/0.13 c | Number of clauses: 58395 |
0.10/0.13 c ===============================================================================
299.99/301.13 c Starting SCIP solver (with time-limit: 900s) ...
1197.52/1201.17 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1203.50/1207.12 c [1mUNKNOWN[0m
1203.50/1207.12 c _______________________________________________________________________________
1203.50/1207.12 c
1203.50/1207.12 c =======================[ UWrMaxSat resources usage ]===========================
1203.50/1207.12 c Memory used : 268.00 MB
1203.50/1207.12 c CPU time : 1203.34 s
1203.50/1207.12 c Constr Enc: Srt/BDD/Add: 753 0 0
1203.50/1207.12 c _______________________________________________________________________________
1203.50/1207.12 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: 63665 MiB (62674 MiB free)
memory of node 1: 64507 MiB (63610 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513059-1751199759/watcher-4513059-1751199759 -o /tmp/evaluation-result-4513059-1751199759/solver-4513059-1751199759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26928 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4513059-1751199759.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
Linux 5.14.0-503.14.1.el
solver pid=29346, runsolver pid=29343
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 29347
/proc/meminfo: memFree=129292368/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=46976 memory=37112 CPUtime=0.1 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 7201 0 0 0 9 1 0 0 20 0 1 0 35653621 48103424 9278 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 11744 9278 2688 3139 0 8032 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46976 KiB
Current children cumulated memory: 37112 KiB
[startup+0.205521 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129290604/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=52192 memory=41732 CPUtime=0.2 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 8713 0 0 0 19 1 0 0 20 0 1 0 35653621 53444608 10433 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 13048 10433 2688 3139 0 9336 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52192 KiB
Current children cumulated memory: 41732 KiB
[startup+0.305474 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129286824/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=54924 memory=44548 CPUtime=0.3 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 9398 0 0 0 29 1 0 0 20 0 1 0 35653621 56242176 11137 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 13731 11137 2688 3139 0 10019 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54924 KiB
Current children cumulated memory: 44548 KiB
[startup+0.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129282792/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=56976 memory=46836 CPUtime=0.68 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 11322 0 0 0 67 1 0 0 20 0 1 0 35653621 58343424 11709 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 14244 11709 2720 3139 0 10532 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56976 KiB
Current children cumulated memory: 46836 KiB
[startup+1.50013 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129282792/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=61836 memory=51604 CPUtime=1.49 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 13237 0 0 0 147 2 0 0 20 0 1 0 35653621 63320064 12901 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 15459 12901 2720 3139 0 11747 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61836 KiB
Current children cumulated memory: 51604 KiB
[startup+3.10525 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129279268/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=58936 memory=48768 CPUtime=3.09 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 13634 0 0 0 307 2 0 0 20 0 1 0 35653621 60350464 12192 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 14734 12192 2720 3139 0 11022 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58936 KiB
Current children cumulated memory: 48768 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129278512/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=60936 memory=50768 CPUtime=6.27 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 17119 0 0 0 625 2 0 0 20 0 1 0 35653621 62398464 12692 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 15234 12692 2720 3139 0 11522 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 60936 KiB
Current children cumulated memory: 50768 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 29347
/proc/meminfo: memFree=129276776/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=65500 memory=55268 CPUtime=12.64 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 17749 0 0 0 1262 2 0 0 20 0 1 0 35653621 67072000 13817 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 16375 13817 2720 3139 0 12663 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65500 KiB
Current children cumulated memory: 55268 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 29348
/proc/meminfo: memFree=129250684/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=85204 memory=74980 CPUtime=25.4 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 21712 0 0 0 2536 4 0 0 20 0 1 0 35653621 87248896 18745 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 21301 18745 2720 3139 0 17589 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 85204 KiB
Current children cumulated memory: 74980 KiB
[startup+51.1054 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 29348
/proc/meminfo: memFree=129251356/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=75120 memory=64868 CPUtime=50.91 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 24304 0 0 0 5087 4 0 0 20 0 1 0 35653621 76922880 16217 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 18780 16217 2720 3139 0 15068 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 75120 KiB
Current children cumulated memory: 64868 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 29353
/proc/meminfo: memFree=129191784/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=127600 memory=117368 CPUtime=101.92 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 32202 0 0 0 10184 8 0 0 20 0 1 0 35653621 130662400 29342 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 31900 29342 2720 3139 0 28188 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 127600 KiB
Current children cumulated memory: 117368 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 29360
/proc/meminfo: memFree=129121852/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=88408 memory=78584 CPUtime=161.71 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 33842 0 0 0 16162 9 0 0 20 0 1 0 35653621 90529792 19646 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 22102 19646 2720 3139 0 18390 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 88408 KiB
Current children cumulated memory: 78584 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 29363
/proc/meminfo: memFree=128996388/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=109080 memory=99172 CPUtime=221.48 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 35432 0 0 0 22139 9 0 0 20 0 1 0 35653621 111697920 24793 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 27270 24793 2720 3139 0 23558 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 109080 KiB
Current children cumulated memory: 99172 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 29365
/proc/meminfo: memFree=128915716/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=147296 memory=137544 CPUtime=281.26 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 39086 0 0 0 28114 12 0 0 20 0 1 0 35653621 150831104 34386 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 36824 34386 2720 3139 0 33112 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 147296 KiB
Current children cumulated memory: 137544 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 29367
/proc/meminfo: memFree=128885484/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=218304 memory=207364 CPUtime=341.06 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 56796 0 0 0 34089 17 0 0 20 0 1 0 35653621 223543296 51841 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 54576 51841 3296 3139 0 50864 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 218304 KiB
Current children cumulated memory: 207364 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 29369
/proc/meminfo: memFree=128870284/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=218304 memory=207364 CPUtime=400.87 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 56808 0 0 0 40070 17 0 0 20 0 1 0 35653621 223543296 51841 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 54576 51841 3296 3139 0 50864 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 218304 KiB
Current children cumulated memory: 207364 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 29371
/proc/meminfo: memFree=128839520/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=218304 memory=207492 CPUtime=460.7 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 56833 0 0 0 46053 17 0 0 20 0 1 0 35653621 223543296 51873 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 54576 51873 3296 3139 0 50864 0
Current children cumulated CPU time: 460.7 s
################
# More data... #
################
/proc/loadavg: 4.08 4.08 4.09 5/264 29391
/proc/meminfo: memFree=128771716/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=226340 memory=219012 CPUtime=819.75 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 59453 0 0 0 81958 17 0 0 20 0 1 0 35653621 231772160 54753 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 56585 54753 3296 3139 0 52873 0
Current children cumulated CPU time: 819.75 s
Current children cumulated vsize: 226340 KiB
Current children cumulated memory: 219012 KiB
[startup+882.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 29396
/proc/meminfo: memFree=128764984/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=239224 memory=231940 CPUtime=879.59 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 62697 0 0 0 87942 17 0 0 20 0 1 0 35653621 244965376 57985 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 59806 57985 3296 3139 0 56094 0
Current children cumulated CPU time: 879.59 s
Current children cumulated vsize: 239224 KiB
Current children cumulated memory: 231940 KiB
[startup+942.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 29397
/proc/meminfo: memFree=128731016/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=239224 memory=231940 CPUtime=939.43 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 62697 0 0 0 93926 17 0 0 20 0 1 0 35653621 244965376 57985 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 59806 57985 3296 3139 0 56094 0
Current children cumulated CPU time: 939.43 s
Current children cumulated vsize: 239224 KiB
Current children cumulated memory: 231940 KiB
[startup+1002.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 29399
/proc/meminfo: memFree=128725136/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=239224 memory=231940 CPUtime=999.26 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 62769 0 0 0 99909 17 0 0 20 0 1 0 35653621 244965376 57985 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 59806 57985 3296 3139 0 56094 0
Current children cumulated CPU time: 999.26 s
Current children cumulated vsize: 239224 KiB
Current children cumulated memory: 231940 KiB
[startup+1062.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 29401
/proc/meminfo: memFree=128743992/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=239224 memory=231940 CPUtime=1059.09 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 62771 0 0 0 105892 17 0 0 20 0 1 0 35653621 244965376 57985 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 59806 57985 3296 3139 0 56094 0
Current children cumulated CPU time: 1059.09 s
Current children cumulated vsize: 239224 KiB
Current children cumulated memory: 231940 KiB
[startup+1122.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/265 29403
/proc/meminfo: memFree=128883876/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=248636 memory=240516 CPUtime=1118.93 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 64905 0 0 0 111875 18 0 0 20 0 1 0 35653621 254603264 60129 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 62159 60129 3296 3139 0 58447 0
Current children cumulated CPU time: 1118.93 s
Current children cumulated vsize: 248636 KiB
Current children cumulated memory: 240516 KiB
[startup+1182.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 29406
/proc/meminfo: memFree=128875464/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=248636 memory=240516 CPUtime=1178.77 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 64905 0 0 0 117859 18 0 0 20 0 1 0 35653621 254603264 60129 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 62159 60129 3296 3139 0 58447 0
Current children cumulated CPU time: 1178.77 s
Current children cumulated vsize: 248636 KiB
Current children cumulated memory: 240516 KiB
[startup+1207.13 s]
# the end of solver process 29346 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1203.34 s, system=0.18992 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 29407
/proc/meminfo: memFree=128865508/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=248636 memory=240516 CPUtime=1186.84 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 64905 0 0 0 118666 18 0 0 20 0 1 0 35653621 254603264 60129 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 62159 60129 3296 3139 0 58447 0
Current children cumulated CPU time: 1186.84 s
Current children cumulated vsize: 248636 KiB
Current children cumulated memory: 240516 KiB
[startup+1196.8 s]
/proc/loadavg: 4.25 4.12 4.10 5/264 29407
/proc/meminfo: memFree=128857316/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=248636 memory=240516 CPUtime=1193.23 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 64905 0 0 0 119305 18 0 0 20 0 1 0 35653621 254603264 60129 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 62159 60129 3296 3139 0 58447 0
Current children cumulated CPU time: 1193.23 s
Current children cumulated vsize: 248636 KiB
Current children cumulated memory: 240516 KiB
[startup+1203.2 s]
/proc/loadavg: 4.31 4.13 4.10 5/264 29408
/proc/meminfo: memFree=128798504/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=275036 memory=266944 CPUtime=1199.6 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 65468 0 0 0 119942 18 0 0 20 0 1 0 35653621 281636864 66736 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 68759 66736 3296 3139 0 65047 0
Current children cumulated CPU time: 1199.6 s
Current children cumulated vsize: 275036 KiB
Current children cumulated memory: 266944 KiB
[startup+1204.8 s]
/proc/loadavg: 4.31 4.13 4.10 5/264 29408
/proc/meminfo: memFree=128798504/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=275036 memory=266944 CPUtime=1201.2 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 65468 0 0 0 120102 18 0 0 20 0 1 0 35653621 281636864 66736 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 68759 66736 3296 3139 0 65047 0
Current children cumulated CPU time: 1201.2 s
Current children cumulated vsize: 275036 KiB
Current children cumulated memory: 266944 KiB
[startup+1206.4 s]
/proc/loadavg: 4.37 4.15 4.11 5/264 29408
/proc/meminfo: memFree=128798504/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=240144 memory=232072 CPUtime=1202.79 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 65468 0 0 0 120261 18 0 0 20 0 1 0 35653621 245907456 58018 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 60036 58018 3296 3139 0 56324 0
Current children cumulated CPU time: 1202.79 s
Current children cumulated vsize: 240144 KiB
Current children cumulated memory: 232072 KiB
[startup+1206.8 s]
/proc/loadavg: 4.37 4.15 4.11 5/264 29408
/proc/meminfo: memFree=128798504/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=240144 memory=232072 CPUtime=1203.19 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 65468 0 0 0 120301 18 0 0 20 0 1 0 35653621 245907456 58018 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 60036 58018 3296 3139 0 56324 0
Current children cumulated CPU time: 1203.19 s
Current children cumulated vsize: 240144 KiB
Current children cumulated memory: 232072 KiB
[startup+1207 s]*
/proc/loadavg: 4.37 4.15 4.11 5/264 29408
/proc/meminfo: memFree=128839464/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=240144 memory=232072 CPUtime=1203.4 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 65468 0 0 0 120322 18 0 0 20 0 1 0 35653621 245907456 58018 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 60036 58018 3296 3139 0 56324 0
Current children cumulated CPU time: 1203.4 s
Current children cumulated vsize: 240144 KiB
Current children cumulated memory: 232072 KiB
[startup+1207.11 s]
/proc/loadavg: 4.37 4.15 4.11 5/264 29408
/proc/meminfo: memFree=128839464/131249996 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=240144 memory=232072 CPUtime=1203.5 cores=5,7
/proc/29346/stat : 29346 (uwrmaxsat-scip) R 29343 29346 26915 0 -1 4194304 65468 0 0 0 120332 18 0 0 20 0 1 0 35653621 245907456 58018 18446744073709551615 4198400 17051741 140731103650896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 55709696 140731103652154 140731103652324 140731103652324 140731103657926 0
/proc/29346/statm: 60036 58018 3296 3139 0 56324 0
Current children cumulated CPU time: 1203.5 s
Current children cumulated vsize: 240144 KiB
Current children cumulated memory: 232072 KiB
Child status: 0
Real time (s): 1207.13
CPU time (s): 1203.53
CPU user time (s): 1203.34
CPU system time (s): 0.18992
CPU usage (%): 99.702
Max. virtual memory (cumulated for all children) (KiB): 275036
Max. memory (cumulated for all children) (KiB): 266944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1203.34
system time used= 0.18992
maximum resident set size= 266944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65469
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= 23
involuntary context switches= 6405
# summary of solver processes directly reported to runsolver:
# pid: 29346
# total CPU time (s): 1203.53
# total CPU user time (s): 1203.34
# total CPU system time (s): 0.18992
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.17525 second user time and 4.74189 second system time
The end
Begin job on nodeC021 at 2025-06-29 14:22:39
IDJOB=4513059
IDBENCH=162256
IDSOLVER=3373
FILE ID=nodeC021/4513059-1751199759
RUNJOBID= nodeC021-1751192387-26928
SLURM_JOB_ID= 9587584
Free space on /tmp= 433012 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round21-3.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-4513059-1751199759/watcher-4513059-1751199759 -o /tmp/evaluation-result-4513059-1751199759/solver-4513059-1751199759 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751192387-26928 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4513059-1751199759.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fcb5d4afa821f968de1d585b18d2dfc7
RANDOM SEED=2078012562
nodeC021 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.857
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.56
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.763
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.56
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 : 3603.424
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.56
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 : 3595.047
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.56
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.784
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.56
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 : 3599.754
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.56
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 : 3599.935
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.56
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 : 3597.876
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129316248 kB
MemAvailable: 129358412 kB
Buffers: 3280 kB
Cached: 850832 kB
SwapCached: 0 kB
Active: 751016 kB
Inactive: 593476 kB
Active(anon): 508440 kB
Inactive(anon): 0 kB
Active(file): 242576 kB
Inactive(file): 593476 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16920 kB
Writeback: 0 kB
AnonPages: 487304 kB
Mapped: 137848 kB
Shmem: 18060 kB
KReclaimable: 90300 kB
Slab: 176392 kB
SReclaimable: 90300 kB
SUnreclaim: 86092 kB
KernelStack: 4256 kB
PageTables: 3952 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 844424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 155648 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= 432996 MiB
End job on nodeC021 at 2025-06-29 14:42:47