0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
12.56/12.63 c Default LC presolving (default).
12.56/12.67 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336382, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
12.56/12.67 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
97.58/97.96 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844316, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
97.58/97.96 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
97.58/97.96 c Original Problem :
97.58/97.96 c Problem name : instance-4464234-1722382589
97.58/97.96 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
97.58/97.96 c Constraints : 2000307
97.58/97.96 c Objective sense : minimize
97.58/97.96 c Presolved Problem :
97.58/97.96 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
97.58/97.96 c Constraints : 500454
97.58/97.96 c Constraints : Number
97.58/97.96 c knapsack : 5250
97.58/97.96 c setppc : 101
97.58/97.96 c and : 490050
97.58/97.96 c linear : 3
97.58/97.96 c logicor : 5050
97.58/97.96 c ** Instance transfer method used: 0
99.57/99.92 c ** ParaScipInstance copy does not increase the number of variables. **
101.65/102.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
101.65/102.05 c Nodes Active
101.65/102.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3588.19/3599.69 c 3600 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3593.69/3605.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.69/3605.18 c Total Time : 3605.1800
3593.69/3605.18 c solving : 3605.1800
3593.69/3605.18 c presolving : 85.2942 (included in solving)
3593.69/3605.18 c B&B Tree :
3593.69/3605.18 c nodes (total) : 1
3593.69/3605.18 c Solution :
3593.69/3605.18 c Solutions found : 0
3593.69/3605.18 c Primal Bound : -
3593.69/3605.18 c Dual Bound : -
3593.69/3605.18 c Gap : -
3599.13/3610.63 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62927 MiB free)
memory of node 1: 64473 MiB (62164 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464234-1722382589/watcher-4464234-1722382589 -o /tmp/evaluation-result-4464234-1722382589/solver-4464234-1722382589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464234-1722382589.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30683, runsolver pid=30680
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 4.10 4.11 4.09 5/247 30684
/proc/meminfo: memFree=128055868/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=60072 memory=47216 CPUtime=0.09 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 9698 0 0 0 7 2 0 0 20 0 1 0 4629383 61513728 11804 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 15018 11804 2347 3035 0 11414 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60072 KiB
Current children cumulated memory: 47216 KiB
[startup+0.205809 s]*
/proc/loadavg: 4.10 4.11 4.09 5/247 30684
/proc/meminfo: memFree=128043940/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=71240 memory=58532 CPUtime=0.2 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 12503 0 0 0 17 3 0 0 20 0 1 0 4629383 72949760 14633 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 17810 14633 2347 3035 0 14206 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 58532 KiB
[startup+0.305795 s]*
/proc/loadavg: 4.10 4.11 4.09 5/247 30684
/proc/meminfo: memFree=128026364/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=90084 memory=76984 CPUtime=0.3 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 17148 0 0 0 25 5 0 0 20 0 1 0 4629383 92246016 19246 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 22521 19246 2347 3035 0 18917 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90084 KiB
Current children cumulated memory: 76984 KiB
[startup+0.700323 s]
/proc/loadavg: 4.09 4.11 4.09 5/247 30684
/proc/meminfo: memFree=127982544/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=185248 memory=172532 CPUtime=0.69 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 40974 0 0 0 58 11 0 0 20 0 1 0 4629383 189693952 43067 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 46312 43067 2347 3035 0 42708 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 185248 KiB
Current children cumulated memory: 172532 KiB
[startup+1.50033 s]
/proc/loadavg: 4.09 4.11 4.09 5/247 30684
/proc/meminfo: memFree=127840896/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=448892 memory=435708 CPUtime=1.49 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 105783 0 0 0 125 24 0 0 20 0 1 0 4629383 459665408 108927 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 112223 108927 2347 3035 0 108619 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 448892 KiB
Current children cumulated memory: 435708 KiB
[startup+3.11251 s]
/proc/loadavg: 4.09 4.11 4.09 5/247 30684
/proc/meminfo: memFree=127006688/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=1158288 memory=1144920 CPUtime=3.09 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 279539 0 0 0 261 48 0 0 20 0 1 0 4629383 1186086912 286230 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 289572 286230 2347 3035 0 285968 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1158288 KiB
Current children cumulated memory: 1144920 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.11 4.09 5/247 30684
/proc/meminfo: memFree=126142796/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=2001116 memory=1987708 CPUtime=6.27 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 470339 0 0 0 547 80 0 0 20 0 1 0 4629383 2049142784 496927 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 500279 496927 2347 3035 0 496675 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2001116 KiB
Current children cumulated memory: 1987708 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.09 5/247 30685
/proc/meminfo: memFree=123541184/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=4827704 memory=4776616 CPUtime=12.65 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 1078359 0 0 0 1094 171 0 0 20 0 1 0 4629383 4943568896 1194154 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 1206926 1194154 2598 3035 0 1203322 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4827704 KiB
Current children cumulated memory: 4776616 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.10 4.09 5/247 30687
/proc/meminfo: memFree=121251796/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=6912524 memory=6834420 CPUtime=25.42 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 1192655 0 0 0 2295 247 0 0 20 0 1 0 4629383 7078424576 1708605 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 1728131 1708605 2726 3035 0 1724527 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 6912524 KiB
Current children cumulated memory: 6834420 KiB
[startup+51.1126 s]
/proc/loadavg: 4.10 4.11 4.09 5/247 30692
/proc/meminfo: memFree=120294192/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=7846584 memory=7770196 CPUtime=50.96 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 1546980 0 0 0 4770 326 0 0 20 0 1 0 4629383 8034902016 1942549 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 1961646 1942549 2758 3035 0 1958042 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7770196 KiB
[startup+102.301 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 30702
/proc/meminfo: memFree=118734608/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=9877108 memory=9508500 CPUtime=101.94 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 2016738 0 0 0 9768 426 0 0 20 0 3 0 4629383 10114158592 2377125 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 2469277 2377125 2806 3035 0 2453649 0
[pid=30683/tid=30702] ppid=30680 vsize=9877108 memory=8238228 CPUtime=2.33 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 316261 0 0 0 172 61 0 0 20 0 3 0 4639180 10114158592 2377125 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 9877108 KiB
Current children cumulated memory: 9508500 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 30714
/proc/meminfo: memFree=114817332/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13679264 memory=13206280 CPUtime=161.74 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 3062265 0 0 0 15598 576 0 0 20 0 3 0 4629383 14007566336 3301570 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3419816 3301570 2854 3035 0 3389433 0
[pid=30683/tid=30702] ppid=30680 vsize=13679264 memory=9781868 CPUtime=62.12 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 1361780 0 0 0 6001 211 0 0 20 0 3 0 4639180 14007566336 3301570 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13679264 memory=13206140 CPUtime=0 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4639593 14007566336 3301570 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13206280 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 30724
/proc/meminfo: memFree=114797864/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13679264 memory=13206316 CPUtime=221.49 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 3347259 0 0 0 21559 590 0 0 20 0 3 0 4629383 14007566336 3301579 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3419816 3301579 2854 3035 0 3389433 0
[pid=30683/tid=30702] ppid=30680 vsize=13679264 memory=13206288 CPUtime=121.88 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 1646767 0 0 0 11963 225 0 0 20 0 3 0 4639180 14007566336 3301579 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13679264 memory=11536 CPUtime=0 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4639593 14007566336 3301579 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13206316 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/252 30739
/proc/meminfo: memFree=114784476/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13679264 memory=13206316 CPUtime=281.27 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 3646666 0 0 0 27520 607 0 0 20 0 3 0 4629383 14007566336 3301579 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3419816 3301579 2854 3035 0 3389433 0
[pid=30683/tid=30702] ppid=30680 vsize=13679264 memory=13206316 CPUtime=181.66 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 1946157 0 0 0 17924 242 0 0 20 0 3 0 4639180 14007566336 3301579 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13679264 memory=13206316 CPUtime=0 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4639593 14007566336 3301579 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13206316 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 30750
/proc/meminfo: memFree=114754156/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13679264 memory=13220116 CPUtime=341.04 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 3973821 0 0 0 33480 624 0 0 20 0 3 0 4629383 14007566336 3305029 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3419816 3305029 2854 3035 0 3392874 0
[pid=30683/tid=30702] ppid=30680 vsize=13679264 memory=13206316 CPUtime=241.43 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 2273290 0 0 0 23884 259 0 0 20 0 3 0 4639180 14007566336 3305029 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13679264 memory=13220116 CPUtime=0 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4639593 14007566336 3305029 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 13679264 KiB
################
# More data... #
################
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=11536 CPUtime=3291.8 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 10004337 0 0 0 328266 914 0 0 20 0 3 0 4639180 14208892928 3350079 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=13400316 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1150 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3350079 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13400316 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.16 4.16 5/254 32759
/proc/meminfo: memFree=114841012/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13875872 memory=13403264 CPUtime=3451.3 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 11810187 0 0 0 343837 1293 0 0 20 0 3 0 4629383 14208892928 3350816 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3468968 3350816 2854 3035 0 3435662 0
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=11536 CPUtime=3351.63 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 10108536 0 0 0 334240 923 0 0 20 0 3 0 4639180 14208892928 3350816 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=13403260 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1174 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3350816 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13403264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/254 32770
/proc/meminfo: memFree=114785456/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13875872 memory=13406812 CPUtime=3511.12 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 11938701 0 0 0 349805 1307 0 0 20 0 3 0 4629383 14208892928 3351703 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3468968 3351703 2854 3035 0 3436542 0
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=11536 CPUtime=3411.45 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 10237034 0 0 0 340208 937 0 0 20 0 3 0 4639180 14208892928 3351703 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=13406812 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1190 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3351703 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13406812 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/250 32783
/proc/meminfo: memFree=114739780/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13875872 memory=13409340 CPUtime=3570.95 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 12060100 0 0 0 355775 1320 0 0 20 0 3 0 4629383 14208892928 3352335 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3468968 3352335 2854 3035 0 3437166 0
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=13408760 CPUtime=3471.26 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 10358410 0 0 0 346177 949 0 0 20 0 3 0 4639180 14208892928 3352335 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=13409340 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1214 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3352335 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13409340 KiB
[startup+3610.77 s]
# the end of solver process 30683 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.82 s, system=14.4834 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.16 4.16 5/250 32783
/proc/meminfo: memFree=114738580/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13875872 memory=13409340 CPUtime=3572.65 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 12066361 0 0 0 355945 1320 0 0 20 0 3 0 4629383 14208892928 3352335 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3468968 3352335 2854 3035 0 3437166 0
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=-7163656373871402879 CPUtime=3472.98 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 10364670 0 0 0 346348 950 0 0 20 0 3 0 4639180 14208892928 3352335 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=4715715883094929050 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1214 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3352335 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13409340 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.15 4.16 5/250 32784
/proc/meminfo: memFree=114730152/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13875872 memory=13409348 CPUtime=3585.4 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 12082739 0 0 0 357218 1322 0 0 20 0 3 0 4629383 14208892928 3352337 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3468968 3352337 2854 3035 0 3437166 0
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=13409340 CPUtime=3485.73 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 10381040 0 0 0 347621 952 0 0 20 0 3 0 4639180 14208892928 3352337 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=11536 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1222 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3352337 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13409348 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.14 4.16 5/250 32786
/proc/meminfo: memFree=114681380/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=13875872 memory=13448104 CPUtime=3591.79 cores=1,3
/proc/30683/stat : 30683 (fscip) S 30680 30683 27997 0 -1 1077936128 12826869 0 0 0 357818 1361 0 0 20 0 3 0 4629383 14208892928 3362026 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 3468968 3362026 2854 3035 0 3446671 0
[pid=30683/tid=30702] ppid=30680 vsize=13875872 memory=13409344 CPUtime=3492.1 cores=1,3
/proc/30683/task/30702/stat : 30702 (fscip) R 30680 30683 27997 0 -1 4194368 11125151 0 0 0 348220 990 0 0 20 0 3 0 4639180 14208892928 3362026 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
[pid=30683/tid=30703] ppid=30680 vsize=13875872 memory=13409344 CPUtime=0.06 cores=1,3
/proc/30683/task/30703/stat : 30703 (fscip) S 30680 30683 27997 0 -1 1077936192 1222 0 0 0 1 5 0 0 20 0 3 0 4639593 14208892928 3362026 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
Current children cumulated CPU time: 3591.79 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13448104 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.14 4.16 5/248 32786
/proc/meminfo: memFree=117531184/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=10925684 memory=10593832 CPUtime=3594.97 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 13253878 0 0 0 358096 1401 0 0 20 0 1 0 4629383 11187900416 2648458 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 2731421 2648458 2902 3035 0 2721181 0
Current children cumulated CPU time: 3594.97 s
Current children cumulated vsize: 10925684 KiB
Current children cumulated memory: 10593832 KiB
[startup+3608 s]*
/proc/loadavg: 4.15 4.16 4.17 5/248 32787
/proc/meminfo: memFree=117564864/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=10891952 memory=10562724 CPUtime=3596.56 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 13311245 0 0 0 358251 1405 0 0 20 0 1 0 4629383 11153358848 2640681 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 2722988 2640681 2902 3035 0 2712748 0
Current children cumulated CPU time: 3596.56 s
Current children cumulated vsize: 10891952 KiB
Current children cumulated memory: 10562724 KiB
[startup+3609.6 s]
/proc/loadavg: 4.15 4.16 4.17 5/248 32787
/proc/meminfo: memFree=117564360/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=10504116 memory=10174888 CPUtime=3598.14 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 13454624 0 0 0 358399 1415 0 0 20 0 1 0 4629383 10756214784 2543722 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 2626029 2543722 2902 3035 0 2615789 0
Current children cumulated CPU time: 3598.14 s
Current children cumulated vsize: 10504116 KiB
Current children cumulated memory: 10174888 KiB
[startup+3610.4 s]
/proc/loadavg: 4.15 4.16 4.17 5/248 32787
/proc/meminfo: memFree=118271756/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=9617460 memory=9288872 CPUtime=3598.93 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 13628494 0 0 0 358465 1428 0 0 20 0 1 0 4629383 9848279040 2322218 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 2404365 2322218 2902 3035 0 2394125 0
Current children cumulated CPU time: 3598.93 s
Current children cumulated vsize: 9617460 KiB
Current children cumulated memory: 9288872 KiB
[startup+3610.6 s]
/proc/loadavg: 4.15 4.16 4.17 5/248 32787
/proc/meminfo: memFree=118271756/131655788 swapFree=131071728/131071996
[pid=30683] ppid=30680 vsize=9098268 memory=8769680 CPUtime=3599.13 cores=1,3
/proc/30683/stat : 30683 (fscip) R 30680 30683 27997 0 -1 4194304 13694818 0 0 0 358480 1433 0 0 20 0 1 0 4629383 9316626432 2192420 134679101440 4194304 16623229 140720816645584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 25591808 140720816653334 140720816653450 140720816653450 140720816660464 0
/proc/30683/statm: 2274567 2192420 2902 3035 0 2264327 0
Current children cumulated CPU time: 3599.13 s
Current children cumulated vsize: 9098268 KiB
Current children cumulated memory: 8769680 KiB
[startup+3610.7 s]*
/proc/loadavg: 4.15 4.16 4.17 5/248 32787
/proc/meminfo: memFree=127326372/131655788 swapFree=131071728/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): 3610.77
CPU time (s): 3599.3
CPU user time (s): 3584.82
CPU system time (s): 14.4834
CPU usage (%): 99.6825
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13474348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.82
system time used= 14.4834
maximum resident set size= 13474348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13700513
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= 3925
involuntary context switches= 3271
# summary of solver processes directly reported to runsolver:
# pid: 30683
# total CPU time (s): 3599.3
# total CPU user time (s): 3584.82
# total CPU system time (s): 14.4834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3251 second user time and 35.8037 second system time
The end
Begin job on nodeC011 at 2024-07-31 01:36:30
IDJOB=4464234
IDBENCH=155745
IDSOLVER=3092
FILE ID=nodeC011/4464234-1722382589
RUNJOBID= nodeC011-1722378594-28009
SLURM_JOB_ID= 8249841
Free space on /tmp= 723600 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_5_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-4464234-1722382589/watcher-4464234-1722382589 -o /tmp/evaluation-result-4464234-1722382589/solver-4464234-1722382589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28009 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464234-1722382589.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88b39ea3a8b75d01f2291d1517c942c1
RANDOM SEED=624940052
nodeC011.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 : 3679.187
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.28
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 : 1197.455
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.29
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.258
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.28
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 : 2593.922
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.29
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 : 3678.205
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.28
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 : 3672.677
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.29
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.167
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.28
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 : 1198.160
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128094136 kB
MemAvailable: 129213024 kB
Buffers: 91948 kB
Cached: 1869776 kB
SwapCached: 12 kB
Active: 260364 kB
Inactive: 2866352 kB
Active(anon): 1924 kB
Inactive(anon): 1192536 kB
Active(file): 258440 kB
Inactive(file): 1673816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 128520 kB
Writeback: 0 kB
AnonPages: 1163116 kB
Mapped: 128236 kB
Shmem: 29468 kB
KReclaimable: 53660 kB
Slab: 130076 kB
SReclaimable: 53660 kB
SUnreclaim: 76416 kB
KernelStack: 3968 kB
PageTables: 11388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1041712 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6784 kB
HardwareCorrupted: 0 kB
AnonHugePages: 808960 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723572 MiB
End job on nodeC011 at 2024-07-31 02:36:41