0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4502979-1751427118.opb>
1.48/1.54 c original problem has 14300 variables (14300 bin, 0 int, 0 cont) and 65280 constraints
1.48/1.54 c problem read in 1.537 seconds
2.68/2.74 o 14300
2.68/2.74 c feasible solution found by trivial heuristic after 2.7 seconds, objective value 1.430000e+04
2.68/2.74 c presolving:
5.37/5.46 c (5.5s) running MILP presolver
5.98/6.04 c (6.0s) MILP presolver found nothing
7.37/7.43 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.26/9.35 c (9.4s) probing: 51/14300 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
9.26/9.35 c (9.4s) probing aborted: 50/50 successive totally useless probings
19.04/19.19 c (19.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
28.29/28.46 c (28.5s) symmetry computation finished: 8 generators found (max: 1500, log10 of symmetry group size: 2.41) (symcode time: 8.79)
28.29/28.47 c dynamic symmetry handling statistics:
28.29/28.47 c orbitopal reduction: no components
28.29/28.47 c orbital reduction: 1 components of sizes 8
28.29/28.47 c lexicographic reduction: 8 permutations with support sizes 13352, 13708, 14292, 13992, 13876, 14020, 14140, 14248
28.29/28.47 c handled 1 out of 1 symmetry components
30.29/30.44 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
30.29/30.44 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.29/30.44 c 0 implications, 0 cliques
30.29/30.44 c presolved problem has 14300 variables (14300 bin, 0 int, 0 cont) and 65280 constraints
30.29/30.44 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
30.29/30.44 c 65280 constraints of type <logicor>
30.29/30.44 c transformed objective value is always integral (scale: 1)
30.29/30.44 c Presolving Time: 27.78
30.29/30.44 c problem pure SAT
30.29/30.44 c
30.29/30.44 c - non default parameters ----------------------------------------------------------------------
30.29/30.44 c
30.29/30.44 c # SCIP version 10.0.0
30.29/30.44 c
30.29/30.44 c # maximal time in seconds to run
30.29/30.44 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
30.29/30.44 c limits/time = 3596.997018
30.29/30.44 c
30.29/30.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
30.29/30.44 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
30.29/30.44 c limits/memory = 27900
30.29/30.44 c
30.29/30.44 c # belongs reading time to solving time?
30.29/30.44 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
30.29/30.44 c timing/reading = TRUE
30.29/30.44 c
30.29/30.44 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
30.29/30.44 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
30.29/30.44 c reading/opbreader/maxintsize = 47
30.29/30.44 c
30.29/30.44 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
30.29/30.44 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
30.29/30.44 c propagating/genvbounds/timingmask = 0
30.29/30.44 c
30.29/30.44 c -----------------------------------------------------------------------------------------------
30.29/30.45 c transformed 1/1 original solutions to the transformed problem space
30.29/30.45 c
32.18/32.36 o 68
32.18/32.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.18/32.36 c p32.4s| 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: 63794 MiB (62912 MiB free)
memory of node 1: 64507 MiB (59892 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502979-1751427118/watcher-4502979-1751427118 -o /tmp/evaluation-result-4502979-1751427118/solver-4502979-1751427118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751422783-57317 --watchdog 3760 pbsolver -f HOME/instance-4502979-1751427118.opb -t 3600 -m 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
solver pid=57880, runsolver pid=57877
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 2.15 2.13 2.09 3/238 57881
/proc/meminfo: memFree=125748592/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=43040 memory=32640 CPUtime=0.11 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 6211 0 0 0 10 1 0 0 20 0 1 0 58391594 44072960 8160 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 10760 8160 2176 2575 0 7667 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 43040 KiB
Current children cumulated memory: 32640 KiB
[startup+0.212949 s]*
/proc/loadavg: 2.15 2.13 2.09 3/238 57881
/proc/meminfo: memFree=125748592/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=49720 memory=39424 CPUtime=0.21 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 7900 0 0 0 20 1 0 0 20 0 1 0 58391594 50913280 9856 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 12430 9856 2176 2575 0 9337 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49720 KiB
Current children cumulated memory: 39424 KiB
[startup+0.312946 s]*
/proc/loadavg: 2.15 2.13 2.09 3/238 57881
/proc/meminfo: memFree=125748592/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=57400 memory=47104 CPUtime=0.32 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 9805 0 0 0 30 2 0 0 20 0 1 0 58391594 58777600 11776 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 14350 11776 2176 2575 0 11257 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 57400 KiB
Current children cumulated memory: 47104 KiB
[startup+0.700345 s]
/proc/loadavg: 2.15 2.13 2.09 3/238 57881
/proc/meminfo: memFree=125748592/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=83748 memory=73600 CPUtime=0.69 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 16429 0 0 0 65 4 0 0 20 0 1 0 58391594 85757952 18400 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 20937 18400 2176 2575 0 17844 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 83748 KiB
Current children cumulated memory: 73600 KiB
[startup+1.50037 s]
/proc/loadavg: 2.13 2.13 2.09 3/238 57881
/proc/meminfo: memFree=125750636/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=153364 memory=142336 CPUtime=1.48 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 33629 0 0 0 140 8 0 0 20 0 1 0 58391594 157044736 35584 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 38341 35584 2176 2575 0 35248 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153364 KiB
Current children cumulated memory: 142336 KiB
[startup+3.11265 s]
/proc/loadavg: 2.13 2.13 2.09 3/238 57881
/proc/meminfo: memFree=125186408/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=749728 memory=735636 CPUtime=3.09 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 194050 0 0 0 275 34 0 0 20 0 1 0 58391594 767721472 183909 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 187432 183909 2400 2575 0 184339 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 749728 KiB
Current children cumulated memory: 735636 KiB
[startup+6.30036 s]
/proc/loadavg: 2.12 2.12 2.09 3/238 57881
/proc/meminfo: memFree=124433260/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=984728 memory=960020 CPUtime=6.27 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 234318 0 0 0 557 70 0 0 20 0 1 0 58391594 1008361472 240005 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 246182 240005 2496 2575 0 243089 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 984728 KiB
Current children cumulated memory: 960020 KiB
[startup+12.7004 s]
/proc/loadavg: 2.11 2.12 2.09 3/238 57881
/proc/meminfo: memFree=123535556/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=2762628 memory=2379300 CPUtime=12.65 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 314964 0 0 0 1151 114 0 0 20 0 1 0 58391594 2828931072 594825 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 690657 594825 2560 2575 0 687564 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2762628 KiB
Current children cumulated memory: 2379300 KiB
[startup+25.5004 s]
/proc/loadavg: 2.10 2.12 2.09 3/238 57881
/proc/meminfo: memFree=121972604/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4521532 memory=3961504 CPUtime=25.4 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 345244 0 0 0 2383 157 0 0 20 0 1 0 58391594 4630048768 990376 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1130383 990376 2560 2575 0 1127290 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4521532 KiB
Current children cumulated memory: 3961504 KiB
[startup+51.1128 s]
/proc/loadavg: 2.20 2.14 2.10 3/238 57882
/proc/meminfo: memFree=121841224/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=50.93 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439013 0 0 0 4902 191 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+102.3 s]
/proc/loadavg: 2.14 2.13 2.09 3/239 57886
/proc/meminfo: memFree=121833836/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=101.92 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439013 0 0 0 10001 191 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+162.3 s]
/proc/loadavg: 2.17 2.14 2.09 3/239 57888
/proc/meminfo: memFree=121780112/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=161.7 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439090 0 0 0 15979 191 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+222.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/238 57894
/proc/meminfo: memFree=121734072/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=221.49 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439167 0 0 0 21957 192 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+282.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/238 57896
/proc/meminfo: memFree=121725800/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=281.26 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439167 0 0 0 27934 192 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+342.3 s]
/proc/loadavg: 2.14 2.12 2.09 3/238 57898
/proc/meminfo: memFree=121727816/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=341.04 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439167 0 0 0 33911 193 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+402.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/238 57900
/proc/meminfo: memFree=121728352/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=400.83 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439167 0 0 0 39890 193 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 4493576 KiB
Current children cumulated memory: 4052140 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/238 57902
/proc/meminfo: memFree=121727284/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=4493576 memory=4052140 CPUtime=460.61 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 439167 0 0 0 45867 194 0 0 20 0 1 0 58391594 4601421824 1013035 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1123394 1013035 2656 2575 0 1120301 0
Current children cumulated CPU time: 460.61 s
################
# More data... #
################
Current children cumulated memory: 4643628 KiB
[startup+2862.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/237 58021
/proc/meminfo: memFree=120798072/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5269156 memory=4688060 CPUtime=2851.62 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 471072 0 0 0 284891 271 0 0 20 0 1 0 58391594 5395615744 1172015 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1317289 1172015 2656 2575 0 1314196 0
Current children cumulated CPU time: 2851.62 s
Current children cumulated vsize: 5269156 KiB
Current children cumulated memory: 4688060 KiB
[startup+2922.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/238 58068
/proc/meminfo: memFree=122128536/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5225196 memory=4644016 CPUtime=2911.42 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 471191 0 0 0 290870 272 0 0 20 0 1 0 58391594 5350600704 1161004 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306299 1161004 2656 2575 0 1303206 0
Current children cumulated CPU time: 2911.42 s
Current children cumulated vsize: 5225196 KiB
Current children cumulated memory: 4644016 KiB
[startup+2982.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/238 58070
/proc/meminfo: memFree=122128792/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5225196 memory=4644016 CPUtime=2971.19 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 471524 0 0 0 296847 272 0 0 20 0 1 0 58391594 5350600704 1161004 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306299 1161004 2656 2575 0 1303206 0
Current children cumulated CPU time: 2971.19 s
Current children cumulated vsize: 5225196 KiB
Current children cumulated memory: 4644016 KiB
[startup+3042.3 s]
/proc/loadavg: 2.07 2.09 2.09 3/239 58073
/proc/meminfo: memFree=122128884/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647180 CPUtime=3030.97 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 471810 0 0 0 302824 273 0 0 20 0 1 0 58391594 5352456192 1161795 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161795 2656 2575 0 1303659 0
Current children cumulated CPU time: 3030.97 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647180 KiB
[startup+3102.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/239 58075
/proc/meminfo: memFree=122134168/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647180 CPUtime=3090.76 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 471811 0 0 0 308803 273 0 0 20 0 1 0 58391594 5352456192 1161795 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161795 2656 2575 0 1303659 0
Current children cumulated CPU time: 3090.76 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647180 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/239 58079
/proc/meminfo: memFree=122135240/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647948 CPUtime=3150.58 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472001 0 0 0 314784 274 0 0 20 0 1 0 58391594 5352456192 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161987 2656 2575 0 1303659 0
Current children cumulated CPU time: 3150.58 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647948 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/238 58126
/proc/meminfo: memFree=123126332/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647948 CPUtime=3210.39 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472001 0 0 0 320765 274 0 0 20 0 1 0 58391594 5352456192 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161987 2656 2575 0 1303659 0
Current children cumulated CPU time: 3210.39 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647948 KiB
[startup+3282.3 s]
/proc/loadavg: 2.33 2.16 2.11 3/239 58133
/proc/meminfo: memFree=119828704/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647948 CPUtime=3270.16 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472275 0 0 0 326742 274 0 0 20 0 1 0 58391594 5352456192 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161987 2656 2575 0 1303659 0
Current children cumulated CPU time: 3270.16 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647948 KiB
[startup+3342.3 s]
/proc/loadavg: 2.23 2.16 2.11 3/238 58135
/proc/meminfo: memFree=119829024/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647948 CPUtime=3329.93 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472357 0 0 0 332718 275 0 0 20 0 1 0 58391594 5352456192 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161987 2656 2575 0 1303659 0
Current children cumulated CPU time: 3329.93 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647948 KiB
[startup+3402.3 s]
/proc/loadavg: 2.18 2.16 2.11 3/238 58137
/proc/meminfo: memFree=119829492/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227008 memory=4647948 CPUtime=3389.71 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472357 0 0 0 338695 276 0 0 20 0 1 0 58391594 5352456192 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306752 1161987 2656 2575 0 1303659 0
Current children cumulated CPU time: 3389.71 s
Current children cumulated vsize: 5227008 KiB
Current children cumulated memory: 4647948 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.14 2.10 3/238 58139
/proc/meminfo: memFree=119829520/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227072 memory=4647948 CPUtime=3449.48 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472357 0 0 0 344672 276 0 0 20 0 1 0 58391594 5352521728 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306768 1161987 2656 2575 0 1303675 0
Current children cumulated CPU time: 3449.48 s
Current children cumulated vsize: 5227072 KiB
Current children cumulated memory: 4647948 KiB
[startup+3522.3 s]
/proc/loadavg: 2.16 2.15 2.10 3/238 58141
/proc/meminfo: memFree=119829048/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227072 memory=4647948 CPUtime=3509.26 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472357 0 0 0 350649 277 0 0 20 0 1 0 58391594 5352521728 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306768 1161987 2656 2575 0 1303675 0
Current children cumulated CPU time: 3509.26 s
Current children cumulated vsize: 5227072 KiB
Current children cumulated memory: 4647948 KiB
[startup+3582.3 s]
/proc/loadavg: 2.17 2.15 2.10 3/238 58143
/proc/meminfo: memFree=119829312/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227072 memory=4647948 CPUtime=3569.04 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472570 0 0 0 356626 278 0 0 20 0 1 0 58391594 5352521728 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306768 1161987 2656 2575 0 1303675 0
Current children cumulated CPU time: 3569.04 s
Current children cumulated vsize: 5227072 KiB
Current children cumulated memory: 4647948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 2.17 2.15 2.10 3/237 58144
/proc/meminfo: memFree=119829564/131382112 swapFree=33010684/33010684
[pid=57880] ppid=57877 vsize=5227072 memory=4647948 CPUtime=3600.02 cores=5,7
/proc/57880/stat : 57880 (pbsolver) R 57877 57880 57278 0 -1 4194304 472581 0 0 0 359724 278 0 0 20 0 1 0 58391594 5352521728 1161987 18446744073709551615 4198400 14743177 140728099809168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 24051712 140728099817866 140728099817962 140728099817962 140728099823564 0
/proc/57880/statm: 1306768 1161987 2656 2575 0 1303675 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5227072 KiB
Current children cumulated memory: 4647948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.45 s]
# the end of solver process 57880 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3597.25 s, system=2.83372 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): 3613.45
CPU time (s): 3600.08
CPU user time (s): 3597.25
CPU system time (s): 2.83372
CPU usage (%): 99.63
Max. virtual memory (cumulated for all children) (KiB): 5413248
Max. memory (cumulated for all children) (KiB): 4693452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 2.83372
maximum resident set size= 4775892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472581
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= 11
involuntary context switches= 1424
# summary of solver processes directly reported to runsolver:
# pid: 57880
# total CPU time (s): 3600.08
# total CPU user time (s): 3597.25
# total CPU system time (s): 2.83372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.735 second user time and 31.2395 second system time
The end
Begin job on nodeC012 at 2025-07-02 05:31:59
IDJOB=4502979
IDBENCH=155402
IDSOLVER=3366
FILE ID=nodeC012/4502979-1751427118
RUNJOBID= nodeC012-1751422783-57317
SLURM_JOB_ID= 9598353
Free space on /tmp= 432244 MiB
SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502979-1751427118/watcher-4502979-1751427118 -o /tmp/evaluation-result-4502979-1751427118/solver-4502979-1751427118 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751422783-57317 --watchdog 3760 pbsolver -f HOME/instance-4502979-1751427118.opb -t 3600 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=1024129077
nodeC012 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 : 0xb00001f
cpu MHz : 1197.717
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 pti 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 : 6983.39
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 : 3691.253
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 pti 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 : 6983.39
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 : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 3700.000
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 pti 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 : 6983.39
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 : 3700.000
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 pti 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 : 6983.39
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 : 3700.000
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 pti 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 : 6983.39
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 : 3700.000
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 pti 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 : 6983.39
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.194
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 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 125752688 kB
MemAvailable: 126835392 kB
Buffers: 3280 kB
Cached: 1888348 kB
SwapCached: 0 kB
Active: 3185912 kB
Inactive: 1576584 kB
Active(anon): 2888828 kB
Inactive(anon): 0 kB
Active(file): 297084 kB
Inactive(file): 1576584 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 60852 kB
Writeback: 0 kB
AnonPages: 2873940 kB
Mapped: 113476 kB
Shmem: 17960 kB
KReclaimable: 96940 kB
Slab: 180240 kB
SReclaimable: 96940 kB
SUnreclaim: 83300 kB
KernelStack: 3840 kB
PageTables: 8436 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3467732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1742848 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432212 MiB
End job on nodeC012 at 2025-07-02 06:32:13