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)
1.98/2.10 c Default LC presolving (default).
1.98/2.10 c ** Before presolving: virtualMemUsedAtLc = 1858165295, getVmSize() = 1380605952, SCIPgetMemUsed() = 1327696651, SCIPgetMemTotal() = 1341933547, SCIPgetMemExternEstim() = 516231748
2.08/2.11 c ** set memory limit for presolving in LC to 8.79554e+12 for SCIP **
1613.12/1619.22 c ** Estimated virtualMemUsedAtSolver = 2742802264, getVmSize() = 3820048384, SCIPgetMemUsed() = 2629505641, SCIPgetMemTotal() = 3597971649, SCIPgetMemExternEstim() = 516231748
1613.12/1619.22 c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
1613.12/1619.22 c Original Problem :
1613.12/1619.22 c Problem name : instance-4464531-1722385963
1613.12/1619.22 c Variables : 542720 (542720 binary, 0 integer, 0 implicit integer, 0 continuous)
1613.12/1619.22 c Constraints : 4752
1613.12/1619.22 c Objective sense : minimize
1613.12/1619.22 c Presolved Problem :
1613.12/1619.22 c Variables : 540912 (540912 binary, 0 integer, 0 implicit integer, 0 continuous)
1613.12/1619.22 c Constraints : 2731
1613.12/1619.22 c Constraints : Number
1613.12/1619.22 c knapsack : 512
1613.12/1619.22 c setppc : 2119
1613.12/1619.22 c orbitope : 100
1613.12/1619.22 c ** Instance transfer method used: 0
1613.92/1620.04 c ** ParaScipInstance copy increased the number of variables. **
1614.81/1620.91 c LC is working with racing ramp-up and with rebuilding tree after racing.
1614.81/1620.91 c Nodes Active
1614.81/1620.91 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3581.24/3598.40 c 3598 0 1 0 --179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368.0000 -
3583.02/3600.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.02/3600.28 c Total Time : 3600.2800
3583.02/3600.28 c solving : 3600.2800
3583.02/3600.28 c presolving : 1617.1217 (included in solving)
3583.02/3600.28 c B&B Tree :
3583.02/3600.28 c nodes (total) : 1
3583.02/3600.28 c Solution :
3583.02/3600.28 c Solutions found : 0
3583.02/3600.28 c Primal Bound : -
3583.02/3600.28 c Dual Bound : -
3583.02/3600.28 c Gap : -
3584.42/3601.64 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62115 MiB free)
memory of node 1: 64473 MiB (51808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464531-1722385963/watcher-4464531-1722385963 -o /tmp/evaluation-result-4464531-1722385963/solver-4464531-1722385963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29775 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464531-1722385963.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
Current StackSize limit: 8192 KiB
solver pid=34291, runsolver pid=34288
[startup+0.100301 s]*
/proc/loadavg: 4.08 4.09 4.09 5/266 34292
/proc/meminfo: memFree=116545716/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=137812 memory=125376 CPUtime=0.1 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 29204 0 0 0 7 3 0 0 20 0 1 0 5195292 141119488 31344 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 34453 31344 2347 3035 0 30849 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 137812 KiB
Current children cumulated memory: 125376 KiB
[startup+0.206008 s]*
/proc/loadavg: 4.08 4.09 4.09 5/266 34292
/proc/meminfo: memFree=116444728/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=240920 memory=227248 CPUtime=0.2 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 54714 0 0 0 13 7 0 0 20 0 1 0 5195292 246702080 56812 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 60230 56812 2347 3035 0 56626 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 240920 KiB
Current children cumulated memory: 227248 KiB
[startup+0.305873 s]*
/proc/loadavg: 4.08 4.09 4.09 5/266 34292
/proc/meminfo: memFree=116349560/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=333800 memory=321368 CPUtime=0.3 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 77697 0 0 0 20 10 0 0 20 0 1 0 5195292 341811200 80342 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 83450 80342 2347 3035 0 79846 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 333800 KiB
Current children cumulated memory: 321368 KiB
[startup+0.700226 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 34292
/proc/meminfo: memFree=116165304/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=569532 memory=555880 CPUtime=0.69 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 134270 0 0 0 50 19 0 0 20 0 1 0 5195292 583200768 138970 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 142383 138970 2347 3035 0 138779 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 569532 KiB
Current children cumulated memory: 555880 KiB
[startup+1.50025 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 34292
/proc/meminfo: memFree=116088964/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=1023028 memory=1009744 CPUtime=1.48 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 247039 0 0 0 114 34 0 0 20 0 1 0 5195292 1047580672 252436 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 255757 252436 2539 3035 0 252153 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1023028 KiB
Current children cumulated memory: 1009744 KiB
[startup+3.10582 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 34292
/proc/meminfo: memFree=115226712/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=1474956 memory=1444176 CPUtime=3.08 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 346908 0 0 0 260 48 0 0 20 0 1 0 5195292 1510354944 361044 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 368739 361044 2614 3035 0 365135 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1474956 KiB
Current children cumulated memory: 1444176 KiB
[startup+6.30023 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 34294
/proc/meminfo: memFree=114828416/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=1881592 memory=1833340 CPUtime=6.26 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 376116 0 0 0 561 65 0 0 20 0 1 0 5195292 1926750208 458335 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 470398 458335 2710 3035 0 466794 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1881592 KiB
Current children cumulated memory: 1833340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 34294
/proc/meminfo: memFree=115006944/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=1688584 memory=1653724 CPUtime=12.64 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 379004 0 0 0 1197 67 0 0 20 0 1 0 5195292 1729110016 413431 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 422146 413431 2710 3035 0 418542 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1688584 KiB
Current children cumulated memory: 1653724 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 6/266 34295
/proc/meminfo: memFree=114010652/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=2734516 memory=2647784 CPUtime=25.39 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 543123 0 0 0 2442 97 0 0 20 0 1 0 5195292 2800144384 661946 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 683629 661946 2758 3035 0 680025 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 2734516 KiB
Current children cumulated memory: 2647784 KiB
[startup+51.1059 s]
/proc/loadavg: 4.21 4.12 4.10 5/266 34300
/proc/meminfo: memFree=113350296/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686440 memory=3304832 CPUtime=50.88 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652327 0 0 0 4967 121 0 0 20 0 1 0 5195292 3774914560 826208 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921610 826208 2774 3035 0 918006 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 3686440 KiB
Current children cumulated memory: 3304832 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 34309
/proc/meminfo: memFree=113318428/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686444 memory=3335688 CPUtime=101.88 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652384 0 0 0 10064 124 0 0 20 0 1 0 5195292 3774918656 833922 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921611 833922 2774 3035 0 918007 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 3686444 KiB
Current children cumulated memory: 3335688 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/262 34414
/proc/meminfo: memFree=122679040/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686448 memory=3344948 CPUtime=161.65 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652699 0 0 0 16039 126 0 0 20 0 1 0 5195292 3774922752 836237 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921612 836237 2774 3035 0 918008 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 3686448 KiB
Current children cumulated memory: 3344948 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 34427
/proc/meminfo: memFree=121873572/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686448 memory=3344992 CPUtime=221.38 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652746 0 0 0 22010 128 0 0 20 0 1 0 5195292 3774922752 836248 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921612 836248 2774 3035 0 918008 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 3686448 KiB
Current children cumulated memory: 3344992 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/262 34438
/proc/meminfo: memFree=121828152/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686452 memory=3344992 CPUtime=281.12 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652788 0 0 0 27981 131 0 0 20 0 1 0 5195292 3774926848 836248 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921613 836248 2774 3035 0 918009 0
Current children cumulated CPU time: 281.12 s
Current children cumulated vsize: 3686452 KiB
Current children cumulated memory: 3344992 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/262 34450
/proc/meminfo: memFree=121715392/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686452 memory=3344996 CPUtime=340.86 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652828 0 0 0 33953 133 0 0 20 0 1 0 5195292 3774926848 836249 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921613 836249 2774 3035 0 918009 0
Current children cumulated CPU time: 340.86 s
Current children cumulated vsize: 3686452 KiB
Current children cumulated memory: 3344996 KiB
[startup+402.3 s]
/proc/loadavg: 4.31 4.17 4.11 5/262 34460
/proc/meminfo: memFree=121668480/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686456 memory=3345000 CPUtime=400.61 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 652870 0 0 0 39926 135 0 0 20 0 1 0 5195292 3774930944 836250 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921614 836250 2774 3035 0 918010 0
Current children cumulated CPU time: 400.61 s
Current children cumulated vsize: 3686456 KiB
Current children cumulated memory: 3345000 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.20 4.12 5/262 34470
/proc/meminfo: memFree=121353488/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=3686456 memory=3345000 CPUtime=460.35 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 653327 0 0 0 45898 137 0 0 20 0 1 0 5195292 3774930944 836250 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 921614 836250 2774 3035 0 918010 0
################
# More data... #
################
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 36161
/proc/meminfo: memFree=117322804/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7286056 memory=6836560 CPUtime=3386.34 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4299763 0 0 0 338108 526 0 0 20 0 3 0 5195292 7460921344 1709140 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1821514 1709140 2854 3035 0 1800959 0
[pid=34291/tid=35242] ppid=34288 vsize=7286056 memory=6834928 CPUtime=1772.33 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3509206 0 0 0 176901 332 0 0 20 0 3 0 5357215 7460921344 1709140 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7286056 memory=11524 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 426 0 0 0 0 2 0 0 20 0 3 0 5357388 7460921344 1709140 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3386.34 s
Current children cumulated vsize: 7286056 KiB
Current children cumulated memory: 6836560 KiB
[startup+3462.3 s]
/proc/loadavg: 3.26 3.90 4.02 3/248 36233
/proc/meminfo: memFree=119040712/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7286056 memory=6841148 CPUtime=3446 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4368144 0 0 0 344067 533 0 0 20 0 3 0 5195292 7460921344 1710287 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1821514 1710287 2854 3035 0 1802095 0
[pid=34291/tid=35242] ppid=34288 vsize=7286056 memory=6840116 CPUtime=1831.99 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3577567 0 0 0 182860 339 0 0 20 0 3 0 5357215 7460921344 1710287 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7286056 memory=12652 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 446 0 0 0 0 2 0 0 20 0 3 0 5357388 7460921344 1710287 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3446 s
Current children cumulated vsize: 7286056 KiB
Current children cumulated memory: 6841148 KiB
[startup+3522.3 s]
/proc/loadavg: 2.52 3.56 3.89 3/250 36303
/proc/meminfo: memFree=119027464/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7351592 memory=6845288 CPUtime=3505.62 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4436164 0 0 0 350023 539 0 0 20 0 3 0 5195292 7528030208 1711322 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1837898 1711322 2854 3035 0 1803120 0
[pid=34291/tid=35242] ppid=34288 vsize=7351592 memory=6840116 CPUtime=1891.61 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3645574 0 0 0 188817 344 0 0 20 0 3 0 5357215 7528030208 1711322 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7351592 memory=12652 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 459 0 0 0 0 2 0 0 20 0 3 0 5357388 7528030208 1711322 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3505.62 s
Current children cumulated vsize: 7351592 KiB
Current children cumulated memory: 6845288 KiB
[startup+3582.3 s]
/proc/loadavg: 2.31 3.31 3.78 3/250 36313
/proc/meminfo: memFree=119023080/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7351592 memory=6849428 CPUtime=3565.24 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4524106 0 0 0 355977 547 0 0 20 0 3 0 5195292 7528030208 1712357 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1837898 1712357 2854 3035 0 1804144 0
[pid=34291/tid=35242] ppid=34288 vsize=7351592 memory=5448 CPUtime=1951.23 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3733502 0 0 0 194770 353 0 0 20 0 3 0 5357215 7528030208 1712357 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7351592 memory=6849428 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 473 0 0 0 0 2 0 0 20 0 3 0 5357388 7528030208 1712357 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3565.24 s
Current children cumulated vsize: 7351592 KiB
Current children cumulated memory: 6849428 KiB
[startup+3601.71 s]
# the end of solver process 34291 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.72 s, system=5.80696 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.29 3.29 3.77 3/250 36313
/proc/meminfo: memFree=119023064/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7351592 memory=6849428 CPUtime=3566.93 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4532204 0 0 0 356146 547 0 0 20 0 3 0 5195292 7528030208 1712357 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1837898 1712357 2854 3035 0 1804144 0
[pid=34291/tid=35242] ppid=34288 vsize=7351592 memory=-7379266206031767167 CPUtime=1952.93 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3741600 0 0 0 194940 353 0 0 20 0 3 0 5357215 7528030208 1712357 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7351592 memory=7686721470264483783 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 473 0 0 0 0 2 0 0 20 0 3 0 5357388 7528030208 1712357 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3566.93 s
Current children cumulated vsize: 7351592 KiB
Current children cumulated memory: 6849428 KiB
[startup+3590.4 s]
/proc/loadavg: 2.26 3.26 3.76 3/250 36314
/proc/meminfo: memFree=119021704/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7351592 memory=6850776 CPUtime=3573.29 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4534156 0 0 0 356781 548 0 0 20 0 3 0 5195292 7528030208 1712694 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1837898 1712694 2854 3035 0 1804480 0
[pid=34291/tid=35242] ppid=34288 vsize=7351592 memory=6849428 CPUtime=1959.28 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3743545 0 0 0 195574 354 0 0 20 0 3 0 5357215 7528030208 1712694 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7351592 memory=19160 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 480 0 0 0 0 2 0 0 20 0 3 0 5357388 7528030208 1712694 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 7351592 KiB
Current children cumulated memory: 6850776 KiB
[startup+3596.8 s]
/proc/loadavg: 2.24 3.24 3.75 3/250 36316
/proc/meminfo: memFree=119021548/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7351592 memory=6850780 CPUtime=3579.65 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4535534 0 0 0 357417 548 0 0 20 0 3 0 5195292 7528030208 1712695 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1837898 1712695 2854 3035 0 1804480 0
[pid=34291/tid=35242] ppid=34288 vsize=7351592 memory=6847224 CPUtime=1965.64 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 3744923 0 0 0 196210 354 0 0 20 0 3 0 5357215 7528030208 1712695 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7351592 memory=6849424 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 480 0 0 0 0 2 0 0 20 0 3 0 5357388 7528030208 1712695 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3579.65 s
Current children cumulated vsize: 7351592 KiB
Current children cumulated memory: 6850780 KiB
[startup+3600 s]*
/proc/loadavg: 2.22 3.22 3.74 3/250 36316
/proc/meminfo: memFree=119054680/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=7259752 memory=6816540 CPUtime=3582.84 cores=0,2
/proc/34291/stat : 34291 (fscip) S 34288 34291 29765 0 -1 1077936128 4820687 0 0 0 357720 564 0 0 20 0 3 0 5195292 7433986048 1704135 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1814938 1704135 2854 3035 0 1795919 0
[pid=34291/tid=35242] ppid=34288 vsize=7259752 memory=6850780 CPUtime=1968.83 cores=0,2
/proc/34291/task/35242/stat : 35242 (fscip) R 34288 34291 29765 0 -1 4194368 4030055 0 0 0 196514 369 0 0 20 0 3 0 5357215 7433986048 1704135 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
[pid=34291/tid=35243] ppid=34288 vsize=7259752 memory=7686721470264483783 CPUtime=0.02 cores=0,2
/proc/34291/task/35243/stat : 35243 (fscip) S 34288 34291 29765 0 -1 1077936192 480 0 0 0 0 2 0 0 20 0 3 0 5357388 7433986048 1704135 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 7259752 KiB
Current children cumulated memory: 6816540 KiB
[startup+3600.8 s]
/proc/loadavg: 2.22 3.22 3.74 3/250 36316
/proc/meminfo: memFree=119054680/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=6014568 memory=5541532 CPUtime=3583.62 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 4958637 0 0 0 357792 570 0 0 20 0 1 0 5195292 6158917632 1385383 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1503642 1385383 2902 3035 0 1475796 0
Current children cumulated CPU time: 3583.62 s
Current children cumulated vsize: 6014568 KiB
Current children cumulated memory: 5541532 KiB
[startup+3601.2 s]
/proc/loadavg: 2.22 3.22 3.74 3/248 36316
/proc/meminfo: memFree=120332496/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=6014568 memory=5541532 CPUtime=3584.02 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 4958839 0 0 0 357832 570 0 0 20 0 1 0 5195292 6158917632 1385383 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1503642 1385383 2902 3035 0 1475796 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 6014568 KiB
Current children cumulated memory: 5541532 KiB
[startup+3601.6 s]
/proc/loadavg: 2.22 3.22 3.74 3/248 36316
/proc/meminfo: memFree=120332496/131524600 swapFree=131071728/131071996
[pid=34291] ppid=34288 vsize=5616656 memory=5144172 CPUtime=3584.42 cores=0,2
/proc/34291/stat : 34291 (fscip) R 34288 34291 29765 0 -1 4194304 5013113 0 0 0 357869 573 0 0 20 0 1 0 5195292 5751455744 1286043 134679101440 4194304 16623229 140731339466880 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 53596160 140731339473942 140731339474058 140731339474058 140731339481072 0
/proc/34291/statm: 1404164 1286043 2902 3035 0 1376318 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 5616656 KiB
Current children cumulated memory: 5144172 KiB
[startup+3601.7 s]*
/proc/loadavg: 2.22 3.22 3.74 3/248 36316
/proc/meminfo: memFree=125841332/131524600 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): 3601.71
CPU time (s): 3584.53
CPU user time (s): 3578.72
CPU system time (s): 5.80696
CPU usage (%): 99.5231
Max. virtual memory (cumulated for all children) (KiB): 7351592
Max. memory (cumulated for all children) (KiB): 6850784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.72
system time used= 5.80696
maximum resident set size= 6850784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5030103
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= 2136
involuntary context switches= 26741
# summary of solver processes directly reported to runsolver:
# pid: 34291
# total CPU time (s): 3584.53
# total CPU user time (s): 3578.72
# total CPU system time (s): 5.80696
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72775 second user time and 17.6861 second system time
The end
Begin job on nodeC024 at 2024-07-31 02:32:43
IDJOB=4464531
IDBENCH=160483
IDSOLVER=3092
FILE ID=nodeC024/4464531-1722385963
RUNJOBID= nodeC024-1722378594-29775
SLURM_JOB_ID= 8249847
Free space on /tmp= 889936 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-dec.opb.negationfix.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-4464531-1722385963/watcher-4464531-1722385963 -o /tmp/evaluation-result-4464531-1722385963/solver-4464531-1722385963 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29775 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464531-1722385963.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=1765878430
nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.320
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.510
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3656.229
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.215
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.969
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3686.512
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.014
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.73
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 116658396 kB
MemAvailable: 119137600 kB
Buffers: 97772 kB
Cached: 3197860 kB
SwapCached: 36 kB
Active: 308648 kB
Inactive: 14021864 kB
Active(anon): 1560 kB
Inactive(anon): 11054612 kB
Active(file): 307088 kB
Inactive(file): 2967252 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 53244 kB
Writeback: 4 kB
AnonPages: 11033036 kB
Mapped: 124312 kB
Shmem: 21292 kB
KReclaimable: 89372 kB
Slab: 174240 kB
SReclaimable: 89372 kB
SUnreclaim: 84868 kB
KernelStack: 4272 kB
PageTables: 31392 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7301828 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1347584 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: 178900 kB
DirectMap2M: 11128832 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC024 at 2024-07-31 03:32:45