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)
12.65/12.76 c Default LC presolving (default).
12.75/12.80 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336382, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
12.75/12.80 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
100.89/101.26 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844316, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
100.89/101.26 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
100.89/101.26 c Original Problem :
100.89/101.26 c Problem name : instance-4464231-1722382683
100.89/101.26 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
100.89/101.26 c Constraints : 2000307
100.89/101.26 c Objective sense : minimize
100.89/101.26 c Presolved Problem :
100.89/101.26 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
100.89/101.26 c Constraints : 500454
100.89/101.26 c Constraints : Number
100.89/101.26 c knapsack : 5250
100.89/101.26 c setppc : 101
100.89/101.26 c and : 490050
100.89/101.26 c linear : 3
100.89/101.26 c logicor : 5050
100.89/101.26 c ** Instance transfer method used: 0
102.88/103.29 c ** ParaScipInstance copy does not increase the number of variables. **
104.57/104.91 c LC is working with racing ramp-up and with rebuilding tree after racing.
104.57/104.91 c Nodes Active
104.57/104.91 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3587.60/3599.67 c 3600 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3593.18/3605.24 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.18/3605.24 c Total Time : 3605.2400
3593.18/3605.24 c solving : 3605.2400
3593.18/3605.24 c presolving : 88.4677 (included in solving)
3593.18/3605.24 c B&B Tree :
3593.18/3605.24 c nodes (total) : 1
3593.18/3605.24 c Solution :
3593.18/3605.24 c Solutions found : 0
3593.18/3605.24 c Primal Bound : -
3593.18/3605.24 c Dual Bound : -
3593.18/3605.24 c Gap : -
3598.96/3611.00 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 (55238 MiB free)
memory of node 1: 64510 MiB (60104 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464231-1722382683/watcher-4464231-1722382683 -o /tmp/evaluation-result-4464231-1722382683/solver-4464231-1722382683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30927 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464231-1722382683.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=33578, runsolver pid=33575
[startup+0.100694 s]*
/proc/loadavg: 4.42 4.21 4.12 5/261 33579
/proc/meminfo: memFree=118060896/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=71240 memory=58532 CPUtime=0.09 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 12505 0 0 0 8 1 0 0 20 0 1 0 4863950 72949760 14633 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 17810 14633 2347 3035 0 14206 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 58532 KiB
[startup+0.205637 s]*
/proc/loadavg: 4.42 4.21 4.12 5/261 33579
/proc/meminfo: memFree=118020344/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=112852 memory=99728 CPUtime=0.19 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 22830 0 0 0 16 3 0 0 20 0 1 0 4863950 115560448 24932 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 28213 24932 2347 3035 0 24609 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 112852 KiB
Current children cumulated memory: 99728 KiB
[startup+0.305755 s]*
/proc/loadavg: 4.39 4.21 4.12 5/261 33579
/proc/meminfo: memFree=117978480/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=155964 memory=143460 CPUtime=0.29 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 33736 0 0 0 24 5 0 0 20 0 1 0 4863950 159707136 35865 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 38991 35865 2347 3035 0 35387 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 155964 KiB
Current children cumulated memory: 143460 KiB
[startup+0.70024 s]
/proc/loadavg: 4.39 4.21 4.12 5/261 33579
/proc/meminfo: memFree=117895028/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=318420 memory=305364 CPUtime=0.68 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 74246 0 0 0 57 11 0 0 20 0 1 0 4863950 326062080 76341 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 79605 76341 2347 3035 0 76001 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 318420 KiB
Current children cumulated memory: 305364 KiB
[startup+1.50023 s]
/proc/loadavg: 4.39 4.21 4.12 5/261 33579
/proc/meminfo: memFree=117689136/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=648992 memory=634764 CPUtime=1.48 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 155563 0 0 0 125 23 0 0 20 0 1 0 4863950 664567808 158691 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 162248 158691 2347 3035 0 158644 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 648992 KiB
Current children cumulated memory: 634764 KiB
[startup+3.10553 s]
/proc/loadavg: 4.39 4.21 4.12 5/261 33579
/proc/meminfo: memFree=116858252/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=1308592 memory=1294356 CPUtime=3.08 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 316900 0 0 0 261 47 0 0 20 0 1 0 4863950 1339998208 323589 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 327148 323589 2347 3035 0 323544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1308592 KiB
Current children cumulated memory: 1294356 KiB
[startup+6.30022 s]
/proc/loadavg: 4.36 4.21 4.12 5/261 33581
/proc/meminfo: memFree=116132740/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=2009184 memory=1996352 CPUtime=6.26 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 471976 0 0 0 554 72 0 0 20 0 1 0 4863950 2057404416 499088 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 502296 499088 2347 3035 0 498692 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2009184 KiB
Current children cumulated memory: 1996352 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.20 4.12 5/261 33581
/proc/meminfo: memFree=113612308/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=4726132 memory=4711772 CPUtime=12.65 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 1069345 0 0 0 1101 164 0 0 20 0 1 0 4863950 4839559168 1177943 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 1181533 1177943 2555 3035 0 1177929 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4726132 KiB
Current children cumulated memory: 4711772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.20 4.12 5/261 33584
/proc/meminfo: memFree=111268316/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=6912524 memory=6834260 CPUtime=25.42 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 1194198 0 0 0 2303 239 0 0 20 0 1 0 4863950 7078424576 1708565 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 1728131 1708565 2726 3035 0 1724527 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6912524 KiB
Current children cumulated memory: 6834260 KiB
[startup+51.1056 s]
/proc/loadavg: 4.23 4.19 4.12 5/261 33587
/proc/meminfo: memFree=110317628/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=7846584 memory=7767480 CPUtime=50.95 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 1545731 0 0 0 4787 308 0 0 20 0 1 0 4863950 8034902016 1941870 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 1961646 1941870 2758 3035 0 1958042 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7767480 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 4.12 5/262 33598
/proc/meminfo: memFree=109487588/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=9156324 memory=8777060 CPUtime=101.99 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 1697318 0 0 0 9855 344 0 0 20 0 2 0 4863950 9376075776 2194265 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 2289081 2194265 2790 3035 0 2269125 0
[pid=33578/tid=33598] ppid=33575 vsize=9156324 memory=8371584 CPUtime=0 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) S 33575 33578 30916 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 4874077 9376075776 2194265 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 9156324 KiB
Current children cumulated memory: 8777060 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/265 33613
/proc/meminfo: memFree=104582820/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13679264 memory=13202544 CPUtime=161.82 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 3065814 0 0 0 15646 536 0 0 20 0 3 0 4863950 14007566336 3300636 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3419816 3300636 2854 3035 0 3389433 0
[pid=33578/tid=33598] ppid=33575 vsize=13679264 memory=8779964 CPUtime=58.84 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 1364712 0 0 0 5694 190 0 0 20 0 3 0 4874077 14007566336 3300636 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13679264 memory=11584 CPUtime=0 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4874445 14007566336 3300636 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13202544 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 33624
/proc/meminfo: memFree=103360192/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13679264 memory=13202720 CPUtime=221.61 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 3285899 0 0 0 21613 548 0 0 20 0 3 0 4863950 14007566336 3300680 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3419816 3300680 2854 3035 0 3389433 0
[pid=33578/tid=33598] ppid=33575 vsize=13679264 memory=13202720 CPUtime=118.63 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 1584790 0 0 0 11661 202 0 0 20 0 3 0 4874077 14007566336 3300680 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13679264 memory=12704 CPUtime=0 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4874445 14007566336 3300680 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13202720 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/265 33635
/proc/meminfo: memFree=103087060/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13679264 memory=13202720 CPUtime=281.42 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 3636044 0 0 0 27575 567 0 0 20 0 3 0 4863950 14007566336 3300680 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3419816 3300680 2854 3035 0 3389433 0
[pid=33578/tid=33598] ppid=33575 vsize=13679264 memory=13202692 CPUtime=178.43 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 1934920 0 0 0 17623 220 0 0 20 0 3 0 4874077 14007566336 3300680 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13679264 memory=-5155630184919559045 CPUtime=0 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4874445 14007566336 3300680 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13202720 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 33645
/proc/meminfo: memFree=103067980/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13679264 memory=13214472 CPUtime=341.21 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 3937381 0 0 0 33536 585 0 0 20 0 3 0 4863950 14007566336 3303618 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3419816 3303618 2854 3035 0 3392362 0
[pid=33578/tid=33598] ppid=33575 vsize=13679264 memory=-5155630184919559045 CPUtime=238.22 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 2236235 0 0 0 23584 238 0 0 20 0 3 0 4874077 14007566336 3303618 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13679264 memory=13202720 CPUtime=0 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 4874445 14007566336 3303618 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 13679264 KiB
################
# More data... #
################
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=13379836 CPUtime=3287.92 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 10159783 0 0 0 327902 890 0 0 20 0 3 0 4874077 14208892928 3345104 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=13380416 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 1175 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3345104 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3390.95 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13380416 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/263 35613
/proc/meminfo: memFree=108108348/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13875872 memory=13383968 CPUtime=3450.75 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 11981014 0 0 0 343824 1251 0 0 20 0 3 0 4863950 14208892928 3345992 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3468968 3345992 2854 3035 0 3435038 0
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=-5155630184919559045 CPUtime=3347.71 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 10278721 0 0 0 333870 901 0 0 20 0 3 0 4874077 14208892928 3345992 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=13382360 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 1199 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3345992 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13383968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/263 35623
/proc/meminfo: memFree=107980728/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13875872 memory=13386492 CPUtime=3510.55 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 12097343 0 0 0 349792 1263 0 0 20 0 3 0 4863950 14208892928 3346623 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3468968 3346623 2854 3035 0 3435662 0
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=13383968 CPUtime=3407.51 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 10395027 0 0 0 339838 913 0 0 20 0 3 0 4874077 14208892928 3346623 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=13385912 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) R 33575 33578 30916 0 -1 1077936192 1222 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3346623 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13386492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 35635
/proc/meminfo: memFree=107861448/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13875872 memory=13388444 CPUtime=3570.36 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 12226466 0 0 0 355761 1275 0 0 20 0 3 0 4863950 14208892928 3347111 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3468968 3347111 2854 3035 0 3436142 0
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=11584 CPUtime=3467.32 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 10524133 0 0 0 345807 925 0 0 20 0 3 0 4874077 14208892928 3347111 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=0 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 1239 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3347111 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13388444 KiB
[startup+3611.18 s]
# the end of solver process 33578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.9 s, system=14.2417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 35635
/proc/meminfo: memFree=107857424/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13875872 memory=13388444 CPUtime=3572.06 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 12228027 0 0 0 355931 1275 0 0 20 0 3 0 4863950 14208892928 3347111 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3468968 3347111 2854 3035 0 3436142 0
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=-6000919489852827500 CPUtime=3469.02 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 10525694 0 0 0 345977 925 0 0 20 0 3 0 4874077 14208892928 3347111 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=-4421386517622056548 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 1239 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3347111 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13388444 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.11 5/263 35639
/proc/meminfo: memFree=107831760/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13875872 memory=13390048 CPUtime=3584.81 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 12242244 0 0 0 357203 1278 0 0 20 0 3 0 4863950 14208892928 3347512 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3468968 3347512 2854 3035 0 3436542 0
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=13388440 CPUtime=3481.77 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 10539903 0 0 0 347249 928 0 0 20 0 3 0 4874077 14208892928 3347512 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=13390048 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 1247 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3347512 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3584.81 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13390048 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.15 4.11 5/262 35639
/proc/meminfo: memFree=107773548/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=13875872 memory=13431532 CPUtime=3591.19 cores=4,6
/proc/33578/stat : 33578 (fscip) S 33575 33578 30916 0 -1 1077936128 13009591 0 0 0 357796 1323 0 0 20 0 3 0 4863950 14208892928 3357883 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 3468968 3357883 2902 3035 0 3446671 0
[pid=33578/tid=33598] ppid=33575 vsize=13875872 memory=-5155630184919559045 CPUtime=3488.15 cores=4,6
/proc/33578/task/33598/stat : 33598 (fscip) R 33575 33578 30916 0 -1 4194368 11307227 0 0 0 347842 973 0 0 20 0 3 0 4874077 14208892928 3357883 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
[pid=33578/tid=33600] ppid=33575 vsize=13875872 memory=13389020 CPUtime=0.04 cores=4,6
/proc/33578/task/33600/stat : 33600 (fscip) S 33575 33578 30916 0 -1 1077936192 1247 0 0 0 1 3 0 0 20 0 3 0 4874445 14208892928 3357883 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
Current children cumulated CPU time: 3591.19 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13431532 KiB
[startup+3606.4 s]
/proc/loadavg: 4.15 4.14 4.11 5/260 35640
/proc/meminfo: memFree=110631152/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=10991220 memory=10577152 CPUtime=3594.38 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 13660784 0 0 0 358077 1361 0 0 20 0 1 0 4863950 11255009280 2644288 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 2747805 2644288 2902 3035 0 2721214 0
Current children cumulated CPU time: 3594.38 s
Current children cumulated vsize: 10991220 KiB
Current children cumulated memory: 10577152 KiB
[startup+3609.6 s]
/proc/loadavg: 4.15 4.14 4.11 5/260 35640
/proc/meminfo: memFree=110652896/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=10891348 memory=10480412 CPUtime=3597.56 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 14119915 0 0 0 358372 1384 0 0 20 0 1 0 4863950 11152740352 2620103 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 2722837 2620103 2902 3035 0 2696246 0
Current children cumulated CPU time: 3597.56 s
Current children cumulated vsize: 10891348 KiB
Current children cumulated memory: 10480412 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.14 4.11 5/260 35640
/proc/meminfo: memFree=111048716/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=10248988 memory=9838052 CPUtime=3598.35 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 14283869 0 0 0 358440 1395 0 0 20 0 1 0 4863950 10494963712 2459513 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 2562247 2459513 2902 3035 0 2535656 0
Current children cumulated CPU time: 3598.35 s
Current children cumulated vsize: 10248988 KiB
Current children cumulated memory: 9838052 KiB
[startup+3610.8 s]
/proc/loadavg: 4.15 4.14 4.11 5/260 35640
/proc/meminfo: memFree=111048716/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=9618340 memory=9207748 CPUtime=3598.75 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 14384377 0 0 0 358474 1401 0 0 20 0 1 0 4863950 9849180160 2301937 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 2404585 2301937 2902 3035 0 2377994 0
Current children cumulated CPU time: 3598.75 s
Current children cumulated vsize: 9618340 KiB
Current children cumulated memory: 9207748 KiB
[startup+3611 s]*
/proc/loadavg: 4.14 4.14 4.11 5/260 35640
/proc/meminfo: memFree=112926016/131524600 swapFree=131071996/131071996
[pid=33578] ppid=33575 vsize=7896364 memory=7665052 CPUtime=3598.96 cores=4,6
/proc/33578/stat : 33578 (fscip) R 33575 33578 30916 0 -1 4194304 14451423 0 0 0 358490 1406 0 0 20 0 1 0 4863950 8085876736 1916263 134679101440 4194304 16623229 140732005388704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41156608 140732005397526 140732005397642 140732005397642 140732005404656 0
/proc/33578/statm: 1974091 1916263 2902 3035 0 1947500 0
Current children cumulated CPU time: 3598.96 s
Current children cumulated vsize: 7896364 KiB
Current children cumulated memory: 7665052 KiB
[startup+3611.11 s]*
/proc/loadavg: 4.14 4.14 4.11 5/260 35640
/proc/meminfo: memFree=118332460/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): 3611.18
CPU time (s): 3599.14
CPU user time (s): 3584.9
CPU system time (s): 14.2417
CPU usage (%): 99.6667
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13457584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.9
system time used= 14.2417
maximum resident set size= 13457584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14451429
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= 3676
involuntary context switches= 3239
# summary of solver processes directly reported to runsolver:
# pid: 33578
# total CPU time (s): 3599.14
# total CPU user time (s): 3584.9
# total CPU system time (s): 14.2417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64865 second user time and 17.4025 second system time
The end
Begin job on nodeC014 at 2024-07-31 01:38:03
IDJOB=4464231
IDBENCH=155761
IDSOLVER=3092
FILE ID=nodeC014/4464231-1722382683
RUNJOBID= nodeC014-1722378594-30927
SLURM_JOB_ID= 8249827
Free space on /tmp= 889864 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_2_ic.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-4464231-1722382683/watcher-4464231-1722382683 -o /tmp/evaluation-result-4464231-1722382683/solver-4464231-1722382683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30927 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464231-1722382683.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f676becb9e8baff21bbed56e9641b4e
RANDOM SEED=292526229
nodeC014.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 : 3600.419
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.06
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 : 3689.556
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 : 7007.10
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 : 3677.350
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.06
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.105
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 : 7007.10
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 : 3677.989
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.06
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 : 3689.554
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 : 7007.10
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 : 3659.347
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.06
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.164
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118110792 kB
MemAvailable: 121382092 kB
Buffers: 98732 kB
Cached: 3969016 kB
SwapCached: 0 kB
Active: 308412 kB
Inactive: 12529356 kB
Active(anon): 1524 kB
Inactive(anon): 8789828 kB
Active(file): 306888 kB
Inactive(file): 3739528 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 128116 kB
Writeback: 4 kB
AnonPages: 8768948 kB
Mapped: 124172 kB
Shmem: 21336 kB
KReclaimable: 129064 kB
Slab: 218500 kB
SReclaimable: 129064 kB
SUnreclaim: 89436 kB
KernelStack: 4192 kB
PageTables: 26920 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5535376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2172928 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: 189140 kB
DirectMap2M: 10070016 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889844 MiB
End job on nodeC014 at 2024-07-31 02:38:15