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)
4.48/4.53 c Default LC presolving (default).
4.48/4.54 c ** Before presolving: virtualMemUsedAtLc = 2986113555, getVmSize() = 1934532608, SCIPgetMemUsed() = 1737616014, SCIPgetMemTotal() = 1833417838, SCIPgetMemExternEstim() = 1152695717
4.48/4.54 c ** set memory limit for presolving in LC to 8.7952e+12 for SCIP **
168.94/169.69 c ** Estimated virtualMemUsedAtSolver = 2796567395, getVmSize() = 3438432256, SCIPgetMemUsed() = 2422601032, SCIPgetMemTotal() = 3042155376, SCIPgetMemExternEstim() = 1152695717
168.94/169.69 c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
168.94/169.69 c Original Problem :
168.94/169.69 c Problem name : instance-4434895-1721140537
168.94/169.69 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
168.94/169.69 c Constraints : 847958
168.94/169.69 c Objective sense : minimize
168.94/169.69 c Presolved Problem :
168.94/169.69 c Variables : 300225 (300225 binary, 0 integer, 0 implicit integer, 0 continuous)
168.94/169.69 c Constraints : 539254
168.94/169.69 c Constraints : Number
168.94/169.69 c knapsack : 1375
168.94/169.69 c setppc : 356526
168.94/169.69 c and : 180075
168.94/169.69 c linear : 3
168.94/169.69 c logicor : 1275
168.94/169.69 c ** Instance transfer method used: 0
170.64/171.33 c ** ParaScipInstance copy does not increase the number of variables. **
171.93/172.65 c LC is working with racing ramp-up and with rebuilding tree after racing.
171.93/172.65 c Nodes Active
171.93/172.65 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2073.00/2080.93 c 2081 2 1 1 - 572271.7724 -
2186.00/2194.36 c 2194 3 2 1 - 572466.7377 -
2247.97/2256.59 c 2257 4 3 1 - 574373.3051 -
2312.93/2321.72 c 2322 5 4 1 - 574373.3051 -
2387.56/2396.65 c 2397 6 5 1 - 574373.3051 -
2450.93/2460.27 c 2460 7 6 1 - 574467.0931 -
2512.61/2522.16 c 2522 8 7 1 - 574467.0931 -
2694.63/2704.74 c 2705 9 8 1 - 574467.0931 -
2748.56/2758.83 c 2759 10 9 1 - 576354.5701 -
2777.27/2787.69 c 2788 11 10 1 - 576354.5701 -
2831.50/2842.05 c 2842 12 11 1 - 576354.5701 -
2839.67/2850.29 c 2850 13 12 1 - 576354.5701 -
2848.24/2858.90 c 2859 14 13 1 - 576354.5701 -
2855.32/2865.97 c 2866 15 14 1 - 576354.5701 -
2955.61/2966.52 c 2967 16 15 1 - 576354.5701 -
3039.95/3051.17 c 3051 17 16 1 - 576354.5701 -
3050.01/3061.22 c 3061 18 17 1 - 576354.5701 -
3055.89/3067.15 c 3067 21 20 1 - 576354.5701 -
3181.77/3193.42 c 3193 26 25 1 - 576354.5701 -
3190.24/3201.94 c 3202 27 26 1 - 579975.6198 -
3329.10/3341.20 c 3341 28 27 1 - 579975.6198 -
3334.08/3346.27 c 3346 35 34 1 - 579975.6198 -
3348.74/3360.98 c 3361 36 35 1 - 579975.6198 -
3359.21/3371.43 c 3371 37 36 1 - 579975.6198 -
3366.49/3378.77 c 3379 37 38 1 - 579975.6198 -
3408.47/3420.85 c 3421 38 37 1 - 579975.6198 -
3459.78/3472.38 c 3472 41 40 1 - 579975.6198 -
3504.65/3517.38 c 3517 42 41 1 - 582430.1744 -
3573.15/3586.04 c 3586 43 42 1 - 582430.1744 -
3587.10/3600.01 c 3600 43 42 0 - 582430.1744 -
3591.79/3604.74 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.79/3604.74 c Total Time : 3604.7500
3591.79/3604.74 c solving : 3604.7500
3591.79/3604.74 c presolving : 165.1456 (included in solving)
3591.79/3604.74 c B&B Tree :
3591.79/3604.74 c nodes (total) : 1
3591.79/3604.74 c Solution :
3591.79/3604.74 c Solutions found : 0
3591.79/3604.74 c Primal Bound : -
3591.79/3604.74 c Dual Bound : +5.82430174419884e+05
3591.79/3604.74 c Gap : -
3593.78/3606.77 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 (54095 MiB free)
memory of node 1: 64510 MiB (45769 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434895-1721140537/watcher-4434895-1721140537 -o /tmp/evaluation-result-4434895-1721140537/solver-4434895-1721140537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853286 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434895-1721140537.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=858437, runsolver pid=858434
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.16 4.13 4.12 5/260 858438
/proc/meminfo: memFree=102151108/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=140404 memory=124864 CPUtime=0.1 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 29140 0 0 0 6 4 0 0 20 0 1 0 166218616 143773696 31216 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 35101 31216 2318 3032 0 31501 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 140404 KiB
Current children cumulated memory: 124864 KiB
[startup+0.205654 s]*
/proc/loadavg: 4.16 4.13 4.12 5/260 858438
/proc/meminfo: memFree=102100860/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=184980 memory=169712 CPUtime=0.2 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 40340 0 0 0 14 6 0 0 20 0 1 0 166218616 189419520 42428 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 46245 42428 2318 3032 0 42645 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 184980 KiB
Current children cumulated memory: 169712 KiB
[startup+0.305492 s]*
/proc/loadavg: 4.16 4.13 4.12 5/260 858438
/proc/meminfo: memFree=102054360/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=232948 memory=217276 CPUtime=0.3 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 52269 0 0 0 23 7 0 0 20 0 1 0 166218616 238538752 54319 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 58237 54319 2318 3032 0 54637 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 232948 KiB
Current children cumulated memory: 217276 KiB
[startup+0.700236 s]
/proc/loadavg: 4.16 4.13 4.12 5/260 858438
/proc/meminfo: memFree=101956772/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=389632 memory=373868 CPUtime=0.69 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 90871 0 0 0 55 14 0 0 20 0 1 0 166218616 398983168 93467 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 97408 93467 2318 3032 0 93808 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 389632 KiB
Current children cumulated memory: 373868 KiB
[startup+1.50024 s]
/proc/loadavg: 4.16 4.13 4.12 5/260 858438
/proc/meminfo: memFree=101818980/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=558564 memory=542544 CPUtime=1.49 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 130508 0 0 0 129 20 0 0 20 0 1 0 166218616 571969536 135636 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 139641 135636 2318 3032 0 136041 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 558564 KiB
Current children cumulated memory: 542544 KiB
[startup+3.10548 s]
/proc/loadavg: 4.15 4.13 4.12 5/260 858438
/proc/meminfo: memFree=101059532/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=1262492 memory=1249276 CPUtime=3.09 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 314240 0 0 0 262 47 0 0 20 0 1 0 166218616 1292791808 312319 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 315623 312319 2558 3032 0 312023 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1262492 KiB
Current children cumulated memory: 1249276 KiB
[startup+6.30023 s]
/proc/loadavg: 4.15 4.13 4.12 5/260 858439
/proc/meminfo: memFree=100247420/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=2075504 memory=2040120 CPUtime=6.27 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 496613 0 0 0 555 72 0 0 20 0 1 0 166218616 2125316096 510030 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 518876 510030 2622 3032 0 515276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2075504 KiB
Current children cumulated memory: 2040120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.12 5/260 858439
/proc/meminfo: memFree=99594304/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=2714216 memory=2670576 CPUtime=12.65 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 531888 0 0 0 1169 96 0 0 20 0 1 0 166218616 2779357184 667644 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 678554 667644 2702 3032 0 674954 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2714216 KiB
Current children cumulated memory: 2670576 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.12 5/260 858442
/proc/meminfo: memFree=99643488/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=2766808 memory=2719148 CPUtime=25.41 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 659445 0 0 0 2425 116 0 0 20 0 1 0 166218616 2833211392 679787 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 691702 679787 2734 3032 0 688102 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2766808 KiB
Current children cumulated memory: 2719148 KiB
[startup+51.1059 s]
/proc/loadavg: 4.07 4.11 4.11 5/260 858446
/proc/meminfo: memFree=99192532/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=3081660 memory=3033692 CPUtime=50.93 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 686208 0 0 0 4969 124 0 0 20 0 1 0 166218616 3155619840 758423 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 770415 758423 2750 3032 0 766815 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3081660 KiB
Current children cumulated memory: 3033692 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/260 858455
/proc/meminfo: memFree=99148072/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=3081660 memory=3034096 CPUtime=101.91 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 686430 0 0 0 10066 125 0 0 20 0 1 0 166218616 3155619840 758524 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 770415 758524 2750 3032 0 766815 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 3081660 KiB
Current children cumulated memory: 3034096 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/260 858465
/proc/meminfo: memFree=97876380/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=3100124 memory=3053556 CPUtime=161.67 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 689053 0 0 0 16041 126 0 0 20 0 1 0 166218616 3174526976 763389 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 775031 763389 2750 3032 0 771431 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 3100124 KiB
Current children cumulated memory: 3053556 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/262 858477
/proc/meminfo: memFree=95663256/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=5532232 memory=5261616 CPUtime=221.44 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 1838807 0 0 0 21886 258 0 0 20 0 3 0 166218616 5665005568 1315404 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 1383058 1315404 2798 3032 0 1365064 0
[pid=858437/tid=858468] ppid=858434 vsize=5532232 memory=11444 CPUtime=50.75 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 981167 0 0 0 4971 104 0 0 20 0 3 0 166235585 5665005568 1315404 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=5532232 memory=-6514004314609073000 CPUtime=0 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 166235883 5665005568 1315404 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 5532232 KiB
Current children cumulated memory: 5261616 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 858493
/proc/meminfo: memFree=95631160/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=5532232 memory=5293164 CPUtime=281.2 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 2263730 0 0 0 27833 287 0 0 20 0 3 0 166218616 5665005568 1323291 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 1383058 1323291 2798 3032 0 1373002 0
[pid=858437/tid=858468] ppid=858434 vsize=5532232 memory=11444 CPUtime=110.51 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 1406079 0 0 0 10918 133 0 0 20 0 3 0 166235585 5665005568 1323291 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=5532232 memory=41700 CPUtime=0 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 166235883 5665005568 1323291 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 5532232 KiB
Current children cumulated memory: 5293164 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 858504
/proc/meminfo: memFree=94502640/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=6666960 memory=6406484 CPUtime=340.97 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 2796151 0 0 0 33753 344 0 0 20 0 3 0 166218616 6826967040 1601621 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 1666740 1601621 2830 3032 0 1654134 0
[pid=858437/tid=858468] ppid=858434 vsize=6666960 memory=6406388 CPUtime=170.29 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 1938488 0 0 0 16839 190 0 0 20 0 3 0 166235585 6826967040 1601621 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=6666960 memory=11444 CPUtime=0 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 166235883 6826967040 1601621 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 6666960 KiB
Current children cumulated memory: 6406484 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/266 858515
/proc/meminfo: memFree=94498576/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=6666960 memory=6406508 CPUtime=400.76 cores=4,6
################
# More data... #
################
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 380 0 0 0 1 2 0 0 20 0 3 0 166235883 11951697920 2310885 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3330.2 s
Current children cumulated vsize: 11671580 KiB
Current children cumulated memory: 9243540 KiB
[startup+3402.3 s]
/proc/loadavg: 2.07 2.14 2.66 3/246 860344
/proc/meminfo: memFree=106095112/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12064796 memory=9647140 CPUtime=3390.02 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 21279214 0 0 0 337554 1448 0 0 20 0 3 0 166218616 12354351104 2411785 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3016199 2411785 2974 3032 0 2991075 0
[pid=858437/tid=858468] ppid=858434 vsize=12064796 memory=9243172 CPUtime=3219.29 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 20420742 0 0 0 320638 1291 0 0 20 0 3 0 166235585 12354351104 2411785 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12064796 memory=11444 CPUtime=0.03 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 384 0 0 0 1 2 0 0 20 0 3 0 166235883 12354351104 2411785 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3390.02 s
Current children cumulated vsize: 12064796 KiB
Current children cumulated memory: 9647140 KiB
[startup+3462.3 s]
/proc/loadavg: 2.13 2.14 2.62 3/245 860355
/proc/meminfo: memFree=106074580/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12064796 memory=9667396 CPUtime=3449.82 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 21984416 0 0 0 343495 1487 0 0 20 0 3 0 166218616 12354351104 2416849 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3016199 2416849 2974 3032 0 2994436 0
[pid=858437/tid=858468] ppid=858434 vsize=12064796 memory=9243172 CPUtime=3279.09 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 21125939 0 0 0 326580 1329 0 0 20 0 3 0 166235585 12354351104 2416849 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12064796 memory=11444 CPUtime=0.03 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 388 0 0 0 1 2 0 0 20 0 3 0 166235883 12354351104 2416849 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3449.82 s
Current children cumulated vsize: 12064796 KiB
Current children cumulated memory: 9667396 KiB
[startup+3522.3 s]
/proc/loadavg: 2.05 2.11 2.58 3/245 860366
/proc/meminfo: memFree=106070652/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12402104 memory=9670920 CPUtime=3509.64 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 22588069 0 0 0 349447 1517 0 0 20 0 3 0 166218616 12699754496 2417730 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3100526 2417730 2974 3032 0 3078763 0
[pid=858437/tid=858468] ppid=858434 vsize=12402104 memory=9667396 CPUtime=3338.9 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 21729559 0 0 0 332531 1359 0 0 20 0 3 0 166235585 12699754496 2417730 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12402104 memory=9670004 CPUtime=0.03 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 390 0 0 0 1 2 0 0 20 0 3 0 166235883 12699754496 2417730 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3509.64 s
Current children cumulated vsize: 12402104 KiB
Current children cumulated memory: 9670920 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.12 2.55 3/244 860376
/proc/meminfo: memFree=106065864/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12402104 memory=9675484 CPUtime=3569.46 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 22978958 0 0 0 355409 1537 0 0 20 0 3 0 166218616 12699754496 2418871 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3100526 2418871 2974 3032 0 3078763 0
[pid=858437/tid=858468] ppid=858434 vsize=12402104 memory=9675460 CPUtime=3398.72 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 22120443 0 0 0 338493 1379 0 0 20 0 3 0 166235585 12699754496 2418871 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12402104 memory=9675484 CPUtime=0.03 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 395 0 0 0 1 2 0 0 20 0 3 0 166235883 12699754496 2418871 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3569.46 s
Current children cumulated vsize: 12402104 KiB
Current children cumulated memory: 9675484 KiB
[startup+3606.95 s]
# the end of solver process 858437 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.97 s, system=16.0617 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.13 2.12 2.55 3/244 860377
/proc/meminfo: memFree=106065832/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12402104 memory=9675484 CPUtime=3571.15 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 22989715 0 0 0 355578 1537 0 0 20 0 3 0 166218616 12699754496 2418871 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3100526 2418871 2974 3032 0 3078763 0
[pid=858437/tid=858468] ppid=858434 vsize=12402104 memory=2728 CPUtime=3400.43 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 22131200 0 0 0 338663 1380 0 0 20 0 3 0 166235585 12699754496 2418871 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12402104 memory=4816 CPUtime=0.04 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 395 0 0 0 1 3 0 0 20 0 3 0 166235883 12699754496 2418871 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3571.15 s
Current children cumulated vsize: 12402104 KiB
Current children cumulated memory: 9675484 KiB
[startup+3596.8 s]
/proc/loadavg: 2.11 2.12 2.55 3/244 860380
/proc/meminfo: memFree=106065820/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12402104 memory=9675492 CPUtime=3583.91 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 23140714 0 0 0 356847 1544 0 0 20 0 3 0 166218616 12699754496 2418873 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3100526 2418873 2974 3032 0 3078763 0
[pid=858437/tid=858468] ppid=858434 vsize=12402104 memory=41808 CPUtime=3413.18 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 22282175 0 0 0 339931 1387 0 0 20 0 3 0 166235585 12699754496 2418873 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12402104 memory=11444 CPUtime=0.04 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 397 0 0 0 1 3 0 0 20 0 3 0 166235883 12699754496 2418873 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 12402104 KiB
Current children cumulated memory: 9675492 KiB
[startup+3603.2 s]
/proc/loadavg: 2.09 2.11 2.54 3/244 860380
/proc/meminfo: memFree=106065796/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=12402104 memory=9675492 CPUtime=3590.3 cores=4,6
/proc/858437/stat : 858437 (fscip) S 858434 858437 853275 0 -1 1077936128 23433791 0 0 0 357469 1561 0 0 20 0 3 0 166218616 12699754496 2418873 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 3100526 2418873 2974 3032 0 3078763 0
[pid=858437/tid=858468] ppid=858434 vsize=12402104 memory=9675488 CPUtime=3419.56 cores=4,6
/proc/858437/task/858468/stat : 858468 (fscip) R 858434 858437 853275 0 -1 4194368 22575275 0 0 0 340553 1403 0 0 20 0 3 0 166235585 12699754496 2418873 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
[pid=858437/tid=858469] ppid=858434 vsize=12402104 memory=9675488 CPUtime=0.04 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 399 0 0 0 1 3 0 0 20 0 3 0 166235883 12699754496 2418873 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3590.3 s
Current children cumulated vsize: 12402104 KiB
Current children cumulated memory: 9675492 KiB
[startup+3604.8 s]
/proc/loadavg: 2.09 2.11 2.54 3/244 860381
/proc/meminfo: memFree=106065812/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=9908232 memory=9608860 CPUtime=3591.9 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 23761185 0 0 0 357612 1578 0 0 20 0 2 0 166218616 10146029568 2402215 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 2477058 2402215 2974 3032 0 2455304 0
[pid=858437/tid=858469] ppid=858434 vsize=9908232 memory=30276 CPUtime=0.04 cores=4,6
/proc/858437/task/858469/stat : 858469 (fscip) S 858434 858437 853275 0 -1 1077936192 400 0 0 0 1 3 0 0 20 0 2 0 166235883 10146029568 2402215 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
Current children cumulated CPU time: 3591.9 s
Current children cumulated vsize: 9908232 KiB
Current children cumulated memory: 9608860 KiB
[startup+3605.6 s]
/proc/loadavg: 2.09 2.11 2.54 3/243 860381
/proc/meminfo: memFree=106132524/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=9908232 memory=9606836 CPUtime=3592.69 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 23766483 0 0 0 357691 1578 0 0 20 0 1 0 166218616 10146029568 2401709 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 2477058 2401709 2974 3032 0 2455304 0
Current children cumulated CPU time: 3592.69 s
Current children cumulated vsize: 9908232 KiB
Current children cumulated memory: 9606836 KiB
[startup+3606.4 s]
/proc/loadavg: 2.09 2.11 2.54 3/242 860381
/proc/meminfo: memFree=106142640/131524600 swapFree=131071996/131071996
[pid=858437] ppid=858434 vsize=9770340 memory=9470044 CPUtime=3593.48 cores=4,6
/proc/858437/stat : 858437 (fscip) R 858434 858437 853275 0 -1 4194304 23826244 0 0 0 357767 1581 0 0 20 0 1 0 166218616 10004828160 2367511 134679101440 4194304 16613245 140724747390144 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54480896 140724747392021 140724747392137 140724747392137 140724747399152 0
/proc/858437/statm: 2442585 2367511 2974 3032 0 2420831 0
Current children cumulated CPU time: 3593.48 s
Current children cumulated vsize: 9770340 KiB
Current children cumulated memory: 9470044 KiB
[startup+3606.8 s]*
/proc/loadavg: 2.09 2.11 2.54 3/242 860381
/proc/meminfo: memFree=110060848/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3606.91 s]
/proc/loadavg: 2.09 2.11 2.54 3/242 860381
/proc/meminfo: memFree=110060848/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): 3606.95
CPU time (s): 3594.04
CPU user time (s): 3577.97
CPU system time (s): 16.0617
CPU usage (%): 99.6421
Max. virtual memory (cumulated for all children) (KiB): 12402104
Max. memory (cumulated for all children) (KiB): 9675492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.97
system time used= 16.0617
maximum resident set size= 9675492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23929683
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= 3613
involuntary context switches= 2607
# summary of solver processes directly reported to runsolver:
# pid: 858437
# total CPU time (s): 3594.04
# total CPU user time (s): 3577.97
# total CPU system time (s): 16.0617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15963 second user time and 16.733 second system time
The end
Begin job on nodeC024 at 2024-07-16 16:35:50
IDJOB=4434895
IDBENCH=155706
IDSOLVER=3064
FILE ID=nodeC024/4434895-1721140537
RUNJOBID= nodeC024-1721132097-853286
SLURM_JOB_ID= 7505702
Free space on /tmp= 889888 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_1_mh_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-4434895-1721140537/watcher-4434895-1721140537 -o /tmp/evaluation-result-4434895-1721140537/solver-4434895-1721140537 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853286 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434895-1721140537.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c67f7d2b84b900287505153e75597a80
RANDOM SEED=1168110610
nodeC024.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 : 3674.725
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.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.867
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3606.804
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.60
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.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3655.632
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.60
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.860
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
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 : 3674.562
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.60
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 : 3599.977
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 102261772 kB
MemAvailable: 106841144 kB
Buffers: 421992 kB
Cached: 4942228 kB
SwapCached: 0 kB
Active: 815000 kB
Inactive: 27695580 kB
Active(anon): 1540 kB
Inactive(anon): 23182540 kB
Active(file): 813460 kB
Inactive(file): 4513040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65816 kB
Writeback: 12 kB
AnonPages: 23146340 kB
Mapped: 140052 kB
Shmem: 37720 kB
KReclaimable: 185036 kB
Slab: 301340 kB
SReclaimable: 185036 kB
SUnreclaim: 116304 kB
KernelStack: 4144 kB
PageTables: 55592 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10724912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3004416 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: 240340 kB
DirectMap2M: 23650304 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC024 at 2024-07-16 17:35:57