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)
2.48/2.51 c Default LC presolving (default).
2.48/2.51 c ** Before presolving: virtualMemUsedAtLc = 2282733500, getVmSize() = 1686192128, SCIPgetMemUsed() = 1629552162, SCIPgetMemTotal() = 1644833298, SCIPgetMemExternEstim() = 637900202
2.48/2.51 c ** set memory limit for presolving in LC to 8.79541e+12 for SCIP **
2869.83/2877.58 c ** Estimated virtualMemUsedAtSolver = 3256085563, getVmSize() = 4530511872, SCIPgetMemUsed() = 3173696919, SCIPgetMemTotal() = 4246228143, SCIPgetMemExternEstim() = 637900202
2869.83/2877.58 c ** set memory limit for solvers to 4.39795e+12 for each SCIP **
2869.83/2877.58 c Original Problem :
2869.83/2877.58 c Problem name : instance-4464534-1722386019
2869.83/2877.58 c Variables : 670720 (670720 binary, 0 integer, 0 implicit integer, 0 continuous)
2869.83/2877.58 c Constraints : 5752
2869.83/2877.58 c Objective sense : minimize
2869.83/2877.58 c Presolved Problem :
2869.83/2877.58 c Variables : 668568 (668568 binary, 0 integer, 0 implicit integer, 0 continuous)
2869.83/2877.58 c Constraints : 3208
2869.83/2877.58 c Constraints : Number
2869.83/2877.58 c knapsack : 512
2869.83/2877.58 c setppc : 2619
2869.83/2877.58 c orbitope : 77
2869.83/2877.58 c ** Instance transfer method used: 0
2870.83/2878.54 c ** ParaScipInstance copy increased the number of variables. **
2871.82/2879.59 c LC is working with racing ramp-up and with rebuilding tree after racing.
2871.82/2879.59 c Nodes Active
2871.82/2879.59 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3588.08/3598.19 c 3598 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3590.67/3600.75 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.67/3600.75 c Total Time : 3600.7600
3590.67/3600.75 c solving : 3600.7600
3590.67/3600.75 c presolving : 2875.0695 (included in solving)
3590.67/3600.75 c B&B Tree :
3590.67/3600.75 c nodes (total) : 1
3590.67/3600.75 c Solution :
3590.67/3600.75 c Solutions found : 0
3590.67/3600.75 c Primal Bound : -
3590.67/3600.75 c Dual Bound : -
3590.67/3600.75 c Gap : -
3592.25/3602.39 s 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: 63931 MiB (62757 MiB free)
memory of node 1: 64510 MiB (63309 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464534-1722386019/watcher-4464534-1722386019 -o /tmp/evaluation-result-4464534-1722386019/solver-4464534-1722386019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28890 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464534-1722386019.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
solver pid=33397, runsolver pid=33394
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 4.15 4.12 4.11 5/264 33398
/proc/meminfo: memFree=128983536/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=135940 memory=123068 CPUtime=0.1 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 28686 0 0 0 6 4 0 0 20 0 1 0 5202446 139202560 30767 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 33985 30767 2347 3035 0 30381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 135940 KiB
Current children cumulated memory: 123068 KiB
[startup+0.205769 s]*
/proc/loadavg: 4.15 4.12 4.11 5/264 33398
/proc/meminfo: memFree=128878192/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=241284 memory=228100 CPUtime=0.2 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 54933 0 0 0 14 6 0 0 20 0 1 0 5202446 247074816 57025 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 60321 57025 2347 3035 0 56717 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 241284 KiB
Current children cumulated memory: 228100 KiB
[startup+0.305693 s]*
/proc/loadavg: 4.15 4.12 4.11 5/264 33398
/proc/meminfo: memFree=128783256/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=336208 memory=323500 CPUtime=0.3 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 78235 0 0 0 21 9 0 0 20 0 1 0 5202446 344276992 80875 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 84052 80875 2347 3035 0 80448 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 336208 KiB
Current children cumulated memory: 323500 KiB
[startup+0.700223 s]
/proc/loadavg: 4.15 4.12 4.11 5/264 33398
/proc/meminfo: memFree=128599200/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=682664 memory=669440 CPUtime=0.69 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 162688 0 0 0 49 20 0 0 20 0 1 0 5202446 699047936 167360 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 170666 167360 2347 3035 0 167062 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 682664 KiB
Current children cumulated memory: 669440 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.12 4.11 5/264 33398
/proc/meminfo: memFree=128411020/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=934704 memory=919832 CPUtime=1.49 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 227649 0 0 0 119 30 0 0 20 0 1 0 5202446 957136896 229958 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 233676 229958 2539 3035 0 230072 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 934704 KiB
Current children cumulated memory: 919832 KiB
[startup+3.10559 s]
/proc/loadavg: 4.13 4.12 4.11 5/264 33398
/proc/meminfo: memFree=127379628/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=1760568 memory=1730040 CPUtime=3.09 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 417062 0 0 0 251 58 0 0 20 0 1 0 5202446 1802821632 432510 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 440142 432510 2614 3035 0 436538 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1760568 KiB
Current children cumulated memory: 1730040 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.12 4.10 5/264 33400
/proc/meminfo: memFree=126836500/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=2315596 memory=2264824 CPUtime=6.27 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 462776 0 0 0 549 78 0 0 20 0 1 0 5202446 2371170304 566206 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 578899 566206 2710 3035 0 575295 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2315596 KiB
Current children cumulated memory: 2264824 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.10 5/264 33400
/proc/meminfo: memFree=126825192/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=2315596 memory=2264948 CPUtime=12.66 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 462942 0 0 0 1187 79 0 0 20 0 1 0 5202446 2371170304 566237 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 578899 566237 2710 3035 0 575295 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2315596 KiB
Current children cumulated memory: 2264948 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.10 5/264 33403
/proc/meminfo: memFree=126926356/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=2375040 memory=2338420 CPUtime=25.43 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 536017 0 0 0 2453 90 0 0 20 0 1 0 5202446 2432040960 584605 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 593760 584605 2742 3035 0 590156 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2375040 KiB
Current children cumulated memory: 2338420 KiB
[startup+51.1057 s]
/proc/loadavg: 4.17 4.13 4.11 5/262 33453
/proc/meminfo: memFree=124196852/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499680 memory=3990104 CPUtime=50.97 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 779717 0 0 0 4961 136 0 0 20 0 1 0 5202446 4607672320 997526 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124920 997526 2774 3035 0 1121316 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4499680 KiB
Current children cumulated memory: 3990104 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/261 33460
/proc/meminfo: memFree=116859220/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499684 memory=4024920 CPUtime=102.03 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 779775 0 0 0 10065 138 0 0 20 0 1 0 5202446 4607676416 1006230 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124921 1006230 2774 3035 0 1121317 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 4499684 KiB
Current children cumulated memory: 4024920 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/260 33472
/proc/meminfo: memFree=117713340/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499684 memory=4048248 CPUtime=161.88 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 780095 0 0 0 16047 141 0 0 20 0 1 0 5202446 4607676416 1012062 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124921 1012062 2774 3035 0 1121317 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 4499684 KiB
Current children cumulated memory: 4048248 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/260 33482
/proc/meminfo: memFree=114047960/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499688 memory=4048452 CPUtime=221.72 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 780171 0 0 0 22029 143 0 0 20 0 1 0 5202446 4607680512 1012113 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124922 1012113 2774 3035 0 1121318 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 4499688 KiB
Current children cumulated memory: 4048452 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/259 33494
/proc/meminfo: memFree=114039376/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499688 memory=4048456 CPUtime=281.56 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 780246 0 0 0 28011 145 0 0 20 0 1 0 5202446 4607680512 1012114 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124922 1012114 2774 3035 0 1121318 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 4499688 KiB
Current children cumulated memory: 4048456 KiB
[startup+342.3 s]
/proc/loadavg: 4.41 4.21 4.13 5/259 33504
/proc/meminfo: memFree=113977004/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499688 memory=4048456 CPUtime=341.4 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 780305 0 0 0 33992 148 0 0 20 0 1 0 5202446 4607680512 1012114 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124922 1012114 2774 3035 0 1121318 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 4499688 KiB
Current children cumulated memory: 4048456 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/261 33518
/proc/meminfo: memFree=113963228/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499692 memory=4048460 CPUtime=401.23 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 780385 0 0 0 39973 150 0 0 20 0 1 0 5202446 4607684608 1012115 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124923 1012115 2774 3035 0 1121319 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 4499692 KiB
Current children cumulated memory: 4048460 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/260 33529
/proc/meminfo: memFree=113906108/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=4499692 memory=4048460 CPUtime=461.06 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 780464 0 0 0 45954 152 0 0 20 0 1 0 5202446 4607684608 1012115 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1124923 1012115 2774 3035 0 1121319 0
################
# More data... #
################
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 3458386 0 0 0 332874 439 0 0 20 0 3 0 5202446 9107185664 2058481 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058481 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=8233924 CPUtime=462.25 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 2550038 0 0 0 46000 225 0 0 20 0 3 0 5490204 9107185664 2058481 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=12420 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 93 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058481 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3333.13 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233924 KiB
[startup+3402.3 s]
/proc/loadavg: 3.74 4.07 4.09 4/258 35413
/proc/meminfo: memFree=107153716/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233924 CPUtime=3392.94 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 3652061 0 0 0 338846 448 0 0 20 0 3 0 5202446 9107185664 2058481 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058481 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=8233924 CPUtime=522.04 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 2743701 0 0 0 51971 233 0 0 20 0 3 0 5490204 9107185664 2058481 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=11628 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 105 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058481 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233924 KiB
[startup+3462.3 s]
/proc/loadavg: 3.47 3.93 4.04 4/256 35424
/proc/meminfo: memFree=107137832/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3452.74 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 3803466 0 0 0 344818 456 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=8233924 CPUtime=581.84 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 2895088 0 0 0 57943 241 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=11628 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 123 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3522.3 s]
/proc/loadavg: 3.28 3.79 3.99 4/256 35434
/proc/meminfo: memFree=107136588/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3512.53 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 3954013 0 0 0 350789 464 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=8233964 CPUtime=641.64 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 3045623 0 0 0 63914 250 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=12420 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 135 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.66 3.93 4/256 35444
/proc/meminfo: memFree=107135408/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3572.33 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 4111822 0 0 0 356761 472 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=11628 CPUtime=701.43 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 3203420 0 0 0 69886 257 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=11628 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 147 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3602.47 s]
# the end of solver process 33397 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.21 s, system=5.21862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.16 3.66 3.93 4/256 35444
/proc/meminfo: memFree=107135416/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3574.03 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 4117292 0 0 0 356931 472 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=7686721470247706567 CPUtime=703.13 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 3208890 0 0 0 70056 257 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=4498420499609185954 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 147 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3574.03 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3590.4 s]
/proc/loadavg: 3.15 3.65 3.92 4/255 35446
/proc/meminfo: memFree=107139520/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3580.4 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 4185667 0 0 0 357566 474 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=8233964 CPUtime=709.51 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 3277265 0 0 0 70691 260 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=8233964 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 147 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3580.4 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3596.8 s]
/proc/loadavg: 3.13 3.64 3.92 4/255 35447
/proc/meminfo: memFree=107139648/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3586.78 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 4186571 0 0 0 358203 475 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=11628 CPUtime=715.89 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 3278163 0 0 0 71328 261 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=12420 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 153 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3600 s]*
/proc/loadavg: 3.12 3.63 3.91 4/255 35447
/proc/meminfo: memFree=107139608/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=8893736 memory=8233964 CPUtime=3589.98 cores=4,6
/proc/33397/stat : 33397 (fscip) S 33394 33397 28879 0 -1 1077936128 4605225 0 0 0 358502 496 0 0 20 0 3 0 5202446 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 2223434 2058491 2934 3035 0 2184714 0
[pid=33397/tid=34681] ppid=33394 vsize=8893736 memory=7686721470247706567 CPUtime=719.08 cores=4,6
/proc/33397/task/34681/stat : 34681 (fscip) R 33394 33397 28879 0 -1 4194368 3696980 0 0 0 71627 281 0 0 20 0 3 0 5490204 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
[pid=33397/tid=34682] ppid=33394 vsize=8893736 memory=4498420499609185954 CPUtime=0 cores=4,6
/proc/33397/task/34682/stat : 34682 (fscip) S 33394 33397 28879 0 -1 1077936192 155 0 0 0 0 0 0 0 20 0 3 0 5490409 9107185664 2058491 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
Current children cumulated CPU time: 3589.98 s
Current children cumulated vsize: 8893736 KiB
Current children cumulated memory: 8233964 KiB
[startup+3601.6 s]
/proc/loadavg: 3.12 3.63 3.91 4/253 35447
/proc/meminfo: memFree=108995556/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=6927656 memory=6380704 CPUtime=3591.56 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 4829468 0 0 0 358644 512 0 0 20 0 1 0 5202446 7093919744 1595176 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1731914 1595176 2982 3035 0 1708599 0
Current children cumulated CPU time: 3591.56 s
Current children cumulated vsize: 6927656 KiB
Current children cumulated memory: 6380704 KiB
[startup+3602 s]*
/proc/loadavg: 3.11 3.62 3.91 4/253 35447
/proc/meminfo: memFree=108995564/131524600 swapFree=131071996/131071996
[pid=33397] ppid=33394 vsize=6927656 memory=6380704 CPUtime=3591.96 cores=4,6
/proc/33397/stat : 33397 (fscip) R 33394 33397 28879 0 -1 4194304 4829613 0 0 0 358684 512 0 0 20 0 1 0 5202446 7093919744 1595176 134679101440 4194304 16623229 140720734911616 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45355008 140720734913558 140720734913674 140720734913674 140720734920688 0
/proc/33397/statm: 1731914 1595176 2982 3035 0 1708599 0
Current children cumulated CPU time: 3591.96 s
Current children cumulated vsize: 6927656 KiB
Current children cumulated memory: 6380704 KiB
[startup+3602.4 s]*
/proc/loadavg: 3.11 3.62 3.91 4/253 35447
/proc/meminfo: memFree=113060648/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3602.47
CPU time (s): 3592.43
CPU user time (s): 3587.21
CPU system time (s): 5.21862
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 8893736
Max. memory (cumulated for all children) (KiB): 8233964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.21
system time used= 5.21862
maximum resident set size= 8233964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4837143
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= 822
involuntary context switches= 4811
# summary of solver processes directly reported to runsolver:
# pid: 33397
# total CPU time (s): 3592.43
# total CPU user time (s): 3587.21
# total CPU system time (s): 5.21862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92919 second user time and 16.7681 second system time
The end
Begin job on nodeC027 at 2024-07-31 02:33:39
IDJOB=4464534
IDBENCH=160484
IDSOLVER=3092
FILE ID=nodeC027/4464534-1722386019
RUNJOBID= nodeC027-1722378597-28890
SLURM_JOB_ID= 8249850
Free space on /tmp= 889968 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.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-4464534-1722386019/watcher-4464534-1722386019 -o /tmp/evaluation-result-4464534-1722386019/solver-4464534-1722386019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28890 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464534-1722386019.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=2000602468
nodeC027.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 : 3615.620
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.88
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 : 3687.826
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.060
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.88
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.009
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.333
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.88
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 : 3687.818
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.438
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.88
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 : 3600.165
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129092960 kB
MemAvailable: 128976576 kB
Buffers: 99984 kB
Cached: 618568 kB
SwapCached: 0 kB
Active: 275012 kB
Inactive: 1678864 kB
Active(anon): 1536 kB
Inactive(anon): 1255128 kB
Active(file): 273476 kB
Inactive(file): 423736 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59072 kB
Writeback: 4 kB
AnonPages: 1234844 kB
Mapped: 124904 kB
Shmem: 21336 kB
KReclaimable: 52100 kB
Slab: 133040 kB
SReclaimable: 52100 kB
SUnreclaim: 80940 kB
KernelStack: 4240 kB
PageTables: 12012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1097588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889852 MiB
End job on nodeC027 at 2024-07-31 03:33:42