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)
13.06/13.12 c Default LC presolving (default).
13.06/13.16 c ** Before presolving: virtualMemUsedAtLc = 7565371844, getVmSize() = 4891340800, SCIPgetMemUsed() = 4526336382, SCIPgetMemTotal() = 4694191502, SCIPgetMemExternEstim() = 2871180342
13.06/13.16 c ** set memory limit for presolving in LC to 8.79382e+12 for SCIP **
101.14/101.50 c ** Estimated virtualMemUsedAtSolver = 6740028097, getVmSize() = 8744398848, SCIPgetMemUsed() = 6002844316, SCIPgetMemTotal() = 7238861804, SCIPgetMemExternEstim() = 2871180342
101.14/101.50 c ** set memory limit for solvers to 4.39784e+12 for each SCIP **
101.14/101.50 c Original Problem :
101.14/101.50 c Problem name : instance-4464236-1722382626
101.14/101.50 c Variables : 1000400 (1000400 binary, 0 integer, 0 implicit integer, 0 continuous)
101.14/101.50 c Constraints : 2000307
101.14/101.50 c Objective sense : minimize
101.14/101.50 c Presolved Problem :
101.14/101.50 c Variables : 500150 (500150 binary, 0 integer, 0 implicit integer, 0 continuous)
101.14/101.50 c Constraints : 500454
101.14/101.50 c Constraints : Number
101.14/101.50 c knapsack : 5250
101.14/101.50 c setppc : 101
101.14/101.50 c and : 490050
101.14/101.50 c linear : 3
101.14/101.50 c logicor : 5050
101.14/101.50 c ** Instance transfer method used: 0
103.13/103.53 c ** ParaScipInstance copy does not increase the number of variables. **
104.92/105.36 c LC is working with racing ramp-up and with rebuilding tree after racing.
104.92/105.36 c Nodes Active
104.92/105.36 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3584.88/3599.73 c 3600 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3590.47/3605.37 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.47/3605.37 c Total Time : 3605.3800
3590.47/3605.37 c solving : 3605.3800
3590.47/3605.37 c presolving : 88.3482 (included in solving)
3590.47/3605.37 c B&B Tree :
3590.47/3605.37 c nodes (total) : 1
3590.47/3605.37 c Solution :
3590.47/3605.38 c Solutions found : 0
3590.47/3605.38 c Primal Bound : -
3590.47/3605.38 c Dual Bound : -
3590.47/3605.38 c Gap : -
3596.52/3611.49 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 (57637 MiB free)
memory of node 1: 64473 MiB (55989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464236-1722382626/watcher-4464236-1722382626 -o /tmp/evaluation-result-4464236-1722382626/solver-4464236-1722382626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464236-1722382626.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=30864, runsolver pid=30861
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.11 4.14 4.09 5/245 30865
/proc/meminfo: memFree=116316124/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=60072 memory=47216 CPUtime=0.09 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 9670 0 0 0 7 2 0 0 20 0 1 0 4633403 61513728 11804 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/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.205607 s]*
/proc/loadavg: 4.11 4.14 4.09 5/245 30865
/proc/meminfo: memFree=116305488/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=71072 memory=58296 CPUtime=0.2 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 12453 0 0 0 17 3 0 0 20 0 1 0 4633403 72777728 14574 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 17768 14574 2347 3035 0 14164 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71072 KiB
Current children cumulated memory: 58296 KiB
[startup+0.305522 s]*
/proc/loadavg: 4.10 4.14 4.09 5/245 30865
/proc/meminfo: memFree=116288908/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=86812 memory=73820 CPUtime=0.29 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 16320 0 0 0 25 4 0 0 20 0 1 0 4633403 88895488 18455 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 21703 18455 2347 3035 0 18099 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 86812 KiB
Current children cumulated memory: 73820 KiB
[startup+0.700362 s]
/proc/loadavg: 4.10 4.14 4.09 5/245 30865
/proc/meminfo: memFree=116240720/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=189420 memory=177020 CPUtime=0.68 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 42121 0 0 0 59 9 0 0 20 0 1 0 4633403 193966080 44255 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 47355 44255 2347 3035 0 43751 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 189420 KiB
Current children cumulated memory: 177020 KiB
[startup+1.50034 s]
/proc/loadavg: 4.10 4.14 4.09 5/245 30865
/proc/meminfo: memFree=116092664/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=458580 memory=445476 CPUtime=1.48 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 107717 0 0 0 126 22 0 0 20 0 1 0 4633403 469585920 111369 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 114645 111369 2347 3035 0 111041 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 458580 KiB
Current children cumulated memory: 445476 KiB
[startup+3.11267 s]
/proc/loadavg: 4.10 4.14 4.09 5/245 30865
/proc/meminfo: memFree=115291680/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=1129612 memory=1115880 CPUtime=3.09 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 271745 0 0 0 263 46 0 0 20 0 1 0 4633403 1156722688 278970 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 282403 278970 2347 3035 0 278799 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1129612 KiB
Current children cumulated memory: 1115880 KiB
[startup+6.30031 s]
/proc/loadavg: 4.09 4.14 4.09 5/245 30867
/proc/meminfo: memFree=114481312/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=1978360 memory=1964752 CPUtime=6.26 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 464569 0 0 0 551 75 0 0 20 0 1 0 4633403 2025840640 491188 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 494590 491188 2347 3035 0 490986 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1978360 KiB
Current children cumulated memory: 1964752 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.14 4.09 5/245 30867
/proc/meminfo: memFree=112017016/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=4603192 memory=4589348 CPUtime=12.65 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 1039774 0 0 0 1098 167 0 0 20 0 1 0 4633403 4713668608 1147337 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 1150798 1147337 2555 3035 0 1147194 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4603192 KiB
Current children cumulated memory: 4589348 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.13 4.09 5/245 30870
/proc/meminfo: memFree=109477852/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=6912524 memory=6833284 CPUtime=25.4 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 1194962 0 0 0 2293 247 0 0 20 0 1 0 4633403 7078424576 1708321 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 1728131 1708321 2726 3035 0 1724527 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 6912524 KiB
Current children cumulated memory: 6833284 KiB
[startup+51.1128 s]
/proc/loadavg: 4.10 4.13 4.09 5/245 30873
/proc/meminfo: memFree=108442316/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=7846584 memory=7770800 CPUtime=50.93 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 1548283 0 0 0 4770 323 0 0 20 0 1 0 4633403 8034902016 1942700 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 1961646 1942700 2758 3035 0 1958042 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 7846584 KiB
Current children cumulated memory: 7770800 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.16 4.10 5/246 30930
/proc/meminfo: memFree=107444968/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=9030376 memory=8651008 CPUtime=101.93 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 1668173 0 0 0 9839 354 0 0 20 0 2 0 4633403 9247105024 2162686 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 2257594 2162752 2790 3035 0 2237638 0
[pid=30864/tid=30930] ppid=30861 vsize=9030376 memory=8234952 CPUtime=0 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) S 30861 30864 28195 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 2 0 4643554 9247105024 2162818 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 9030376 KiB
Current children cumulated memory: 8651008 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/246 30942
/proc/meminfo: memFree=102400892/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13679264 memory=13203008 CPUtime=161.72 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 3168591 0 0 0 15603 569 0 0 20 0 3 0 4633403 14007566336 3300752 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3419816 3300752 2854 3035 0 3389433 0
[pid=30864/tid=30930] ppid=30861 vsize=13679264 memory=11516 CPUtime=58.54 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 1466210 0 0 0 5648 206 0 0 20 0 3 0 4643554 14007566336 3300752 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13679264 memory=11403208 CPUtime=0 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4643943 14007566336 3300752 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13203008 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/248 30956
/proc/meminfo: memFree=102396104/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13679264 memory=13203184 CPUtime=221.45 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 3453482 0 0 0 21560 585 0 0 20 0 3 0 4633403 14007566336 3300796 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3419816 3300796 2854 3035 0 3389433 0
[pid=30864/tid=30930] ppid=30861 vsize=13679264 memory=13203156 CPUtime=118.27 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 1751093 0 0 0 11605 222 0 0 20 0 3 0 4643554 14007566336 3300796 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13679264 memory=14600 CPUtime=0 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4643943 14007566336 3300796 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13203184 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/248 30966
/proc/meminfo: memFree=102391792/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13679264 memory=13203184 CPUtime=281.19 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 3751127 0 0 0 27517 602 0 0 20 0 3 0 4633403 14007566336 3300796 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3419816 3300796 2854 3035 0 3389433 0
[pid=30864/tid=30930] ppid=30861 vsize=13679264 memory=13203184 CPUtime=178.01 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 2048717 0 0 0 17562 239 0 0 20 0 3 0 4643554 14007566336 3300796 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13679264 memory=13203184 CPUtime=0 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4643943 14007566336 3300796 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 13679264 KiB
Current children cumulated memory: 13203184 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/248 30977
/proc/meminfo: memFree=102262028/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13679264 memory=13214936 CPUtime=340.94 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 4135501 0 0 0 33468 626 0 0 20 0 3 0 4633403 14007566336 3303734 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3419816 3303734 2854 3035 0 3392362 0
[pid=30864/tid=30930] ppid=30861 vsize=13679264 memory=13203184 CPUtime=237.76 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 2433074 0 0 0 23513 263 0 0 20 0 3 0 4643554 14007566336 3303734 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13679264 memory=13207280 CPUtime=0 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4643943 14007566336 3303734 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 13679264 KiB
################
# More data... #
################
Current children cumulated CPU time: 3328.38 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13378312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/250 32906
/proc/meminfo: memFree=108731440/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13380836 CPUtime=3388.18 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 11997372 0 0 0 337462 1356 0 0 20 0 3 0 4633403 14208892928 3345209 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3345209 2854 3035 0 3434158 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=13376704 CPUtime=3284.93 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 10293816 0 0 0 327505 988 0 0 20 0 3 0 4643554 14208892928 3345209 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=13380832 CPUtime=0.07 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1183 0 0 0 2 5 0 0 20 0 3 0 4643943 14208892928 3345209 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3388.18 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13380836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/250 32916
/proc/meminfo: memFree=108645576/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13384384 CPUtime=3447.96 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 12126010 0 0 0 343427 1369 0 0 20 0 3 0 4633403 14208892928 3346096 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3346096 2854 3035 0 3435038 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=13376704 CPUtime=3344.71 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 10422438 0 0 0 333470 1001 0 0 20 0 3 0 4643554 14208892928 3346096 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=13382784 CPUtime=0.07 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1199 0 0 0 2 5 0 0 20 0 3 0 4643943 14208892928 3346096 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3447.96 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13384384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/247 32928
/proc/meminfo: memFree=108569396/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13386336 CPUtime=3507.75 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 12231785 0 0 0 349394 1381 0 0 20 0 3 0 4633403 14208892928 3346584 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3346584 2854 3035 0 3435518 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=13382784 CPUtime=3404.49 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 10528189 0 0 0 339437 1012 0 0 20 0 3 0 4643554 14208892928 3346584 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=13384396 CPUtime=0.08 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1223 0 0 0 2 6 0 0 20 0 3 0 4643943 14208892928 3346584 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3507.75 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13386336 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/246 32938
/proc/meminfo: memFree=108476148/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13388860 CPUtime=3567.53 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 12360959 0 0 0 355357 1396 0 0 20 0 3 0 4633403 14208892928 3347215 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3347215 2854 3035 0 3436142 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=11516 CPUtime=3464.28 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 10657344 0 0 0 345400 1028 0 0 20 0 3 0 4643554 14208892928 3347215 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=13388860 CPUtime=0.08 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1242 0 0 0 2 6 0 0 20 0 3 0 4643943 14208892928 3347215 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3567.53 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13388860 KiB
[startup+3611.67 s]
# the end of solver process 30864 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.12 s, system=15.6867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.09 4.09 5/246 32939
/proc/meminfo: memFree=108473820/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13388860 CPUtime=3569.24 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 12362554 0 0 0 355527 1397 0 0 20 0 3 0 4633403 14208892928 3347215 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3347215 2854 3035 0 3436142 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=-7091598779833475962 CPUtime=3465.99 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 10658935 0 0 0 345571 1028 0 0 20 0 3 0 4643554 14208892928 3347215 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=4715997358071639707 CPUtime=0.08 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1246 0 0 0 2 6 0 0 20 0 3 0 4643943 14208892928 3347215 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13388860 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/246 32941
/proc/meminfo: memFree=108456196/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13390468 CPUtime=3581.99 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 12397867 0 0 0 356800 1399 0 0 20 0 3 0 4633403 14208892928 3347617 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3347617 2854 3035 0 3436542 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=13388860 CPUtime=3478.73 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 10694247 0 0 0 346842 1031 0 0 20 0 3 0 4643554 14208892928 3347617 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=13388864 CPUtime=0.08 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1247 0 0 0 2 6 0 0 20 0 3 0 4643943 14208892928 3347617 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3581.99 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13390468 KiB
[startup+3603.2 s]
/proc/loadavg: 4.22 4.12 4.10 5/246 32941
/proc/meminfo: memFree=108404508/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=13875872 memory=13431760 CPUtime=3588.36 cores=0,2
/proc/30864/stat : 30864 (fscip) S 30861 30864 28195 0 -1 1077936128 13152623 0 0 0 357393 1443 0 0 20 0 3 0 4633403 14208892928 3357940 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 3468968 3357940 2854 3035 0 3446671 0
[pid=30864/tid=30930] ppid=30861 vsize=13875872 memory=13390468 CPUtime=3485.11 cores=0,2
/proc/30864/task/30930/stat : 30930 (fscip) R 30861 30864 28195 0 -1 4194368 11448976 0 0 0 347436 1075 0 0 20 0 3 0 4643554 14208892928 3357940 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
[pid=30864/tid=30933] ppid=30861 vsize=13875872 memory=13390464 CPUtime=0.08 cores=0,2
/proc/30864/task/30933/stat : 30933 (fscip) S 30861 30864 28195 0 -1 1077936192 1247 0 0 0 2 6 0 0 20 0 3 0 4643943 14208892928 3357940 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 13875872 KiB
Current children cumulated memory: 13431760 KiB
[startup+3606.4 s]
/proc/loadavg: 4.28 4.13 4.10 5/244 32942
/proc/meminfo: memFree=111259832/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=10991220 memory=10577348 CPUtime=3591.55 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 13800828 0 0 0 357655 1500 0 0 20 0 1 0 4633403 11255009280 2644337 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 2747805 2644337 2902 3035 0 2721214 0
Current children cumulated CPU time: 3591.55 s
Current children cumulated vsize: 10991220 KiB
Current children cumulated memory: 10577348 KiB
[startup+3609.6 s]
/proc/loadavg: 4.28 4.13 4.10 5/244 32942
/proc/meminfo: memFree=111289016/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=10957488 memory=10545136 CPUtime=3594.73 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 14163054 0 0 0 357952 1521 0 0 20 0 1 0 4633403 11220467712 2636284 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 2739372 2636284 2902 3035 0 2712781 0
Current children cumulated CPU time: 3594.73 s
Current children cumulated vsize: 10957488 KiB
Current children cumulated memory: 10545136 KiB
[startup+3610.4 s]
/proc/loadavg: 4.28 4.13 4.10 5/244 32942
/proc/meminfo: memFree=111310600/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=10621168 memory=10208816 CPUtime=3595.52 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 14310803 0 0 0 358022 1530 0 0 20 0 1 0 4633403 10876076032 2552204 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 2655292 2552204 2902 3035 0 2628701 0
Current children cumulated CPU time: 3595.52 s
Current children cumulated vsize: 10621168 KiB
Current children cumulated memory: 10208816 KiB
[startup+3611.2 s]
/proc/loadavg: 4.34 4.15 4.11 5/244 32943
/proc/meminfo: memFree=112082228/131655788 swapFree=131071216/131071996
[pid=30864] ppid=30861 vsize=9867676 memory=9455964 CPUtime=3596.32 cores=0,2
/proc/30864/stat : 30864 (fscip) R 30861 30864 28195 0 -1 4194304 14476212 0 0 0 358090 1542 0 0 20 0 1 0 4633403 10104500224 2363991 134679101440 4194304 16623229 140722944211088 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 52555776 140722944218138 140722944218254 140722944218254 140722944225264 0
/proc/30864/statm: 2466919 2363991 2902 3035 0 2440328 0
Current children cumulated CPU time: 3596.32 s
Current children cumulated vsize: 9867676 KiB
Current children cumulated memory: 9455964 KiB
[startup+3611.61 s]
/proc/loadavg: 4.34 4.15 4.11 5/244 32943
/proc/meminfo: memFree=114452224/131655788 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3611.67
CPU time (s): 3596.8
CPU user time (s): 3581.12
CPU system time (s): 15.6867
CPU usage (%): 99.5883
Max. virtual memory (cumulated for all children) (KiB): 13941408
Max. memory (cumulated for all children) (KiB): 13458004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.12
system time used= 15.6867
maximum resident set size= 13458004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14573992
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= 3686
involuntary context switches= 25218
# summary of solver processes directly reported to runsolver:
# pid: 30864
# total CPU time (s): 3596.8
# total CPU user time (s): 3581.12
# total CPU system time (s): 15.6867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8756 second user time and 38.143 second system time
The end
Begin job on nodeC007 at 2024-07-31 01:37:08
IDJOB=4464236
IDBENCH=155752
IDSOLVER=3092
FILE ID=nodeC007/4464236-1722382626
RUNJOBID= nodeC007-1722378594-28205
SLURM_JOB_ID= 8249837
Free space on /tmp= 723516 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_7_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-4464236-1722382626/watcher-4464236-1722382626 -o /tmp/evaluation-result-4464236-1722382626/solver-4464236-1722382626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464236-1722382626.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a79b156993afc0744effacd0e3c6c3c8
RANDOM SEED=2017193718
nodeC007.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 : 1197.396
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.58
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 : 3688.512
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.35
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 : 3492.038
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.58
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.198
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3663.404
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.58
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 : 3651.894
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.35
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.380
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.58
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.118
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 116354132 kB
MemAvailable: 116784816 kB
Buffers: 85696 kB
Cached: 1182512 kB
SwapCached: 100 kB
Active: 336384 kB
Inactive: 14512344 kB
Active(anon): 1492 kB
Inactive(anon): 13600148 kB
Active(file): 334892 kB
Inactive(file): 912196 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 128164 kB
Writeback: 0 kB
AnonPages: 13580396 kB
Mapped: 125352 kB
Shmem: 21076 kB
KReclaimable: 47588 kB
Slab: 123740 kB
SReclaimable: 47588 kB
SUnreclaim: 76152 kB
KernelStack: 3952 kB
PageTables: 36516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 10690388 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5064704 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723548 MiB
End job on nodeC007 at 2024-07-31 02:37:20