0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
2.68/2.78 c Default LC presolving (default).
2.68/2.78 c ** Before presolving: virtualMemUsedAtLc = 2162614887, getVmSize() = 1599905792, SCIPgetMemUsed() = 1544880155, SCIPgetMemTotal() = 1558543739, SCIPgetMemExternEstim() = 604071148
2.68/2.78 c ** set memory limit for presolving in LC to 8.79544e+12 for SCIP **
2418.72/2424.25 c ** Estimated virtualMemUsedAtSolver = 3095621075, getVmSize() = 4285292544, SCIPgetMemUsed() = 2994592081, SCIPgetMemTotal() = 4039360465, SCIPgetMemExternEstim() = 604071148
2418.72/2424.25 c ** set memory limit for solvers to 4.39795e+12 for each SCIP **
2418.72/2424.25 c Original Problem :
2418.72/2424.25 c Problem name : instance-4449050-1721367654
2418.72/2424.25 c Variables : 635136 (635136 binary, 0 integer, 0 implicit integer, 0 continuous)
2418.72/2424.25 c Constraints : 5474
2418.72/2424.25 c Objective sense : minimize
2418.72/2424.25 c Presolved Problem :
2418.72/2424.25 c Variables : 633183 (633183 binary, 0 integer, 0 implicit integer, 0 continuous)
2418.72/2424.25 c Constraints : 3075
2418.72/2424.25 c Constraints : Number
2418.72/2424.25 c knapsack : 512
2418.72/2424.25 c setppc : 2480
2418.72/2424.25 c orbitope : 83
2418.72/2424.25 c ** Instance transfer method used: 0
2419.63/2425.19 c ** ParaScipInstance copy increased the number of variables. **
2421.09/2426.68 c LC is working with racing ramp-up and with rebuilding tree after racing.
2421.09/2426.68 c Nodes Active
2421.09/2426.68 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3590.59/3600.35 c 3600 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3593.48/3603.23 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.48/3603.23 c Total Time : 3603.2300
3593.48/3603.23 c solving : 3603.2300
3593.48/3603.23 c presolving : 2421.4734 (included in solving)
3593.48/3603.23 c B&B Tree :
3593.48/3603.23 c nodes (total) : 1
3593.48/3603.23 c Solution :
3593.48/3603.23 c Solutions found : 0
3593.48/3603.23 c Primal Bound : -
3593.48/3603.23 c Dual Bound : -
3593.48/3603.23 c Gap : -
3595.76/3605.54 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: 64059 MiB (60445 MiB free)
memory of node 1: 64510 MiB (62863 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449050-1721367654/watcher-4449050-1721367654 -o /tmp/evaluation-result-4449050-1721367654/solver-4449050-1721367654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449050-1721367654.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=991319, runsolver pid=991316
[startup+0.10078 s]*
/proc/loadavg: 4.18 4.17 4.13 5/245 991320
/proc/meminfo: memFree=126221192/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=75412 memory=63128 CPUtime=0.1 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 13653 0 0 0 7 3 0 0 20 0 1 0 188925015 77221888 15716 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 18853 15716 2318 3032 0 15253 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 75412 KiB
Current children cumulated memory: 63128 KiB
[startup+0.212978 s]*
/proc/loadavg: 4.18 4.17 4.13 6/245 991320
/proc/meminfo: memFree=126141960/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=155620 memory=142992 CPUtime=0.21 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 33621 0 0 0 14 7 0 0 20 0 1 0 188925015 159354880 35682 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 38905 35682 2318 3032 0 35305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 155620 KiB
Current children cumulated memory: 142992 KiB
[startup+0.312856 s]*
/proc/loadavg: 4.18 4.17 4.13 5/245 991320
/proc/meminfo: memFree=126069580/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=226732 memory=214268 CPUtime=0.31 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 51435 0 0 0 22 9 0 0 20 0 1 0 188925015 232173568 53501 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 56683 53501 2318 3032 0 53083 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 226732 KiB
Current children cumulated memory: 214268 KiB
[startup+0.700333 s]
/proc/loadavg: 4.18 4.17 4.13 7/245 991320
/proc/meminfo: memFree=125932068/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=497452 memory=479408 CPUtime=0.69 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 116236 0 0 0 50 19 0 0 20 0 1 0 188925015 509390848 119852 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 124363 119852 2318 3032 0 120763 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 497452 KiB
Current children cumulated memory: 479408 KiB
[startup+1.50028 s]
/proc/loadavg: 4.18 4.17 4.13 5/245 991320
/proc/meminfo: memFree=125633952/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=681860 memory=668008 CPUtime=1.48 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 162352 0 0 0 121 27 0 0 20 0 1 0 188925015 698224640 167002 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 170465 167002 2318 3032 0 166865 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 681860 KiB
Current children cumulated memory: 668008 KiB
[startup+3.113 s]
/proc/loadavg: 4.25 4.18 4.13 5/245 991322
/proc/meminfo: memFree=124658712/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=1646508 memory=1616328 CPUtime=3.09 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 390974 0 0 0 250 59 0 0 20 0 1 0 188925015 1686024192 404082 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 411627 404082 2606 3032 0 408027 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1646508 KiB
Current children cumulated memory: 1616328 KiB
[startup+6.30025 s]
/proc/loadavg: 4.25 4.18 4.13 5/245 991322
/proc/meminfo: memFree=124123516/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=2198644 memory=2150032 CPUtime=6.27 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 443824 0 0 0 547 80 0 0 20 0 1 0 188925015 2251411456 537508 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 549661 537508 2686 3032 0 546061 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2198644 KiB
Current children cumulated memory: 2150032 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.18 4.13 5/245 991323
/proc/meminfo: memFree=124111640/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=2198644 memory=2150128 CPUtime=12.65 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 444007 0 0 0 1183 82 0 0 20 0 1 0 188925015 2251411456 537532 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 549661 537532 2686 3032 0 546061 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2198644 KiB
Current children cumulated memory: 2150128 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.17 4.13 5/247 991327
/proc/meminfo: memFree=122994132/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=2674904 memory=2638736 CPUtime=25.42 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 618539 0 0 0 2432 110 0 0 20 0 1 0 188925015 2739101696 659684 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 668726 659684 2718 3032 0 665126 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2674904 KiB
Current children cumulated memory: 2638736 KiB
[startup+51.1128 s]
/proc/loadavg: 4.20 4.17 4.13 5/245 991376
/proc/meminfo: memFree=121711656/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251312 memory=3801896 CPUtime=50.96 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 746760 0 0 0 4954 142 0 0 20 0 1 0 188925015 4353343488 950474 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062828 950474 2766 3032 0 1059228 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4251312 KiB
Current children cumulated memory: 3801896 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/245 991434
/proc/meminfo: memFree=118650448/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251316 memory=3836928 CPUtime=102.02 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 746839 0 0 0 10056 146 0 0 20 0 1 0 188925015 4353347584 959232 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062829 959232 2766 3032 0 1059229 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 4251316 KiB
Current children cumulated memory: 3836928 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/245 991444
/proc/meminfo: memFree=116521624/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251320 memory=3857980 CPUtime=161.86 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 747312 0 0 0 16037 149 0 0 20 0 1 0 188925015 4353351680 964495 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062830 964495 2766 3032 0 1059230 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 4251320 KiB
Current children cumulated memory: 3857980 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/245 991455
/proc/meminfo: memFree=116423228/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251320 memory=3857980 CPUtime=221.72 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 747368 0 0 0 22021 151 0 0 20 0 1 0 188925015 4353351680 964495 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062830 964495 2766 3032 0 1059230 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 4251320 KiB
Current children cumulated memory: 3857980 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/245 991465
/proc/meminfo: memFree=116359112/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251324 memory=3857984 CPUtime=281.57 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 747417 0 0 0 28004 153 0 0 20 0 1 0 188925015 4353355776 964496 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062831 964496 2766 3032 0 1059231 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 4251324 KiB
Current children cumulated memory: 3857984 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/243 991476
/proc/meminfo: memFree=116324860/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251324 memory=3857988 CPUtime=341.42 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 747473 0 0 0 33987 155 0 0 20 0 1 0 188925015 4353355776 964497 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062831 964497 2766 3032 0 1059231 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 4251324 KiB
Current children cumulated memory: 3857988 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/243 991486
/proc/meminfo: memFree=116278200/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251324 memory=3857988 CPUtime=401.28 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 747533 0 0 0 39971 157 0 0 20 0 1 0 188925015 4353355776 964497 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062831 964497 2766 3032 0 1059231 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 4251324 KiB
Current children cumulated memory: 3857988 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.11 5/243 991496
/proc/meminfo: memFree=116235088/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=4251328 memory=3857992 CPUtime=461.13 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 747579 0 0 0 45954 159 0 0 20 0 1 0 188925015 4353359872 964498 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1062832 964498 2766 3032 0 1059232 0
################
# More data... #
################
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4284523 0 0 0 332885 505 0 0 20 0 3 0 188925015 8635346944 1969707 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1969707 2894 3032 0 2080714 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=7878828 CPUtime=914.16 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3410508 0 0 0 91123 293 0 0 20 0 3 0 189167440 8635346944 1969707 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=7878828 CPUtime=0.01 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 211 0 0 0 0 1 0 0 20 0 3 0 189167688 8635346944 1969707 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7878828 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/239 993235
/proc/meminfo: memFree=112843140/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7879852 CPUtime=3393.66 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4372683 0 0 0 338853 513 0 0 20 0 3 0 188925015 8635346944 1969963 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1969963 2894 3032 0 2080970 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=7878828 CPUtime=973.92 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3498656 0 0 0 97091 301 0 0 20 0 3 0 189167440 8635346944 1969963 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=7878828 CPUtime=0.01 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 223 0 0 0 0 1 0 0 20 0 3 0 189167688 8635346944 1969963 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7879852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.16 4.16 6/246 993258
/proc/meminfo: memFree=105811340/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7882348 CPUtime=3453.4 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4449715 0 0 0 344818 522 0 0 20 0 3 0 188925015 8635346944 1970587 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1970587 2894 3032 0 2081594 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=7879852 CPUtime=1033.65 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3575673 0 0 0 103056 309 0 0 20 0 3 0 189167440 8635346944 1970587 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=7882348 CPUtime=0.01 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 238 0 0 0 0 1 0 0 20 0 3 0 189167688 8635346944 1970587 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7882348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/245 993268
/proc/meminfo: memFree=100922608/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7885868 CPUtime=3513.09 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4518835 0 0 0 350779 530 0 0 20 0 3 0 188925015 8635346944 1971467 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1971467 2894 3032 0 2082474 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=7882348 CPUtime=1093.34 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3644778 0 0 0 109017 317 0 0 20 0 3 0 189167440 8635346944 1971467 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=7884268 CPUtime=0.01 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 253 0 0 0 0 1 0 0 20 0 3 0 189167688 8635346944 1971467 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3513.09 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7885868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/248 993283
/proc/meminfo: memFree=100869560/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7890996 CPUtime=3572.71 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4607517 0 0 0 356731 540 0 0 20 0 3 0 188925015 8635346944 1972749 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1972749 2894 3032 0 2084121 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=7889332 CPUtime=1152.96 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3733448 0 0 0 114969 327 0 0 20 0 3 0 189167440 8635346944 1972749 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=11464 CPUtime=0.02 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 265 0 0 0 0 2 0 0 20 0 3 0 189167688 8635346944 1972749 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7890996 KiB
[startup+3605.67 s]
# the end of solver process 991319 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.99 s, system=5.96193 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.15 5/248 993284
/proc/meminfo: memFree=100869412/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7891000 CPUtime=3574.4 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4613933 0 0 0 356900 540 0 0 20 0 3 0 188925015 8635346944 1972750 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1972750 2894 3032 0 2084121 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=-9032365329549140668 CPUtime=1154.66 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3739864 0 0 0 115138 328 0 0 20 0 3 0 189167440 8635346944 1972750 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=11044 CPUtime=0.02 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 265 0 0 0 0 2 0 0 20 0 3 0 189167688 8635346944 1972750 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3574.4 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7891000 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.14 4.15 5/248 993285
/proc/meminfo: memFree=100863308/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7891020 CPUtime=3587.11 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4619728 0 0 0 358170 541 0 0 20 0 3 0 188925015 8635346944 1972755 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1972755 2894 3032 0 2084121 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=2 CPUtime=1167.36 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3745654 0 0 0 116408 328 0 0 20 0 3 0 189167440 8635346944 1972755 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=44344 CPUtime=0.02 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 270 0 0 0 0 2 0 0 20 0 3 0 189167688 8635346944 1972755 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3587.11 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7891020 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.14 4.15 5/248 993285
/proc/meminfo: memFree=100861288/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8432956 memory=7891028 CPUtime=3590.31 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 4620717 0 0 0 358489 542 0 0 20 0 3 0 188925015 8635346944 1972757 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2108239 1972757 2894 3032 0 2084121 0
[pid=991319/tid=992416] ppid=991316 vsize=8432956 memory=-9032365329549140668 CPUtime=1170.56 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 3747272 0 0 0 116727 329 0 0 20 0 3 0 189167440 8635346944 1972757 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8432956 memory=-8549727012430660247 CPUtime=0.02 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 270 0 0 0 0 2 0 0 20 0 3 0 189167688 8635346944 1972757 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3590.31 s
Current children cumulated vsize: 8432956 KiB
Current children cumulated memory: 7891028 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.14 4.15 6/248 993287
/proc/meminfo: memFree=100929908/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=8335856 memory=7820096 CPUtime=3593.48 cores=5,7
/proc/991319/stat : 991319 (fscip) S 991316 991319 988413 0 -1 1077936128 5278503 0 0 0 358770 578 0 0 20 0 3 0 188925015 8535916544 1955024 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 2083964 1955024 2894 3032 0 2066022 0
[pid=991319/tid=992416] ppid=991316 vsize=8335856 memory=2216 CPUtime=1173.73 cores=5,7
/proc/991319/task/992416/stat : 992416 (fscip) R 991316 991319 988413 0 -1 4194368 4404467 0 0 0 117008 365 0 0 20 0 3 0 189167440 8535916544 1955024 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
[pid=991319/tid=992417] ppid=991316 vsize=8335856 memory=32144 CPUtime=0.02 cores=5,7
/proc/991319/task/992417/stat : 992417 (fscip) S 991316 991319 988413 0 -1 1077936192 270 0 0 0 0 2 0 0 20 0 3 0 189167688 8535916544 1955024 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
Current children cumulated CPU time: 3593.48 s
Current children cumulated vsize: 8335856 KiB
Current children cumulated memory: 7820096 KiB
[startup+3604.8 s]
/proc/loadavg: 4.11 4.14 4.15 5/246 993287
/proc/meminfo: memFree=101353720/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=7877104 memory=7397832 CPUtime=3595.07 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 5294413 0 0 0 358927 580 0 0 20 0 1 0 188925015 8066154496 1849458 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1969276 1849458 2942 3032 0 1954295 0
Current children cumulated CPU time: 3595.07 s
Current children cumulated vsize: 7877104 KiB
Current children cumulated memory: 7397832 KiB
[startup+3605.2 s]
/proc/loadavg: 4.11 4.14 4.15 5/246 993287
/proc/meminfo: memFree=101353660/131655788 swapFree=131071996/131071996
[pid=991319] ppid=991316 vsize=7866208 memory=7387904 CPUtime=3595.47 cores=5,7
/proc/991319/stat : 991319 (fscip) R 991316 991319 988413 0 -1 4194304 5294699 0 0 0 358967 580 0 0 20 0 1 0 188925015 8054996992 1846976 134679101440 4194304 16613245 140725469589728 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39694336 140725469594644 140725469594760 140725469594760 140725469601776 0
/proc/991319/statm: 1966552 1846976 2942 3032 0 1951571 0
Current children cumulated CPU time: 3595.47 s
Current children cumulated vsize: 7866208 KiB
Current children cumulated memory: 7387904 KiB
[startup+3605.6 s]*
/proc/loadavg: 4.11 4.14 4.15 5/246 993287
/proc/meminfo: memFree=106576920/131655788 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): 3605.67
CPU time (s): 3595.95
CPU user time (s): 3589.99
CPU system time (s): 5.96193
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 8432956
Max. memory (cumulated for all children) (KiB): 7891028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.99
system time used= 5.96193
maximum resident set size= 7891028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5301028
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= 1231
involuntary context switches= 1638
# summary of solver processes directly reported to runsolver:
# pid: 991319
# total CPU time (s): 3595.95
# total CPU user time (s): 3589.99
# total CPU system time (s): 5.96193
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.22 second user time and 35.1365 second system time
The end
Begin job on nodeC009 at 2024-07-19 07:41:06
IDJOB=4449050
IDBENCH=160479
IDSOLVER=3064
FILE ID=nodeC009/4449050-1721367654
RUNJOBID= nodeC009-1721363855-988426
SLURM_JOB_ID= 7542791
Free space on /tmp= 723644 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm90p-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-4449050-1721367654/watcher-4449050-1721367654 -o /tmp/evaluation-result-4449050-1721367654/solver-4449050-1721367654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449050-1721367654.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01718154630a65d8782d403c9002f363
RANDOM SEED=2111968109
nodeC009.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 : 0xb00001f
cpu MHz : 3670.661
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.883
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.348
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.665
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2289.993
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.335
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126268632 kB
MemAvailable: 127219940 kB
Buffers: 551988 kB
Cached: 1236440 kB
SwapCached: 0 kB
Active: 1094240 kB
Inactive: 3740760 kB
Active(anon): 1452 kB
Inactive(anon): 3082828 kB
Active(file): 1092788 kB
Inactive(file): 657932 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57504 kB
Writeback: 4 kB
AnonPages: 3046648 kB
Mapped: 140608 kB
Shmem: 37700 kB
KReclaimable: 81240 kB
Slab: 181112 kB
SReclaimable: 81240 kB
SUnreclaim: 99872 kB
KernelStack: 3936 kB
PageTables: 15316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3350284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 671744 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723504 MiB
End job on nodeC009 at 2024-07-19 08:41:12