0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
2.68/2.72 c Default LC presolving (default).
2.68/2.72 c ** Before presolving: virtualMemUsedAtLc = 2034686214, getVmSize() = 1317011456, SCIPgetMemUsed() = 1223762130, SCIPgetMemTotal() = 1247601570, SCIPgetMemExternEstim() = 787084644
2.68/2.72 c ** set memory limit for presolving in LC to 8.79548e+12 for SCIP **
825.28/828.40 c ** Estimated virtualMemUsedAtSolver = 2347515586, getVmSize() = 2895470592, SCIPgetMemUsed() = 1993620207, SCIPgetMemTotal() = 2734188735, SCIPgetMemExternEstim() = 787084644
825.28/828.40 c ** set memory limit for solvers to 4.39798e+12 for each SCIP **
825.28/828.40 c Original Problem :
825.28/828.40 c Problem name : instance-4426803-1720905567
825.28/828.40 c Variables : 319936 (319936 binary, 0 integer, 0 implicit integer, 0 continuous)
825.28/828.40 c Constraints : 523631
825.28/828.40 c Objective sense : minimize
825.28/828.40 c Presolved Problem :
825.28/828.40 c Variables : 529928 (319751 binary, 0 integer, 210177 implicit integer, 0 continuous)
825.28/828.40 c Constraints : 516321
825.28/828.40 c Constraints : Number
825.28/828.40 c knapsack : 5687
825.28/828.40 c setppc : 58018
825.28/828.40 c and : 3494
825.28/828.40 c linear : 210177
825.28/828.40 c logicor : 28768
825.28/828.40 c indicator : 210177
825.28/828.40 c ** Instance transfer method used: 0
826.87/830.03 c ** ParaScipInstance copy increased the number of variables. **
828.45/831.69 c LC is working with racing ramp-up and with rebuilding tree after racing.
828.45/831.69 c Nodes Active
828.45/831.69 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3587.52/3600.71 c 3601 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3590.32/3603.57 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.32/3603.57 c Total Time : 3603.5800
3590.32/3603.57 c solving : 3603.5800
3590.32/3603.57 c presolving : 825.6807 (included in solving)
3590.32/3603.57 c B&B Tree :
3590.32/3603.57 c nodes (total) : 1
3590.32/3603.57 c Solution :
3590.32/3603.57 c Solutions found : 0
3590.32/3603.57 c Primal Bound : -
3590.32/3603.57 c Dual Bound : -
3590.32/3603.57 c Gap : -
3592.10/3605.39 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 (62890 MiB free)
memory of node 1: 64473 MiB (62574 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426803-1720905567/watcher-4426803-1720905567 -o /tmp/evaluation-result-4426803-1720905567/solver-4426803-1720905567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720905559-723487 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426803-1720905567.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=723702, runsolver pid=723699
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 2.36 3.24 3.72 5/262 723703
/proc/meminfo: memFree=128424484/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=74344 memory=62588 CPUtime=0.1 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 13607 0 0 0 8 2 0 0 20 0 1 0 142723746 76128256 15647 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 18586 15647 2318 3032 0 14986 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74344 KiB
Current children cumulated memory: 62588 KiB
[startup+0.20597 s]*
/proc/loadavg: 2.36 3.24 3.72 5/262 723703
/proc/meminfo: memFree=128366640/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=122116 memory=110504 CPUtime=0.2 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 25548 0 0 0 17 3 0 0 20 0 1 0 142723746 125046784 27626 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 30529 27626 2318 3032 0 26929 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 122116 KiB
Current children cumulated memory: 110504 KiB
[startup+0.305972 s]*
/proc/loadavg: 2.36 3.24 3.72 5/262 723703
/proc/meminfo: memFree=128317656/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=165688 memory=154140 CPUtime=0.3 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 36430 0 0 0 25 5 0 0 20 0 1 0 142723746 169664512 38469 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 41422 38535 2318 3032 0 37822 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 165688 KiB
Current children cumulated memory: 154140 KiB
[startup+0.700242 s]
/proc/loadavg: 2.36 3.24 3.72 5/262 723703
/proc/meminfo: memFree=128228704/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=333536 memory=321568 CPUtime=0.69 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 77802 0 0 0 58 11 0 0 20 0 1 0 142723746 341540864 80392 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 83384 80392 2318 3032 0 79784 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 333536 KiB
Current children cumulated memory: 321568 KiB
[startup+1.50023 s]
/proc/loadavg: 2.36 3.24 3.72 5/262 723703
/proc/meminfo: memFree=128005316/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=713996 memory=698312 CPUtime=1.48 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 172807 0 0 0 123 25 0 0 20 0 1 0 142723746 731131904 174578 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 178499 174578 2558 3032 0 174899 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 713996 KiB
Current children cumulated memory: 698312 KiB
[startup+3.10591 s]
/proc/loadavg: 2.49 3.26 3.72 5/262 723705
/proc/meminfo: memFree=127027244/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=1447980 memory=1422688 CPUtime=3.08 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 345212 0 0 0 259 49 0 0 20 0 1 0 142723746 1482731520 355672 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 361995 355672 2590 3032 0 358395 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1447980 KiB
Current children cumulated memory: 1422688 KiB
[startup+6.30022 s]
/proc/loadavg: 2.49 3.26 3.72 5/254 723837
/proc/meminfo: memFree=126387876/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2152972 memory=2125616 CPUtime=6.25 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 507664 0 0 0 553 72 0 0 20 0 1 0 142723746 2204643328 531404 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 538243 531404 2622 3032 0 534643 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 2152972 KiB
Current children cumulated memory: 2125616 KiB
[startup+12.7002 s]
/proc/loadavg: 2.61 3.27 3.72 5/262 723849
/proc/meminfo: memFree=126157524/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2309692 memory=2240748 CPUtime=12.61 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 522148 0 0 0 1185 76 0 0 20 0 1 0 142723746 2365124608 560187 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 577423 560187 2670 3032 0 573823 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 2309692 KiB
Current children cumulated memory: 2240748 KiB
[startup+25.5002 s]
/proc/loadavg: 2.99 3.32 3.73 5/264 723856
/proc/meminfo: memFree=126056500/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2309692 memory=2240748 CPUtime=25.33 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 522161 0 0 0 2457 76 0 0 20 0 1 0 142723746 2365124608 560187 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 577423 560187 2670 3032 0 573823 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 2309692 KiB
Current children cumulated memory: 2240748 KiB
[startup+51.1059 s]
/proc/loadavg: 3.34 3.38 3.74 5/264 723859
/proc/meminfo: memFree=125924136/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2309692 memory=2240748 CPUtime=50.85 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 522177 0 0 0 5008 77 0 0 20 0 1 0 142723746 2365124608 560187 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 577423 560187 2670 3032 0 573823 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 2309692 KiB
Current children cumulated memory: 2240748 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 3.49 3.76 5/264 723868
/proc/meminfo: memFree=125740872/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2309692 memory=2240748 CPUtime=101.86 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 522194 0 0 0 10109 77 0 0 20 0 1 0 142723746 2365124608 560187 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 577423 560187 2670 3032 0 573823 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 2309692 KiB
Current children cumulated memory: 2240748 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 3.62 3.79 5/264 723878
/proc/meminfo: memFree=125580644/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2320392 memory=2260364 CPUtime=161.65 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 525638 0 0 0 16087 78 0 0 20 0 1 0 142723746 2376081408 565091 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 580098 565091 2670 3032 0 576498 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 2320392 KiB
Current children cumulated memory: 2260364 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.70 3.81 5/264 723889
/proc/meminfo: memFree=125340412/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2320392 memory=2260464 CPUtime=221.43 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 525672 0 0 0 22065 78 0 0 20 0 1 0 142723746 2376081408 565116 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 580098 565116 2670 3032 0 576498 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 2320392 KiB
Current children cumulated memory: 2260464 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.79 3.83 5/264 723948
/proc/meminfo: memFree=125780024/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2320392 memory=2260464 CPUtime=281.22 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 525717 0 0 0 28043 79 0 0 20 0 1 0 142723746 2376081408 565116 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 580098 565116 2670 3032 0 576498 0
Current children cumulated CPU time: 281.22 s
Current children cumulated vsize: 2320392 KiB
Current children cumulated memory: 2260464 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.85 3.85 5/260 723958
/proc/meminfo: memFree=125743128/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2320392 memory=2260464 CPUtime=340.99 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 525761 0 0 0 34020 79 0 0 20 0 1 0 142723746 2376081408 565116 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 580098 565116 2670 3032 0 576498 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 2320392 KiB
Current children cumulated memory: 2260464 KiB
[startup+402.3 s]
/proc/loadavg: 4.42 3.98 3.90 5/261 724352
/proc/meminfo: memFree=125712428/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2320392 memory=2260464 CPUtime=400.76 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 525807 0 0 0 39997 79 0 0 20 0 1 0 142723746 2376081408 565116 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 580098 565116 2670 3032 0 576498 0
Current children cumulated CPU time: 400.76 s
Current children cumulated vsize: 2320392 KiB
Current children cumulated memory: 2260464 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.02 3.92 5/259 724409
/proc/meminfo: memFree=125484908/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=2320392 memory=2260464 CPUtime=460.54 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 525851 0 0 0 45974 80 0 0 20 0 1 0 142723746 2376081408 565116 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 580098 565116 2670 3032 0 576498 0
Current children cumulated CPU time: 460.54 s
################
# More data... #
################
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 8683800 0 0 0 332373 625 0 0 20 0 3 0 142723746 7569375232 1734181 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1734181 2750 3032 0 1821348 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=6934420 CPUtime=2503.03 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 7882297 0 0 0 249818 485 0 0 20 0 3 0 142806587 7569375232 1734181 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=6936664 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 622 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1734181 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3329.98 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6936724 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.21 4.17 5/262 726364
/proc/meminfo: memFree=117127256/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6942092 CPUtime=3389.78 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 8830247 0 0 0 338344 634 0 0 20 0 3 0 142723746 7569375232 1735523 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1735523 2750 3032 0 1822084 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=11584 CPUtime=2562.83 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8028728 0 0 0 255789 494 0 0 20 0 3 0 142806587 7569375232 1735523 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=6940088 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 638 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1735523 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3389.78 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6942092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.18 4.16 5/262 726375
/proc/meminfo: memFree=117048140/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6951536 CPUtime=3449.59 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 8973294 0 0 0 344317 642 0 0 20 0 3 0 142723746 7569375232 1737884 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1737884 2750 3032 0 1823252 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=11584 CPUtime=2622.63 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8171759 0 0 0 261761 502 0 0 20 0 3 0 142806587 7569375232 1737884 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=6940088 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 654 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1737884 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3449.59 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6951536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.17 5/262 726385
/proc/meminfo: memFree=117002416/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6960692 CPUtime=3509.38 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 9114589 0 0 0 350289 649 0 0 20 0 3 0 142723746 7569375232 1740173 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1740173 2750 3032 0 1824244 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=6943332 CPUtime=2682.43 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8313038 0 0 0 267734 509 0 0 20 0 3 0 142806587 7569375232 1740173 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=12384 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 670 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1740173 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3509.38 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6960692 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/260 726441
/proc/meminfo: memFree=118675104/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6968996 CPUtime=3569.19 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 9250108 0 0 0 356262 657 0 0 20 0 3 0 142723746 7569375232 1742249 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1742249 2750 3032 0 1826166 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=6943332 CPUtime=2742.23 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8448541 0 0 0 273706 517 0 0 20 0 3 0 142806587 7569375232 1742249 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=6968992 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 686 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1742249 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3569.19 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6968996 KiB
[startup+3605.46 s]
# the end of solver process 723702 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.28 s, system=6.98779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.17 4.16 5/260 726443
/proc/meminfo: memFree=117757776/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6968996 CPUtime=3570.89 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 9250269 0 0 0 356432 657 0 0 20 0 3 0 142723746 7569375232 1742249 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1742249 2750 3032 0 1826166 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=31976 CPUtime=2743.94 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8448702 0 0 0 273877 517 0 0 20 0 3 0 142806587 7569375232 1742249 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=-8672356622545625788 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 686 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1742249 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3570.89 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6968996 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.18 4.16 5/260 726444
/proc/meminfo: memFree=116541840/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6970488 CPUtime=3583.64 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 9264454 0 0 0 357706 658 0 0 20 0 3 0 142723746 7569375232 1742622 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1742622 2750 3032 0 1826166 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=6968404 CPUtime=2756.69 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8462887 0 0 0 275151 518 0 0 20 0 3 0 142806587 7569375232 1742622 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=6968996 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 686 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1742622 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6970488 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.18 4.16 5/260 726444
/proc/meminfo: memFree=116477204/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7391968 memory=6970492 CPUtime=3586.83 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 9301340 0 0 0 358023 660 0 0 20 0 3 0 142723746 7569375232 1742623 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1847992 1742623 2750 3032 0 1826166 0
[pid=723702/tid=724702] ppid=723699 vsize=7391968 memory=6788 CPUtime=2759.88 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8499830 0 0 0 275468 520 0 0 20 0 3 0 142806587 7569375232 1742623 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7391968 memory=7172 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 686 0 0 0 1 2 0 0 20 0 3 0 142806919 7569375232 1742623 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 7391968 KiB
Current children cumulated memory: 6970492 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.18 4.16 5/261 726447
/proc/meminfo: memFree=115562632/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=7195360 memory=6804520 CPUtime=3590.02 cores=1,3
/proc/723702/stat : 723702 (fscip) S 723699 723702 721169 0 -1 1077936128 9633345 0 0 0 358324 678 0 0 20 0 3 0 142723746 7368048640 1701130 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1798840 1701130 2750 3032 0 1784251 0
[pid=723702/tid=724702] ppid=723699 vsize=7195360 memory=2500 CPUtime=2763.06 cores=1,3
/proc/723702/task/724702/stat : 724702 (fscip) R 723699 723702 721169 0 -1 4194368 8831763 0 0 0 275768 538 0 0 20 0 3 0 142806587 7368048640 1701130 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
[pid=723702/tid=724703] ppid=723699 vsize=7195360 memory=11584 CPUtime=0.03 cores=1,3
/proc/723702/task/724703/stat : 724703 (fscip) S 723699 723702 721169 0 -1 1077936192 686 0 0 0 1 2 0 0 20 0 3 0 142806919 7368048640 1701130 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
Current children cumulated CPU time: 3590.02 s
Current children cumulated vsize: 7195360 KiB
Current children cumulated memory: 6804520 KiB
[startup+3604.8 s]
/proc/loadavg: 4.15 4.17 4.16 5/260 726447
/proc/meminfo: memFree=115501440/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=6928676 memory=6548068 CPUtime=3591.61 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 9784822 0 0 0 358475 686 0 0 20 0 1 0 142723746 7094964224 1637017 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1732169 1637017 2798 3032 0 1720004 0
Current children cumulated CPU time: 3591.61 s
Current children cumulated vsize: 6928676 KiB
Current children cumulated memory: 6548068 KiB
[startup+3605.2 s]
/proc/loadavg: 4.15 4.17 4.16 5/259 726447
/proc/meminfo: memFree=114831524/131524600 swapFree=131071996/131071996
[pid=723702] ppid=723699 vsize=6827000 memory=6447184 CPUtime=3592 cores=1,3
/proc/723702/stat : 723702 (fscip) R 723699 723702 721169 0 -1 4194304 9831563 0 0 0 358512 688 0 0 20 0 1 0 142723746 6990848000 1611796 134679101440 4194304 16613245 140723929227104 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43364352 140723929232353 140723929232469 140723929232469 140723929239536 0
/proc/723702/statm: 1706750 1611796 2798 3032 0 1694585 0
Current children cumulated CPU time: 3592 s
Current children cumulated vsize: 6827000 KiB
Current children cumulated memory: 6447184 KiB
[startup+3605.4 s]*
/proc/loadavg: 4.15 4.17 4.16 5/259 726447
/proc/meminfo: memFree=119206676/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3605.46
CPU time (s): 3592.26
CPU user time (s): 3585.28
CPU system time (s): 6.98779
CPU usage (%): 99.634
Max. virtual memory (cumulated for all children) (KiB): 7391968
Max. memory (cumulated for all children) (KiB): 6970492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.28
system time used= 6.98779
maximum resident set size= 6970492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9882492
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= 2889
involuntary context switches= 4946
# summary of solver processes directly reported to runsolver:
# pid: 723702
# total CPU time (s): 3592.26
# total CPU user time (s): 3585.28
# total CPU system time (s): 6.98779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87865 second user time and 17.4096 second system time
The end
Begin job on nodeC028 at 2024-07-13 23:19:39
IDJOB=4426803
IDBENCH=143431
IDSOLVER=3044
FILE ID=nodeC028/4426803-1720905567
RUNJOBID= nodeC028-1720905559-723487
SLURM_JOB_ID= 7486087
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426803-1720905567/watcher-4426803-1720905567 -o /tmp/evaluation-result-4426803-1720905567/solver-4426803-1720905567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720905559-723487 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4426803-1720905567.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ab53751f0d079b369ec7d5616a78bc
RANDOM SEED=459483148
nodeC028.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 : 3600.040
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.56
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 : 3663.833
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.59
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 : 3665.306
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.56
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 : 3683.253
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.59
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 : 3665.307
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.56
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 : 3680.444
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.094
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128476376 kB
MemAvailable: 128572324 kB
Buffers: 327228 kB
Cached: 614908 kB
SwapCached: 0 kB
Active: 523972 kB
Inactive: 1966260 kB
Active(anon): 1536 kB
Inactive(anon): 1583948 kB
Active(file): 522436 kB
Inactive(file): 382312 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 127920 kB
Writeback: 24 kB
AnonPages: 1547112 kB
Mapped: 135548 kB
Shmem: 37720 kB
KReclaimable: 62044 kB
Slab: 158652 kB
SReclaimable: 62044 kB
SUnreclaim: 96608 kB
KernelStack: 4200 kB
PageTables: 12488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1510904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 166612 kB
DirectMap2M: 10092544 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC028 at 2024-07-14 00:19:45