0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 75509760, getVmSize() = 75509760, SCIPgetMemUsed() = 48043973, SCIPgetMemTotal() = 52978397, SCIPgetMemExternEstim() = 20269603
0.00/0.05 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
2909.96/2916.95 c ** Estimated virtualMemUsedAtSolver = 248814016, getVmSize() = 380211200, SCIPgetMemUsed() = 303603822, SCIPgetMemTotal() = 352951422, SCIPgetMemExternEstim() = 20269603
2909.96/2916.95 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2909.96/2916.95 c Original Problem :
2909.96/2916.95 c Problem name : instance-4452700-1721446708
2909.96/2916.95 c Variables : 18705 (18705 binary, 0 integer, 0 implicit integer, 0 continuous)
2909.96/2916.95 c Constraints : 3742
2909.96/2916.95 c Objective sense : minimize
2909.96/2916.95 c Presolved Problem :
2909.96/2916.95 c Variables : 18705 (18705 binary, 0 integer, 0 implicit integer, 0 continuous)
2909.96/2916.95 c Constraints : 5062
2909.96/2916.95 c Constraints : Number
2909.96/2916.95 c knapsack : 3742
2909.96/2916.95 c setppc : 1320
2909.96/2916.95 c ** Instance transfer method used: 0
2909.96/2916.98 c ** ParaScipInstance copy does not increase the number of variables. **
2910.07/2917.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
2910.07/2917.01 c Nodes Active
2910.07/2917.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2917.10/2924.16 c 2924 1 0 0 - - -
2917.10/2924.16 c 2924 1 0 0 - - -
2917.20/2924.22 c 2924 1 0 0 - - -
2917.20/2924.22 c SCIP Status : c problem is solved [infeasible]
2917.20/2924.22 c Total Time : 2924
2917.20/2924.22 c solving : 2924
2917.20/2924.22 c presolving : 2917 (included in solving)
2917.20/2924.22 c B&B Tree :
2917.20/2924.22 c nodes (total) : 1
2917.20/2924.22 c Solution :
2917.20/2924.22 c Solutions found : 0
2917.20/2924.22 c Primal Bound : -
2917.20/2924.22 c Dual Bound : -
2917.20/2924.22 c Gap : -
2917.20/2924.26 s UNSATISFIABLE
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: 63931 MiB (61091 MiB free)
memory of node 1: 64510 MiB (62111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452700-1721446708/watcher-4452700-1721446708 -o /tmp/evaluation-result-4452700-1721446708/solver-4452700-1721446708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059846 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452700-1721446708.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1059959, runsolver pid=1059956
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 3.87 4.05 4.07 5/260 1059960
/proc/meminfo: memFree=126012180/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=83164 memory=70192 CPUtime=0.09 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 19025 0 0 0 7 2 0 0 20 0 1 0 196838173 85159936 17548 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 20791 17548 2686 3032 0 17191 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83164 KiB
Current children cumulated memory: 70192 KiB
[startup+0.205898 s]*
/proc/loadavg: 3.87 4.05 4.07 5/260 1059960
/proc/meminfo: memFree=125900768/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=110564 memory=96768 CPUtime=0.2 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 25670 0 0 0 17 3 0 0 20 0 1 0 196838173 113217536 24192 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 27641 24192 2734 3032 0 24041 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 110564 KiB
Current children cumulated memory: 96768 KiB
[startup+0.305845 s]*
/proc/loadavg: 3.87 4.05 4.07 5/260 1059960
/proc/meminfo: memFree=125867264/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=168764 memory=124260 CPUtime=0.3 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 31972 0 0 0 26 4 0 0 20 0 1 0 196838173 172814336 31065 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 42191 31065 2766 3032 0 38591 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 168764 KiB
Current children cumulated memory: 124260 KiB
[startup+0.700208 s]
/proc/loadavg: 3.87 4.05 4.07 5/262 1059962
/proc/meminfo: memFree=125770928/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=210164 memory=165708 CPUtime=0.69 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 42354 0 0 0 63 6 0 0 20 0 1 0 196838173 215207936 41427 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 52541 41427 2766 3032 0 48941 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 210164 KiB
Current children cumulated memory: 165708 KiB
[startup+1.50016 s]
/proc/loadavg: 3.87 4.05 4.07 5/262 1059962
/proc/meminfo: memFree=125639888/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=231932 memory=189204 CPUtime=1.48 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 48259 0 0 0 142 6 0 0 20 0 1 0 196838173 237498368 47301 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 57983 47301 2766 3032 0 54383 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 231932 KiB
Current children cumulated memory: 189204 KiB
[startup+3.10554 s]
/proc/loadavg: 3.88 4.05 4.07 8/262 1059962
/proc/meminfo: memFree=125591952/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=245236 memory=203724 CPUtime=3.09 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 51890 0 0 0 302 7 0 0 20 0 1 0 196838173 251121664 50931 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 61309 50931 2766 3032 0 57709 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 245236 KiB
Current children cumulated memory: 203724 KiB
[startup+6.30016 s]
/proc/loadavg: 3.88 4.05 4.07 5/260 1060010
/proc/meminfo: memFree=125807248/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=261612 memory=220884 CPUtime=6.28 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 56155 0 0 0 620 8 0 0 20 0 1 0 196838173 267890688 55221 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 65403 55221 2766 3032 0 61803 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 261612 KiB
Current children cumulated memory: 220884 KiB
[startup+12.7002 s]
/proc/loadavg: 3.98 4.06 4.08 5/260 1060010
/proc/meminfo: memFree=125747988/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=284124 memory=243060 CPUtime=12.66 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 61679 0 0 0 1257 9 0 0 20 0 1 0 196838173 290942976 60765 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 71031 60765 2766 3032 0 67431 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 284124 KiB
Current children cumulated memory: 243060 KiB
[startup+25.5002 s]
/proc/loadavg: 3.99 4.06 4.08 5/260 1060013
/proc/meminfo: memFree=125708876/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311752 memory=270648 CPUtime=25.44 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68638 0 0 0 2533 11 0 0 20 0 1 0 196838173 319234048 67662 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77938 67662 2766 3032 0 74338 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 311752 KiB
Current children cumulated memory: 270648 KiB
[startup+51.1054 s]
/proc/loadavg: 3.99 4.05 4.08 7/260 1060016
/proc/meminfo: memFree=125707712/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311760 memory=270648 CPUtime=51 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68642 0 0 0 5088 12 0 0 20 0 1 0 196838173 319242240 67662 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77940 67662 2766 3032 0 74340 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 311760 KiB
Current children cumulated memory: 270648 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.08 4.08 6/264 1060078
/proc/meminfo: memFree=125174032/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311772 memory=270648 CPUtime=102.07 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68648 0 0 0 10194 13 0 0 20 0 1 0 196838173 319254528 67662 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77943 67662 2766 3032 0 74343 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 311772 KiB
Current children cumulated memory: 270648 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.08 4.08 5/263 1060090
/proc/meminfo: memFree=125161336/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311784 memory=270648 CPUtime=161.93 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68654 0 0 0 16179 14 0 0 20 0 1 0 196838173 319266816 67662 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77946 67662 2766 3032 0 74346 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 311784 KiB
Current children cumulated memory: 270648 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/263 1060100
/proc/meminfo: memFree=125157892/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311792 memory=270872 CPUtime=221.78 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68658 0 0 0 22164 14 0 0 20 0 1 0 196838173 319275008 67718 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77948 67718 2766 3032 0 74348 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 311792 KiB
Current children cumulated memory: 270872 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/263 1060111
/proc/meminfo: memFree=125155384/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311800 memory=270872 CPUtime=281.64 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68661 0 0 0 28149 15 0 0 20 0 1 0 196838173 319283200 67718 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77950 67718 2766 3032 0 74350 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 311800 KiB
Current children cumulated memory: 270872 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.07 4.08 5/262 1060122
/proc/meminfo: memFree=125154704/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311808 memory=270872 CPUtime=341.5 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68666 0 0 0 34135 15 0 0 20 0 1 0 196838173 319291392 67718 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77952 67718 2766 3032 0 74352 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 311808 KiB
Current children cumulated memory: 270872 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 1060132
/proc/meminfo: memFree=125148852/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311816 memory=270872 CPUtime=401.35 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68670 0 0 0 40120 15 0 0 20 0 1 0 196838173 319299584 67718 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77954 67718 2766 3032 0 74354 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 311816 KiB
Current children cumulated memory: 270872 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 1060143
/proc/meminfo: memFree=125144056/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311820 memory=270872 CPUtime=461.21 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 68672 0 0 0 46106 15 0 0 20 0 1 0 196838173 319303680 67718 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77955 67718 2766 3032 0 74355 0
################
# More data... #
################
Current children cumulated vsize: 311936 KiB
Current children cumulated memory: 280688 KiB
[startup+2382.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/260 1062830
/proc/meminfo: memFree=124783036/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311940 memory=280688 CPUtime=2376.63 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69425 0 0 0 237647 16 0 0 20 0 1 0 196838173 319426560 70172 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77985 70172 2766 3032 0 74385 0
Current children cumulated CPU time: 2376.63 s
Current children cumulated vsize: 311940 KiB
Current children cumulated memory: 280688 KiB
[startup+2442.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/259 1062840
/proc/meminfo: memFree=124780624/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311940 memory=280692 CPUtime=2436.49 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69454 0 0 0 243633 16 0 0 20 0 1 0 196838173 319426560 70173 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77985 70173 2766 3032 0 74385 0
Current children cumulated CPU time: 2436.49 s
Current children cumulated vsize: 311940 KiB
Current children cumulated memory: 280692 KiB
[startup+2502.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/261 1062854
/proc/meminfo: memFree=124772724/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311944 memory=280692 CPUtime=2496.35 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69483 0 0 0 249619 16 0 0 20 0 1 0 196838173 319430656 70173 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77986 70173 2766 3032 0 74386 0
Current children cumulated CPU time: 2496.35 s
Current children cumulated vsize: 311944 KiB
Current children cumulated memory: 280692 KiB
[startup+2562.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/261 1062865
/proc/meminfo: memFree=124770132/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311948 memory=280692 CPUtime=2556.2 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69512 0 0 0 255604 16 0 0 20 0 1 0 196838173 319434752 70173 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77987 70173 2766 3032 0 74387 0
Current children cumulated CPU time: 2556.2 s
Current children cumulated vsize: 311948 KiB
Current children cumulated memory: 280692 KiB
[startup+2622.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 1062876
/proc/meminfo: memFree=124766784/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311948 memory=280700 CPUtime=2616.06 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69540 0 0 0 261590 16 0 0 20 0 1 0 196838173 319434752 70175 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77987 70175 2766 3032 0 74387 0
Current children cumulated CPU time: 2616.06 s
Current children cumulated vsize: 311948 KiB
Current children cumulated memory: 280700 KiB
[startup+2682.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1062887
/proc/meminfo: memFree=124766368/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311952 memory=280700 CPUtime=2675.92 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69571 0 0 0 267576 16 0 0 20 0 1 0 196838173 319438848 70175 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77988 70175 2766 3032 0 74388 0
Current children cumulated CPU time: 2675.92 s
Current children cumulated vsize: 311952 KiB
Current children cumulated memory: 280700 KiB
[startup+2742.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1062899
/proc/meminfo: memFree=124763868/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311952 memory=280704 CPUtime=2735.78 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69600 0 0 0 273562 16 0 0 20 0 1 0 196838173 319438848 70176 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77988 70176 2766 3032 0 74388 0
Current children cumulated CPU time: 2735.78 s
Current children cumulated vsize: 311952 KiB
Current children cumulated memory: 280704 KiB
[startup+2802.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/262 1062909
/proc/meminfo: memFree=124761508/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311956 memory=280704 CPUtime=2795.63 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69630 0 0 0 279547 16 0 0 20 0 1 0 196838173 319442944 70176 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77989 70176 2766 3032 0 74389 0
Current children cumulated CPU time: 2795.63 s
Current children cumulated vsize: 311956 KiB
Current children cumulated memory: 280704 KiB
[startup+2862.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/262 1063303
/proc/meminfo: memFree=124756284/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=311960 memory=280712 CPUtime=2855.49 cores=1,3
/proc/1059959/stat : 1059959 (fscip) R 1059956 1059959 1059834 0 -1 4194304 69660 0 0 0 285533 16 0 0 20 0 1 0 196838173 319447040 70178 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 77990 70178 2766 3032 0 74390 0
Current children cumulated CPU time: 2855.49 s
Current children cumulated vsize: 311960 KiB
Current children cumulated memory: 280712 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.15 4.11 5/263 1063315
/proc/meminfo: memFree=124359116/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=797388 memory=677460 CPUtime=2915.31 cores=1,3
/proc/1059959/stat : 1059959 (fscip) S 1059956 1059959 1059834 0 -1 1077936128 180392 0 0 0 291499 32 0 0 20 0 3 0 196838173 816525312 169365 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 199347 169365 2830 3032 0 194542 0
[pid=1059959/tid=1063314] ppid=1059956 vsize=797388 memory=11588 CPUtime=5.26 cores=1,3
/proc/1059959/task/1063314/stat : 1063314 (fscip) R 1059956 1059959 1059834 0 -1 4194368 89279 0 0 0 513 13 0 0 20 0 3 0 197129868 816525312 169365 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
[pid=1059959/tid=1063315] ppid=1059956 vsize=797388 memory=32496 CPUtime=0 cores=1,3
/proc/1059959/task/1063315/stat : 1063315 (fscip) S 1059956 1059959 1059834 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 197129875 816525312 169365 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
Current children cumulated CPU time: 2915.31 s
Current children cumulated vsize: 797388 KiB
Current children cumulated memory: 677460 KiB
[startup+2924.28 s]
# the end of solver process 1059959 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2916.91 s, system=0.383053 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2923.2 s]
/proc/loadavg: 4.08 4.15 4.11 7/263 1063315
/proc/meminfo: memFree=124327456/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=862924 memory=704080 CPUtime=2916.21 cores=1,3
/proc/1059959/stat : 1059959 (fscip) S 1059956 1059959 1059834 0 -1 1077936128 189267 0 0 0 291587 34 0 0 20 0 3 0 196838173 883634176 176020 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 215731 176020 2830 3032 0 203380 0
[pid=1059959/tid=1063314] ppid=1059956 vsize=862924 memory=32496 CPUtime=6.15 cores=1,3
/proc/1059959/task/1063314/stat : 1063314 (fscip) R 1059956 1059959 1059834 0 -1 4194368 98154 0 0 0 601 14 0 0 20 0 3 0 197129868 883634176 176020 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
[pid=1059959/tid=1063315] ppid=1059956 vsize=862924 memory=632284 CPUtime=0 cores=1,3
/proc/1059959/task/1063315/stat : 1063315 (fscip) S 1059956 1059959 1059834 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 197129875 883634176 176020 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
Current children cumulated CPU time: 2916.21 s
Current children cumulated vsize: 862924 KiB
Current children cumulated memory: 704080 KiB
[startup+2924 s]*
/proc/loadavg: 4.08 4.15 4.11 5/263 1063316
/proc/meminfo: memFree=124308656/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=862924 memory=718148 CPUtime=2917 cores=1,3
/proc/1059959/stat : 1059959 (fscip) S 1059956 1059959 1059834 0 -1 1077936128 209710 0 0 0 291665 35 0 0 20 0 3 0 196838173 883634176 179537 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 215731 179537 2894 3032 0 208054 0
[pid=1059959/tid=1063314] ppid=1059956 vsize=862924 memory=-7520302109265845886 CPUtime=6.95 cores=1,3
/proc/1059959/task/1063314/stat : 1063314 (fscip) R 1059956 1059959 1059834 0 -1 4194368 118597 0 0 0 680 15 0 0 20 0 3 0 197129868 883634176 179537 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
[pid=1059959/tid=1063315] ppid=1059956 vsize=862924 memory=-9187040377572719808 CPUtime=0 cores=1,3
/proc/1059959/task/1063315/stat : 1063315 (fscip) S 1059956 1059959 1059834 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 197129875 883634176 179537 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
Current children cumulated CPU time: 2917 s
Current children cumulated vsize: 862924 KiB
Current children cumulated memory: 718148 KiB
[startup+2924.2 s]
/proc/loadavg: 4.08 4.15 4.11 5/263 1063316
/proc/meminfo: memFree=124308656/131524600 swapFree=131071996/131071996
[pid=1059959] ppid=1059956 vsize=862924 memory=718420 CPUtime=2917.2 cores=1,3
/proc/1059959/stat : 1059959 (fscip) S 1059956 1059959 1059834 0 -1 1077936128 216809 0 0 0 291685 35 0 0 20 0 3 0 196838173 883634176 179605 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
/proc/1059959/statm: 215731 179605 2894 3032 0 208054 0
[pid=1059959/tid=1063314] ppid=1059956 vsize=862924 memory=14761 CPUtime=7.15 cores=1,3
/proc/1059959/task/1063314/stat : 1063314 (fscip) R 1059956 1059959 1059834 0 -1 4194368 125686 0 0 0 699 16 0 0 20 0 3 0 197129868 883634176 179605 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
[pid=1059959/tid=1063315] ppid=1059956 vsize=862924 memory=4457 CPUtime=0 cores=1,3
/proc/1059959/task/1063315/stat : 1063315 (fscip) S 1059956 1059959 1059834 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 197129875 883634176 179605 134679101440 4194304 16613245 140734876490784 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31997952 140734876492819 140734876492935 140734876492935 140734876499952 0
Current children cumulated CPU time: 2917.2 s
Current children cumulated vsize: 862924 KiB
Current children cumulated memory: 718420 KiB
Child status: 0
Real time (s): 2924.28
CPU time (s): 2917.29
CPU user time (s): 2916.91
CPU system time (s): 0.383053
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 862924
Max. memory (cumulated for all children) (KiB): 718420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2916.91
system time used= 0.383053
maximum resident set size= 718612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234510
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= 20
involuntary context switches= 1155
# summary of solver processes directly reported to runsolver:
# pid: 1059959
# total CPU time (s): 2917.29
# total CPU user time (s): 2916.91
# total CPU system time (s): 0.383053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47962 second user time and 12.7209 second system time
The end
Begin job on nodeC029 at 2024-07-20 05:38:41
IDJOB=4452700
IDBENCH=165294
IDSOLVER=3064
FILE ID=nodeC029/4452700-1721446708
RUNJOBID= nodeC029-1721446720-1059846
SLURM_JOB_ID= 7545672
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452700-1721446708/watcher-4452700-1721446708 -o /tmp/evaluation-result-4452700-1721446708/solver-4452700-1721446708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059846 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452700-1721446708.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5d1633616664d1d404e86526e434c88a
RANDOM SEED=1675578130
nodeC029.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 : 0xb00002a
cpu MHz : 3663.002
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3660.394
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
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 : 3600.046
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3673.453
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
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 : 3651.190
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3669.569
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
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 : 3663.675
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 invpcid_single pti ibrs ibpb stibp 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 : 7000.09
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 : 3619.795
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 invpcid_single pti ibrs ibpb stibp 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 : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126166956 kB
MemAvailable: 129114408 kB
Buffers: 535008 kB
Cached: 3227568 kB
SwapCached: 0 kB
Active: 1047816 kB
Inactive: 3623196 kB
Active(anon): 1436 kB
Inactive(anon): 953228 kB
Active(file): 1046380 kB
Inactive(file): 2669968 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 114560 kB
Writeback: 0 kB
AnonPages: 909060 kB
Mapped: 141144 kB
Shmem: 45912 kB
KReclaimable: 141500 kB
Slab: 259796 kB
SReclaimable: 141500 kB
SUnreclaim: 118296 kB
KernelStack: 4000 kB
PageTables: 10940 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1230764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC029 at 2024-07-20 06:27:25