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)
12.36/12.40 c Default LC presolving (default).
12.36/12.44 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336302, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
12.36/12.44 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
97.97/98.31 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844236, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
97.97/98.31 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
97.97/98.31 c Original Problem :
97.97/98.31 c Problem name : instance-4434898-1721146515
97.97/98.31 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
97.97/98.31 c Constraints : 2000307
97.97/98.31 c Objective sense : minimize
97.97/98.31 c Presolved Problem :
97.97/98.31 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
97.97/98.31 c Constraints : 500454
97.97/98.31 c Constraints : Number
97.97/98.31 c knapsack : 5250
97.97/98.31 c setppc : 101
97.97/98.31 c and : 490050
97.97/98.31 c linear : 3
97.97/98.31 c logicor : 5050
97.97/98.31 c ** Instance transfer method used: 0
99.97/100.30 c ** ParaScipInstance copy does not increase the number of variables. **
101.95/102.30 c LC is working with racing ramp-up and with rebuilding tree after racing.
101.95/102.30 c Nodes Active
101.95/102.30 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3589.71/3601.70 c 3602 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3595.29/3607.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3595.29/3607.30 c Total Time : 3607.3100
3595.29/3607.30 c solving : 3607.3100
3595.29/3607.30 c presolving : 85.8686 (included in solving)
3595.29/3607.30 c B&B Tree :
3595.29/3607.30 c nodes (total) : 1
3595.29/3607.30 c Solution :
3595.29/3607.30 c Solutions found : 0
3595.29/3607.30 c Primal Bound : -
3595.29/3607.30 c Dual Bound : -
3595.29/3607.30 c Gap : -
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: 64059 MiB (49857 MiB free)
memory of node 1: 64510 MiB (50169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434898-1721146515/watcher-4434898-1721146515 -o /tmp/evaluation-result-4434898-1721146515/solver-4434898-1721146515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721142923-851679 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434898-1721146515.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=853804, runsolver pid=853801
[startup+0.100105 s]*
/proc/loadavg: 4.12 4.14 4.13 5/244 853805
/proc/meminfo: memFree=102367044/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=76892 memory=62964 CPUtime=0.1 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 13622 0 0 0 9 1 0 0 20 0 1 0 166808058 78737408 15675 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 19223 15675 2318 3032 0 15623 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76892 KiB
Current children cumulated memory: 62964 KiB
[startup+0.212907 s]*
/proc/loadavg: 4.12 4.14 4.13 5/242 853805
/proc/meminfo: memFree=102325396/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=124580 memory=112020 CPUtime=0.22 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 25916 0 0 0 19 3 0 0 20 0 1 0 166808058 127569920 28005 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 31145 28005 2318 3032 0 27545 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 124580 KiB
Current children cumulated memory: 112020 KiB
[startup+0.312559 s]*
/proc/loadavg: 4.12 4.14 4.13 5/242 853805
/proc/meminfo: memFree=102284068/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=167976 memory=154992 CPUtime=0.31 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 36702 0 0 0 27 4 0 0 20 0 1 0 166808058 172007424 38748 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 41994 38748 2318 3032 0 38394 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 167976 KiB
Current children cumulated memory: 154992 KiB
[startup+0.700344 s]
/proc/loadavg: 4.12 4.14 4.13 5/243 853807
/proc/meminfo: memFree=102170696/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=325776 memory=312640 CPUtime=0.69 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 76109 0 0 0 59 10 0 0 20 0 1 0 166808058 333594624 78160 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 81444 78160 2318 3032 0 77844 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 325776 KiB
Current children cumulated memory: 312640 KiB
[startup+1.50036 s]
/proc/loadavg: 4.12 4.14 4.13 5/248 853816
/proc/meminfo: memFree=101790280/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=662972 memory=649176 CPUtime=1.48 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 159136 0 0 0 126 22 0 0 20 0 1 0 166808058 678883328 162228 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 165743 162228 2318 3032 0 162143 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 662972 KiB
Current children cumulated memory: 649176 KiB
[startup+3.11275 s]
/proc/loadavg: 4.11 4.14 4.13 5/248 853816
/proc/meminfo: memFree=100140756/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=1340540 memory=1326484 CPUtime=3.09 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 324979 0 0 0 264 45 0 0 20 0 1 0 166808058 1372712960 331621 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 335135 331621 2318 3032 0 331535 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1340540 KiB
Current children cumulated memory: 1326484 KiB
[startup+6.30034 s]
/proc/loadavg: 4.11 4.14 4.13 5/248 853817
/proc/meminfo: memFree=98601392/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=2015328 memory=2002588 CPUtime=6.28 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 473067 0 0 0 558 70 0 0 20 0 1 0 166808058 2063695872 500647 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 503832 500647 2318 3032 0 500232 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2015328 KiB
Current children cumulated memory: 2002588 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.13 5/248 853817
/proc/meminfo: memFree=93619456/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=4937316 memory=4884636 CPUtime=12.66 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 1098081 0 0 0 1099 167 0 0 20 0 1 0 166808058 5055811584 1221159 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 1234329 1221159 2590 3032 0 1230729 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 4937316 KiB
Current children cumulated memory: 4884636 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.14 4.13 5/246 853820
/proc/meminfo: memFree=92979844/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=6912524 memory=6834268 CPUtime=25.42 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 1193569 0 0 0 2301 241 0 0 20 0 1 0 166808058 7078424576 1708567 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 1728131 1708567 2702 3032 0 1724531 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6912524 KiB
Current children cumulated memory: 6834268 KiB
[startup+51.1127 s]
/proc/loadavg: 4.10 4.13 4.13 5/247 853872
/proc/meminfo: memFree=99887380/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=7846584 memory=7767860 CPUtime=50.95 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 1545670 0 0 0 4785 310 0 0 20 0 1 0 166808058 8034902016 1941965 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 1961646 1941965 2734 3032 0 1958046 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7767860 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/246 853882
/proc/meminfo: memFree=97641240/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=9672304 memory=9326948 CPUtime=101.95 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 1979537 0 0 0 9799 396 0 0 20 0 2 0 166808058 9904439296 2331737 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 2418076 2331737 2782 3032 0 2407191 0
[pid=853804/tid=853882] ppid=853801 vsize=9672304 memory=41788 CPUtime=1.97 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 276697 0 0 0 145 52 0 0 20 0 2 0 166817890 9904439296 2331737 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 9672304 KiB
Current children cumulated memory: 9326948 KiB
[startup+162.3 s]
/proc/loadavg: 4.21 4.15 4.13 5/249 853895
/proc/meminfo: memFree=88705652/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13679264 memory=13201624 CPUtime=161.82 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 3184064 0 0 0 15626 556 0 0 20 0 3 0 166808058 14007566336 3300406 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3419816 3300406 2830 3032 0 3389436 0
[pid=853804/tid=853882] ppid=853801 vsize=13679264 memory=12729168 CPUtime=61.84 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 1481181 0 0 0 5972 212 0 0 20 0 3 0 166817890 14007566336 3300406 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13679264 memory=12862692 CPUtime=0 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 166818293 14007566336 3300406 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13201624 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 4.18 4.14 5/249 853906
/proc/meminfo: memFree=88699420/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13679264 memory=13201664 CPUtime=221.62 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 3463283 0 0 0 21590 572 0 0 20 0 3 0 166808058 14007566336 3300416 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3419816 3300416 2830 3032 0 3389436 0
[pid=853804/tid=853882] ppid=853801 vsize=13679264 memory=13201636 CPUtime=121.63 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 1760392 0 0 0 11936 227 0 0 20 0 3 0 166817890 14007566336 3300416 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13679264 memory=11600 CPUtime=0 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 166818293 14007566336 3300416 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13201664 KiB
[startup+282.3 s]
/proc/loadavg: 4.73 4.33 4.19 5/249 853916
/proc/meminfo: memFree=88600784/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13679264 memory=13201680 CPUtime=281.43 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 3761204 0 0 0 27556 587 0 0 20 0 3 0 166808058 14007566336 3300420 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3419816 3300420 2830 3032 0 3389436 0
[pid=853804/tid=853882] ppid=853801 vsize=13679264 memory=13201664 CPUtime=181.45 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 2058292 0 0 0 17902 243 0 0 20 0 3 0 166817890 14007566336 3300420 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13679264 memory=11600 CPUtime=0 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 166818293 14007566336 3300420 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13201680 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 4.29 4.18 5/251 853930
/proc/meminfo: memFree=88574852/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13679264 memory=13214456 CPUtime=341.22 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 4148674 0 0 0 33510 612 0 0 20 0 3 0 166808058 14007566336 3303614 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3419816 3303614 2830 3032 0 3392621 0
[pid=853804/tid=853882] ppid=853801 vsize=13679264 memory=13207828 CPUtime=241.22 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 2445746 0 0 0 23855 267 0 0 20 0 3 0 166817890 14007566336 3303614 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13679264 memory=13213432 CPUtime=0 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 166818293 14007566336 3303614 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 341.22 s
################
# More data... #
################
/proc/loadavg: 4.47 4.35 4.24 5/249 855741
/proc/meminfo: memFree=93739584/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13368864 CPUtime=3091.73 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 11285588 0 0 0 307917 1256 0 0 20 0 3 0 166808058 14208892928 3342216 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3342216 2830 3032 0 3430978 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13367788 CPUtime=2991.67 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 9581777 0 0 0 298261 906 0 0 20 0 3 0 166817890 14208892928 3342216 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13368864 CPUtime=0.06 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 936 0 0 0 1 5 0 0 20 0 3 0 166818293 14208892928 3342216 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3091.73 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13368864 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.30 4.23 5/249 855751
/proc/meminfo: memFree=93728404/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13375636 CPUtime=3151.56 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 11409498 0 0 0 313885 1271 0 0 20 0 3 0 166808058 14208892928 3343909 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3343909 2830 3032 0 3432993 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13367788 CPUtime=3051.51 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 9705670 0 0 0 304230 921 0 0 20 0 3 0 166817890 14208892928 3343909 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13375628 CPUtime=0.06 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 953 0 0 0 1 5 0 0 20 0 3 0 166818293 14208892928 3343909 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13375636 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.29 4.23 5/249 855762
/proc/meminfo: memFree=93718988/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13377840 CPUtime=3211.39 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 11518381 0 0 0 319854 1285 0 0 20 0 3 0 166808058 14208892928 3344460 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3344460 2830 3032 0 3433537 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13367788 CPUtime=3111.33 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 9814535 0 0 0 310199 934 0 0 20 0 3 0 166817890 14208892928 3344460 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13376232 CPUtime=0.06 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 971 0 0 0 1 5 0 0 20 0 3 0 166818293 14208892928 3344460 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13377840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.25 4.22 5/249 855772
/proc/meminfo: memFree=93708268/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13380364 CPUtime=3271.23 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 11646063 0 0 0 325824 1299 0 0 20 0 3 0 166808058 14208892928 3345091 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3345091 2830 3032 0 3434161 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=11600 CPUtime=3171.16 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 9942202 0 0 0 316168 948 0 0 20 0 3 0 166817890 14208892928 3345091 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13379780 CPUtime=0.06 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 986 0 0 0 1 5 0 0 20 0 3 0 166818293 14208892928 3345091 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3271.23 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13380364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.28 4.23 5/251 855787
/proc/meminfo: memFree=93701168/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13384220 CPUtime=3331.06 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 11774007 0 0 0 331794 1312 0 0 20 0 3 0 166808058 14208892928 3346055 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3346055 2830 3032 0 3434641 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13382036 CPUtime=3231 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 10070131 0 0 0 322139 961 0 0 20 0 3 0 166817890 14208892928 3346055 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13384220 CPUtime=0.06 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 1001 0 0 0 1 5 0 0 20 0 3 0 166818293 14208892928 3346055 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13384220 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.24 4.22 5/251 855797
/proc/meminfo: memFree=93688448/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13387772 CPUtime=3390.88 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 11881566 0 0 0 337763 1325 0 0 20 0 3 0 166808058 14208892928 3346943 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3346943 2830 3032 0 3435521 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13387768 CPUtime=3290.82 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 10177672 0 0 0 328108 974 0 0 20 0 3 0 166817890 14208892928 3346943 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13387768 CPUtime=0.06 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 1019 0 0 0 1 5 0 0 20 0 3 0 166818293 14208892928 3346943 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13387772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.23 4.21 5/251 855808
/proc/meminfo: memFree=93682288/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13390296 CPUtime=3450.71 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 12010509 0 0 0 343732 1339 0 0 20 0 3 0 166808058 14208892928 3347574 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3347574 2830 3032 0 3436145 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13390292 CPUtime=3350.65 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 10306597 0 0 0 334077 988 0 0 20 0 3 0 166817890 14208892928 3347574 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13389968 CPUtime=0.07 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 1037 0 0 0 1 6 0 0 20 0 3 0 166818293 14208892928 3347574 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13390296 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.20 4.20 5/251 855818
/proc/meminfo: memFree=93676004/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13393848 CPUtime=3510.54 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 12141245 0 0 0 349702 1352 0 0 20 0 3 0 166808058 14208892928 3348462 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3348462 2830 3032 0 3437025 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=13390292 CPUtime=3410.48 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 10437320 0 0 0 340047 1001 0 0 20 0 3 0 166817890 14208892928 3348462 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=13392496 CPUtime=0.07 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 1050 0 0 0 1 6 0 0 20 0 3 0 166818293 14208892928 3348462 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3510.54 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13393848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.17 4.19 5/251 855830
/proc/meminfo: memFree=93661920/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=13875872 memory=13396376 CPUtime=3570.37 cores=5,7
/proc/853804/stat : 853804 (fscip) S 853801 853804 851666 0 -1 1077936128 12252514 0 0 0 355671 1366 0 0 20 0 3 0 166808058 14208892928 3349094 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 3468968 3349094 2830 3032 0 3437649 0
[pid=853804/tid=853882] ppid=853801 vsize=13875872 memory=11600 CPUtime=3470.3 cores=5,7
/proc/853804/task/853882/stat : 853882 (fscip) R 853801 853804 851666 0 -1 4194368 10548572 0 0 0 346016 1014 0 0 20 0 3 0 166817890 14208892928 3349094 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
[pid=853804/tid=853883] ppid=853801 vsize=13875872 memory=11992 CPUtime=0.07 cores=5,7
/proc/853804/task/853883/stat : 853883 (fscip) S 853801 853804 851666 0 -1 1077936192 1067 0 0 0 1 6 0 0 20 0 3 0 166818293 14208892928 3349094 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13396376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.12 4.17 4.18 5/247 855835
/proc/meminfo: memFree=102093468/131655788 swapFree=131071996/131071996
[pid=853804] ppid=853801 vsize=9524308 memory=9130980 CPUtime=3600.06 cores=5,7
/proc/853804/stat : 853804 (fscip) R 853801 853804 851666 0 -1 4194304 13843604 0 0 0 358519 1487 0 0 20 0 1 0 166808058 9752891392 2282745 134679101440 4194304 16613245 140722277750256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 39591936 140722277753877 140722277753993 140722277753993 140722277761008 0
/proc/853804/statm: 2381077 2282745 2878 3032 0 2358272 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 9524308 KiB
Current children cumulated memory: 9130980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.27 s]
# the end of solver process 853804 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3585.2 s, system=15.0354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.2 s]*
/proc/loadavg: 4.12 4.17 4.18 5/247 855835
/proc/meminfo: memFree=108214988/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.27
CPU time (s): 3600.23
CPU user time (s): 3585.2
CPU system time (s): 15.0354
CPU usage (%): 99.6667
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13459444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.2
system time used= 15.0354
maximum resident set size= 13459444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13843658
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= 3903
involuntary context switches= 3103
# summary of solver processes directly reported to runsolver:
# pid: 853804
# total CPU time (s): 3600.23
# total CPU user time (s): 3585.2
# total CPU system time (s): 15.0354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1214 second user time and 37.1787 second system time
The end
Begin job on nodeC008 at 2024-07-16 18:15:28
IDJOB=4434898
IDBENCH=155755
IDSOLVER=3064
FILE ID=nodeC008/4434898-1721146515
RUNJOBID= nodeC008-1721142923-851679
SLURM_JOB_ID= 7505729
Free space on /tmp= 723356 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_1_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-4434898-1721146515/watcher-4434898-1721146515 -o /tmp/evaluation-result-4434898-1721146515/solver-4434898-1721146515 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721142923-851679 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434898-1721146515.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ccba1baa4116ac35f164630a81450a8f
RANDOM SEED=248847283
nodeC008.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 : 3491.957
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.91
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 : 3491.957
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.31
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 : 1197.335
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.91
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.349
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.31
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 : 1910.537
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.91
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 : 3427.871
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.31
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.310
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.91
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.245
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 102430060 kB
MemAvailable: 103238464 kB
Buffers: 441956 kB
Cached: 1204036 kB
SwapCached: 0 kB
Active: 904604 kB
Inactive: 27733000 kB
Active(anon): 1460 kB
Inactive(anon): 27027876 kB
Active(file): 903144 kB
Inactive(file): 705124 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 214932 kB
Writeback: 0 kB
AnonPages: 26991652 kB
Mapped: 127244 kB
Shmem: 37704 kB
KReclaimable: 80336 kB
Slab: 175520 kB
SReclaimable: 80336 kB
SUnreclaim: 95184 kB
KernelStack: 3920 kB
PageTables: 62408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 18130888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5787648 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: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723432 MiB
End job on nodeC008 at 2024-07-16 19:15:41