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)
12.45/12.53 c Default LC presolving (default).
12.45/12.57 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336302, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
12.45/12.57 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
99.85/100.28 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844236, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
99.85/100.28 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
99.85/100.28 c Original Problem :
99.85/100.28 c Problem name : instance-4434904-1721144934
99.85/100.28 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
99.85/100.28 c Constraints : 2000307
99.85/100.28 c Objective sense : minimize
99.85/100.28 c Presolved Problem :
99.85/100.28 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
99.85/100.28 c Constraints : 500454
99.85/100.28 c Constraints : Number
99.85/100.28 c knapsack : 5250
99.85/100.28 c setppc : 101
99.85/100.28 c and : 490050
99.85/100.28 c linear : 3
99.85/100.28 c logicor : 5050
99.85/100.28 c ** Instance transfer method used: 0
101.94/102.30 c ** ParaScipInstance copy does not increase the number of variables. **
104.33/104.76 c LC is working with racing ramp-up and with rebuilding tree after racing.
104.33/104.76 c Nodes Active
104.33/104.76 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3588.17/3601.79 c 3602 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3593.96/3607.51 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.96/3607.51 c Total Time : 3607.5000
3593.96/3607.51 c solving : 3607.5000
3593.96/3607.51 c presolving : 87.7086 (included in solving)
3593.96/3607.51 c B&B Tree :
3593.96/3607.51 c nodes (total) : 1
3593.96/3607.51 c Solution :
3593.96/3607.51 c Solutions found : 0
3593.96/3607.51 c Primal Bound : -
3593.96/3607.51 c Dual Bound : -
3593.96/3607.51 c Gap : -
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 (60189 MiB free)
memory of node 1: 64510 MiB (47602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434904-1721144934/watcher-4434904-1721144934 -o /tmp/evaluation-result-4434904-1721144934/solver-4434904-1721144934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721142923-851676 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434904-1721144934.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=852864, runsolver pid=852861
[startup+0.100098 s]*
/proc/loadavg: 4.39 4.28 4.00 5/247 852865
/proc/meminfo: memFree=110326808/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=78208 memory=64904 CPUtime=0.1 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 14178 0 0 0 9 1 0 0 20 0 1 0 166649997 80084992 16226 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 19552 16226 2318 3032 0 15952 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 78208 KiB
Current children cumulated memory: 64904 KiB
[startup+0.212923 s]*
/proc/loadavg: 4.39 4.28 4.00 5/247 852865
/proc/meminfo: memFree=110277584/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=128048 memory=114460 CPUtime=0.21 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 26500 0 0 0 18 3 0 0 20 0 1 0 166649997 131121152 28549 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 32012 28615 2318 3032 0 28412 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 128048 KiB
Current children cumulated memory: 114460 KiB
[startup+0.312761 s]*
/proc/loadavg: 4.39 4.28 4.00 5/247 852865
/proc/meminfo: memFree=110232444/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=171248 memory=158424 CPUtime=0.32 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 37530 0 0 0 27 5 0 0 20 0 1 0 166649997 175357952 39606 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 42812 39606 2318 3032 0 39212 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 171248 KiB
Current children cumulated memory: 158424 KiB
[startup+0.700289 s]
/proc/loadavg: 4.39 4.28 4.00 5/247 852865
/proc/meminfo: memFree=110146632/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=334440 memory=321088 CPUtime=0.69 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 78139 0 0 0 58 11 0 0 20 0 1 0 166649997 342466560 80206 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 83610 80272 2318 3032 0 80010 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 334440 KiB
Current children cumulated memory: 321088 KiB
[startup+1.50029 s]
/proc/loadavg: 4.39 4.28 4.00 5/247 852865
/proc/meminfo: memFree=109936128/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=679908 memory=666864 CPUtime=1.49 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 163551 0 0 0 127 22 0 0 20 0 1 0 166649997 696225792 166650 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 169977 166650 2318 3032 0 166377 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 679908 KiB
Current children cumulated memory: 666864 KiB
[startup+3.11266 s]
/proc/loadavg: 4.39 4.28 4.00 5/247 852865
/proc/meminfo: memFree=109075716/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=1365240 memory=1351564 CPUtime=3.09 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 331211 0 0 0 261 48 0 0 20 0 1 0 166649997 1398005760 337891 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 341310 337891 2318 3032 0 337710 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1365240 KiB
Current children cumulated memory: 1351564 KiB
[startup+6.30031 s]
/proc/loadavg: 4.36 4.28 4.00 5/247 852865
/proc/meminfo: memFree=108395820/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=2015328 memory=2001864 CPUtime=6.27 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 473914 0 0 0 558 69 0 0 20 0 1 0 166649997 2063695872 500466 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 503832 500466 2318 3032 0 500232 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2015328 KiB
Current children cumulated memory: 2001864 KiB
[startup+12.7003 s]
/proc/loadavg: 4.33 4.27 4.00 5/247 852867
/proc/meminfo: memFree=105806756/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=4887744 memory=4835596 CPUtime=12.65 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 1092098 0 0 0 1103 162 0 0 20 0 1 0 166649997 5005049856 1208899 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 1221936 1208899 2590 3032 0 1218336 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4887744 KiB
Current children cumulated memory: 4835596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.26 4.00 5/247 852868
/proc/meminfo: memFree=103540656/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=6912524 memory=6832816 CPUtime=25.41 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 1194376 0 0 0 2305 236 0 0 20 0 1 0 166649997 7078424576 1708204 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 1728131 1708204 2702 3032 0 1724531 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 6912524 KiB
Current children cumulated memory: 6832816 KiB
[startup+51.1127 s]
/proc/loadavg: 4.25 4.26 4.01 5/247 852873
/proc/meminfo: memFree=102589620/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=7846584 memory=7769652 CPUtime=50.93 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 1547649 0 0 0 4789 304 0 0 20 0 1 0 166649997 8034902016 1942413 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 1961646 1942413 2734 3032 0 1958046 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7769652 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.23 4.01 5/251 852887
/proc/meminfo: memFree=101551988/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=9176936 memory=8315796 CPUtime=101.94 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 1706696 0 0 0 9856 338 0 0 20 0 2 0 166649997 9397182464 2078949 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 2294234 2078949 2782 3032 0 2274282 0
[pid=852864/tid=852887] ppid=852861 vsize=9176936 memory=11600 CPUtime=0 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) S 852861 852864 851666 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 166660025 9397182464 2077896 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 9176936 KiB
Current children cumulated memory: 8315796 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.20 4.01 5/252 852898
/proc/meminfo: memFree=97127992/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13679264 memory=13203284 CPUtime=161.74 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 3126944 0 0 0 15615 559 0 0 20 0 3 0 166649997 14007566336 3300821 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3419816 3300821 2830 3032 0 3389436 0
[pid=852864/tid=852887] ppid=852861 vsize=13679264 memory=11403560 CPUtime=59.79 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 1419705 0 0 0 5759 220 0 0 20 0 3 0 166660025 14007566336 3300821 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13679264 memory=11226984 CPUtime=0 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 166660478 14007566336 3300821 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13203284 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.18 4.01 5/252 852909
/proc/meminfo: memFree=97124552/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13679264 memory=13203460 CPUtime=221.51 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 3411667 0 0 0 21574 577 0 0 20 0 3 0 166649997 14007566336 3300865 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3419816 3300865 2830 3032 0 3389436 0
[pid=852864/tid=852887] ppid=852861 vsize=13679264 memory=13203432 CPUtime=119.55 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 1704420 0 0 0 11718 237 0 0 20 0 3 0 166660025 14007566336 3300865 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13679264 memory=13203460 CPUtime=0 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 166660478 14007566336 3300865 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13203460 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.16 4.01 5/252 852919
/proc/meminfo: memFree=96806828/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13679264 memory=13203476 CPUtime=281.3 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 3709367 0 0 0 27536 594 0 0 20 0 3 0 166649997 14007566336 3300869 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3419816 3300869 2830 3032 0 3389436 0
[pid=852864/tid=852887] ppid=852861 vsize=13679264 memory=13203476 CPUtime=179.34 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 2002098 0 0 0 17680 254 0 0 20 0 3 0 166660025 14007566336 3300869 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13679264 memory=41788 CPUtime=0 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 166660478 14007566336 3300869 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13203476 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.01 5/252 852929
/proc/meminfo: memFree=96789816/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13679264 memory=13215228 CPUtime=341.09 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 4099795 0 0 0 33492 617 0 0 20 0 3 0 166649997 14007566336 3303807 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3419816 3303807 2830 3032 0 3392365 0
[pid=852864/tid=852887] ppid=852861 vsize=13679264 memory=13207572 CPUtime=239.14 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 2392509 0 0 0 23636 278 0 0 20 0 3 0 166660025 14007566336 3303807 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13679264 memory=13213180 CPUtime=0 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 166660478 14007566336 3303807 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 13679264 KiB
################
# More data... #
################
[pid=852864/tid=852888] ppid=852861 vsize=13810336 memory=13365556 CPUtime=0.05 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1028 0 0 0 1 4 0 0 20 0 3 0 166660478 14141784064 3341397 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3030.79 s
Current children cumulated vsize: 13810336 KiB
Current children cumulated memory: 13365588 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.14 5/252 854847
/proc/meminfo: memFree=88352508/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13810336 memory=13368188 CPUtime=3090.57 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 11320315 0 0 0 307831 1226 0 0 20 0 3 0 166649997 14141784064 3342047 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3452584 3342047 2830 3032 0 3430097 0
[pid=852864/tid=852887] ppid=852861 vsize=13810336 memory=11600 CPUtime=2988.55 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 9612035 0 0 0 297973 882 0 0 20 0 3 0 166660025 14141784064 3342047 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13810336 memory=13368188 CPUtime=0.05 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1049 0 0 0 1 4 0 0 20 0 3 0 166660478 14141784064 3342047 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3090.57 s
Current children cumulated vsize: 13810336 KiB
Current children cumulated memory: 13368188 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/252 854857
/proc/meminfo: memFree=88344988/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13370212 CPUtime=3150.34 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 11420334 0 0 0 313797 1237 0 0 20 0 3 0 166649997 14208892928 3342553 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3342553 2830 3032 0 3430578 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13368196 CPUtime=3048.32 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 9712030 0 0 0 303938 894 0 0 20 0 3 0 166660025 14208892928 3342553 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=13370208 CPUtime=0.05 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1073 0 0 0 1 4 0 0 20 0 3 0 166660478 14208892928 3342553 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3150.34 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13370212 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/252 854867
/proc/meminfo: memFree=88336284/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13373832 CPUtime=3210.12 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 11545495 0 0 0 319765 1247 0 0 20 0 3 0 166649997 14208892928 3343458 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3343458 2830 3032 0 3431458 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13371840 CPUtime=3108.1 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 9837174 0 0 0 309907 903 0 0 20 0 3 0 166660025 14208892928 3343458 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=13373832 CPUtime=0.05 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1090 0 0 0 1 4 0 0 20 0 3 0 166660478 14208892928 3343458 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3210.12 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13373832 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/252 854877
/proc/meminfo: memFree=88326180/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13379236 CPUtime=3269.91 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 11667492 0 0 0 325732 1259 0 0 20 0 3 0 166649997 14208892928 3344809 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3344809 2830 3032 0 3433137 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13378656 CPUtime=3167.88 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 9959148 0 0 0 315873 915 0 0 20 0 3 0 166660025 14208892928 3344809 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=11600 CPUtime=0.06 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1113 0 0 0 2 4 0 0 20 0 3 0 166660478 14208892928 3344809 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3269.91 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13379236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/252 854887
/proc/meminfo: memFree=88318548/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13381876 CPUtime=3329.69 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 11774268 0 0 0 331698 1271 0 0 20 0 3 0 166649997 14208892928 3345469 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3345469 2830 3032 0 3433537 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13380860 CPUtime=3227.67 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 10065901 0 0 0 321839 928 0 0 20 0 3 0 166660025 14208892928 3345469 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=13380856 CPUtime=0.06 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1136 0 0 0 2 4 0 0 20 0 3 0 166660478 14208892928 3345469 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3329.69 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13381876 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/249 854899
/proc/meminfo: memFree=88306572/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13389300 CPUtime=3389.48 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 11900553 0 0 0 337663 1285 0 0 20 0 3 0 166649997 14208892928 3347325 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3347325 2830 3032 0 3434161 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13380860 CPUtime=3287.46 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 10192169 0 0 0 327805 941 0 0 20 0 3 0 166660025 14208892928 3347325 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=11600 CPUtime=0.06 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1153 0 0 0 2 4 0 0 20 0 3 0 166660478 14208892928 3347325 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3389.48 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13389300 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/249 854909
/proc/meminfo: memFree=88297216/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13392884 CPUtime=3449.27 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 12004525 0 0 0 343629 1298 0 0 20 0 3 0 166649997 14208892928 3348221 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3348221 2830 3032 0 3435041 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13380860 CPUtime=3347.25 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 10296118 0 0 0 333771 954 0 0 20 0 3 0 166660025 14208892928 3348221 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=13392844 CPUtime=0.06 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1176 0 0 0 2 4 0 0 20 0 3 0 166660478 14208892928 3348221 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3449.27 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13392884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/249 854919
/proc/meminfo: memFree=88287124/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13395408 CPUtime=3509.06 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 12131820 0 0 0 349594 1312 0 0 20 0 3 0 166649997 14208892928 3348852 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3348852 2830 3032 0 3435665 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=13392892 CPUtime=3407.03 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 10423396 0 0 0 339735 968 0 0 20 0 3 0 166660025 14208892928 3348852 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=32180 CPUtime=0.07 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1193 0 0 0 2 5 0 0 20 0 3 0 166660478 14208892928 3348852 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3509.06 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13395408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.13 4.12 5/249 854929
/proc/meminfo: memFree=88282016/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=13875872 memory=13397360 CPUtime=3568.85 cores=0,2
/proc/852864/stat : 852864 (fscip) S 852861 852864 851666 0 -1 1077936128 12252277 0 0 0 355562 1323 0 0 20 0 3 0 166649997 14208892928 3349340 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 3468968 3349340 2830 3032 0 3436145 0
[pid=852864/tid=852887] ppid=852861 vsize=13875872 memory=41788 CPUtime=3466.82 cores=0,2
/proc/852864/task/852887/stat : 852887 (fscip) R 852861 852864 851666 0 -1 4194368 10543830 0 0 0 345703 979 0 0 20 0 3 0 166660025 14208892928 3349340 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
[pid=852864/tid=852888] ppid=852861 vsize=13875872 memory=-6296712229658213227 CPUtime=0.07 cores=0,2
/proc/852864/task/852888/stat : 852888 (fscip) S 852861 852864 851666 0 -1 1077936192 1216 0 0 0 2 5 0 0 20 0 3 0 166660478 14208892928 3349340 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
Current children cumulated CPU time: 3568.85 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13397360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.12 4.12 4.12 5/247 854935
/proc/meminfo: memFree=93143216/131655788 swapFree=131071996/131071996
[pid=852864] ppid=852861 vsize=8019940 memory=7632640 CPUtime=3600.02 cores=0,2
/proc/852864/stat : 852864 (fscip) R 852861 852864 851666 0 -1 4194304 13993187 0 0 0 358550 1452 0 0 20 0 1 0 166649997 8212418560 1908160 134679101440 4194304 16613245 140732918354032 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25329664 140732918363157 140732918363273 140732918363273 140732918370288 0
/proc/852864/statm: 2004985 1908160 2878 3032 0 1982180 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 8019940 KiB
Current children cumulated memory: 7632640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.69 s]
# the end of solver process 852864 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3585.5 s, system=14.6142 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3613.69
CPU time (s): 3600.12
CPU user time (s): 3585.5
CPU system time (s): 14.6142
CPU usage (%): 99.6243
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13466500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.5
system time used= 14.6142
maximum resident set size= 13466500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13993294
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= 3904
involuntary context switches= 24674
# summary of solver processes directly reported to runsolver:
# pid: 852864
# total CPU time (s): 3600.12
# total CPU user time (s): 3585.5
# total CPU system time (s): 14.6142
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.69 second user time and 36.1099 second system time
The end
Begin job on nodeC008 at 2024-07-16 17:49:08
IDJOB=4434904
IDBENCH=155752
IDSOLVER=3064
FILE ID=nodeC008/4434904-1721144934
RUNJOBID= nodeC008-1721142923-851676
SLURM_JOB_ID= 7505729
Free space on /tmp= 723468 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_7_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-4434904-1721144934/watcher-4434904-1721144934 -o /tmp/evaluation-result-4434904-1721144934/solver-4434904-1721144934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721142923-851676 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434904-1721144934.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a79b156993afc0744effacd0e3c6c3c8
RANDOM SEED=2009173636
nodeC008.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 : 3492.319
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 : 6983.91
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 : 3491.958
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.371
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 : 6983.91
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.410
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3682.880
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 : 6983.91
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 : 3542.935
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.934
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 : 6983.91
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.559
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 110379316 kB
MemAvailable: 111038212 kB
Buffers: 440768 kB
Cached: 1057464 kB
SwapCached: 0 kB
Active: 827732 kB
Inactive: 19880092 kB
Active(anon): 1476 kB
Inactive(anon): 19245812 kB
Active(file): 826256 kB
Inactive(file): 634280 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 128236 kB
Writeback: 0 kB
AnonPages: 19209584 kB
Mapped: 139568 kB
Shmem: 37704 kB
KReclaimable: 76784 kB
Slab: 171724 kB
SReclaimable: 76784 kB
SUnreclaim: 94940 kB
KernelStack: 3968 kB
PageTables: 47272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 11934704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6162432 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723364 MiB
End job on nodeC008 at 2024-07-16 18:49:22