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)
11.65/11.72 c Default LC presolving (default).
11.65/11.76 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336302, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
11.65/11.76 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
95.60/96.03 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844236, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
95.60/96.03 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
95.60/96.03 c Original Problem :
95.60/96.03 c Problem name : instance-4434897-1721144055
95.60/96.03 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
95.60/96.03 c Constraints : 2000307
95.60/96.03 c Objective sense : minimize
95.60/96.03 c Presolved Problem :
95.60/96.03 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
95.60/96.03 c Constraints : 500454
95.60/96.03 c Constraints : Number
95.60/96.03 c knapsack : 5250
95.60/96.03 c setppc : 101
95.60/96.03 c and : 490050
95.60/96.03 c linear : 3
95.60/96.03 c logicor : 5050
95.60/96.03 c ** Instance transfer method used: 0
97.50/97.94 c ** ParaScipInstance copy does not increase the number of variables. **
99.07/99.52 c LC is working with racing ramp-up and with rebuilding tree after racing.
99.07/99.52 c Nodes Active
99.07/99.52 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3584.28/3601.65 c 3602 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3589.67/3607.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.67/3607.04 c Total Time : 3607.0400
3589.67/3607.04 c solving : 3607.0400
3589.67/3607.04 c presolving : 84.2767 (included in solving)
3589.67/3607.04 c B&B Tree :
3589.67/3607.04 c nodes (total) : 1
3589.67/3607.04 c Solution :
3589.67/3607.04 c Solutions found : 0
3589.67/3607.04 c Primal Bound : -
3589.67/3607.04 c Dual Bound : -
3589.67/3607.04 c Gap : -
3594.51/3611.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: 63968 MiB (60463 MiB free)
memory of node 1: 64473 MiB (50730 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434897-1721144055/watcher-4434897-1721144055 -o /tmp/evaluation-result-4434897-1721144055/solver-4434897-1721144055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721140463-863613 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434897-1721144055.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=865725, runsolver pid=865722
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.10 4.09 4.03 5/257 865727
/proc/meminfo: memFree=113793328/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=82572 memory=69388 CPUtime=0.1 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 15283 0 0 0 8 2 0 0 20 0 1 0 166576107 84553728 17347 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 20643 17347 2318 3032 0 17043 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82572 KiB
Current children cumulated memory: 69388 KiB
[startup+0.206167 s]*
/proc/loadavg: 4.10 4.09 4.03 5/262 865737
/proc/meminfo: memFree=113702560/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=134272 memory=121584 CPUtime=0.2 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 28317 0 0 0 17 3 0 0 20 0 1 0 166576107 137494528 30396 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 33568 30396 2318 3032 0 29968 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 134272 KiB
Current children cumulated memory: 121584 KiB
[startup+0.306118 s]*
/proc/loadavg: 4.10 4.09 4.03 6/262 865737
/proc/meminfo: memFree=113612004/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=182988 memory=170300 CPUtime=0.3 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 40499 0 0 0 25 5 0 0 20 0 1 0 166576107 187379712 42575 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 45747 42575 2318 3032 0 42147 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 182988 KiB
Current children cumulated memory: 170300 KiB
[startup+0.700193 s]
/proc/loadavg: 4.10 4.09 4.03 5/262 865737
/proc/meminfo: memFree=113429216/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=364336 memory=351708 CPUtime=0.68 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 85860 0 0 0 58 10 0 0 20 0 1 0 166576107 373080064 87927 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 91084 87927 2318 3032 0 87484 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 364336 KiB
Current children cumulated memory: 351708 KiB
[startup+1.50023 s]
/proc/loadavg: 4.10 4.09 4.03 5/262 865737
/proc/meminfo: memFree=113001380/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=734788 memory=721296 CPUtime=1.49 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 173658 0 0 0 127 22 0 0 20 0 1 0 166576107 752422912 180324 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 183697 180324 2318 3032 0 180097 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 734788 KiB
Current children cumulated memory: 721296 KiB
[startup+3.10598 s]
/proc/loadavg: 4.09 4.09 4.03 5/260 865753
/proc/meminfo: memFree=118537156/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=1486340 memory=1473428 CPUtime=3.09 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 353033 0 0 0 262 47 0 0 20 0 1 0 166576107 1522012160 368357 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 371585 368357 2318 3032 0 367985 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1486340 KiB
Current children cumulated memory: 1473428 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=116748828/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=2203608 memory=2185960 CPUtime=6.27 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 534478 0 0 0 553 74 0 0 20 0 1 0 166576107 2256494592 546490 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 550902 546490 2558 3032 0 547302 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2203608 KiB
Current children cumulated memory: 2185960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.03 5/261 865785
/proc/meminfo: memFree=108356068/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=4973612 memory=4921288 CPUtime=12.65 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 1103797 0 0 0 1103 162 0 0 20 0 1 0 166576107 5092978688 1230322 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 1243403 1230322 2622 3032 0 1239803 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4973612 KiB
Current children cumulated memory: 4921288 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.03 5/261 865788
/proc/meminfo: memFree=99516796/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=6824000 memory=6746352 CPUtime=25.4 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 1195736 0 0 0 2308 232 0 0 20 0 1 0 166576107 6987776000 1686588 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 1706000 1686588 2702 3032 0 1702400 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 6824000 KiB
Current children cumulated memory: 6746352 KiB
[startup+51.1062 s]
/proc/loadavg: 4.28 4.14 4.05 5/261 865791
/proc/meminfo: memFree=91243184/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=7846584 memory=7767808 CPUtime=50.9 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 1547335 0 0 0 4787 303 0 0 20 0 1 0 166576107 8034902016 1941952 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 1961646 1941952 2734 3032 0 1958046 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7767808 KiB
[startup+102.301 s]
/proc/loadavg: 4.17 4.13 4.05 5/262 865804
/proc/meminfo: memFree=85502104/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=11318900 memory=10914000 CPUtime=101.84 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 2365173 0 0 0 9759 425 0 0 20 0 3 0 166576107 11590553600 2728500 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 2829725 2728500 2798 3032 0 2812527 0
[pid=865725/tid=865801] ppid=865722 vsize=11318900 memory=8273028 CPUtime=4.3 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 663780 0 0 0 341 89 0 0 20 0 3 0 166585711 11590553600 2728500 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=11318900 memory=8142148 CPUtime=0 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 166586063 11590553600 2728500 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 11318900 KiB
Current children cumulated memory: 10914000 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/261 865815
/proc/meminfo: memFree=78967276/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13679264 memory=13199336 CPUtime=161.53 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 3262856 0 0 0 15619 534 0 0 20 0 3 0 166576107 14007566336 3299834 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3419816 3299834 2830 3032 0 3389436 0
[pid=865725/tid=865801] ppid=865722 vsize=13679264 memory=11440 CPUtime=63.97 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 1561454 0 0 0 6200 197 0 0 20 0 3 0 166585711 14007566336 3299834 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13679264 memory=13199224 CPUtime=0 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 166586063 14007566336 3299834 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13199336 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/261 865826
/proc/meminfo: memFree=78964104/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13679264 memory=13199364 CPUtime=221.21 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 3515691 0 0 0 21573 548 0 0 20 0 3 0 166576107 14007566336 3299841 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3419816 3299841 2830 3032 0 3389436 0
[pid=865725/tid=865801] ppid=865722 vsize=13679264 memory=11440 CPUtime=123.65 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 1814278 0 0 0 12154 211 0 0 20 0 3 0 166585711 14007566336 3299841 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13679264 memory=13199336 CPUtime=0 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 166586063 14007566336 3299841 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 221.21 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13199364 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/261 865837
/proc/meminfo: memFree=78956852/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13679264 memory=13199380 CPUtime=280.92 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 3823694 0 0 0 27525 567 0 0 20 0 3 0 166576107 14007566336 3299845 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3419816 3299845 2830 3032 0 3389436 0
[pid=865725/tid=865801] ppid=865722 vsize=13679264 memory=11440 CPUtime=183.36 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 2122260 0 0 0 18106 230 0 0 20 0 3 0 166585711 14007566336 3299845 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13679264 memory=13199380 CPUtime=0 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 166586063 14007566336 3299845 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 280.92 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13199380 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.05 5/261 865848
/proc/meminfo: memFree=78931276/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13679264 memory=13210108 CPUtime=340.63 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 4196378 0 0 0 33474 589 0 0 20 0 3 0 166576107 14007566336 3302527 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3419816 3302527 2830 3032 0 3392109 0
[pid=865725/tid=865801] ppid=865722 vsize=13679264 memory=13200404 CPUtime=243.08 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 2494922 0 0 0 24056 252 0 0 20 0 3 0 166585711 14007566336 3302527 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13679264 memory=11440 CPUtime=0 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 166586063 14007566336 3302527 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
################
# More data... #
################
[startup+3402.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/267 867699
/proc/meminfo: memFree=37916712/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13390748 CPUtime=3385.81 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 12014379 0 0 0 337278 1303 0 0 20 0 3 0 166576107 14208892928 3347687 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3347687 2830 3032 0 3434417 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=2321 CPUtime=3288.19 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 10311842 0 0 0 327859 960 0 0 20 0 3 0 166585711 14208892928 3347687 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=13389720 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1144 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3347687 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3385.81 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13390748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/267 867759
/proc/meminfo: memFree=67051328/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13393272 CPUtime=3445.55 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 12140076 0 0 0 343239 1316 0 0 20 0 3 0 166576107 14208892928 3348318 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3348318 2830 3032 0 3435041 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=11440 CPUtime=3347.94 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 10437516 0 0 0 333820 974 0 0 20 0 3 0 166585711 14208892928 3348318 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=-6623554534551871608 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1167 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3348318 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3445.55 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13393272 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/267 867771
/proc/meminfo: memFree=67037204/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13395796 CPUtime=3505.31 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 12250381 0 0 0 349203 1328 0 0 20 0 3 0 166576107 14208892928 3348949 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3348949 2830 3032 0 3435665 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=13395792 CPUtime=3407.69 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 10547797 0 0 0 339784 985 0 0 20 0 3 0 166585711 14208892928 3348949 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=13395796 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1191 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3348949 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3505.31 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13395796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/265 867783
/proc/meminfo: memFree=67018916/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13399344 CPUtime=3565.06 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 12372314 0 0 0 355164 1342 0 0 20 0 3 0 166576107 14208892928 3349836 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3349836 2830 3032 0 3436545 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=13399344 CPUtime=3467.44 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 10669707 0 0 0 345745 999 0 0 20 0 3 0 166585711 14208892928 3349836 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=42140 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1214 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3349836 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3565.06 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13399344 KiB
[startup+3612.03 s]
# the end of solver process 865725 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.12 s, system=14.525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.16 5/265 867785
/proc/meminfo: memFree=67018776/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13399348 CPUtime=3566.76 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 12374118 0 0 0 355334 1342 0 0 20 0 3 0 166576107 14208892928 3349837 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3349837 2830 3032 0 3436545 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=6720665445806325872 CPUtime=3469.14 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 10671511 0 0 0 345915 999 0 0 20 0 3 0 166585711 14208892928 3349837 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=32440 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1214 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3349837 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3566.76 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13399348 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.15 4.16 5/265 867788
/proc/meminfo: memFree=67015060/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13399352 CPUtime=3579.5 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 12410034 0 0 0 356605 1345 0 0 20 0 3 0 166576107 14208892928 3349838 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3349838 2830 3032 0 3436545 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=13397744 CPUtime=3481.88 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 10707426 0 0 0 347186 1002 0 0 20 0 3 0 166585711 14208892928 3349838 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=13399348 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1215 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3349838 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3579.5 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13399352 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.14 4.16 5/265 867789
/proc/meminfo: memFree=66931920/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13875872 memory=13440640 CPUtime=3585.88 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 13121496 0 0 0 357204 1384 0 0 20 0 3 0 166576107 14208892928 3360160 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3468968 3360160 2830 3032 0 3446674 0
[pid=865725/tid=865801] ppid=865722 vsize=13875872 memory=13399352 CPUtime=3488.26 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 11418862 0 0 0 347785 1041 0 0 20 0 3 0 166585711 14208892928 3360160 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13875872 memory=13440640 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1222 0 0 0 1 4 0 0 20 0 3 0 166586063 14208892928 3360160 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3585.88 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13440640 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.14 4.16 5/265 867789
/proc/meminfo: memFree=66930932/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=13578452 memory=13144048 CPUtime=3589.07 cores=0,2
/proc/865725/stat : 865725 (fscip) S 865722 865725 863603 0 -1 1077936128 13302589 0 0 0 357513 1394 0 0 20 0 3 0 166576107 13904334848 3286012 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 3394613 3286012 2830 3032 0 3372429 0
[pid=865725/tid=865801] ppid=865722 vsize=13578452 memory=13440640 CPUtime=3491.45 cores=0,2
/proc/865725/task/865801/stat : 865801 (fscip) R 865722 865725 863603 0 -1 4194368 11599955 0 0 0 348094 1051 0 0 20 0 3 0 166585711 13904334848 3286012 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
[pid=865725/tid=865803] ppid=865722 vsize=13578452 memory=11440 CPUtime=0.05 cores=0,2
/proc/865725/task/865803/stat : 865803 (fscip) S 865722 865725 863603 0 -1 1077936192 1222 0 0 0 1 4 0 0 20 0 3 0 166586063 13904334848 3286012 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
Current children cumulated CPU time: 3589.07 s
Current children cumulated vsize: 13578452 KiB
Current children cumulated memory: 13144048 KiB
[startup+3609.6 s]
/proc/loadavg: 4.17 4.16 4.17 5/261 867789
/proc/meminfo: memFree=75407880/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=9581232 memory=9194640 CPUtime=3592.24 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 13652659 0 0 0 357803 1421 0 0 20 0 1 0 166576107 9811181568 2298660 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 2395308 2298660 2878 3032 0 2372503 0
Current children cumulated CPU time: 3592.24 s
Current children cumulated vsize: 9581232 KiB
Current children cumulated memory: 9194640 KiB
[startup+3611.2 s]
/proc/loadavg: 4.17 4.16 4.17 5/261 867789
/proc/meminfo: memFree=75869848/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=8991172 memory=8604580 CPUtime=3593.82 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 13827280 0 0 0 357950 1432 0 0 20 0 1 0 166576107 9206960128 2151145 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 2247793 2151145 2878 3032 0 2224988 0
Current children cumulated CPU time: 3593.82 s
Current children cumulated vsize: 8991172 KiB
Current children cumulated memory: 8604580 KiB
[startup+3611.6 s]
/proc/loadavg: 4.17 4.16 4.17 5/261 867789
/proc/meminfo: memFree=75869848/131524596 swapFree=131071996/131071996
[pid=865725] ppid=865722 vsize=8638636 memory=8252684 CPUtime=3594.22 cores=0,2
/proc/865725/stat : 865725 (fscip) R 865722 865725 863603 0 -1 4194304 13909249 0 0 0 357986 1436 0 0 20 0 1 0 166576107 8845963264 2063171 134679101440 4194304 16613245 140727030152128 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 42622976 140727030154261 140727030154377 140727030154377 140727030161392 0
/proc/865725/statm: 2159659 2063171 2878 3032 0 2136854 0
Current children cumulated CPU time: 3594.22 s
Current children cumulated vsize: 8638636 KiB
Current children cumulated memory: 8252684 KiB
[startup+3612 s]*
/proc/loadavg: 4.17 4.16 4.17 5/261 867789
/proc/meminfo: memFree=84123572/131524596 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): 3612.03
CPU time (s): 3594.65
CPU user time (s): 3580.12
CPU system time (s): 14.525
CPU usage (%): 99.5189
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13466884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.12
system time used= 14.525
maximum resident set size= 13466884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14023600
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= 3921
involuntary context switches= 24901
# summary of solver processes directly reported to runsolver:
# pid: 865725
# total CPU time (s): 3594.65
# total CPU user time (s): 3580.12
# total CPU system time (s): 14.525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.96149 second user time and 19.6205 second system time
The end
Begin job on nodeC034 at 2024-07-16 17:34:28
IDJOB=4434897
IDBENCH=155746
IDSOLVER=3064
FILE ID=nodeC034/4434897-1721144055
RUNJOBID= nodeC034-1721140463-863613
SLURM_JOB_ID= 7505721
Free space on /tmp= 889796 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_0_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-4434897-1721144055/watcher-4434897-1721144055 -o /tmp/evaluation-result-4434897-1721144055/solver-4434897-1721144055 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721140463-863613 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434897-1721144055.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6b8715c3f6301baee7dd7835457fcc6
RANDOM SEED=772745932
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.314
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.528
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.58
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 : 3681.986
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.99
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 : 3600.078
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.58
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 : 3681.238
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.99
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 : 3600.000
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.58
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 : 3635.898
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.99
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 : 3692.326
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 113862224 kB
MemAvailable: 119092372 kB
Buffers: 407500 kB
Cached: 5598808 kB
SwapCached: 0 kB
Active: 807876 kB
Inactive: 16099928 kB
Active(anon): 1492 kB
Inactive(anon): 10937736 kB
Active(file): 806384 kB
Inactive(file): 5162192 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 230336 kB
Writeback: 4 kB
AnonPages: 10901212 kB
Mapped: 127908 kB
Shmem: 37720 kB
KReclaimable: 202792 kB
Slab: 323552 kB
SReclaimable: 202792 kB
SUnreclaim: 120760 kB
KernelStack: 4144 kB
PageTables: 31148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 4478320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64544 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1245184 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: 295636 kB
DirectMap2M: 40372224 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889560 MiB
End job on nodeC034 at 2024-07-16 18:34:40