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.09/0.18 c Converting 16698 PB-constraints to clauses...
0.09/0.19 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.30/0.31 c ============================[ Encoding Statistics ]============================
0.30/0.31 c | Number of variables: 19896 |
0.30/0.31 c | Number of clauses: 84645 |
0.30/0.31 c ===============================================================================
300.42/301.31 c Starting SCIP solver (with time-limit: 900s) ...
1198.62/1202.38 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.07/3610.40 c *** TERMINATED by signal 15 ***
3600.07/3610.40 c _______________________________________________________________________________
3600.07/3610.40 c
3600.07/3610.40 c _______________________________________________________________________________
3600.07/3610.40 c
3600.07/3610.40 c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3610.40 c Memory used : 563.00 MB
3600.07/3610.40 c CPU time : 3598.97 s
3600.07/3610.40 c Constr Enc: Srt/BDD/Add: 136 0 0
3600.07/3610.40 c _______________________________________________________________________________
3600.07/3610.40 c _______________________________________________________________________________
3600.07/3610.40 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 (63037 MiB free)
memory of node 1: 64465 MiB (64031 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506813-1751171326/watcher-4506813-1751171326 -o /tmp/evaluation-result-4506813-1751171326/solver-4506813-1751171326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751171326-20760 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4506813-1751171326.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=20812, runsolver pid=20800
[startup+0.100063 s]*
/proc/loadavg: 0.52 0.94 1.40 5/265 20817
/proc/meminfo: memFree=130031180/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=40988 memory=24648 CPUtime=0.09 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 5567 0 0 0 9 0 0 0 20 0 1 0 32755122 41971712 6162 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 10247 6162 1120 3139 0 6535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40988 KiB
Current children cumulated memory: 24648 KiB
[startup+0.205739 s]*
/proc/loadavg: 0.52 0.94 1.40 6/265 20817
/proc/meminfo: memFree=129967424/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=67736 memory=57416 CPUtime=0.2 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 12649 0 0 0 19 1 0 0 20 0 1 0 32755122 69361664 14354 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 16934 14354 2688 3139 0 13222 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67736 KiB
Current children cumulated memory: 57416 KiB
[startup+0.305743 s]*
/proc/loadavg: 0.52 0.94 1.40 5/265 20817
/proc/meminfo: memFree=129806900/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=93096 memory=82376 CPUtime=0.3 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 18902 0 0 0 28 2 0 0 20 0 1 0 32755122 95330304 20594 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 23274 20594 2688 3139 0 19562 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93096 KiB
Current children cumulated memory: 82376 KiB
[startup+0.700171 s]
/proc/loadavg: 0.52 0.94 1.40 5/265 20817
/proc/meminfo: memFree=129770548/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=96776 memory=86120 CPUtime=0.69 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 20075 0 0 0 66 3 0 0 20 0 1 0 32755122 99098624 21530 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 24194 21530 2688 3139 0 20482 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 96776 KiB
Current children cumulated memory: 86120 KiB
[startup+1.50017 s]
/proc/loadavg: 0.52 0.94 1.40 5/265 20817
/proc/meminfo: memFree=129742136/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=129020 memory=117072 CPUtime=1.48 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 28255 0 0 0 144 4 0 0 20 0 1 0 32755122 132116480 29268 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 32255 29268 2688 3139 0 28543 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 129020 KiB
Current children cumulated memory: 117072 KiB
[startup+3.10563 s]
/proc/loadavg: 0.52 0.94 1.40 5/265 20817
/proc/meminfo: memFree=129586576/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=138184 memory=127544 CPUtime=3.09 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 30447 0 0 0 304 5 0 0 20 0 1 0 32755122 141500416 31886 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 34546 31886 2688 3139 0 30834 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 127544 KiB
[startup+6.30016 s]
/proc/loadavg: 0.80 0.99 1.41 5/266 20818
/proc/meminfo: memFree=129578340/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=138184 memory=127960 CPUtime=6.27 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 30699 0 0 0 622 5 0 0 20 0 1 0 32755122 141500416 31990 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 34546 31990 2688 3139 0 30834 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 138184 KiB
Current children cumulated memory: 127960 KiB
[startup+12.7001 s]
/proc/loadavg: 1.14 1.06 1.43 5/266 20818
/proc/meminfo: memFree=129564944/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=144620 memory=132832 CPUtime=12.65 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 34074 0 0 0 1259 6 0 0 20 0 1 0 32755122 148090880 33208 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 36155 33208 2688 3139 0 32443 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 144620 KiB
Current children cumulated memory: 132832 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 1.20 1.48 5/266 20818
/proc/meminfo: memFree=129539372/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=147040 memory=136032 CPUtime=25.41 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 34901 0 0 0 2535 6 0 0 20 0 1 0 32755122 150568960 34008 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 36760 34008 2688 3139 0 33048 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 147040 KiB
Current children cumulated memory: 136032 KiB
[startup+51.1057 s]
/proc/loadavg: 2.53 1.43 1.54 5/266 20819
/proc/meminfo: memFree=129504840/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=147332 memory=137112 CPUtime=50.95 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 39546 0 0 0 5087 8 0 0 20 0 1 0 32755122 150867968 34278 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 36833 34278 2688 3139 0 33121 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 147332 KiB
Current children cumulated memory: 137112 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.86 1.69 5/267 20822
/proc/meminfo: memFree=129331528/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=169440 memory=159100 CPUtime=101.99 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 45843 0 0 0 10188 11 0 0 20 0 1 0 32755122 173506560 39775 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 42360 39775 2688 3139 0 38648 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 169440 KiB
Current children cumulated memory: 159100 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.27 1.84 5/267 20824
/proc/meminfo: memFree=129274756/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=182396 memory=172156 CPUtime=161.81 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 48129 0 0 0 16170 11 0 0 20 0 1 0 32755122 186773504 43039 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 45599 43039 2688 3139 0 41887 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 182396 KiB
Current children cumulated memory: 172156 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.60 1.98 7/268 20872
/proc/meminfo: memFree=129350212/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=180852 memory=169532 CPUtime=221.64 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 49721 0 0 0 22152 12 0 0 20 0 1 0 32755122 185192448 42383 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 45213 42383 2688 3139 0 41501 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 180852 KiB
Current children cumulated memory: 169532 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.89 2.12 5/267 20876
/proc/meminfo: memFree=129256080/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=213948 memory=203644 CPUtime=281.47 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 54197 0 0 0 28133 14 0 0 20 0 1 0 32755122 219082752 50911 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 53487 50911 2688 3139 0 49775 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 213948 KiB
Current children cumulated memory: 203644 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.11 2.25 5/264 20877
/proc/meminfo: memFree=128741052/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=313064 memory=301112 CPUtime=341.3 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 75375 0 0 0 34112 18 0 0 20 0 1 0 32755122 320577536 75278 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 78266 75278 3104 3139 0 74554 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 313064 KiB
Current children cumulated memory: 301112 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.30 2.37 5/264 20879
/proc/meminfo: memFree=128463500/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=477028 memory=414600 CPUtime=401.12 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 102731 0 0 0 40090 22 0 0 20 0 1 0 32755122 488476672 103650 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 119257 103650 3264 3139 0 115545 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 477028 KiB
Current children cumulated memory: 414600 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.45 2.48 5/264 20886
/proc/meminfo: memFree=128427680/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=481476 memory=417672 CPUtime=460.95 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 103519 0 0 0 46073 22 0 0 20 0 1 0 32755122 493031424 104418 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 120369 104418 3264 3139 0 116657 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 335992 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.01 5/263 21053
/proc/meminfo: memFree=128385880/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=349548 memory=342124 CPUtime=2853.97 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 160169 0 0 0 285327 70 0 0 20 0 1 0 32755122 357937152 85531 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 87387 85531 3296 3139 0 83675 0
Current children cumulated CPU time: 2853.97 s
Current children cumulated vsize: 349548 KiB
Current children cumulated memory: 342124 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.08 4.01 5/263 21058
/proc/meminfo: memFree=128394192/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=348216 memory=340792 CPUtime=2913.81 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 161583 0 0 0 291308 73 0 0 20 0 1 0 32755122 356573184 85198 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 87054 85198 3296 3139 0 83342 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 348216 KiB
Current children cumulated memory: 340792 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/263 21060
/proc/meminfo: memFree=128415380/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=333484 memory=326064 CPUtime=2973.65 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 163962 0 0 0 297288 77 0 0 20 0 1 0 32755122 341487616 81516 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 83371 81516 3296 3139 0 79659 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 333484 KiB
Current children cumulated memory: 326064 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/262 21062
/proc/meminfo: memFree=128410036/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=338492 memory=331068 CPUtime=3033.49 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 166047 0 0 0 303270 79 0 0 20 0 1 0 32755122 346615808 82767 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 84623 82767 3296 3139 0 80911 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 338492 KiB
Current children cumulated memory: 331068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/262 21064
/proc/meminfo: memFree=128407900/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=363292 memory=342652 CPUtime=3093.33 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 167449 0 0 0 309251 82 0 0 20 0 1 0 32755122 372011008 85663 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 90823 85663 3296 3139 0 87111 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 363292 KiB
Current children cumulated memory: 342652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.01 5/262 21066
/proc/meminfo: memFree=128744592/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=365408 memory=337588 CPUtime=3153.17 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 172951 0 0 0 315232 85 0 0 20 0 1 0 32755122 374177792 84397 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 91352 84397 3296 3139 0 87640 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 365408 KiB
Current children cumulated memory: 337588 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.07 4.01 5/262 21068
/proc/meminfo: memFree=128657640/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=353640 memory=344820 CPUtime=3213.01 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 175831 0 0 0 321214 87 0 0 20 0 1 0 32755122 362127360 86205 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 88410 86205 3296 3139 0 84698 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 353640 KiB
Current children cumulated memory: 344820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.29 4.12 4.02 5/263 21071
/proc/meminfo: memFree=128728740/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=372968 memory=347412 CPUtime=3272.84 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 179047 0 0 0 327194 90 0 0 20 0 1 0 32755122 381919232 86853 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 93242 86853 3296 3139 0 89530 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 372968 KiB
Current children cumulated memory: 347412 KiB
[startup+3342.3 s]
/proc/loadavg: 4.55 4.26 4.08 5/264 21076
/proc/meminfo: memFree=128744456/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=373560 memory=349540 CPUtime=3332.68 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 181347 0 0 0 333174 94 0 0 20 0 1 0 32755122 382525440 87385 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 93390 87385 3296 3139 0 89678 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 373560 KiB
Current children cumulated memory: 349540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.22 4.08 5/264 21078
/proc/meminfo: memFree=128698752/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=371992 memory=350020 CPUtime=3392.52 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 183244 0 0 0 339156 96 0 0 20 0 1 0 32755122 380919808 87505 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 92998 87505 3296 3139 0 89286 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 371992 KiB
Current children cumulated memory: 350020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.21 4.08 5/264 21080
/proc/meminfo: memFree=128634448/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=335120 memory=327812 CPUtime=3452.36 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 188887 0 0 0 345133 103 0 0 20 0 1 0 32755122 343162880 81953 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 83780 81953 3296 3139 0 80068 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 335120 KiB
Current children cumulated memory: 327812 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.08 5/264 21086
/proc/meminfo: memFree=128654508/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=374256 memory=366948 CPUtime=3512.19 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 190581 0 0 0 351114 105 0 0 20 0 1 0 32755122 383238144 91737 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 93564 91737 3296 3139 0 89852 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 374256 KiB
Current children cumulated memory: 366948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.08 5/263 21088
/proc/meminfo: memFree=128636096/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=378248 memory=370844 CPUtime=3572.04 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 192724 0 0 0 357095 109 0 0 20 0 1 0 32755122 387325952 92711 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 94562 92711 3296 3139 0 90850 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 378248 KiB
Current children cumulated memory: 370844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.11 4.17 4.09 5/262 21090
/proc/meminfo: memFree=128617112/131250000 swapFree=33010684/33010684
[pid=20812] ppid=20800 vsize=336880 memory=329572 CPUtime=3600.07 cores=5,7
/proc/20812/stat : 20812 (uwrmaxsat-scip) R 20800 20812 20747 0 -1 4194304 193339 0 0 0 359897 110 0 0 20 0 1 0 32755122 344965120 82393 18446744073709551615 4198400 17051741 140734248243728 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 40632320 140734248245562 140734248245732 140734248245732 140734248251334 0
/proc/20812/statm: 84220 82393 3296 3139 0 80508 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 336880 KiB
Current children cumulated memory: 329572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 20812 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.10241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.07
CPU user time (s): 3598.97
CPU system time (s): 1.10241
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 577180
Max. memory (cumulated for all children) (KiB): 528856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.10241
maximum resident set size= 528856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193339
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= 18
involuntary context switches= 1787
# summary of solver processes directly reported to runsolver:
# pid: 20812
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.10241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35946 second user time and 15.8802 second system time
The end
Begin job on nodeC028 at 2025-06-29 06:28:46
IDJOB=4506813
IDBENCH=158265
IDSOLVER=3373
FILE ID=nodeC028/4506813-1751171326
RUNJOBID= nodeC028-1751171326-20760
SLURM_JOB_ID= 9587534
Free space on /tmp= 433056 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.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-4506813-1751171326/watcher-4506813-1751171326 -o /tmp/evaluation-result-4506813-1751171326/solver-4506813-1751171326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751171326-20760 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4506813-1751171326.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=398950723
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 : 3513.224
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 : 3599.502
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.817
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 : 3600.083
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.424
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 : 3750.010
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.547
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 : 3600.117
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: 130126864 kB
MemAvailable: 129826172 kB
Buffers: 3280 kB
Cached: 510368 kB
SwapCached: 0 kB
Active: 322560 kB
Inactive: 253916 kB
Active(anon): 80996 kB
Inactive(anon): 0 kB
Active(file): 241564 kB
Inactive(file): 253916 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 71348 kB
Writeback: 0 kB
AnonPages: 66020 kB
Mapped: 102576 kB
Shmem: 18068 kB
KReclaimable: 86132 kB
Slab: 169308 kB
SReclaimable: 86132 kB
SUnreclaim: 83176 kB
KernelStack: 4112 kB
PageTables: 2820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 330596 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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= 432992 MiB
End job on nodeC028 at 2025-06-29 07:28:57