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-4432837-1721129790.opb>
1.78/1.80 c original problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
1.78/1.80 c problem read in 1.80
2.87/2.98 o 14300
2.87/2.98 c feasible solution found by trivial heuristic after 3.0 seconds, objective value 1.430000e+04
2.87/2.98 c presolving:
5.57/5.61 c (5.6s) running MILP presolver
6.16/6.26 c (6.3s) MILP presolver found nothing
7.46/7.57 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
9.36/9.48 c (9.5s) probing: 51/14300 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
9.36/9.48 c (9.5s) probing aborted: 50/50 successive totally useless probings
18.74/18.87 c (18.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
20.23/20.38 c (20.4s) symmetry computation finished: 8 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.97)
20.33/20.41 c dynamic symmetry handling statistics:
20.33/20.41 c orbitopal reduction: no components
20.33/20.41 c orbital reduction: 1 components of sizes 8
20.33/20.41 c lexicographic reduction: 8 permutations with support sizes 14272, 14252, 11896, 14000, 13952, 13700, 14096, 14056
20.33/20.41 c handled 1 out of 1 symmetry components
22.42/22.56 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
22.42/22.56 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
22.42/22.56 c 0 implications, 0 cliques
22.42/22.56 c presolved problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
22.42/22.56 c 65280 constraints of type <logicor>
22.42/22.56 c transformed objective value is always integral (scale: 1)
22.42/22.56 c Presolving Time: 19.66
22.42/22.56 c - non default parameters ----------------------------------------------------------------------
22.42/22.56 c # SCIP version 10.0.0
22.42/22.56 c
22.42/22.56 c # maximal time in seconds to run
22.42/22.56 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
22.42/22.56 c limits/time = 3596.994127
22.42/22.56 c
22.42/22.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
22.42/22.56 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
22.42/22.56 c limits/memory = 27900
22.42/22.56 c
22.42/22.56 c # belongs reading time to solving time?
22.42/22.56 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
22.42/22.56 c timing/reading = TRUE
22.42/22.56 c
22.42/22.56 c -----------------------------------------------------------------------------------------------
22.42/22.56 c start solving
22.42/22.57 c transformed 1/1 original solutions to the transformed problem space
22.42/22.57 c
24.42/24.55 o 68
24.42/24.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.42/24.55 c p24.5s| 1 | 0 | 0 | - | locks| 0 | 14k| 65k| 65k| 0 | 0 | 0 | 0 | 0.000000e+00 | 6.800000e+01 | Inf | 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: 64059 MiB (62902 MiB free)
memory of node 1: 64510 MiB (63423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432837-1721129790/watcher-4432837-1721129790 -o /tmp/evaluation-result-4432837-1721129790/solver-4432837-1721129790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844285 --watchdog 3760 pbscip -f HOME/instance-4432837-1721129790.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=844327, runsolver pid=844324
Current StackSize limit: 8192 KiB
[startup+0.100259 s]*
/proc/loadavg: 1.09 1.12 1.34 5/237 844334
/proc/meminfo: memFree=129290808/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=74480 memory=33980 CPUtime=0.1 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 5527 0 0 0 8 2 0 0 20 0 1 0 165135499 76267520 8495 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 18620 8495 3258 3540 0 6877 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74480 KiB
Current children cumulated memory: 33980 KiB
[startup+0.212889 s]*
/proc/loadavg: 1.09 1.12 1.34 5/237 844334
/proc/meminfo: memFree=129244860/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=81260 memory=40576 CPUtime=0.21 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 7231 0 0 0 18 3 0 0 20 0 1 0 165135499 83210240 10144 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 20315 10144 3258 3540 0 8572 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 81260 KiB
Current children cumulated memory: 40576 KiB
[startup+0.312889 s]*
/proc/loadavg: 1.32 1.17 1.35 5/237 844334
/proc/meminfo: memFree=129197300/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=88888 memory=48228 CPUtime=0.3 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 9123 0 0 0 27 3 0 0 20 0 1 0 165135499 91021312 12057 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 22222 12057 3258 3540 0 10479 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88888 KiB
Current children cumulated memory: 48228 KiB
[startup+0.700294 s]
/proc/loadavg: 1.32 1.17 1.35 5/237 844334
/proc/meminfo: memFree=129114220/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=109952 memory=69612 CPUtime=0.68 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 14425 0 0 0 63 5 0 0 20 0 1 0 165135499 112590848 17403 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 27488 17403 3258 3540 0 15745 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 69612 KiB
[startup+1.50029 s]
/proc/loadavg: 1.32 1.17 1.35 5/237 844334
/proc/meminfo: memFree=128784236/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=167424 memory=126720 CPUtime=1.48 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 28725 0 0 0 139 9 0 0 20 0 1 0 165135499 171442176 31680 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 41856 31680 3258 3540 0 30113 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 167424 KiB
Current children cumulated memory: 126720 KiB
[startup+3.1129 s]
/proc/loadavg: 1.32 1.17 1.35 5/235 844336
/proc/meminfo: memFree=126917544/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=783464 memory=739624 CPUtime=3.08 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 193949 0 0 0 274 34 0 0 20 0 1 0 165135499 802267136 184906 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 195866 184906 3594 3540 0 184123 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 783464 KiB
Current children cumulated memory: 739624 KiB
[startup+6.30033 s]
/proc/loadavg: 1.61 1.23 1.37 5/241 844347
/proc/meminfo: memFree=124895936/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=928296 memory=874156 CPUtime=6.26 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 211182 0 0 0 566 60 0 0 20 0 1 0 165135499 950575104 218539 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 232074 218539 3737 3540 0 220331 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 928296 KiB
Current children cumulated memory: 874156 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.28 1.39 5/241 844348
/proc/meminfo: memFree=121268716/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=2795352 memory=2382376 CPUtime=12.65 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 314730 0 0 0 1165 100 0 0 20 0 1 0 165135499 2862440448 595594 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 698838 595594 3785 3540 0 687095 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2795352 KiB
Current children cumulated memory: 2382376 KiB
[startup+25.5004 s]
/proc/loadavg: 2.14 1.37 1.42 5/241 844350
/proc/meminfo: memFree=115299112/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037200 CPUtime=25.42 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 439092 0 0 0 2388 154 0 0 20 0 1 0 165135499 4633825280 1009300 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009300 3865 3540 0 1119562 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037200 KiB
[startup+51.1131 s]
/proc/loadavg: 3.02 1.65 1.51 5/241 844353
/proc/meminfo: memFree=110167028/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037600 CPUtime=50.95 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 439186 0 0 0 4941 154 0 0 20 0 1 0 165135499 4633825280 1009400 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009400 3961 3540 0 1119562 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037600 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 2.05 1.65 6/241 844363
/proc/meminfo: memFree=106654340/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037664 CPUtime=101.97 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 439596 0 0 0 10040 157 0 0 20 0 1 0 165135499 4633825280 1009416 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009416 3977 3540 0 1119562 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037664 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.42 1.81 5/241 844374
/proc/meminfo: memFree=95968904/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037664 CPUtime=161.78 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 440027 0 0 0 16019 159 0 0 20 0 1 0 165135499 4633825280 1009416 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009416 3977 3540 0 1119562 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037664 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.74 1.96 5/241 844430
/proc/meminfo: memFree=119143888/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037664 CPUtime=221.61 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 440493 0 0 0 21998 163 0 0 20 0 1 0 165135499 4633825280 1009416 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009416 3977 3540 0 1119562 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037664 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.99 2.10 5/243 844444
/proc/meminfo: memFree=119078840/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037664 CPUtime=281.43 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 440958 0 0 0 27977 166 0 0 20 0 1 0 165135499 4633825280 1009416 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009416 3977 3540 0 1119562 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037664 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.22 5/243 844500
/proc/meminfo: memFree=120894764/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037796 CPUtime=341.25 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 441428 0 0 0 33956 169 0 0 20 0 1 0 165135499 4633825280 1009449 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009449 3977 3540 0 1119562 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037796 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.37 2.35 5/243 844510
/proc/meminfo: memFree=120828872/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037796 CPUtime=401.11 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 441828 0 0 0 39940 171 0 0 20 0 1 0 165135499 4633825280 1009449 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009449 3977 3540 0 1119562 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 4525220 KiB
Current children cumulated memory: 4037796 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.50 2.46 5/243 844520
/proc/meminfo: memFree=120810100/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=4525220 memory=4037796 CPUtime=460.96 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 442238 0 0 0 45922 174 0 0 20 0 1 0 165135499 4633825280 1009449 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1131305 1009449 3977 3540 0 1119562 0
################
# More data... #
################
Current children cumulated memory: 4708868 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.03 5/244 845626
/proc/meminfo: memFree=119153952/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4711384 CPUtime=2915.06 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 479045 0 0 0 291258 248 0 0 20 0 1 0 165135499 5429485568 1177846 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1177846 3977 3540 0 1313815 0
Current children cumulated CPU time: 2915.06 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4711384 KiB
[startup+2982.3 s]
/proc/loadavg: 4.30 4.20 4.06 5/245 846021
/proc/meminfo: memFree=119151224/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4711772 CPUtime=2974.92 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 479636 0 0 0 297243 249 0 0 20 0 1 0 165135499 5429485568 1177943 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1177943 3977 3540 0 1313815 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4711772 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.06 5/243 846031
/proc/meminfo: memFree=119149000/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4712448 CPUtime=3034.77 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 480153 0 0 0 303228 249 0 0 20 0 1 0 165135499 5429485568 1178112 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1178112 3977 3540 0 1313815 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4712448 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.06 5/243 846041
/proc/meminfo: memFree=119145596/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4712448 CPUtime=3094.59 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 480693 0 0 0 309210 249 0 0 20 0 1 0 165135499 5429485568 1178112 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1178112 3977 3540 0 1313815 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4712448 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.17 4.07 5/244 846221
/proc/meminfo: memFree=119145244/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4712448 CPUtime=3154.41 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 481303 0 0 0 315191 250 0 0 20 0 1 0 165135499 5429485568 1178112 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1178112 3977 3540 0 1313815 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4712448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.07 5/244 846231
/proc/meminfo: memFree=119144728/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4712448 CPUtime=3214.23 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 481822 0 0 0 321173 250 0 0 20 0 1 0 165135499 5429485568 1178112 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1178112 3977 3540 0 1313815 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4712448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.07 5/245 846299
/proc/meminfo: memFree=119130032/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302232 memory=4712448 CPUtime=3274.05 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 482426 0 0 0 327154 251 0 0 20 0 1 0 165135499 5429485568 1178112 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325558 1178112 3977 3540 0 1313815 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 5302232 KiB
Current children cumulated memory: 4712448 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/245 846310
/proc/meminfo: memFree=119112660/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712448 CPUtime=3333.87 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 482904 0 0 0 333136 251 0 0 20 0 1 0 165135499 5429551104 1178112 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178112 3977 3540 0 1313831 0
Current children cumulated CPU time: 3333.87 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712448 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/245 846320
/proc/meminfo: memFree=119085012/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712508 CPUtime=3393.69 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 483472 0 0 0 339118 251 0 0 20 0 1 0 165135499 5429551104 1178127 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178127 3977 3540 0 1313831 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/243 846330
/proc/meminfo: memFree=119083648/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712512 CPUtime=3453.51 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 483852 0 0 0 345099 252 0 0 20 0 1 0 165135499 5429551104 1178128 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178128 3977 3540 0 1313831 0
Current children cumulated CPU time: 3453.51 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/243 846341
/proc/meminfo: memFree=119083136/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712512 CPUtime=3513.32 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 484391 0 0 0 351080 252 0 0 20 0 1 0 165135499 5429551104 1178128 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178128 3977 3540 0 1313831 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/241 846353
/proc/meminfo: memFree=119082728/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712512 CPUtime=3573.14 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 485006 0 0 0 357062 252 0 0 20 0 1 0 165135499 5429551104 1178128 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178128 3977 3540 0 1313831 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/241 846402
/proc/meminfo: memFree=124128004/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712512 CPUtime=3600.06 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 485093 0 0 0 359753 253 0 0 20 0 1 0 165135499 5429551104 1178128 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178128 3977 3540 0 1313831 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.32 s]
# the end of solver process 844327 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.54 s, system=2.54986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/241 846402
/proc/meminfo: memFree=124128004/131655788 swapFree=131071996/131071996
[pid=844327] ppid=844324 vsize=5302296 memory=4712512 CPUtime=3600.06 cores=5,7
/proc/844327/stat : 844327 (pbscip) R 844324 844327 844272 0 -1 4194304 485093 0 0 0 359753 253 0 0 20 0 1 0 165135499 5429551104 1178128 134679101440 4194304 18693293 140722405442576 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 34484224 140722405446660 140722405446759 140722405446759 140722405453774 0
/proc/844327/statm: 1325574 1178128 3977 3540 0 1313831 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5302296 KiB
Current children cumulated memory: 4712512 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.32
CPU time (s): 3600.09
CPU user time (s): 3597.54
CPU system time (s): 2.54986
CPU usage (%): 99.7443
Max. virtual memory (cumulated for all children) (KiB): 5365424
Max. memory (cumulated for all children) (KiB): 4712512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.54
system time used= 2.54986
maximum resident set size= 4712512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485093
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= 17
involuntary context switches= 1240
# summary of solver processes directly reported to runsolver:
# pid: 844327
# total CPU time (s): 3600.09
# total CPU user time (s): 3597.54
# total CPU system time (s): 2.54986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6164 second user time and 34.9144 second system time
The end
Begin job on nodeC008 at 2024-07-16 13:36:43
IDJOB=4432837
IDBENCH=155402
IDSOLVER=3059
FILE ID=nodeC008/4432837-1721129790
RUNJOBID= nodeC008-1721129802-844285
SLURM_JOB_ID= 7505695
Free space on /tmp= 723544 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432837-1721129790/watcher-4432837-1721129790 -o /tmp/evaluation-result-4432837-1721129790/solver-4432837-1721129790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844285 --watchdog 3760 pbscip -f HOME/instance-4432837-1721129790.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=392702338
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 0xb00001f
cpu MHz : 1769.816
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 0xb00001f
cpu MHz : 1787.037
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 0xb00001f
cpu MHz : 1197.260
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 0xb00001f
cpu MHz : 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 0xb00001f
cpu MHz : 1773.228
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 0xb00001f
cpu MHz : 1770.153
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 0xb00001f
cpu MHz : 1197.386
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
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 : 0xb00001f
cpu MHz : 1197.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129370400 kB
MemAvailable: 129952048 kB
Buffers: 429028 kB
Cached: 992660 kB
SwapCached: 0 kB
Active: 664396 kB
Inactive: 1092440 kB
Active(anon): 1444 kB
Inactive(anon): 371424 kB
Active(file): 662952 kB
Inactive(file): 721016 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 288908 kB
Writeback: 0 kB
AnonPages: 335196 kB
Mapped: 112968 kB
Shmem: 37704 kB
KReclaimable: 75420 kB
Slab: 169892 kB
SReclaimable: 75420 kB
SUnreclaim: 94472 kB
KernelStack: 3696 kB
PageTables: 9520 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 756680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52576 kB
HardwareCorrupted: 0 kB
AnonHugePages: 186368 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723648 MiB
End job on nodeC008 at 2024-07-16 14:36:52