0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4515428-1751235648.opb>
0.00/0.08 c original problem has 37264 variables (37264 bin, 0 int, 0 impl, 0 cont) and 9317 constraints
0.00/0.08 c problem read in 0.07
0.00/0.08 c No objective function, only one solution is needed.
0.09/0.17 c presolving:
0.09/0.20 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.19/0.26 c (0.2s) running MILP presolver
0.19/0.31 c (0.3s) MILP presolver (2 rounds): 0 aggregations, 4 fixings, 0 bound changes
0.29/0.41 c (round 2, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 9161 upgd conss, 0 impls, 0 clqs
0.39/0.45 c (round 3, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 9278 upgd conss, 0 impls, 0 clqs
0.39/0.46 c (round 4, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 137 chg sides, 0 chg coeffs, 9316 upgd conss, 0 impls, 0 clqs
0.78/0.80 c (0.8s) probing: 51/37260 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.78/0.80 c (0.8s) probing aborted: 50/50 successive totally useless probings
0.78/0.84 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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 (59129 MiB free)
memory of node 1: 64507 MiB (62683 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515428-1751235648/watcher-4515428-1751235648 -o /tmp/evaluation-result-4515428-1751235648/solver-4515428-1751235648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29474 --watchdog 3760 pbscip -f HOME/instance-4515428-1751235648.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=31140, runsolver pid=31137
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.16 4.11 5/264 31141
/proc/meminfo: memFree=124671980/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=107852 memory=81544 CPUtime=0.09 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 17263 0 0 0 7 2 0 0 20 0 1 0 39243611 110440448 20386 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 26963 20386 3552 3530 0 18414 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107852 KiB
Current children cumulated memory: 81544 KiB
[startup+0.205546 s]*
/proc/loadavg: 4.20 4.16 4.11 5/264 31141
/proc/meminfo: memFree=124631660/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=153968 memory=122248 CPUtime=0.19 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 27372 0 0 0 16 3 0 0 20 0 1 0 39243611 157663232 30562 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 38492 30562 3616 3530 0 29943 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 153968 KiB
Current children cumulated memory: 122248 KiB
[startup+0.305527 s]*
/proc/loadavg: 4.20 4.16 4.11 5/264 31141
/proc/meminfo: memFree=124607468/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=171560 memory=139840 CPUtime=0.29 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 36164 0 0 0 24 5 0 0 20 0 1 0 39243611 175677440 34960 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 42890 34960 3744 3530 0 34341 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 171560 KiB
Current children cumulated memory: 139840 KiB
[startup+0.700202 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 31141
/proc/meminfo: memFree=124567400/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=216036 memory=182848 CPUtime=0.68 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 46872 0 0 0 62 6 0 0 20 0 1 0 39243611 221220864 45712 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 54009 45712 3808 3530 0 45460 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 216036 KiB
Current children cumulated memory: 182848 KiB
[startup+1.50016 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 31141
/proc/meminfo: memFree=124466848/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=438224 memory=335404 CPUtime=1.48 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 83567 0 0 0 136 12 0 0 20 0 1 0 39243611 448741376 83851 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 109556 83851 3808 3530 0 101007 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 438224 KiB
Current children cumulated memory: 335404 KiB
[startup+3.1051 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 31142
/proc/meminfo: memFree=124262848/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=601908 memory=499116 CPUtime=3.08 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 124497 0 0 0 288 20 0 0 20 0 1 0 39243611 616353792 124779 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 150477 124779 3808 3530 0 141928 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 601908 KiB
Current children cumulated memory: 499116 KiB
[startup+6.30016 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 31142
/proc/meminfo: memFree=124021732/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=837332 memory=740524 CPUtime=6.27 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 183827 0 0 0 596 31 0 0 20 0 1 0 39243611 857427968 185131 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 209333 185131 3808 3530 0 200784 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 837332 KiB
Current children cumulated memory: 740524 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.15 4.11 5/264 31142
/proc/meminfo: memFree=123949028/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=899344 memory=808320 CPUtime=12.65 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 199261 0 0 0 1232 33 0 0 20 0 1 0 39243611 920928256 202080 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 224836 202080 3808 3530 0 216287 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 899344 KiB
Current children cumulated memory: 808320 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.16 4.11 5/264 31142
/proc/meminfo: memFree=123881508/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=963100 memory=875300 CPUtime=25.43 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 215477 0 0 0 2507 36 0 0 20 0 1 0 39243611 986214400 218825 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 240775 218825 3808 3530 0 232226 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 963100 KiB
Current children cumulated memory: 875300 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 31142
/proc/meminfo: memFree=123782224/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1045204 memory=957732 CPUtime=50.99 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 236075 0 0 0 5059 40 0 0 20 0 1 0 39243611 1070288896 239433 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 261301 239433 3808 3530 0 252752 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1045204 KiB
Current children cumulated memory: 957732 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 31144
/proc/meminfo: memFree=123634064/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1157000 memory=1069220 CPUtime=102.08 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 263953 0 0 0 10164 44 0 0 20 0 1 0 39243611 1184768000 267305 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 289250 267305 3808 3530 0 280701 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1157000 KiB
Current children cumulated memory: 1069220 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/265 31147
/proc/meminfo: memFree=123610940/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178840 memory=1090724 CPUtime=161.96 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269340 0 0 0 16150 46 0 0 20 0 1 0 39243611 1207132160 272681 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294710 272681 3808 3530 0 286161 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 1178840 KiB
Current children cumulated memory: 1090724 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 31149
/proc/meminfo: memFree=123613304/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178844 memory=1090724 CPUtime=221.84 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269341 0 0 0 22137 47 0 0 20 0 1 0 39243611 1207136256 272681 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294711 272681 3808 3530 0 286162 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 1178844 KiB
Current children cumulated memory: 1090724 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 31152
/proc/meminfo: memFree=123612840/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178848 memory=1090724 CPUtime=281.72 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269342 0 0 0 28124 48 0 0 20 0 1 0 39243611 1207140352 272681 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294712 272681 3808 3530 0 286163 0
Current children cumulated CPU time: 281.72 s
Current children cumulated vsize: 1178848 KiB
Current children cumulated memory: 1090724 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 31157
/proc/meminfo: memFree=123599428/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178852 memory=1090724 CPUtime=341.6 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269343 0 0 0 34111 49 0 0 20 0 1 0 39243611 1207144448 272681 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294713 272681 3808 3530 0 286164 0
Current children cumulated CPU time: 341.6 s
Current children cumulated vsize: 1178852 KiB
Current children cumulated memory: 1090724 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 31159
/proc/meminfo: memFree=123623984/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178856 memory=1090724 CPUtime=401.48 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269344 0 0 0 40098 50 0 0 20 0 1 0 39243611 1207148544 272681 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294714 272681 3808 3530 0 286165 0
Current children cumulated CPU time: 401.48 s
Current children cumulated vsize: 1178856 KiB
Current children cumulated memory: 1090724 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 31161
/proc/meminfo: memFree=123621528/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178860 memory=1090724 CPUtime=461.36 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269345 0 0 0 46085 51 0 0 20 0 1 0 39243611 1207152640 272681 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294715 272681 3808 3530 0 286166 0
Current children cumulated CPU time: 461.36 s
################
# More data... #
################
Current children cumulated memory: 1106212 KiB
[startup+2862.3 s]
/proc/loadavg: 5.12 5.08 4.92 6/264 32909
/proc/meminfo: memFree=127367840/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178920 memory=1106212 CPUtime=2856.59 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269668 0 0 0 285591 68 0 0 20 0 1 0 39243611 1207214080 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294730 276553 3808 3530 0 286181 0
Current children cumulated CPU time: 2856.59 s
Current children cumulated vsize: 1178920 KiB
Current children cumulated memory: 1106212 KiB
[startup+2922.3 s]
/proc/loadavg: 5.39 5.16 4.96 6/264 32911
/proc/meminfo: memFree=127360156/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178920 memory=1106212 CPUtime=2916.47 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269668 0 0 0 291579 68 0 0 20 0 1 0 39243611 1207214080 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294730 276553 3808 3530 0 286181 0
Current children cumulated CPU time: 2916.47 s
Current children cumulated vsize: 1178920 KiB
Current children cumulated memory: 1106212 KiB
[startup+2982.3 s]
/proc/loadavg: 5.19 5.14 4.97 6/264 32913
/proc/meminfo: memFree=127355144/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178924 memory=1106212 CPUtime=2976.36 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269730 0 0 0 297568 68 0 0 20 0 1 0 39243611 1207218176 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294731 276553 3808 3530 0 286182 0
Current children cumulated CPU time: 2976.36 s
Current children cumulated vsize: 1178924 KiB
Current children cumulated memory: 1106212 KiB
[startup+3042.3 s]
/proc/loadavg: 5.11 5.13 4.98 6/264 32916
/proc/meminfo: memFree=127349796/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178924 memory=1106212 CPUtime=3036.24 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269730 0 0 0 303556 68 0 0 20 0 1 0 39243611 1207218176 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294731 276553 3808 3530 0 286182 0
Current children cumulated CPU time: 3036.24 s
Current children cumulated vsize: 1178924 KiB
Current children cumulated memory: 1106212 KiB
[startup+3102.3 s]
/proc/loadavg: 5.09 5.12 4.99 6/265 32923
/proc/meminfo: memFree=127345896/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178924 memory=1106212 CPUtime=3096.13 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269731 0 0 0 309545 68 0 0 20 0 1 0 39243611 1207218176 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294731 276553 3808 3530 0 286182 0
Current children cumulated CPU time: 3096.13 s
Current children cumulated vsize: 1178924 KiB
Current children cumulated memory: 1106212 KiB
[startup+3162.3 s]
/proc/loadavg: 5.07 5.11 5.00 6/265 32925
/proc/meminfo: memFree=127354772/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178924 memory=1106212 CPUtime=3156.01 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269731 0 0 0 315533 68 0 0 20 0 1 0 39243611 1207218176 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294731 276553 3808 3530 0 286182 0
Current children cumulated CPU time: 3156.01 s
Current children cumulated vsize: 1178924 KiB
Current children cumulated memory: 1106212 KiB
[startup+3222.3 s]
/proc/loadavg: 5.12 5.12 5.01 6/265 32927
/proc/meminfo: memFree=127371292/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178928 memory=1106212 CPUtime=3215.89 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269733 0 0 0 321521 68 0 0 20 0 1 0 39243611 1207222272 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294732 276553 3808 3530 0 286183 0
Current children cumulated CPU time: 3215.89 s
Current children cumulated vsize: 1178928 KiB
Current children cumulated memory: 1106212 KiB
[startup+3282.3 s]
/proc/loadavg: 5.10 5.11 5.01 6/265 32929
/proc/meminfo: memFree=127376284/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178928 memory=1106212 CPUtime=3275.78 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269733 0 0 0 327510 68 0 0 20 0 1 0 39243611 1207222272 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294732 276553 3808 3530 0 286183 0
Current children cumulated CPU time: 3275.78 s
Current children cumulated vsize: 1178928 KiB
Current children cumulated memory: 1106212 KiB
[startup+3342.3 s]
/proc/loadavg: 3.98 4.80 4.90 4/257 32961
/proc/meminfo: memFree=127383088/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178928 memory=1106212 CPUtime=3335.66 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269734 0 0 0 333498 68 0 0 20 0 1 0 39243611 1207222272 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294732 276553 3808 3530 0 286183 0
Current children cumulated CPU time: 3335.66 s
Current children cumulated vsize: 1178928 KiB
Current children cumulated memory: 1106212 KiB
[startup+3402.3 s]
/proc/loadavg: 3.41 4.48 4.79 4/257 32963
/proc/meminfo: memFree=127383484/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178928 memory=1106212 CPUtime=3395.54 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269797 0 0 0 339486 68 0 0 20 0 1 0 39243611 1207222272 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294732 276553 3808 3530 0 286183 0
Current children cumulated CPU time: 3395.54 s
Current children cumulated vsize: 1178928 KiB
Current children cumulated memory: 1106212 KiB
[startup+3462.3 s]
/proc/loadavg: 3.20 4.22 4.68 4/257 32968
/proc/meminfo: memFree=127388604/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178932 memory=1106212 CPUtime=3455.42 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269799 0 0 0 345474 68 0 0 20 0 1 0 39243611 1207226368 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294733 276553 3808 3530 0 286184 0
Current children cumulated CPU time: 3455.42 s
Current children cumulated vsize: 1178932 KiB
Current children cumulated memory: 1106212 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 4.03 4.58 4/257 32970
/proc/meminfo: memFree=127389476/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178932 memory=1106212 CPUtime=3515.3 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269799 0 0 0 351462 68 0 0 20 0 1 0 39243611 1207226368 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294733 276553 3808 3530 0 286184 0
Current children cumulated CPU time: 3515.3 s
Current children cumulated vsize: 1178932 KiB
Current children cumulated memory: 1106212 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.85 4.48 4/257 32972
/proc/meminfo: memFree=127389988/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178932 memory=1106212 CPUtime=3575.17 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269800 0 0 0 357449 68 0 0 20 0 1 0 39243611 1207226368 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294733 276553 3808 3530 0 286184 0
Current children cumulated CPU time: 3575.17 s
Current children cumulated vsize: 1178932 KiB
Current children cumulated memory: 1106212 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.2 s]
/proc/loadavg: 3.14 3.80 4.45 4/257 32973
/proc/meminfo: memFree=127390848/131249988 swapFree=33010684/33010684
[pid=31140] ppid=31137 vsize=1178932 memory=1106212 CPUtime=3600.02 cores=1,3
/proc/31140/stat : 31140 (pbscip) R 31137 31140 29462 0 -1 4194304 269800 0 0 0 359934 68 0 0 20 0 1 0 39243611 1207226368 276553 18446744073709551615 4235264 18693293 140722986588320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59265024 140722986596745 140722986596844 140722986596844 140722986602446 0
/proc/31140/statm: 294733 276553 3808 3530 0 286184 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1178932 KiB
Current children cumulated memory: 1106212 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.2 s]
# the end of solver process 31140 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.35 s, system=0.693421 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3607.2
CPU time (s): 3600.04
CPU user time (s): 3599.35
CPU system time (s): 0.693421
CPU usage (%): 99.8015
Max. virtual memory (cumulated for all children) (KiB): 1178932
Max. memory (cumulated for all children) (KiB): 1106212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.693421
maximum resident set size= 1106212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269800
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= 92
involuntary context switches= 1153
# summary of solver processes directly reported to runsolver:
# pid: 31140
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.35
# total CPU system time (s): 0.693421
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24771 second user time and 14.6373 second system time
The end
Begin job on nodeC034 at 2025-06-30 00:20:48
IDJOB=4515428
IDBENCH=165256
IDSOLVER=3365
FILE ID=nodeC034/4515428-1751235648
RUNJOBID= nodeC034-1751227488-29474
SLURM_JOB_ID= 9587686
Free space on /tmp= 432996 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515428-1751235648/watcher-4515428-1751235648 -o /tmp/evaluation-result-4515428-1751235648/solver-4515428-1751235648 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29474 --watchdog 3760 pbscip -f HOME/instance-4515428-1751235648.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 220c3fd455f868773072e11b99a8330e
RANDOM SEED=282706038
nodeC034 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.721
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.53
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 : 3601.995
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.53
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 : 3700.000
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.53
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 : 3599.762
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.53
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.769
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.53
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.743
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.53
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 : 3602.492
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.53
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 : 3598.807
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 124735492 kB
MemAvailable: 124586144 kB
Buffers: 3280 kB
Cached: 659856 kB
SwapCached: 0 kB
Active: 5452220 kB
Inactive: 437696 kB
Active(anon): 5244884 kB
Inactive(anon): 0 kB
Active(file): 207336 kB
Inactive(file): 437696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19816 kB
Writeback: 16 kB
AnonPages: 5228184 kB
Mapped: 136264 kB
Shmem: 18104 kB
KReclaimable: 89316 kB
Slab: 175840 kB
SReclaimable: 89316 kB
SUnreclaim: 86524 kB
KernelStack: 4256 kB
PageTables: 13732 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 5933020 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3141632 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC034 at 2025-06-30 01:20:55