0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
2.68/2.73 c Default LC presolving (default).
2.68/2.73 c ** Before presolving: virtualMemUsedAtLc = 2356823894, getVmSize() = 1738772480, SCIPgetMemUsed() = 1683103106, SCIPgetMemTotal() = 1697263362, SCIPgetMemExternEstim() = 659560532
2.68/2.73 c ** set memory limit for presolving in LC to 8.79539e+12 for SCIP **
3265.67/3279.21 c ** Estimated virtualMemUsedAtSolver = 3339075124, getVmSize() = 4664475648, SCIPgetMemUsed() = 3253023691, SCIPgetMemTotal() = 4349052155, SCIPgetMemExternEstim() = 659560532
3265.67/3279.21 c ** set memory limit for solvers to 4.39795e+12 for each SCIP **
3265.67/3279.21 c Original Problem :
3265.67/3279.21 c Problem name : instance-4464529-1722385958
3265.67/3279.21 c Variables : 693504 (693504 binary, 0 integer, 0 implicit integer, 0 continuous)
3265.67/3279.21 c Constraints : 5930
3265.67/3279.21 c Objective sense : minimize
3265.67/3279.21 c Presolved Problem :
3265.67/3279.21 c Variables : 691315 (691315 binary, 0 integer, 0 implicit integer, 0 continuous)
3265.67/3279.21 c Constraints : 3294
3265.67/3279.21 c Constraints : Number
3265.67/3279.21 c knapsack : 512
3265.67/3279.21 c setppc : 2708
3265.67/3279.21 c orbitope : 74
3265.67/3279.21 c ** Instance transfer method used: 0
3266.67/3280.22 c ** ParaScipInstance copy increased the number of variables. **
3267.76/3281.33 c LC is working with racing ramp-up and with rebuilding tree after racing.
3267.76/3281.33 c Nodes Active
3267.76/3281.33 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3582.06/3598.14 c 3598 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3584.85/3600.92 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.85/3600.92 c Total Time : 3600.9200
3584.85/3600.92 c solving : 3600.9200
3584.85/3600.92 c presolving : 3276.4751 (included in solving)
3584.85/3600.92 c B&B Tree :
3584.85/3600.92 c nodes (total) : 1
3584.85/3600.92 c Solution :
3584.85/3600.92 c Solutions found : 0
3584.85/3600.92 c Primal Bound : -
3584.85/3600.92 c Dual Bound : -
3584.85/3600.92 c Gap : -
3586.63/3602.79 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 (46867 MiB free)
memory of node 1: 64510 MiB (63166 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464529-1722385958/watcher-4464529-1722385958 -o /tmp/evaluation-result-4464529-1722385958/solver-4464529-1722385958 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30926 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464529-1722385958.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35577, runsolver pid=35574
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.16 4.12 5/267 35578
/proc/meminfo: memFree=112571596/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=130680 memory=117756 CPUtime=0.09 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 27305 0 0 0 5 4 0 0 20 0 1 0 5191489 133816320 29439 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 32670 29439 2347 3035 0 29066 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130680 KiB
Current children cumulated memory: 117756 KiB
[startup+0.20581 s]*
/proc/loadavg: 4.20 4.16 4.12 5/267 35578
/proc/meminfo: memFree=112469628/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=231016 memory=218632 CPUtime=0.2 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 52515 0 0 0 12 8 0 0 20 0 1 0 5191489 236560384 54658 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 57754 54658 2347 3035 0 54150 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 231016 KiB
Current children cumulated memory: 218632 KiB
[startup+0.305744 s]*
/proc/loadavg: 4.20 4.16 4.12 5/267 35578
/proc/meminfo: memFree=112376168/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=324896 memory=310868 CPUtime=0.3 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 75087 0 0 0 18 12 0 0 20 0 1 0 5191489 332693504 77717 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 81224 77717 2347 3035 0 77620 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 324896 KiB
Current children cumulated memory: 310868 KiB
[startup+0.70023 s]
/proc/loadavg: 4.18 4.16 4.12 5/267 35578
/proc/meminfo: memFree=112197568/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=693712 memory=680840 CPUtime=0.68 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 165522 0 0 0 45 23 0 0 20 0 1 0 5191489 710361088 170210 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 173428 170210 2347 3035 0 169824 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 693712 KiB
Current children cumulated memory: 680840 KiB
[startup+1.50024 s]
/proc/loadavg: 4.18 4.16 4.12 5/267 35578
/proc/meminfo: memFree=111974260/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=856732 memory=841108 CPUtime=1.48 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 207952 0 0 0 117 31 0 0 20 0 1 0 5191489 877293568 210277 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 214183 210277 2539 3035 0 210579 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 856732 KiB
Current children cumulated memory: 841108 KiB
[startup+3.10586 s]
/proc/loadavg: 4.18 4.16 4.12 5/267 35578
/proc/meminfo: memFree=110922864/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=1786428 memory=1756676 CPUtime=3.09 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 425508 0 0 0 246 63 0 0 20 0 1 0 5191489 1829302272 439169 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 446607 439169 2614 3035 0 443003 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1786428 KiB
Current children cumulated memory: 1756676 KiB
[startup+6.30022 s]
/proc/loadavg: 4.17 4.15 4.12 5/267 35578
/proc/meminfo: memFree=110334256/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=2368444 memory=2328840 CPUtime=6.27 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 479109 0 0 0 541 86 0 0 20 0 1 0 5191489 2425286656 582210 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 592111 582210 2678 3035 0 588507 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2368444 KiB
Current children cumulated memory: 2328840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.12 5/267 35580
/proc/meminfo: memFree=110317216/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=2390060 memory=2339784 CPUtime=12.65 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 480476 0 0 0 1177 88 0 0 20 0 1 0 5191489 2447421440 584946 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 597515 584946 2710 3035 0 593911 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2390060 KiB
Current children cumulated memory: 2339784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.14 4.11 5/267 35582
/proc/meminfo: memFree=110514008/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=2240812 memory=2202976 CPUtime=25.41 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 506001 0 0 0 2447 94 0 0 20 0 1 0 5191489 2294591488 550744 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 560203 550744 2710 3035 0 556599 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2240812 KiB
Current children cumulated memory: 2202976 KiB
[startup+51.1058 s]
/proc/loadavg: 4.19 4.16 4.12 5/266 35586
/proc/meminfo: memFree=108457520/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633268 memory=4113364 CPUtime=50.89 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 802991 0 0 0 4936 153 0 0 20 0 1 0 5191489 4744466432 1028341 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158317 1028341 2774 3035 0 1154713 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 4633268 KiB
Current children cumulated memory: 4113364 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/267 35598
/proc/meminfo: memFree=108306708/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633272 memory=4152428 CPUtime=101.84 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 803070 0 0 0 10028 156 0 0 20 0 1 0 5191489 4744470528 1038107 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158318 1038107 2774 3035 0 1154714 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 4633272 KiB
Current children cumulated memory: 4152428 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.17 4.12 5/263 35609
/proc/meminfo: memFree=108156308/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633276 memory=4179056 CPUtime=161.55 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 803145 0 0 0 15996 159 0 0 20 0 1 0 5191489 4744474624 1044764 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158319 1044764 2774 3035 0 1154715 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 4633276 KiB
Current children cumulated memory: 4179056 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/263 35619
/proc/meminfo: memFree=108034500/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633276 memory=4181068 CPUtime=221.27 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 803717 0 0 0 21965 162 0 0 20 0 1 0 5191489 4744474624 1045267 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158319 1045267 2774 3035 0 1154715 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 4633276 KiB
Current children cumulated memory: 4181068 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/263 35630
/proc/meminfo: memFree=107909492/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633280 memory=4181072 CPUtime=281 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 803798 0 0 0 27935 165 0 0 20 0 1 0 5191489 4744478720 1045268 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158320 1045268 2774 3035 0 1154716 0
Current children cumulated CPU time: 281 s
Current children cumulated vsize: 4633280 KiB
Current children cumulated memory: 4181072 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/262 35690
/proc/meminfo: memFree=121164268/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633280 memory=4181072 CPUtime=340.72 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 803869 0 0 0 33905 167 0 0 20 0 1 0 5191489 4744478720 1045268 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158320 1045268 2774 3035 0 1154716 0
Current children cumulated CPU time: 340.72 s
Current children cumulated vsize: 4633280 KiB
Current children cumulated memory: 4181072 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/261 35701
/proc/meminfo: memFree=121010960/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633280 memory=4181072 CPUtime=400.47 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 803939 0 0 0 39877 170 0 0 20 0 1 0 5191489 4744478720 1045268 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1158320 1045268 2774 3035 0 1154716 0
Current children cumulated CPU time: 400.47 s
Current children cumulated vsize: 4633280 KiB
Current children cumulated memory: 4181072 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 35716
/proc/meminfo: memFree=120898784/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=4633284 memory=4181076 CPUtime=460.23 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 804009 0 0 0 45850 173 0 0 20 0 1 0 5191489 4744482816 1045269 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
################
# More data... #
################
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 2484088 0 0 0 332382 433 0 0 20 0 3 0 5191489 9286127616 2119444 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2119444 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=8477776 CPUtime=61.44 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 1554518 0 0 0 5980 164 0 0 20 0 3 0 5519410 9286127616 2119444 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=31960 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2119444 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3328.15 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8477776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/266 37398
/proc/meminfo: memFree=111664324/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8482140 CPUtime=3387.53 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 2646530 0 0 0 338308 445 0 0 20 0 3 0 5191489 9286127616 2120535 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2120535 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=8479824 CPUtime=120.83 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 1716948 0 0 0 11907 176 0 0 20 0 3 0 5519410 9286127616 2120535 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=11584 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2120535 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3387.53 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8482140 KiB
[startup+3462.3 s]
/proc/loadavg: 3.74 4.06 4.09 3/252 37529
/proc/meminfo: memFree=117893660/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8484188 CPUtime=3446.91 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 2788596 0 0 0 344239 452 0 0 20 0 3 0 5191489 9286127616 2121047 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121047 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=8483164 CPUtime=180.21 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 1859002 0 0 0 17838 183 0 0 20 0 3 0 5519410 9286127616 2121047 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=8483164 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121047 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3446.91 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8484188 KiB
[startup+3522.3 s]
/proc/loadavg: 2.75 3.71 3.97 3/251 37541
/proc/meminfo: memFree=117892684/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8484764 CPUtime=3506.51 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 2941579 0 0 0 350191 460 0 0 20 0 3 0 5191489 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121191 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=8483164 CPUtime=239.81 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 2011973 0 0 0 23790 191 0 0 20 0 3 0 5519410 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=8484764 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3506.51 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8484764 KiB
[startup+3582.3 s]
/proc/loadavg: 2.61 3.49 3.87 3/251 37552
/proc/meminfo: memFree=117889336/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8484764 CPUtime=3566.31 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 3147379 0 0 0 356159 472 0 0 20 0 3 0 5191489 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121191 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=8484764 CPUtime=299.6 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 2217761 0 0 0 29757 203 0 0 20 0 3 0 5519410 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=12936 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3566.31 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8484764 KiB
[startup+3602.88 s]
# the end of solver process 35577 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.53 s, system=5.28404 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.61 3.49 3.87 3/251 37552
/proc/meminfo: memFree=117889336/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8484764 CPUtime=3568.01 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 3147617 0 0 0 356329 472 0 0 20 0 3 0 5191489 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121191 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=2752 CPUtime=301.3 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 2217997 0 0 0 29927 203 0 0 20 0 3 0 5519410 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=13688 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3568.01 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8484764 KiB
[startup+3590.4 s]
/proc/loadavg: 2.56 3.47 3.86 3/251 37553
/proc/meminfo: memFree=117887316/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8484764 CPUtime=3574.39 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 3149387 0 0 0 356966 473 0 0 20 0 3 0 5191489 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121191 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=12672 CPUtime=307.68 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 2219763 0 0 0 30564 204 0 0 20 0 3 0 5519410 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=8484764 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3574.39 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8484764 KiB
[startup+3596.8 s]
/proc/loadavg: 2.52 3.44 3.85 3/251 37553
/proc/meminfo: memFree=117887324/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8484764 CPUtime=3580.76 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 3150476 0 0 0 357603 473 0 0 20 0 3 0 5191489 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121191 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=8484764 CPUtime=314.06 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 2220852 0 0 0 31202 204 0 0 20 0 3 0 5519410 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=12672 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121191 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8484764 KiB
[startup+3600 s]*
/proc/loadavg: 2.55 3.44 3.85 3/251 37555
/proc/meminfo: memFree=117885804/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=9068484 memory=8486024 CPUtime=3583.96 cores=0,2
/proc/35577/stat : 35577 (fscip) S 35574 35577 30916 0 -1 1077936128 3549250 0 0 0 357902 494 0 0 20 0 3 0 5191489 9286127616 2121506 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 2267121 2121506 2934 3035 0 2248243 0
[pid=35577/tid=37204] ppid=35574 vsize=9068484 memory=7686721470247706567 CPUtime=317.25 cores=0,2
/proc/35577/task/37204/stat : 37204 (fscip) R 35574 35577 30916 0 -1 4194368 2619775 0 0 0 31500 225 0 0 20 0 3 0 5519410 9286127616 2121506 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
[pid=35577/tid=37206] ppid=35574 vsize=9068484 memory=4282812866472079008 CPUtime=0 cores=0,2
/proc/35577/task/37206/stat : 37206 (fscip) S 35574 35577 30916 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5519627 9286127616 2121506 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 9068484 KiB
Current children cumulated memory: 8486024 KiB
[startup+3601.6 s]
/proc/loadavg: 2.55 3.44 3.85 3/250 37555
/proc/meminfo: memFree=119558672/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=7326672 memory=6813436 CPUtime=3585.54 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 3885568 0 0 0 358041 513 0 0 20 0 1 0 5191489 7502512128 1703359 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1831668 1703359 2982 3035 0 1821180 0
Current children cumulated CPU time: 3585.54 s
Current children cumulated vsize: 7326672 KiB
Current children cumulated memory: 6813436 KiB
[startup+3602.4 s]
/proc/loadavg: 2.51 3.41 3.84 3/249 37555
/proc/meminfo: memFree=119558700/131524600 swapFree=131071996/131071996
[pid=35577] ppid=35574 vsize=7326672 memory=6813436 CPUtime=3586.33 cores=0,2
/proc/35577/stat : 35577 (fscip) R 35574 35577 30916 0 -1 4194304 3886196 0 0 0 358120 513 0 0 20 0 1 0 5191489 7502512128 1703359 134679101440 4194304 16623229 140720332565232 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26435584 140720332567574 140720332567690 140720332567690 140720332574704 0
/proc/35577/statm: 1831668 1703359 2982 3035 0 1821180 0
Current children cumulated CPU time: 3586.33 s
Current children cumulated vsize: 7326672 KiB
Current children cumulated memory: 6813436 KiB
[startup+3602.8 s]*
/proc/loadavg: 2.51 3.41 3.84 3/249 37555
/proc/meminfo: memFree=123784244/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3602.88
CPU time (s): 3586.81
CPU user time (s): 3581.53
CPU system time (s): 5.28404
CPU usage (%): 99.5541
Max. virtual memory (cumulated for all children) (KiB): 9068484
Max. memory (cumulated for all children) (KiB): 8486024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.53
system time used= 5.28404
maximum resident set size= 8486024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3976978
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= 395
involuntary context switches= 25782
# summary of solver processes directly reported to runsolver:
# pid: 35577
# total CPU time (s): 3586.81
# total CPU user time (s): 3581.53
# total CPU system time (s): 5.28404
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83664 second user time and 16.343 second system time
The end
Begin job on nodeC014 at 2024-07-31 02:32:39
IDJOB=4464529
IDBENCH=160481
IDSOLVER=3092
FILE ID=nodeC014/4464529-1722385958
RUNJOBID= nodeC014-1722378594-30926
SLURM_JOB_ID= 8249827
Free space on /tmp= 889872 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm100p-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-4464529-1722385958/watcher-4464529-1722385958 -o /tmp/evaluation-result-4464529-1722385958/solver-4464529-1722385958 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30926 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464529-1722385958.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7aedd7c3672972b6263e08c161e73d18
RANDOM SEED=99795441
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 : 3663.869
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 : 3686.306
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 : 3672.120
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.261
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 : 3673.140
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 : 3686.299
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 : 3602.212
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.088
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: 112674992 kB
MemAvailable: 115985704 kB
Buffers: 105088 kB
Cached: 4001504 kB
SwapCached: 0 kB
Active: 374544 kB
Inactive: 17886844 kB
Active(anon): 1516 kB
Inactive(anon): 14174608 kB
Active(file): 373028 kB
Inactive(file): 3712236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 60380 kB
Writeback: 0 kB
AnonPages: 14155164 kB
Mapped: 124212 kB
Shmem: 21336 kB
KReclaimable: 130188 kB
Slab: 220172 kB
SReclaimable: 130188 kB
SUnreclaim: 89984 kB
KernelStack: 4288 kB
PageTables: 37160 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 9473008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3035136 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= 889996 MiB
End job on nodeC014 at 2024-07-31 03:32:42