0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
1.78/1.83 c Default LC presolving (default).
1.78/1.84 c ** Before presolving: virtualMemUsedAtLc = 1544022702, getVmSize() = 990461952, SCIPgetMemUsed() = 902230776, SCIPgetMemTotal() = 925690768, SCIPgetMemExternEstim() = 618331934
1.78/1.84 c ** set memory limit for presolving in LC to 8.79563e+12 for SCIP **
15.43/15.59 c ** Estimated virtualMemUsedAtSolver = 1454731744, getVmSize() = 1719595008, SCIPgetMemUsed() = 1091998074, SCIPgetMemTotal() = 1563765682, SCIPgetMemExternEstim() = 618331934
15.43/15.59 c ** set memory limit for solvers to 4.398e+12 for each SCIP **
15.43/15.59 c Original Problem :
15.43/15.59 c Problem name : instance-4464421-1722378597
15.43/15.59 c Variables : 168111 (168111 binary, 0 integer, 0 implicit integer, 0 continuous)
15.43/15.59 c Constraints : 487525
15.43/15.59 c Objective sense : minimize
15.43/15.59 c Presolved Problem :
15.43/15.59 c Variables : 157116 (157116 binary, 0 integer, 0 implicit integer, 0 continuous)
15.43/15.59 c Constraints : 165940
15.43/15.59 c Constraints : Number
15.43/15.59 c knapsack : 18798
15.43/15.59 c setppc : 1285
15.43/15.59 c and : 145853
15.43/15.59 c logicor : 4
15.43/15.59 c ** Instance transfer method used: 0
15.94/16.01 c ** ParaScipInstance copy increased the number of variables. **
16.34/16.43 c LC is working with racing ramp-up and with rebuilding tree after racing.
16.34/16.43 c Nodes Active
16.34/16.43 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3589.41/3598.27 c 3598 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3590.50/3599.37 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.50/3599.37 c Total Time : 3599.3800
3590.50/3599.37 c solving : 3599.3800
3590.50/3599.37 c presolving : 13.7530 (included in solving)
3590.50/3599.37 c B&B Tree :
3590.50/3599.37 c nodes (total) : 1
3590.50/3599.37 c Solution :
3590.50/3599.37 c Solutions found : 0
3590.50/3599.37 c Primal Bound : -
3590.50/3599.37 c Dual Bound : -
3590.50/3599.37 c Gap : -
3591.30/3600.16 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: 63968 MiB (63036 MiB free)
memory of node 1: 64473 MiB (63491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464421-1722378597/watcher-4464421-1722378597 -o /tmp/evaluation-result-4464421-1722378597/solver-4464421-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30625 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464421-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=30688, runsolver pid=30685
[startup+0.100339 s]*
/proc/loadavg: 0.08 0.10 0.09 6/260 30689
/proc/meminfo: memFree=129510164/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=72404 memory=60692 CPUtime=0.09 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 13028 0 0 0 7 2 0 0 20 0 1 0 4464026 74141696 15173 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 18101 15173 2347 3035 0 14497 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72404 KiB
Current children cumulated memory: 60692 KiB
[startup+0.204534 s]*
/proc/loadavg: 0.08 0.10 0.09 6/262 30691
/proc/meminfo: memFree=129405936/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=122480 memory=110068 CPUtime=0.19 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 25401 0 0 0 15 4 0 0 20 0 1 0 4464026 125419520 27517 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 30620 27517 2347 3035 0 27016 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 122480 KiB
Current children cumulated memory: 110068 KiB
[startup+0.305732 s]*
/proc/loadavg: 0.08 0.10 0.09 5/262 30691
/proc/meminfo: memFree=129347376/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=165220 memory=152868 CPUtime=0.29 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 36073 0 0 0 24 5 0 0 20 0 1 0 4464026 169185280 38217 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 41305 38217 2347 3035 0 37701 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 165220 KiB
Current children cumulated memory: 152868 KiB
[startup+0.70022 s]
/proc/loadavg: 0.08 0.10 0.09 5/262 30691
/proc/meminfo: memFree=129235736/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=335172 memory=322608 CPUtime=0.69 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 78012 0 0 0 57 12 0 0 20 0 1 0 4464026 343216128 80652 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 83793 80652 2347 3035 0 80189 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 335172 KiB
Current children cumulated memory: 322608 KiB
[startup+1.50021 s]
/proc/loadavg: 0.08 0.10 0.09 5/262 30691
/proc/meminfo: memFree=128958608/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=795516 memory=782116 CPUtime=1.48 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 190391 0 0 0 120 28 0 0 20 0 1 0 4464026 814608384 195529 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 198879 195529 2539 3035 0 195275 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 795516 KiB
Current children cumulated memory: 782116 KiB
[startup+3.10542 s]
/proc/loadavg: 0.08 0.10 0.09 5/264 30693
/proc/meminfo: memFree=128213232/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=1204288 memory=1176668 CPUtime=3.08 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 257337 0 0 0 269 39 0 0 20 0 1 0 4464026 1233190912 294167 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 301072 294167 2630 3035 0 297468 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1204288 KiB
Current children cumulated memory: 1176668 KiB
[startup+6.30022 s]
/proc/loadavg: 0.63 0.22 0.13 5/266 30753
/proc/meminfo: memFree=127927208/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=1400636 memory=1373700 CPUtime=6.27 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 271367 0 0 0 579 48 0 0 20 0 1 0 4464026 1434251264 343425 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 350159 343425 2726 3035 0 346555 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1400636 KiB
Current children cumulated memory: 1373700 KiB
[startup+12.7002 s]
/proc/loadavg: 0.90 0.28 0.15 5/258 30789
/proc/meminfo: memFree=127822968/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=1520688 memory=1492156 CPUtime=12.64 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 355791 0 0 0 1201 63 0 0 20 0 1 0 4464026 1557184512 373039 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 380172 373039 2774 3035 0 376568 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1520688 KiB
Current children cumulated memory: 1492156 KiB
[startup+25.5003 s]
/proc/loadavg: 1.59 0.46 0.21 5/268 30902
/proc/meminfo: memFree=125839492/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=3506824 memory=3326976 CPUtime=25.36 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 830967 0 0 0 2405 131 0 0 20 0 3 0 4464026 3590987776 831744 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 876706 831744 2870 3035 0 862806 0
[pid=30688/tid=30803] ppid=30685 vsize=3506824 memory=3326920 CPUtime=9.4 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 384439 0 0 0 887 53 0 0 20 0 3 0 4465586 3590987776 831744 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=3506824 memory=2735732 CPUtime=0 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4465671 3590987776 831744 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 3506824 KiB
Current children cumulated memory: 3326976 KiB
[startup+51.1057 s]
/proc/loadavg: 2.49 0.77 0.32 5/268 31049
/proc/meminfo: memFree=125641828/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=3611384 memory=3453740 CPUtime=50.89 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 1078362 0 0 0 4931 158 0 0 20 0 3 0 4464026 3698057216 863435 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 902846 863435 2966 3035 0 896411 0
[pid=30688/tid=30803] ppid=30685 vsize=3611384 memory=3434992 CPUtime=34.93 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 631820 0 0 0 3413 80 0 0 20 0 3 0 4465586 3698057216 863435 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=3611384 memory=11408 CPUtime=0 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4465671 3698057216 863435 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 3611384 KiB
Current children cumulated memory: 3453740 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.28 0.52 5/266 31153
/proc/meminfo: memFree=122398280/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=3681208 memory=3519336 CPUtime=101.89 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 1291681 0 0 0 10016 173 0 0 20 0 3 0 4464026 3769556992 879834 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 920302 879834 2966 3035 0 913736 0
[pid=30688/tid=30803] ppid=30685 vsize=3681208 memory=13012 CPUtime=85.93 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 845122 0 0 0 8498 95 0 0 20 0 3 0 4465586 3769556992 879834 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=3681208 memory=11408 CPUtime=0 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4465671 3769556992 879834 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 3681208 KiB
Current children cumulated memory: 3519336 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.79 0.74 5/266 31306
/proc/meminfo: memFree=119591252/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4402104 memory=4171684 CPUtime=161.68 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 1647970 0 0 0 15953 215 0 0 20 0 3 0 4464026 4507754496 1042921 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1100526 1042921 2982 3035 0 1092847 0
[pid=30688/tid=30803] ppid=30685 vsize=4402104 memory=4171416 CPUtime=145.71 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 1201401 0 0 0 14435 136 0 0 20 0 3 0 4465586 4507754496 1042921 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4402104 memory=4171684 CPUtime=0 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4465671 4507754496 1042921 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 4402104 KiB
Current children cumulated memory: 4171684 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 2.26 0.97 5/267 31318
/proc/meminfo: memFree=113400056/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4402104 memory=4171684 CPUtime=221.47 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 1652288 0 0 0 21932 215 0 0 20 0 3 0 4464026 4507754496 1042921 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1100526 1042921 2982 3035 0 1092847 0
[pid=30688/tid=30803] ppid=30685 vsize=4402104 memory=4171684 CPUtime=205.51 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 1205700 0 0 0 20414 137 0 0 20 0 3 0 4465586 4507754496 1042921 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4402104 memory=12860 CPUtime=0 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 3 0 4465671 4507754496 1042921 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 4402104 KiB
Current children cumulated memory: 4171684 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.60 1.17 5/267 31330
/proc/meminfo: memFree=112107908/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4402104 memory=4172276 CPUtime=281.25 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 1991550 0 0 0 27895 230 0 0 20 0 3 0 4464026 4507754496 1043069 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1100526 1043069 2982 3035 0 1092847 0
[pid=30688/tid=30803] ppid=30685 vsize=4402104 memory=4171960 CPUtime=265.29 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 1544951 0 0 0 26377 152 0 0 20 0 3 0 4465586 4507754496 1043069 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4402104 memory=11408 CPUtime=0 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 72 0 0 0 0 0 0 0 20 0 3 0 4465671 4507754496 1043069 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 4402104 KiB
Current children cumulated memory: 4172276 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 2.88 1.36 5/263 31388
################
# More data... #
################
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 889 0 0 0 1 2 0 0 20 0 3 0 4465671 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 4402104 KiB
Current children cumulated memory: 4233348 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.13 4.03 5/265 33934
/proc/meminfo: memFree=121757376/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4402104 memory=4233348 CPUtime=3453.94 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4023083 0 0 0 345055 339 0 0 20 0 3 0 4464026 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1100526 1058337 2982 3035 0 1092847 0
[pid=30688/tid=30803] ppid=30685 vsize=4402104 memory=2268 CPUtime=3437.94 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3575660 0 0 0 343535 259 0 0 20 0 3 0 4465586 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4402104 memory=4233348 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 896 0 0 0 1 2 0 0 20 0 3 0 4465671 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 4402104 KiB
Current children cumulated memory: 4233348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.13 4.04 5/267 34115
/proc/meminfo: memFree=121706252/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4402104 memory=4233348 CPUtime=3513.75 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4025553 0 0 0 351036 339 0 0 20 0 3 0 4464026 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1100526 1058337 2982 3035 0 1092847 0
[pid=30688/tid=30803] ppid=30685 vsize=4402104 memory=11408 CPUtime=3497.75 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3578116 0 0 0 349516 259 0 0 20 0 3 0 4465586 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4402104 memory=4233348 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 910 0 0 0 1 2 0 0 20 0 3 0 4465671 4507754496 1058337 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 4402104 KiB
Current children cumulated memory: 4233348 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.14 4.04 5/267 34125
/proc/meminfo: memFree=121565472/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3573.56 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4111379 0 0 0 357004 352 0 0 20 0 3 0 4464026 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1116910 1090362 2982 3035 0 1109216 0
[pid=30688/tid=30803] ppid=30685 vsize=4467640 memory=12860 CPUtime=3557.55 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3663935 0 0 0 355484 271 0 0 20 0 3 0 4465586 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4467640 memory=4361448 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 917 0 0 0 1 2 0 0 20 0 3 0 4465671 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 4467640 KiB
Current children cumulated memory: 4361448 KiB
[startup+3600.17 s]
# the end of solver process 30688 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.8 s, system=3.57444 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.14 4.04 5/267 34125
/proc/meminfo: memFree=121563748/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3575.26 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4112278 0 0 0 357174 352 0 0 20 0 3 0 4464026 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1116910 1090362 2982 3035 0 1109216 0
[pid=30688/tid=30803] ppid=30685 vsize=4467640 memory=-7379829155985186938 CPUtime=3559.25 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3664834 0 0 0 355654 271 0 0 20 0 3 0 4465586 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4467640 memory=6656426216303648864 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 917 0 0 0 1 2 0 0 20 0 3 0 4465671 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3575.26 s
Current children cumulated vsize: 4467640 KiB
Current children cumulated memory: 4361448 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.13 4.04 5/267 34126
/proc/meminfo: memFree=121561828/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3581.63 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4112871 0 0 0 357811 352 0 0 20 0 3 0 4464026 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1116910 1090362 2982 3035 0 1109216 0
[pid=30688/tid=30803] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3565.63 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3665424 0 0 0 356292 271 0 0 20 0 3 0 4465586 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4467640 memory=4361448 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 920 0 0 0 1 2 0 0 20 0 3 0 4465671 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3581.63 s
Current children cumulated vsize: 4467640 KiB
Current children cumulated memory: 4361448 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121560856/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3588.01 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4113351 0 0 0 358449 352 0 0 20 0 3 0 4464026 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1116910 1090362 2982 3035 0 1109216 0
[pid=30688/tid=30803] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3572.01 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3665904 0 0 0 356930 271 0 0 20 0 3 0 4465586 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4467640 memory=13012 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 920 0 0 0 1 2 0 0 20 0 3 0 4465671 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3588.01 s
Current children cumulated vsize: 4467640 KiB
Current children cumulated memory: 4361448 KiB
[startup+3598.4 s]
/proc/loadavg: 4.14 4.13 4.04 5/267 34128
/proc/meminfo: memFree=121556276/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3589.6 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4116326 0 0 0 358608 352 0 0 20 0 3 0 4464026 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1116910 1090362 2982 3035 0 1109216 0
[pid=30688/tid=30803] ppid=30685 vsize=4467640 memory=12860 CPUtime=3573.6 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3668856 0 0 0 357089 271 0 0 20 0 3 0 4465586 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4467640 memory=13012 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 923 0 0 0 1 2 0 0 20 0 3 0 4465671 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3589.6 s
Current children cumulated vsize: 4467640 KiB
Current children cumulated memory: 4361448 KiB
[startup+3599.2 s]
/proc/loadavg: 4.14 4.13 4.04 5/263 34142
/proc/meminfo: memFree=123380664/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=4467640 memory=4361448 CPUtime=3590.4 cores=1,3
/proc/30688/stat : 30688 (fscip) S 30685 30688 30613 0 -1 1077936128 4117678 0 0 0 358688 352 0 0 20 0 3 0 4464026 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 1116910 1090362 2982 3035 0 1109216 0
[pid=30688/tid=30803] ppid=30685 vsize=4467640 memory=13012 CPUtime=3574.41 cores=1,3
/proc/30688/task/30803/stat : 30803 (fscip) R 30685 30688 30613 0 -1 4194368 3670208 0 0 0 357169 272 0 0 20 0 3 0 4465586 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
[pid=30688/tid=30804] ppid=30685 vsize=4467640 memory=-7236276917862752632 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 923 0 0 0 1 2 0 0 20 0 3 0 4465671 4574863360 1090362 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3590.4 s
Current children cumulated vsize: 4467640 KiB
Current children cumulated memory: 4361448 KiB
[startup+3599.6 s]
/proc/loadavg: 4.14 4.13 4.04 5/263 34142
/proc/meminfo: memFree=123380664/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=3534044 memory=3433808 CPUtime=3590.8 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 4123860 0 0 0 358727 353 0 0 20 0 2 0 4464026 3618861056 858452 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 883511 858452 3030 3035 0 877076 0
[pid=30688/tid=30804] ppid=30685 vsize=3534044 memory=11408 CPUtime=0.03 cores=1,3
/proc/30688/task/30804/stat : 30804 (fscip) S 30685 30688 30613 0 -1 1077936192 923 0 0 0 1 2 0 0 20 0 2 0 4465671 3618861056 858452 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
Current children cumulated CPU time: 3590.8 s
Current children cumulated vsize: 3534044 KiB
Current children cumulated memory: 3433808 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.13 4.04 5/263 34174
/proc/meminfo: memFree=124011996/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=3450184 memory=3349948 CPUtime=3591.2 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 4126035 0 0 0 358766 354 0 0 20 0 1 0 4464026 3532988416 837487 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 862546 837487 3030 3035 0 856111 0
Current children cumulated CPU time: 3591.2 s
Current children cumulated vsize: 3450184 KiB
Current children cumulated memory: 3349948 KiB
[startup+3600.11 s]
/proc/loadavg: 4.12 4.13 4.04 5/263 34174
/proc/meminfo: memFree=124011996/131524600 swapFree=131071996/131071996
[pid=30688] ppid=30685 vsize=3324500 memory=3224264 CPUtime=3591.3 cores=1,3
/proc/30688/stat : 30688 (fscip) R 30685 30688 30613 0 -1 4194304 4133490 0 0 0 358774 356 0 0 20 0 1 0 4464026 3404288000 806066 134679101440 4194304 16623229 140736146412864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 27664384 140736146416662 140736146416778 140736146416778 140736146423792 0
/proc/30688/statm: 831125 806066 3030 3035 0 824690 0
Current children cumulated CPU time: 3591.3 s
Current children cumulated vsize: 3324500 KiB
Current children cumulated memory: 3224264 KiB
Child status: 0
Real time (s): 3600.17
CPU time (s): 3591.37
CPU user time (s): 3587.8
CPU system time (s): 3.57444
CPU usage (%): 99.7556
Max. virtual memory (cumulated for all children) (KiB): 4598712
Max. memory (cumulated for all children) (KiB): 4451296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.8
system time used= 3.57444
maximum resident set size= 4451296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4136717
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= 3640
involuntary context switches= 1724
# summary of solver processes directly reported to runsolver:
# pid: 30688
# total CPU time (s): 3591.37
# total CPU user time (s): 3587.8
# total CPU system time (s): 3.57444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15745 second user time and 15.2412 second system time
The end
Begin job on nodeC034 at 2024-07-31 00:29:57
IDJOB=4464421
IDBENCH=147705
IDSOLVER=3092
FILE ID=nodeC034/4464421-1722378597
RUNJOBID= nodeC034-1722378597-30625
SLURM_JOB_ID= 8249857
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.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-4464421-1722378597/watcher-4464421-1722378597 -o /tmp/evaluation-result-4464421-1722378597/solver-4464421-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30625 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464421-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=576650998
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.064
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.51
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 : 3673.367
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 : 7005.49
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 : 3577.703
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.51
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 : 3665.651
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 : 7005.49
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 : 3619.026
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.51
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 : 3666.084
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 : 7005.49
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 : 3666.836
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.51
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 : 3675.042
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 : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129571812 kB
MemAvailable: 129754788 kB
Buffers: 86056 kB
Cached: 931292 kB
SwapCached: 0 kB
Active: 253772 kB
Inactive: 1224772 kB
Active(anon): 1520 kB
Inactive(anon): 480748 kB
Active(file): 252252 kB
Inactive(file): 744024 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 130144 kB
Writeback: 0 kB
AnonPages: 459016 kB
Mapped: 121920 kB
Shmem: 21336 kB
KReclaimable: 53048 kB
Slab: 133440 kB
SReclaimable: 53048 kB
SUnreclaim: 80392 kB
KernelStack: 4160 kB
PageTables: 9788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 723580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC034 at 2024-07-31 01:29:58