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)
4.67/4.77 c Default LC presolving (default).
4.67/4.79 c ** Before presolving: virtualMemUsedAtLc = 2986113555, getVmSize() = 1934553088, SCIPgetMemUsed() = 1737616094, SCIPgetMemTotal() = 1833417838, SCIPgetMemExternEstim() = 1152695717
4.67/4.79 c ** set memory limit for presolving in LC to 8.7952e+12 for SCIP **
162.11/162.80 c ** Estimated virtualMemUsedAtSolver = 2796567395, getVmSize() = 3437068288, SCIPgetMemUsed() = 2422601112, SCIPgetMemTotal() = 3042155376, SCIPgetMemExternEstim() = 1152695717
162.11/162.80 c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
162.11/162.80 c Original Problem :
162.11/162.80 c Problem name : instance-4464228-1722382544
162.11/162.80 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
162.11/162.80 c Constraints : 847958
162.11/162.80 c Objective sense : minimize
162.11/162.80 c Presolved Problem :
162.11/162.80 c Variables : 300225 (300225 binary, 0 integer, 0 implicit integer, 0 continuous)
162.11/162.80 c Constraints : 539254
162.11/162.80 c Constraints : Number
162.11/162.80 c knapsack : 1375
162.11/162.80 c setppc : 356526
162.11/162.80 c and : 180075
162.11/162.80 c linear : 3
162.11/162.80 c logicor : 1275
162.11/162.80 c ** Instance transfer method used: 0
163.70/164.32 c ** ParaScipInstance copy does not increase the number of variables. **
165.58/166.22 c LC is working with racing ramp-up and with rebuilding tree after racing.
165.58/166.22 c Nodes Active
165.58/166.22 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2229.88/2238.36 c 2238 2 1 1 - 599167.3135 -
2328.03/2336.82 c 2337 3 2 1 - 599349.5500 -
2421.20/2430.33 c 2430 4 3 1 - 599349.5500 -
2526.54/2536.10 c 2536 5 4 1 - 599349.5500 -
2614.71/2624.55 c 2625 6 5 1 - 599349.5500 -
2791.47/2801.96 c 2802 7 6 1 - 599349.5500 -
2921.71/2932.63 c 2933 8 7 1 - 599349.5500 -
3016.89/3028.19 c 3028 9 8 1 - 599349.5500 -
3132.78/3144.41 c 3144 10 9 1 - 599349.5500 -
3315.83/3328.11 c 3328 11 10 1 - 599349.5500 -
3484.13/3497.06 c 3497 12 11 1 - 599349.5500 -
3502.57/3515.55 c 3516 14 13 1 - 599349.5500 -
3510.15/3523.17 c 3523 15 14 1 - 599349.5500 -
3519.90/3532.93 c 3533 16 15 1 - 599349.5500 -
3584.79/3598.08 c 3598 16 15 0 - 599349.5500 -
3589.26/3602.56 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.26/3602.56 c Total Time : 3602.5600
3589.26/3602.56 c solving : 3602.5600
3589.26/3602.56 c presolving : 158.0034 (included in solving)
3589.26/3602.56 c B&B Tree :
3589.26/3602.56 c nodes (total) : 1
3589.26/3602.56 c Solution :
3589.26/3602.56 c Solutions found : 0
3589.26/3602.56 c Primal Bound : -
3589.26/3602.56 c Dual Bound : +5.99349549989744e+05
3589.26/3602.56 c Gap : -
3591.65/3604.95 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: 64096 MiB (53123 MiB free)
memory of node 1: 64473 MiB (60501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464228-1722382544/watcher-4464228-1722382544 -o /tmp/evaluation-result-4464228-1722382544/solver-4464228-1722382544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29036 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464228-1722382544.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31576, runsolver pid=31573
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 4.31 4.20 4.14 5/251 31577
/proc/meminfo: memFree=116298072/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=79920 memory=66320 CPUtime=0.09 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 14457 0 0 0 5 4 0 0 20 0 1 0 4625928 81838080 16580 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 19980 16580 2347 3035 0 16376 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 66320 KiB
[startup+0.207353 s]*
/proc/loadavg: 4.31 4.20 4.14 5/251 31577
/proc/meminfo: memFree=116246160/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=134412 memory=119220 CPUtime=0.21 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 27704 0 0 0 12 9 0 0 20 0 1 0 4625928 137637888 29805 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 33603 29805 2347 3035 0 29999 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 134412 KiB
Current children cumulated memory: 119220 KiB
[startup+0.307158 s]*
/proc/loadavg: 4.31 4.20 4.14 7/251 31577
/proc/meminfo: memFree=116200308/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=180032 memory=164288 CPUtime=0.3 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 38948 0 0 0 18 12 0 0 20 0 1 0 4625928 184352768 41072 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 45008 41072 2347 3035 0 41404 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 180032 KiB
Current children cumulated memory: 164288 KiB
[startup+0.700311 s]
/proc/loadavg: 4.31 4.20 4.14 5/251 31577
/proc/meminfo: memFree=116162308/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=276868 memory=261236 CPUtime=0.69 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 63230 0 0 0 52 17 0 0 20 0 1 0 4625928 283512832 65309 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 69217 65309 2347 3035 0 65613 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 276868 KiB
Current children cumulated memory: 261236 KiB
[startup+1.50036 s]
/proc/loadavg: 4.31 4.20 4.14 5/251 31577
/proc/meminfo: memFree=116006596/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=469124 memory=453392 CPUtime=1.48 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 110223 0 0 0 123 25 0 0 20 0 1 0 4625928 480382976 113348 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 117281 113348 2347 3035 0 113677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 469124 KiB
Current children cumulated memory: 453392 KiB
[startup+3.11276 s]
/proc/loadavg: 4.31 4.20 4.14 5/251 31577
/proc/meminfo: memFree=115411932/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=1062428 memory=1048984 CPUtime=3.09 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 264659 0 0 0 261 48 0 0 20 0 1 0 4625928 1087926272 262181 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 265607 262181 2555 3035 0 262003 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1062428 KiB
Current children cumulated memory: 1048984 KiB
[startup+6.30032 s]
/proc/loadavg: 4.29 4.20 4.14 5/251 31579
/proc/meminfo: memFree=114345128/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=2072516 memory=2037288 CPUtime=6.27 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 495330 0 0 0 546 81 0 0 20 0 1 0 4625928 2122256384 509322 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 518129 509322 2630 3035 0 514525 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2072516 KiB
Current children cumulated memory: 2037288 KiB
[startup+12.7003 s]
/proc/loadavg: 4.34 4.21 4.14 5/251 31581
/proc/meminfo: memFree=113682364/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=2714296 memory=2672688 CPUtime=12.65 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 534926 0 0 0 1158 107 0 0 20 0 1 0 4625928 2779439104 668172 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 678574 668172 2726 3035 0 674970 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2714296 KiB
Current children cumulated memory: 2672688 KiB
[startup+25.5004 s]
/proc/loadavg: 4.27 4.20 4.14 5/251 31582
/proc/meminfo: memFree=113285404/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=2844656 memory=2798372 CPUtime=25.41 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 672515 0 0 0 2412 129 0 0 20 0 1 0 4625928 2912927744 699593 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 711164 699593 2758 3035 0 707560 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2844656 KiB
Current children cumulated memory: 2798372 KiB
[startup+51.113 s]
/proc/loadavg: 4.17 4.18 4.14 5/251 31587
/proc/meminfo: memFree=112991972/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=3082444 memory=3037072 CPUtime=50.93 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 690219 0 0 0 4957 136 0 0 20 0 1 0 4625928 3156422656 759268 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 770611 759268 2774 3035 0 767007 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3082444 KiB
Current children cumulated memory: 3037072 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.20 4.14 5/251 31596
/proc/meminfo: memFree=112950804/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=3082444 memory=3037132 CPUtime=101.93 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 690464 0 0 0 10055 138 0 0 20 0 1 0 4625928 3156422656 759283 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 770611 759283 2774 3035 0 767007 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 3082444 KiB
Current children cumulated memory: 3037132 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/249 31652
/proc/meminfo: memFree=100922872/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=3479912 memory=3256984 CPUtime=161.71 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 707684 0 0 0 16025 146 0 0 20 0 1 0 4625928 3563429888 814246 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 869978 814246 2790 3035 0 866374 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 3479912 KiB
Current children cumulated memory: 3256984 KiB
[startup+222.3 s]
/proc/loadavg: 4.58 4.29 4.18 5/251 31665
/proc/meminfo: memFree=95891812/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=5530904 memory=5269284 CPUtime=221.48 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 1865662 0 0 0 21846 302 0 0 20 0 3 0 4625928 5663645696 1317321 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 1382726 1317321 2806 3035 0 1367443 0
[pid=31576/tid=31653] ppid=31573 vsize=5530904 memory=5226732 CPUtime=57.75 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 1006290 0 0 0 5645 130 0 0 20 0 3 0 4642208 5663645696 1317321 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=5530904 memory=5226748 CPUtime=0 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 4642553 5663645696 1317321 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 5530904 KiB
Current children cumulated memory: 5269284 KiB
[startup+282.3 s]
/proc/loadavg: 4.47 4.33 4.20 5/252 31678
/proc/meminfo: memFree=94941172/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=5596440 memory=5306032 CPUtime=281.26 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 2301651 0 0 0 27792 334 0 0 20 0 3 0 4625928 5730754560 1326508 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 1399110 1326508 2806 3035 0 1376621 0
[pid=31576/tid=31653] ppid=31573 vsize=5596440 memory=5284276 CPUtime=117.52 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 1442262 0 0 0 11591 161 0 0 20 0 3 0 4642208 5730754560 1326508 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=5596440 memory=5282136 CPUtime=0 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4642553 5730754560 1326508 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 5596440 KiB
Current children cumulated memory: 5306032 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.28 4.19 5/250 31689
/proc/meminfo: memFree=93799532/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=6681028 memory=6415540 CPUtime=341.04 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 2799021 0 0 0 33711 393 0 0 20 0 3 0 4625928 6841372672 1603885 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 1670257 1603885 2854 3035 0 1657153 0
[pid=31576/tid=31653] ppid=31573 vsize=6681028 memory=5284276 CPUtime=177.31 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 1939623 0 0 0 17511 220 0 0 20 0 3 0 4642208 6841372672 1603885 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=6681028 memory=5282136 CPUtime=0 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4642553 6841372672 1603885 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 6681028 KiB
Current children cumulated memory: 6415540 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.26 4.18 5/250 31700
/proc/meminfo: memFree=93775352/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=6681028 memory=6415540 CPUtime=400.83 cores=0,2
################
# More data... #
################
[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.15 6/249 33576
/proc/meminfo: memFree=108515136/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9375976 CPUtime=3329.96 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 20806476 0 0 0 331473 1523 0 0 20 0 3 0 4625928 11292168192 2343994 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2343994 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=12576 CPUtime=3166.17 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 19946321 0 0 0 315272 1345 0 0 20 0 3 0 4642208 11292168192 2343994 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=11968 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 512 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2343994 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3329.96 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9375976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.14 6/249 33587
/proc/meminfo: memFree=108460900/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380668 CPUtime=3389.75 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 21232597 0 0 0 337430 1545 0 0 20 0 3 0 4625928 11292168192 2345167 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345167 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=12576 CPUtime=3225.96 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 20372435 0 0 0 321229 1367 0 0 20 0 3 0 4642208 11292168192 2345167 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=12132 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 519 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345167 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3389.75 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380668 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.14 7/249 33598
/proc/meminfo: memFree=108415044/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380668 CPUtime=3449.55 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 21407547 0 0 0 343399 1556 0 0 20 0 3 0 4625928 11292168192 2345167 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345167 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=12576 CPUtime=3285.74 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 20547375 0 0 0 327197 1377 0 0 20 0 3 0 4642208 11292168192 2345167 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=9380668 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 529 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345167 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3449.55 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.13 6/249 33608
/proc/meminfo: memFree=108366316/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380764 CPUtime=3509.34 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 22098272 0 0 0 349342 1592 0 0 20 0 3 0 4625928 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345191 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=12576 CPUtime=3345.54 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 21238039 0 0 0 333140 1414 0 0 20 0 3 0 4642208 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=9380764 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 539 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3509.34 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.13 6/249 33620
/proc/meminfo: memFree=108245000/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380764 CPUtime=3569.13 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 22135625 0 0 0 355318 1595 0 0 20 0 3 0 4625928 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345191 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=5512 CPUtime=3405.33 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 21275377 0 0 0 339116 1417 0 0 20 0 3 0 4642208 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=9380764 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 546 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3569.13 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380764 KiB
[startup+3605.1 s]
# the end of solver process 31576 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.12 s, system=16.7363 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.13 7/249 33620
/proc/meminfo: memFree=108242096/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380764 CPUtime=3570.85 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 22136096 0 0 0 355489 1596 0 0 20 0 3 0 4625928 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345191 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=12576 CPUtime=3407.04 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 21275848 0 0 0 339287 1417 0 0 20 0 3 0 4642208 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=12132 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 546 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380764 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.13 7/249 33621
/proc/meminfo: memFree=108229816/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380764 CPUtime=3583.59 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 22413733 0 0 0 356751 1608 0 0 20 0 3 0 4625928 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345191 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=9380764 CPUtime=3419.78 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 21553485 0 0 0 340549 1429 0 0 20 0 3 0 4642208 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=5512 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 546 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3583.59 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380764 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.10 4.13 6/249 33623
/proc/meminfo: memFree=108224016/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=11027508 memory=9380764 CPUtime=3586.79 cores=0,2
/proc/31576/stat : 31576 (fscip) S 31573 31576 29026 0 -1 1077936128 22617133 0 0 0 357059 1620 0 0 20 0 3 0 4625928 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2756877 2345191 3014 3035 0 2735458 0
[pid=31576/tid=31653] ppid=31573 vsize=11027508 memory=-7307490086970548603 CPUtime=3422.98 cores=0,2
/proc/31576/task/31653/stat : 31653 (fscip) R 31573 31576 29026 0 -1 4194368 21756881 0 0 0 340857 1441 0 0 20 0 3 0 4642208 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
[pid=31576/tid=31654] ppid=31573 vsize=11027508 memory=8100 CPUtime=0.06 cores=0,2
/proc/31576/task/31654/stat : 31654 (fscip) S 31573 31576 29026 0 -1 1077936192 546 0 0 0 1 5 0 0 20 0 3 0 4642553 11292168192 2345191 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 11027508 KiB
Current children cumulated memory: 9380764 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.10 4.12 6/247 33623
/proc/meminfo: memFree=109391548/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=8498788 memory=8214032 CPUtime=3589.96 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 22973682 0 0 0 357350 1646 0 0 20 0 1 0 4625928 8702758912 2053508 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2124697 2053508 3014 3035 0 2106527 0
Current children cumulated CPU time: 3589.96 s
Current children cumulated vsize: 8498788 KiB
Current children cumulated memory: 8214032 KiB
[startup+3604 s]*
/proc/loadavg: 4.08 4.10 4.12 6/247 33623
/proc/meminfo: memFree=109400752/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=8487492 memory=8203836 CPUtime=3590.76 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 22975572 0 0 0 357430 1646 0 0 20 0 1 0 4625928 8691191808 2050959 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2121873 2050959 3014 3035 0 2103703 0
Current children cumulated CPU time: 3590.76 s
Current children cumulated vsize: 8487492 KiB
Current children cumulated memory: 8203836 KiB
[startup+3604.8 s]
/proc/loadavg: 4.08 4.10 4.12 6/247 33623
/proc/meminfo: memFree=109400752/131655788 swapFree=131071216/131071996
[pid=31576] ppid=31573 vsize=8127272 memory=7843616 CPUtime=3591.55 cores=0,2
/proc/31576/stat : 31576 (fscip) R 31573 31576 29026 0 -1 4194304 23084188 0 0 0 357500 1655 0 0 20 0 1 0 4625928 8322326528 1960904 134679101440 4194304 16623229 140728612207040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53309440 140728612209686 140728612209802 140728612209802 140728612216816 0
/proc/31576/statm: 2031818 1960904 3014 3035 0 2013648 0
Current children cumulated CPU time: 3591.55 s
Current children cumulated vsize: 8127272 KiB
Current children cumulated memory: 7843616 KiB
[startup+3605 s]*
/proc/loadavg: 4.08 4.10 4.12 6/247 33624
/proc/meminfo: memFree=114115708/131655788 swapFree=131071216/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.1
CPU time (s): 3591.86
CPU user time (s): 3575.12
CPU system time (s): 16.7363
CPU usage (%): 99.6327
Max. virtual memory (cumulated for all children) (KiB): 11093044
Max. memory (cumulated for all children) (KiB): 9384864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.12
system time used= 16.7363
maximum resident set size= 9384864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23130311
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= 3577
involuntary context switches= 25142
# summary of solver processes directly reported to runsolver:
# pid: 31576
# total CPU time (s): 3591.86
# total CPU user time (s): 3575.12
# total CPU system time (s): 16.7363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1344 second user time and 37.8435 second system time
The end
Begin job on nodeC003 at 2024-07-31 01:35:45
IDJOB=4464228
IDBENCH=155707
IDSOLVER=3092
FILE ID=nodeC003/4464228-1722382544
RUNJOBID= nodeC003-1722378594-29036
SLURM_JOB_ID= 8249833
Free space on /tmp= 723652 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_2_mh_ic.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464228-1722382544/watcher-4464228-1722382544 -o /tmp/evaluation-result-4464228-1722382544/solver-4464228-1722382544 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29036 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464228-1722382544.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 29fcddc0b5ddb2a2f51dd98e905e6f00
RANDOM SEED=99795441
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1277.864
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3676.377
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1521.866
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.890
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3673.564
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.232
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.52
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.222
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 116352752 kB
MemAvailable: 127175680 kB
Buffers: 91288 kB
Cached: 11550956 kB
SwapCached: 16 kB
Active: 276500 kB
Inactive: 14554508 kB
Active(anon): 1464 kB
Inactive(anon): 3208488 kB
Active(file): 275036 kB
Inactive(file): 11346020 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 65960 kB
Writeback: 0 kB
AnonPages: 3187096 kB
Mapped: 124976 kB
Shmem: 21156 kB
KReclaimable: 84144 kB
Slab: 162604 kB
SReclaimable: 84144 kB
SUnreclaim: 78460 kB
KernelStack: 4064 kB
PageTables: 15576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2526108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1501184 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: 295752 kB
DirectMap2M: 11143168 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723632 MiB
End job on nodeC003 at 2024-07-31 02:35:50