0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
2.47/2.57 c Default LC presolving (default).
2.47/2.57 c ** Before presolving: virtualMemUsedAtLc = 2282733500, getVmSize() = 1686175744, SCIPgetMemUsed() = 1629552082, SCIPgetMemTotal() = 1644833298, SCIPgetMemExternEstim() = 637900202
2.47/2.57 c ** set memory limit for presolving in LC to 8.79541e+12 for SCIP **
2941.46/2952.03 c ** Estimated virtualMemUsedAtSolver = 3256085563, getVmSize() = 4530483200, SCIPgetMemUsed() = 3173696839, SCIPgetMemTotal() = 4246228143, SCIPgetMemExternEstim() = 637900202
2941.46/2952.03 c ** set memory limit for solvers to 4.39795e+12 for each SCIP **
2941.46/2952.03 c Original Problem :
2941.46/2952.03 c Problem name : instance-4449170-1721368437
2941.46/2952.03 c Variables : 670720 (670720 binary, 0 integer, 0 implicit integer, 0 continuous)
2941.46/2952.03 c Constraints : 5752
2941.46/2952.03 c Objective sense : minimize
2941.46/2952.03 c Presolved Problem :
2941.46/2952.03 c Variables : 668568 (668568 binary, 0 integer, 0 implicit integer, 0 continuous)
2941.46/2952.03 c Constraints : 3208
2941.46/2952.03 c Constraints : Number
2941.46/2952.03 c knapsack : 512
2941.46/2952.03 c setppc : 2619
2941.46/2952.03 c orbitope : 77
2941.46/2952.03 c ** Instance transfer method used: 0
2942.56/2953.10 c ** ParaScipInstance copy increased the number of variables. **
2943.64/2954.26 c LC is working with racing ramp-up and with rebuilding tree after racing.
2943.64/2954.26 c Nodes Active
2943.64/2954.26 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3586.46/3600.20 c 3600 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3589.35/3603.19 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.35/3603.19 c Total Time : 3603.1900
3589.35/3603.19 c solving : 3603.1900
3589.35/3603.19 c presolving : 2949.4569 (included in solving)
3589.35/3603.19 c B&B Tree :
3589.35/3603.19 c nodes (total) : 1
3589.35/3603.19 c Solution :
3589.35/3603.19 c Solutions found : 0
3589.35/3603.19 c Primal Bound : -
3589.35/3603.19 c Dual Bound : -
3589.35/3603.19 c Gap : -
3591.53/3605.38 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 (57383 MiB free)
memory of node 1: 64510 MiB (62064 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449170-1721368437/watcher-4449170-1721368437 -o /tmp/evaluation-result-4449170-1721368437/solver-4449170-1721368437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011505 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449170-1721368437.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1015890, runsolver pid=1015887
[startup+0.100949 s]*
/proc/loadavg: 4.13 4.11 4.09 5/261 1015891
/proc/meminfo: memFree=122204700/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=131644 memory=118176 CPUtime=0.09 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 27446 0 0 0 6 3 0 0 20 0 1 0 189007891 134803456 29544 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 32911 29544 2318 3032 0 29311 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 131644 KiB
Current children cumulated memory: 118176 KiB
[startup+0.205936 s]*
/proc/loadavg: 4.13 4.11 4.09 5/261 1015891
/proc/meminfo: memFree=122105256/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=232044 memory=219536 CPUtime=0.19 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 52786 0 0 0 12 7 0 0 20 0 1 0 189007891 237613056 54884 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 58011 54884 2318 3032 0 54411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 232044 KiB
Current children cumulated memory: 219536 KiB
[startup+0.305532 s]*
/proc/loadavg: 4.13 4.11 4.09 5/261 1015891
/proc/meminfo: memFree=122013748/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=326764 memory=313880 CPUtime=0.29 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 75853 0 0 0 17 12 0 0 20 0 1 0 189007891 334606336 78470 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 81691 78470 2318 3032 0 78091 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 326764 KiB
Current children cumulated memory: 313880 KiB
[startup+0.70023 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 1015891
/proc/meminfo: memFree=121831452/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=680628 memory=667740 CPUtime=0.68 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 162294 0 0 0 46 22 0 0 20 0 1 0 189007891 696963072 166935 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 170157 166935 2318 3032 0 166557 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 680628 KiB
Current children cumulated memory: 667740 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 1015891
/proc/meminfo: memFree=121634024/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=899708 memory=884724 CPUtime=1.48 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 218814 0 0 0 118 30 0 0 20 0 1 0 189007891 921300992 221115 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 224927 221181 2542 3032 0 221327 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 899708 KiB
Current children cumulated memory: 884724 KiB
[startup+3.10587 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 1015894
/proc/meminfo: memFree=120606708/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=1752844 memory=1722744 CPUtime=3.08 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 417069 0 0 0 250 58 0 0 20 0 1 0 189007891 1794912256 430686 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 438211 430686 2606 3032 0 434611 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1752844 KiB
Current children cumulated memory: 1722744 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 1015894
/proc/meminfo: memFree=120063136/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=2315588 memory=2265788 CPUtime=6.26 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 466439 0 0 0 546 80 0 0 20 0 1 0 189007891 2371162112 566447 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 578897 566447 2686 3032 0 575297 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2315588 KiB
Current children cumulated memory: 2265788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/261 1015895
/proc/meminfo: memFree=120050708/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=2315588 memory=2265972 CPUtime=12.66 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 466598 0 0 0 1184 82 0 0 20 0 1 0 189007891 2371162112 566493 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 578897 566493 2686 3032 0 575297 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2315588 KiB
Current children cumulated memory: 2265972 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/261 1015897
/proc/meminfo: memFree=120267236/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=2169296 memory=2132824 CPUtime=25.42 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 491460 0 0 0 2454 88 0 0 20 0 1 0 189007891 2221359104 533206 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 542324 533206 2686 3032 0 538724 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2169296 KiB
Current children cumulated memory: 2132824 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 1015900
/proc/meminfo: memFree=118313592/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499652 memory=3988512 CPUtime=50.96 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781089 0 0 0 4950 146 0 0 20 0 1 0 189007891 4607643648 997128 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124913 997128 2766 3032 0 1121313 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 4499652 KiB
Current children cumulated memory: 3988512 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1016339
/proc/meminfo: memFree=116463688/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499656 memory=4027428 CPUtime=101.99 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781151 0 0 0 10051 148 0 0 20 0 1 0 189007891 4607647744 1006857 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124914 1006857 2766 3032 0 1121314 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 4499656 KiB
Current children cumulated memory: 4027428 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1016349
/proc/meminfo: memFree=116408816/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499660 memory=4050444 CPUtime=161.81 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781392 0 0 0 16030 151 0 0 20 0 1 0 189007891 4607651840 1012611 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124915 1012611 2766 3032 0 1121315 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 4499660 KiB
Current children cumulated memory: 4050444 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1016360
/proc/meminfo: memFree=116391684/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499660 memory=4050632 CPUtime=221.62 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781472 0 0 0 22008 154 0 0 20 0 1 0 189007891 4607651840 1012658 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124915 1012658 2766 3032 0 1121315 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 4499660 KiB
Current children cumulated memory: 4050632 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 1016544
/proc/meminfo: memFree=116371056/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499664 memory=4050636 CPUtime=281.42 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781552 0 0 0 27985 157 0 0 20 0 1 0 189007891 4607655936 1012659 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124916 1012659 2766 3032 0 1121316 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 4499664 KiB
Current children cumulated memory: 4050636 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 1016554
/proc/meminfo: memFree=116348716/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499664 memory=4050636 CPUtime=341.23 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781614 0 0 0 33963 160 0 0 20 0 1 0 189007891 4607655936 1012659 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124916 1012659 2766 3032 0 1121316 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 4499664 KiB
Current children cumulated memory: 4050636 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 1016567
/proc/meminfo: memFree=116320920/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499664 memory=4050636 CPUtime=401.04 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781693 0 0 0 39941 163 0 0 20 0 1 0 189007891 4607655936 1012659 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124916 1012659 2766 3032 0 1121316 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 4499664 KiB
Current children cumulated memory: 4050636 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 1016588
/proc/meminfo: memFree=116300812/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=4499668 memory=4050640 CPUtime=460.84 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 781774 0 0 0 45918 166 0 0 20 0 1 0 189007891 4607660032 1012660 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1124917 1012660 2766 3032 0 1121317 0
################
# More data... #
################
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 3346540 0 0 0 332430 555 0 0 20 0 3 0 189007891 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2051928 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=387.28 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 2433781 0 0 0 38491 237 0 0 20 0 3 0 189303094 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 95 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3329.85 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8207712 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.33 3.71 4/253 1017865
/proc/meminfo: memFree=88546940/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=3389.55 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 3491752 0 0 0 338391 564 0 0 20 0 3 0 189007891 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2051928 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=446.98 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 2578979 0 0 0 44452 246 0 0 20 0 3 0 189303094 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 109 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3389.55 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8207712 KiB
[startup+3462.3 s]
/proc/loadavg: 3.08 3.29 3.67 4/253 1017875
/proc/meminfo: memFree=88537144/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=3449.24 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 3680253 0 0 0 344349 575 0 0 20 0 3 0 189007891 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2051928 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=506.66 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 2767466 0 0 0 50409 257 0 0 20 0 3 0 189303094 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 123 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3449.24 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8207712 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.26 3.64 4/253 1017885
/proc/meminfo: memFree=88537064/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=3508.94 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 3851327 0 0 0 350309 585 0 0 20 0 3 0 189007891 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2051928 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=8207712 CPUtime=566.36 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 2938526 0 0 0 56369 267 0 0 20 0 3 0 189303094 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=11604 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 137 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2051928 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3508.94 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8207712 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.24 3.61 4/253 1017895
/proc/meminfo: memFree=88535740/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8208724 CPUtime=3568.64 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 3999171 0 0 0 356272 592 0 0 20 0 3 0 189007891 9107161088 2052181 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2052181 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=8208724 CPUtime=626.06 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 3086349 0 0 0 62332 274 0 0 20 0 3 0 189303094 9107161088 2052181 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=-7880590079387983483 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 158 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2052181 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3568.64 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8208724 KiB
[startup+3605.49 s]
# the end of solver process 1015890 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.03 s, system=6.69866 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.14 3.24 3.61 4/253 1017895
/proc/meminfo: memFree=88535740/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8208724 CPUtime=3570.34 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 3999338 0 0 0 356442 592 0 0 20 0 3 0 189007891 9107161088 2052181 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2052181 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=-7308600552828725346 CPUtime=627.76 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 3086516 0 0 0 62502 274 0 0 20 0 3 0 189303094 9107161088 2052181 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=1401069878126534714 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 158 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2052181 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8208724 KiB
[startup+3596.8 s]
/proc/loadavg: 3.11 3.23 3.60 4/253 1017897
/proc/meminfo: memFree=88535620/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8208740 CPUtime=3583.07 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 4046366 0 0 0 357712 595 0 0 20 0 3 0 189007891 9107161088 2052185 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2052185 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=11604 CPUtime=640.49 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 3133544 0 0 0 63772 277 0 0 20 0 3 0 189303094 9107161088 2052185 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=8208724 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 158 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2052185 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3583.07 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8208740 KiB
[startup+3600 s]*
/proc/loadavg: 3.10 3.23 3.59 4/253 1017897
/proc/meminfo: memFree=88535648/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8893712 memory=8208740 CPUtime=3586.26 cores=5,7
/proc/1015890/stat : 1015890 (fscip) S 1015887 1015890 1011492 0 -1 1077936128 4074472 0 0 0 358030 596 0 0 20 0 3 0 189007891 9107161088 2052185 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2223428 2052185 2926 3032 0 2184737 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8893712 memory=-7308600552828725346 CPUtime=643.68 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 3161854 0 0 0 64090 278 0 0 20 0 3 0 189303094 9107161088 2052185 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8893712 memory=1401069878126534714 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 159 0 0 0 0 0 0 0 20 0 3 0 189303323 9107161088 2052185 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 8893712 KiB
Current children cumulated memory: 8208740 KiB
[startup+3603.2 s]
/proc/loadavg: 3.10 3.23 3.59 4/253 1017900
/proc/meminfo: memFree=88545988/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=8041744 memory=7451892 CPUtime=3589.45 cores=5,7
/proc/1015890/stat : 1015890 (fscip) D 1015887 1015890 1011492 0 -1 4194304 4709064 0 0 0 358313 632 0 0 20 0 3 0 189007891 8234745856 1862973 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 2010436 1862973 2942 3032 0 1998123 0
[pid=1015890/tid=1017747] ppid=1015887 vsize=8041744 memory=8208724 CPUtime=646.87 cores=5,7
/proc/1015890/task/1017747/stat : 1017747 (fscip) R 1015887 1015890 1011492 0 -1 4194368 3796203 0 0 0 64373 314 0 0 20 0 3 0 189303094 8234745856 1862973 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
[pid=1015890/tid=1017748] ppid=1015887 vsize=8041744 memory=8208740 CPUtime=0 cores=5,7
/proc/1015890/task/1017748/stat : 1017748 (fscip) S 1015887 1015890 1011492 0 -1 1077936192 161 0 0 0 0 0 0 0 20 0 3 0 189303323 8234745856 1862973 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
Current children cumulated CPU time: 3589.45 s
Current children cumulated vsize: 8041744 KiB
Current children cumulated memory: 7451892 KiB
[startup+3604.8 s]
/proc/loadavg: 3.10 3.23 3.59 4/251 1017900
/proc/meminfo: memFree=90583968/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=6665488 memory=6164500 CPUtime=3591.04 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 4971345 0 0 0 358453 651 0 0 20 0 1 0 189007891 6825459712 1541125 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1666372 1541125 2942 3032 0 1659595 0
Current children cumulated CPU time: 3591.04 s
Current children cumulated vsize: 6665488 KiB
Current children cumulated memory: 6164500 KiB
[startup+3605.2 s]
/proc/loadavg: 3.09 3.22 3.59 4/251 1017900
/proc/meminfo: memFree=90589072/131524600 swapFree=131071996/131071996
[pid=1015890] ppid=1015887 vsize=6408944 memory=5908364 CPUtime=3591.44 cores=5,7
/proc/1015890/stat : 1015890 (fscip) R 1015887 1015890 1011492 0 -1 4194304 5040163 0 0 0 358488 656 0 0 20 0 1 0 189007891 6562758656 1477091 134679101440 4194304 16613245 140726141461328 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 38522880 140726141465619 140726141465735 140726141465735 140726141472752 0
/proc/1015890/statm: 1602236 1477091 2942 3032 0 1595459 0
Current children cumulated CPU time: 3591.44 s
Current children cumulated vsize: 6408944 KiB
Current children cumulated memory: 5908364 KiB
[startup+3605.4 s]*
/proc/loadavg: 3.09 3.22 3.59 4/251 1017900
/proc/meminfo: memFree=93149844/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): 3605.49
CPU time (s): 3591.73
CPU user time (s): 3585.03
CPU system time (s): 6.69866
CPU usage (%): 99.6183
Max. virtual memory (cumulated for all children) (KiB): 8893712
Max. memory (cumulated for all children) (KiB): 8208740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.03
system time used= 6.69866
maximum resident set size= 8208740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5090423
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= 791
involuntary context switches= 1215
# summary of solver processes directly reported to runsolver:
# pid: 1015890
# total CPU time (s): 3591.73
# total CPU user time (s): 3585.03
# total CPU system time (s): 6.69866
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10054 second user time and 17.4475 second system time
The end
Begin job on nodeC022 at 2024-07-19 07:54:10
IDJOB=4449170
IDBENCH=160484
IDSOLVER=3064
FILE ID=nodeC022/4449170-1721368437
RUNJOBID= nodeC022-1721361246-1011505
SLURM_JOB_ID= 7542779
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449170-1721368437/watcher-4449170-1721368437 -o /tmp/evaluation-result-4449170-1721368437/solver-4449170-1721368437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011505 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449170-1721368437.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=2012867769
nodeC022.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 : 3667.272
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
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 : 3684.799
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
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 : 3599.953
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
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 : 3599.923
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
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 : 3667.270
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
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.666
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
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 : 3599.948
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.66
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 : 3663.757
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122314904 kB
MemAvailable: 124971408 kB
Buffers: 508872 kB
Cached: 2972824 kB
SwapCached: 0 kB
Active: 1232108 kB
Inactive: 7317560 kB
Active(anon): 1548 kB
Inactive(anon): 5112328 kB
Active(file): 1230560 kB
Inactive(file): 2205232 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 59156 kB
Writeback: 0 kB
AnonPages: 5060940 kB
Mapped: 142004 kB
Shmem: 45912 kB
KReclaimable: 120720 kB
Slab: 236208 kB
SReclaimable: 120720 kB
SUnreclaim: 115488 kB
KernelStack: 4176 kB
PageTables: 19196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4659812 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1587200 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889724 MiB
End job on nodeC022 at 2024-07-19 08:54:15