0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
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.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
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.4.0 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.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 75558912, getVmSize() = 75558912, SCIPgetMemUsed() = 48044053, SCIPgetMemTotal() = 52978397, SCIPgetMemExternEstim() = 20269603
0.00/0.06 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
2917.57/2923.73 c ** Estimated virtualMemUsedAtSolver = 248814016, getVmSize() = 380248064, SCIPgetMemUsed() = 303603902, SCIPgetMemTotal() = 352951422, SCIPgetMemExternEstim() = 20269603
2917.57/2923.73 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2917.57/2923.73 c Original Problem :
2917.57/2923.73 c Problem name : instance-4464625-1722388142
2917.57/2923.73 c Variables : 18705 (18705 binary, 0 integer, 0 implicit integer, 0 continuous)
2917.57/2923.73 c Constraints : 3742
2917.57/2923.73 c Objective sense : minimize
2917.57/2923.73 c Presolved Problem :
2917.57/2923.73 c Variables : 18705 (18705 binary, 0 integer, 0 implicit integer, 0 continuous)
2917.57/2923.73 c Constraints : 5062
2917.57/2923.73 c Constraints : Number
2917.57/2923.73 c knapsack : 3742
2917.57/2923.73 c setppc : 1320
2917.57/2923.73 c ** Instance transfer method used: 0
2917.57/2923.76 c ** ParaScipInstance copy does not increase the number of variables. **
2917.57/2923.79 c LC is working with racing ramp-up and with rebuilding tree after racing.
2917.57/2923.79 c Nodes Active
2917.57/2923.79 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2924.54/2930.77 c 2931 1 0 0 - - -
2924.54/2930.77 c 2931 1 0 0 - - -
2924.64/2930.82 c 2931 1 0 0 - - -
2924.64/2930.82 c SCIP Status : c problem is solved [infeasible]
2924.64/2930.82 c Total Time : 2931
2924.64/2930.82 c solving : 2931
2924.64/2930.82 c presolving : 2924 (included in solving)
2924.64/2930.82 c B&B Tree :
2924.64/2930.82 c nodes (total) : 1
2924.64/2930.82 c Solution :
2924.64/2930.82 c Solutions found : 0
2924.64/2930.82 c Primal Bound : -
2924.64/2930.82 c Dual Bound : -
2924.64/2930.82 c Gap : -
2924.64/2930.87 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: 63968 MiB (60922 MiB free)
memory of node 1: 64473 MiB (63212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464625-1722388142/watcher-4464625-1722388142 -o /tmp/evaluation-result-4464625-1722388142/solver-4464625-1722388142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27314 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464625-1722388142.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=33038, runsolver pid=33035
[startup+0.100259 s]*
/proc/loadavg: 4.17 4.13 4.10 5/262 33039
/proc/meminfo: memFree=127046508/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=91800 memory=77884 CPUtime=0.09 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 18446 0 0 0 7 2 0 0 20 0 1 0 5202391 94003200 19471 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 22950 19471 2678 3035 0 19346 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91800 KiB
Current children cumulated memory: 77884 KiB
[startup+0.206243 s]*
/proc/loadavg: 4.17 4.13 4.10 5/262 33039
/proc/meminfo: memFree=127027652/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=110432 memory=96592 CPUtime=0.19 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 25618 0 0 0 17 2 0 0 20 0 1 0 5202391 113082368 24148 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 27608 24148 2758 3035 0 24004 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 110432 KiB
Current children cumulated memory: 96592 KiB
[startup+0.306243 s]*
/proc/loadavg: 4.17 4.13 4.10 5/262 33039
/proc/meminfo: memFree=127027316/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=110592 memory=96856 CPUtime=0.28 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 25673 0 0 0 26 2 0 0 20 0 1 0 5202391 113246208 24214 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 27648 24214 2758 3035 0 24044 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110592 KiB
Current children cumulated memory: 96856 KiB
[startup+0.70024 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 33039
/proc/meminfo: memFree=126997748/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=193316 memory=147060 CPUtime=0.65 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 38204 0 0 0 61 4 0 0 20 0 1 0 5202391 197955584 36765 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 48329 36765 2774 3035 0 44725 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 193316 KiB
Current children cumulated memory: 147060 KiB
[startup+1.50026 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 33039
/proc/meminfo: memFree=126947436/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=229912 memory=185800 CPUtime=1.45 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 47405 0 0 0 138 7 0 0 20 0 1 0 5202391 235429888 46450 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 57478 46450 2774 3035 0 53874 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 229912 KiB
Current children cumulated memory: 185800 KiB
[startup+3.10625 s]
/proc/loadavg: 4.15 4.13 4.09 6/262 33039
/proc/meminfo: memFree=126923928/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=244236 memory=200316 CPUtime=3.04 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 51036 0 0 0 296 8 0 0 20 0 1 0 5202391 250097664 50079 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 61059 50079 2774 3035 0 57455 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 244236 KiB
Current children cumulated memory: 200316 KiB
[startup+6.30014 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 33039
/proc/meminfo: memFree=126907012/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=260612 memory=218004 CPUtime=6.22 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 55403 0 0 0 613 9 0 0 20 0 1 0 5202391 266866688 54501 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 65153 54501 2774 3035 0 61549 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 260612 KiB
Current children cumulated memory: 218004 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.13 4.09 5/262 33040
/proc/meminfo: memFree=126884284/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=283124 memory=240180 CPUtime=12.61 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 60979 0 0 0 1251 10 0 0 20 0 1 0 5202391 289918976 60045 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 70781 60045 2774 3035 0 67177 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 283124 KiB
Current children cumulated memory: 240180 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.14 4.10 5/262 33042
/proc/meminfo: memFree=126853240/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311776 memory=268956 CPUtime=25.39 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68160 0 0 0 2527 12 0 0 20 0 1 0 5202391 319258624 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77944 67239 2774 3035 0 74340 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 311776 KiB
Current children cumulated memory: 268956 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 33046
/proc/meminfo: memFree=126852072/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311784 memory=268956 CPUtime=50.96 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68162 0 0 0 5082 14 0 0 20 0 1 0 5202391 319266816 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77946 67239 2774 3035 0 74342 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 311784 KiB
Current children cumulated memory: 268956 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 33056
/proc/meminfo: memFree=126843912/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311796 memory=268956 CPUtime=102.06 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68165 0 0 0 10190 16 0 0 20 0 1 0 5202391 319279104 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77949 67239 2774 3035 0 74345 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 311796 KiB
Current children cumulated memory: 268956 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 33072
/proc/meminfo: memFree=126834340/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311808 memory=268956 CPUtime=161.95 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68168 0 0 0 16176 19 0 0 20 0 1 0 5202391 319291392 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77952 67239 2774 3035 0 74348 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 311808 KiB
Current children cumulated memory: 268956 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 33082
/proc/meminfo: memFree=126833320/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311816 memory=268956 CPUtime=221.85 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68170 0 0 0 22163 22 0 0 20 0 1 0 5202391 319299584 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77954 67239 2774 3035 0 74350 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 311816 KiB
Current children cumulated memory: 268956 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 33095
/proc/meminfo: memFree=126832516/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311824 memory=268956 CPUtime=281.69 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68172 0 0 0 28144 25 0 0 20 0 1 0 5202391 319307776 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77956 67239 2774 3035 0 74352 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 311824 KiB
Current children cumulated memory: 268956 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 33106
/proc/meminfo: memFree=126816064/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311832 memory=268956 CPUtime=341.54 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68174 0 0 0 34126 28 0 0 20 0 1 0 5202391 319315968 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77958 67239 2774 3035 0 74354 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 311832 KiB
Current children cumulated memory: 268956 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 33116
/proc/meminfo: memFree=126814660/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311840 memory=268956 CPUtime=401.4 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68176 0 0 0 40109 31 0 0 20 0 1 0 5202391 319324160 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77960 67239 2774 3035 0 74356 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 311840 KiB
Current children cumulated memory: 268956 KiB
[startup+462.3 s]
/proc/loadavg: 4.46 4.18 4.12 5/263 33127
/proc/meminfo: memFree=126812972/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311844 memory=268956 CPUtime=461.26 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68177 0 0 0 46092 34 0 0 20 0 1 0 5202391 319328256 67239 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77961 67239 2774 3035 0 74357 0
################
# More data... #
################
/proc/loadavg: 1.10 1.19 2.01 2/235 34239
/proc/meminfo: memFree=129759024/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311968 memory=280512 CPUtime=2496.8 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68735 0 0 0 249596 84 0 0 20 0 1 0 5202391 319455232 70128 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77992 70128 2774 3035 0 74388 0
Current children cumulated CPU time: 2496.8 s
Current children cumulated vsize: 311968 KiB
Current children cumulated memory: 280512 KiB
[startup+2562.3 s]
/proc/loadavg: 1.38 1.23 1.97 2/237 34257
/proc/meminfo: memFree=129758220/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311968 memory=280512 CPUtime=2556.71 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68763 0 0 0 255587 84 0 0 20 0 1 0 5202391 319455232 70128 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77992 70128 2774 3035 0 74388 0
Current children cumulated CPU time: 2556.71 s
Current children cumulated vsize: 311968 KiB
Current children cumulated memory: 280512 KiB
[startup+2622.3 s]
/proc/loadavg: 1.30 1.25 1.93 2/237 34267
/proc/meminfo: memFree=129757540/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311972 memory=280516 CPUtime=2616.62 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68793 0 0 0 261578 84 0 0 20 0 1 0 5202391 319459328 70129 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77993 70129 2774 3035 0 74389 0
Current children cumulated CPU time: 2616.62 s
Current children cumulated vsize: 311972 KiB
Current children cumulated memory: 280516 KiB
[startup+2682.3 s]
/proc/loadavg: 1.16 1.21 1.88 2/237 34279
/proc/meminfo: memFree=129756772/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311976 memory=280516 CPUtime=2676.53 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68823 0 0 0 267569 84 0 0 20 0 1 0 5202391 319463424 70129 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77994 70129 2774 3035 0 74390 0
Current children cumulated CPU time: 2676.53 s
Current children cumulated vsize: 311976 KiB
Current children cumulated memory: 280516 KiB
[startup+2742.3 s]
/proc/loadavg: 1.16 1.20 1.83 2/237 34291
/proc/meminfo: memFree=129756240/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311976 memory=280516 CPUtime=2736.44 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68852 0 0 0 273560 84 0 0 20 0 1 0 5202391 319463424 70129 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77994 70129 2774 3035 0 74390 0
Current children cumulated CPU time: 2736.44 s
Current children cumulated vsize: 311976 KiB
Current children cumulated memory: 280516 KiB
[startup+2802.3 s]
/proc/loadavg: 1.11 1.18 1.78 2/237 34301
/proc/meminfo: memFree=129755692/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311980 memory=280524 CPUtime=2796.34 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68882 0 0 0 279550 84 0 0 20 0 1 0 5202391 319467520 70131 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77995 70131 2774 3035 0 74391 0
Current children cumulated CPU time: 2796.34 s
Current children cumulated vsize: 311980 KiB
Current children cumulated memory: 280524 KiB
[startup+2862.3 s]
/proc/loadavg: 1.13 1.17 1.74 2/236 34695
/proc/meminfo: memFree=129754552/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311980 memory=280524 CPUtime=2856.25 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68911 0 0 0 285541 84 0 0 20 0 1 0 5202391 319467520 70131 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77995 70131 2774 3035 0 74391 0
Current children cumulated CPU time: 2856.25 s
Current children cumulated vsize: 311980 KiB
Current children cumulated memory: 280524 KiB
[startup+2922.3 s]
/proc/loadavg: 1.15 1.17 1.70 2/236 34708
/proc/meminfo: memFree=129753940/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=311984 memory=280528 CPUtime=2916.16 cores=4,6
/proc/33038/stat : 33038 (fscip) R 33035 33038 27303 0 -1 4194304 68941 0 0 0 291532 84 0 0 20 0 1 0 5202391 319471616 70132 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 77996 70132 2774 3035 0 74392 0
Current children cumulated CPU time: 2916.16 s
Current children cumulated vsize: 311984 KiB
Current children cumulated memory: 280528 KiB
[startup+2930.89 s]
# the end of solver process 33038 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2923.68 s, system=1.06318 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2924.8 s]
/proc/loadavg: 1.14 1.17 1.70 2/238 34711
/proc/meminfo: memFree=129591796/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=600808 memory=524308 CPUtime=2918.66 cores=4,6
/proc/33038/stat : 33038 (fscip) S 33035 33038 27303 0 -1 1077936128 133093 0 0 0 291772 94 0 0 20 0 3 0 5202391 615227392 131077 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 150202 131077 2854 3035 0 143708 0
[pid=33038/tid=34709] ppid=33035 vsize=600808 memory=11536 CPUtime=1.02 cores=4,6
/proc/33038/task/34709/stat : 34709 (fscip) R 33035 33038 27303 0 -1 4194368 42296 0 0 0 96 6 0 0 20 0 3 0 5494764 615227392 131077 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
[pid=33038/tid=34710] ppid=33035 vsize=600808 memory=280528 CPUtime=0 cores=4,6
/proc/33038/task/34710/stat : 34710 (fscip) S 33035 33038 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5494770 615227392 131077 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
Current children cumulated CPU time: 2918.66 s
Current children cumulated vsize: 600808 KiB
Current children cumulated memory: 524308 KiB
[startup+2928 s]*
/proc/loadavg: 1.12 1.16 1.69 2/238 34711
/proc/meminfo: memFree=129387228/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=797416 memory=645976 CPUtime=2921.85 cores=4,6
/proc/33038/stat : 33038 (fscip) S 33035 33038 27303 0 -1 1077936128 163484 0 0 0 292086 99 0 0 20 0 3 0 5202391 816553984 161494 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 199354 161494 2854 3035 0 183788 0
[pid=33038/tid=34709] ppid=33035 vsize=797416 memory=-5155630202183314309 CPUtime=4.22 cores=4,6
/proc/33038/task/34709/stat : 34709 (fscip) R 33035 33038 27303 0 -1 4194368 72684 0 0 0 411 11 0 0 20 0 3 0 5494764 816553984 161494 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
[pid=33038/tid=34710] ppid=33035 vsize=797416 memory=4715436607141473950 CPUtime=0 cores=4,6
/proc/33038/task/34710/stat : 34710 (fscip) S 33035 33038 27303 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5494770 816553984 161494 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
Current children cumulated CPU time: 2921.85 s
Current children cumulated vsize: 797416 KiB
Current children cumulated memory: 645976 KiB
[startup+2929.6 s]
/proc/loadavg: 1.12 1.16 1.69 2/238 34711
/proc/meminfo: memFree=129353408/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=862952 memory=698248 CPUtime=2923.45 cores=4,6
/proc/33038/stat : 33038 (fscip) S 33035 33038 27303 0 -1 1077936128 176582 0 0 0 292243 102 0 0 20 0 3 0 5202391 883662848 174562 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 215738 174562 2854 3035 0 201352 0
[pid=33038/tid=34709] ppid=33035 vsize=862952 memory=12076 CPUtime=5.81 cores=4,6
/proc/33038/task/34709/stat : 34709 (fscip) R 33035 33038 27303 0 -1 4194368 85782 0 0 0 567 14 0 0 20 0 3 0 5494764 883662848 174562 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
[pid=33038/tid=34710] ppid=33035 vsize=862952 memory=5552 CPUtime=0 cores=4,6
/proc/33038/task/34710/stat : 34710 (fscip) S 33035 33038 27303 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5494770 883662848 174562 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
Current children cumulated CPU time: 2923.45 s
Current children cumulated vsize: 862952 KiB
Current children cumulated memory: 698248 KiB
[startup+2930.4 s]
/proc/loadavg: 1.12 1.16 1.69 2/238 34712
/proc/meminfo: memFree=129326536/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=862952 memory=718836 CPUtime=2924.24 cores=4,6
/proc/33038/stat : 33038 (fscip) S 33035 33038 27303 0 -1 1077936128 188851 0 0 0 292321 103 0 0 20 0 3 0 5202391 883662848 179709 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 215738 179709 2934 3035 0 208109 0
[pid=33038/tid=34709] ppid=33035 vsize=862952 memory=6244 CPUtime=6.6 cores=4,6
/proc/33038/task/34709/stat : 34709 (fscip) R 33035 33038 27303 0 -1 4194368 98050 0 0 0 645 15 0 0 20 0 3 0 5494764 883662848 179709 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
[pid=33038/tid=34710] ppid=33035 vsize=862952 memory=28304 CPUtime=0 cores=4,6
/proc/33038/task/34710/stat : 34710 (fscip) S 33035 33038 27303 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5494770 883662848 179709 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
Current children cumulated CPU time: 2924.24 s
Current children cumulated vsize: 862952 KiB
Current children cumulated memory: 718836 KiB
[startup+2930.8 s]
/proc/loadavg: 1.12 1.16 1.69 2/238 34712
/proc/meminfo: memFree=129326536/131524600 swapFree=131071996/131071996
[pid=33038] ppid=33035 vsize=862952 memory=719024 CPUtime=2924.64 cores=4,6
/proc/33038/stat : 33038 (fscip) S 33035 33038 27303 0 -1 1077936128 188959 0 0 0 292361 103 0 0 20 0 3 0 5202391 883662848 179756 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
/proc/33038/statm: 215738 179756 2934 3035 0 208109 0
[pid=33038/tid=34709] ppid=33035 vsize=862952 memory=17851 CPUtime=7 cores=4,6
/proc/33038/task/34709/stat : 34709 (fscip) R 33035 33038 27303 0 -1 4194368 98135 0 0 0 685 15 0 0 20 0 3 0 5494764 883662848 179756 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
[pid=33038/tid=34710] ppid=33035 vsize=862952 memory=17587 CPUtime=0 cores=4,6
/proc/33038/task/34710/stat : 34710 (fscip) S 33035 33038 27303 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5494770 883662848 179756 134679101440 4194304 16623229 140722260672176 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 50696192 140722260677654 140722260677770 140722260677770 140722260684784 0
Current children cumulated CPU time: 2924.64 s
Current children cumulated vsize: 862952 KiB
Current children cumulated memory: 719024 KiB
Child status: 0
Real time (s): 2930.89
CPU time (s): 2924.74
CPU user time (s): 2923.68
CPU system time (s): 1.06318
CPU usage (%): 99.7903
Max. virtual memory (cumulated for all children) (KiB): 862952
Max. memory (cumulated for all children) (KiB): 719024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2923.68
system time used= 1.06318
maximum resident set size= 719220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202188
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= 19
involuntary context switches= 4013
# summary of solver processes directly reported to runsolver:
# pid: 33038
# total CPU time (s): 2924.74
# total CPU user time (s): 2923.68
# total CPU system time (s): 1.06318
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54905 second user time and 11.2468 second system time
The end
Begin job on nodeC015 at 2024-07-31 03:09:02
IDJOB=4464625
IDBENCH=165294
IDSOLVER=3092
FILE ID=nodeC015/4464625-1722388142
RUNJOBID= nodeC015-1722378594-27314
SLURM_JOB_ID= 8249828
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464625-1722388142/watcher-4464625-1722388142 -o /tmp/evaluation-result-4464625-1722388142/solver-4464625-1722388142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27314 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464625-1722388142.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5d1633616664d1d404e86526e434c88a
RANDOM SEED=624940052
nodeC015.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 : 3679.261
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 : 6999.37
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 : 3686.647
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 : 7005.03
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 : 3630.547
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 : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.010
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 : 7005.03
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 : 3661.680
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 : 6999.37
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 : 3686.661
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 : 7005.03
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 : 3671.996
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 : 6999.37
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 : 3599.717
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 : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127114224 kB
MemAvailable: 127107884 kB
Buffers: 108856 kB
Cached: 721568 kB
SwapCached: 0 kB
Active: 277728 kB
Inactive: 3650376 kB
Active(anon): 1540 kB
Inactive(anon): 3119556 kB
Active(file): 276188 kB
Inactive(file): 530820 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29008 kB
Writeback: 12 kB
AnonPages: 3097684 kB
Mapped: 126152 kB
Shmem: 23384 kB
KReclaimable: 52952 kB
Slab: 134244 kB
SReclaimable: 52952 kB
SUnreclaim: 81292 kB
KernelStack: 4192 kB
PageTables: 15680 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1932192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 440320 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: 158420 kB
DirectMap2M: 12197888 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC015 at 2024-07-31 03:57:53