0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
4.37/4.49 c Default LC presolving (default).
4.47/4.51 c ** Before presolving: virtualMemUsedAtLc = 2986113555, getVmSize() = 1934532608, SCIPgetMemUsed() = 1737616014, SCIPgetMemTotal() = 1833417838, SCIPgetMemExternEstim() = 1152695717
4.47/4.51 c ** set memory limit for presolving in LC to 8.7952e+12 for SCIP **
166.76/167.51 c ** Estimated virtualMemUsedAtSolver = 2796567395, getVmSize() = 3438432256, SCIPgetMemUsed() = 2422601032, SCIPgetMemTotal() = 3042155376, SCIPgetMemExternEstim() = 1152695717
166.76/167.51 c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
166.76/167.51 c Original Problem :
166.76/167.51 c Problem name : instance-4434896-1721141156
166.76/167.51 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
166.76/167.51 c Constraints : 847958
166.76/167.51 c Objective sense : minimize
166.76/167.51 c Presolved Problem :
166.76/167.51 c Variables : 300225 (300225 binary, 0 integer, 0 implicit integer, 0 continuous)
166.76/167.51 c Constraints : 539254
166.76/167.51 c Constraints : Number
166.76/167.51 c knapsack : 1375
166.76/167.51 c setppc : 356526
166.76/167.51 c and : 180075
166.76/167.51 c linear : 3
166.76/167.51 c logicor : 1275
166.76/167.51 c ** Instance transfer method used: 0
168.36/169.14 c ** ParaScipInstance copy does not increase the number of variables. **
169.65/170.43 c LC is working with racing ramp-up and with rebuilding tree after racing.
169.65/170.43 c Nodes Active
169.65/170.43 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
2400.47/2409.72 c 2410 2 1 1 - 599167.3135 -
2490.94/2500.54 c 2501 3 2 1 - 599349.5500 -
2576.58/2586.55 c 2587 4 3 1 - 599349.5500 -
2672.80/2683.12 c 2683 5 4 1 - 599349.5500 -
2753.58/2764.26 c 2764 6 5 1 - 599349.5500 -
2915.65/2926.92 c 2927 7 6 1 - 599349.5500 -
3035.17/3046.93 c 3047 8 7 1 - 599349.5500 -
3122.73/3134.88 c 3135 9 8 1 - 599349.5500 -
3229.22/3241.71 c 3242 10 9 1 - 599349.5500 -
3396.20/3409.32 c 3409 11 10 1 - 599349.5500 -
3551.91/3565.60 c 3566 12 11 1 - 599349.5500 -
3569.04/3582.87 c 3583 14 13 1 - 599349.5500 -
3576.11/3589.97 c 3590 15 14 1 - 599349.5500 -
3585.18/3599.06 c 3599 16 15 1 - 599349.5500 -
3590.17/3604.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.17/3604.05 c Total Time : 3604.0600
3590.17/3604.05 c solving : 3604.0600
3590.17/3604.05 c presolving : 163.0011 (included in solving)
3590.17/3604.05 c B&B Tree :
3590.17/3604.05 c nodes (total) : 1
3590.17/3604.05 c Solution :
3590.17/3604.05 c Solutions found : 0
3590.17/3604.05 c Primal Bound : -
3590.17/3604.05 c Dual Bound : +5.99349549989744e+05
3590.17/3604.05 c Gap : -
3592.26/3606.19 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: 63931 MiB (47804 MiB free)
memory of node 1: 64510 MiB (53201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434896-1721141156/watcher-4434896-1721141156 -o /tmp/evaluation-result-4434896-1721141156/solver-4434896-1721141156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853288 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434896-1721141156.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=858599, runsolver pid=858596
[startup+0.100858 s]*
/proc/loadavg: 4.15 4.10 4.09 5/261 858600
/proc/meminfo: memFree=103319240/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=135420 memory=119632 CPUtime=0.1 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 27776 0 0 0 5 5 0 0 20 0 1 0 166280580 138670080 29842 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 33855 29842 2318 3032 0 30255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 135420 KiB
Current children cumulated memory: 119632 KiB
[startup+0.206003 s]*
/proc/loadavg: 4.15 4.10 4.09 5/261 858600
/proc/meminfo: memFree=103269108/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=184352 memory=168924 CPUtime=0.19 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 40174 0 0 0 13 6 0 0 20 0 1 0 166280580 188776448 42231 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 46088 42231 2318 3032 0 42488 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 184352 KiB
Current children cumulated memory: 168924 KiB
[startup+0.3061 s]*
/proc/loadavg: 4.15 4.10 4.09 5/261 858600
/proc/meminfo: memFree=103224616/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=231920 memory=216492 CPUtime=0.3 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 52009 0 0 0 22 8 0 0 20 0 1 0 166280580 237486080 54123 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 57980 54123 2318 3032 0 54380 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 231920 KiB
Current children cumulated memory: 216492 KiB
[startup+0.700258 s]
/proc/loadavg: 4.15 4.10 4.09 5/261 858600
/proc/meminfo: memFree=103125004/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=388476 memory=372820 CPUtime=0.69 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 90578 0 0 0 55 14 0 0 20 0 1 0 166280580 397799424 93205 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 97119 93205 2318 3032 0 93519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 388476 KiB
Current children cumulated memory: 372820 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.10 4.09 5/261 858600
/proc/meminfo: memFree=102987272/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=559464 memory=543604 CPUtime=1.48 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 130739 0 0 0 128 20 0 0 20 0 1 0 166280580 572891136 135901 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 139866 135901 2318 3032 0 136266 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 559464 KiB
Current children cumulated memory: 543604 KiB
[startup+3.10599 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 858600
/proc/meminfo: memFree=102220300/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=1271916 memory=1258712 CPUtime=3.08 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 316074 0 0 0 260 48 0 0 20 0 1 0 166280580 1302441984 314678 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 317979 314678 2558 3032 0 314379 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1271916 KiB
Current children cumulated memory: 1258712 KiB
[startup+6.30025 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 858601
/proc/meminfo: memFree=101413412/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=2075504 memory=2040572 CPUtime=6.27 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 494688 0 0 0 552 75 0 0 20 0 1 0 166280580 2125316096 510143 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 518876 510143 2622 3032 0 515276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2075504 KiB
Current children cumulated memory: 2040572 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 858601
/proc/meminfo: memFree=100760848/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=2714216 memory=2671200 CPUtime=12.65 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 529996 0 0 0 1166 99 0 0 20 0 1 0 166280580 2779357184 667800 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 678554 667800 2702 3032 0 674954 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2714216 KiB
Current children cumulated memory: 2671200 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 858604
/proc/meminfo: memFree=100741024/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=2798324 memory=2752816 CPUtime=25.4 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 661197 0 0 0 2420 120 0 0 20 0 1 0 166280580 2865483776 688204 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 699581 688204 2734 3032 0 695981 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2798324 KiB
Current children cumulated memory: 2752816 KiB
[startup+51.1062 s]
/proc/loadavg: 4.06 4.09 4.09 5/261 858607
/proc/meminfo: memFree=100391532/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=3081660 memory=3035404 CPUtime=50.9 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 682998 0 0 0 4962 128 0 0 20 0 1 0 166280580 3155619840 758851 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 770415 758851 2750 3032 0 766815 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 3081660 KiB
Current children cumulated memory: 3035404 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/260 858617
/proc/meminfo: memFree=100385340/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=3081660 memory=3035504 CPUtime=101.87 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 683180 0 0 0 10058 129 0 0 20 0 1 0 166280580 3155619840 758876 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 770415 758876 2750 3032 0 766815 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 3081660 KiB
Current children cumulated memory: 3035504 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/261 858628
/proc/meminfo: memFree=100359164/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=3100124 memory=3055328 CPUtime=161.58 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 686129 0 0 0 16028 130 0 0 20 0 1 0 166280580 3174526976 763832 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 775031 763832 2750 3032 0 771431 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 3100124 KiB
Current children cumulated memory: 3055328 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/263 858640
/proc/meminfo: memFree=98136316/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=5532232 memory=5267312 CPUtime=221.32 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 1735964 0 0 0 21879 253 0 0 20 0 3 0 166280580 5665005568 1316828 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 1383058 1316828 2798 3032 0 1367417 0
[pid=858599/tid=858630] ppid=858596 vsize=5532232 memory=5224772 CPUtime=52.9 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 883802 0 0 0 5194 96 0 0 20 0 3 0 166297331 5665005568 1316828 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=5532232 memory=3095024 CPUtime=0 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 166297626 5665005568 1316828 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 221.32 s
Current children cumulated vsize: 5532232 KiB
Current children cumulated memory: 5267312 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 858657
/proc/meminfo: memFree=98104864/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=5532232 memory=5293308 CPUtime=281.04 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 2147058 0 0 0 27825 279 0 0 20 0 3 0 166280580 5665005568 1323327 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 1383058 1323327 2798 3032 0 1373642 0
[pid=858599/tid=858630] ppid=858596 vsize=5532232 memory=5280164 CPUtime=112.62 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 1294881 0 0 0 11140 122 0 0 20 0 3 0 166297331 5665005568 1323327 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=5532232 memory=5285336 CPUtime=0 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 166297626 5665005568 1323327 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 5532232 KiB
Current children cumulated memory: 5293308 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 858667
/proc/meminfo: memFree=96983308/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=6666960 memory=6403988 CPUtime=340.78 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 2656057 0 0 0 33739 339 0 0 20 0 3 0 166280580 6826967040 1600997 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 1666740 1600997 2830 3032 0 1654134 0
[pid=858599/tid=858630] ppid=858596 vsize=6666960 memory=5280164 CPUtime=172.36 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 1803867 0 0 0 17054 182 0 0 20 0 3 0 166297331 6826967040 1600997 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=6666960 memory=5516 CPUtime=0 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 166297626 6826967040 1600997 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 340.78 s
Current children cumulated vsize: 6666960 KiB
Current children cumulated memory: 6403988 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 858677
/proc/meminfo: memFree=96971900/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=6666960 memory=6404012 CPUtime=400.52 cores=5,7
################
# More data... #
################
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 18704753 0 0 0 314841 1257 0 0 20 0 3 0 166297331 11412475904 2352766 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=11444 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 480 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2352766 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3329.44 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9411064 KiB
[startup+3402.3 s]
/proc/loadavg: 1.12 1.35 2.01 2/237 860488
/proc/meminfo: memFree=115815776/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9411064 CPUtime=3389.22 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 19877631 0 0 0 337488 1434 0 0 20 0 3 0 166280580 11412475904 2352766 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2352766 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=11444 CPUtime=3220.76 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 19024745 0 0 0 320803 1273 0 0 20 0 3 0 166297331 11412475904 2352766 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=9411064 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 487 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2352766 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3389.22 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9411064 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.30 1.95 2/237 860500
/proc/meminfo: memFree=115815404/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9411128 CPUtime=3449 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 20200043 0 0 0 343450 1450 0 0 20 0 3 0 166280580 11412475904 2352782 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2352782 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=13072 CPUtime=3280.53 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 19347132 0 0 0 326764 1289 0 0 20 0 3 0 166297331 11412475904 2352782 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=11444 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 493 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2352782 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3449 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9411128 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.26 1.89 2/237 860511
/proc/meminfo: memFree=115814892/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9411400 CPUtime=3508.78 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 20508861 0 0 0 349413 1465 0 0 20 0 3 0 166280580 11412475904 2352850 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2352850 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=41808 CPUtime=3340.31 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 19655944 0 0 0 332727 1304 0 0 20 0 3 0 166297331 11412475904 2352850 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=11444 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 499 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2352850 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3508.78 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9411400 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.22 1.84 2/236 860522
/proc/meminfo: memFree=115811824/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3568.55 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 21108445 0 0 0 355358 1497 0 0 20 0 3 0 166280580 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2353544 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3400.08 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 20255573 0 0 0 338672 1336 0 0 20 0 3 0 166297331 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=13072 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 508 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3568.55 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9414176 KiB
[startup+3606.38 s]
# the end of solver process 858599 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.94 s, system=15.6083 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.22 1.83 2/236 860522
/proc/meminfo: memFree=115811832/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3570.24 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 21155347 0 0 0 355525 1499 0 0 20 0 3 0 166280580 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2353544 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=6720666566759300977 CPUtime=3401.78 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 20302389 0 0 0 338840 1338 0 0 20 0 3 0 166297331 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=13412 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 508 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3570.24 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9414176 KiB
[startup+3596.8 s]
/proc/loadavg: 1.07 1.21 1.82 2/236 860526
/proc/meminfo: memFree=115811748/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3582.99 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 21157045 0 0 0 356800 1499 0 0 20 0 3 0 166280580 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2353544 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3414.52 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 20304070 0 0 0 340114 1338 0 0 20 0 3 0 166297331 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=9414176 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 509 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3582.99 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9414176 KiB
[startup+3603.2 s]
/proc/loadavg: 1.06 1.20 1.81 2/236 860526
/proc/meminfo: memFree=115811708/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3589.36 cores=5,7
/proc/858599/stat : 858599 (fscip) S 858596 858599 853275 0 -1 1077936128 21402424 0 0 0 357424 1512 0 0 20 0 3 0 166280580 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2786249 2353544 2974 3032 0 2750765 0
[pid=858599/tid=858630] ppid=858596 vsize=11144996 memory=9414176 CPUtime=3420.89 cores=5,7
/proc/858599/task/858630/stat : 858630 (fscip) R 858596 858599 853275 0 -1 4194368 20549455 0 0 0 340738 1351 0 0 20 0 3 0 166297331 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
[pid=858599/tid=858631] ppid=858596 vsize=11144996 memory=9414176 CPUtime=0.04 cores=5,7
/proc/858599/task/858631/stat : 858631 (fscip) S 858596 858599 853275 0 -1 1077936192 509 0 0 0 1 3 0 0 20 0 3 0 166297626 11412475904 2353544 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
Current children cumulated CPU time: 3589.36 s
Current children cumulated vsize: 11144996 KiB
Current children cumulated memory: 9414176 KiB
[startup+3604.8 s]
/proc/loadavg: 1.06 1.20 1.81 2/235 860526
/proc/meminfo: memFree=115811716/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=9398856 memory=9023688 CPUtime=3590.97 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 21727685 0 0 0 357566 1531 0 0 20 0 1 0 166280580 9624428544 2255922 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2349714 2255922 2974 3032 0 2309946 0
Current children cumulated CPU time: 3590.97 s
Current children cumulated vsize: 9398856 KiB
Current children cumulated memory: 9023688 KiB
[startup+3605.6 s]
/proc/loadavg: 1.06 1.20 1.81 2/234 860528
/proc/meminfo: memFree=116202732/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=9387560 memory=9013492 CPUtime=3591.76 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 21803706 0 0 0 357641 1535 0 0 20 0 1 0 166280580 9612861440 2253373 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2346890 2253373 2974 3032 0 2307122 0
Current children cumulated CPU time: 3591.76 s
Current children cumulated vsize: 9387560 KiB
Current children cumulated memory: 9013492 KiB
[startup+3606 s]*
/proc/loadavg: 1.06 1.20 1.81 2/234 860528
/proc/meminfo: memFree=116498820/131524600 swapFree=131071996/131071996
[pid=858599] ppid=858596 vsize=9094668 memory=8720600 CPUtime=3592.17 cores=5,7
/proc/858599/stat : 858599 (fscip) R 858596 858599 853275 0 -1 4194304 21887671 0 0 0 357678 1539 0 0 20 0 1 0 166280580 9312940032 2180150 134679101440 4194304 16613245 140732989695104 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 47923200 140732989699093 140732989699209 140732989699209 140732989706224 0
/proc/858599/statm: 2273667 2180150 2974 3032 0 2233899 0
Current children cumulated CPU time: 3592.17 s
Current children cumulated vsize: 9094668 KiB
Current children cumulated memory: 8720600 KiB
[startup+3606.2 s]*
/proc/loadavg: 1.06 1.20 1.81 2/234 860528
/proc/meminfo: memFree=117142132/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3606.31 s]
/proc/loadavg: 1.06 1.20 1.81 2/234 860528
/proc/meminfo: memFree=117142132/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3606.38
CPU time (s): 3592.54
CPU user time (s): 3576.94
CPU system time (s): 15.6083
CPU usage (%): 99.6164
Max. virtual memory (cumulated for all children) (KiB): 11210532
Max. memory (cumulated for all children) (KiB): 9414180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.94
system time used= 15.6083
maximum resident set size= 9414180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21951594
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= 3506
involuntary context switches= 2461
# summary of solver processes directly reported to runsolver:
# pid: 858599
# total CPU time (s): 3592.54
# total CPU user time (s): 3576.94
# total CPU system time (s): 15.6083
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66468 second user time and 18.0838 second system time
The end
Begin job on nodeC024 at 2024-07-16 16:46:10
IDJOB=4434896
IDBENCH=155707
IDSOLVER=3064
FILE ID=nodeC024/4434896-1721141156
RUNJOBID= nodeC024-1721132097-853288
SLURM_JOB_ID= 7505702
Free space on /tmp= 889876 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_2_mh_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-4434896-1721141156/watcher-4434896-1721141156 -o /tmp/evaluation-result-4434896-1721141156/solver-4434896-1721141156 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721132097-853288 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434896-1721141156.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 29fcddc0b5ddb2a2f51dd98e905e6f00
RANDOM SEED=1439185457
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 : 3673.295
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.60
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 : 3690.275
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 : 7007.08
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 : 3599.874
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.60
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 : 3604.519
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 : 7007.08
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 : 3673.283
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.60
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 : 3688.720
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 : 7007.08
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 : 3600.022
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.60
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 : 3680.239
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 103429780 kB
MemAvailable: 108026268 kB
Buffers: 422460 kB
Cached: 4958568 kB
SwapCached: 0 kB
Active: 827528 kB
Inactive: 26516648 kB
Active(anon): 1540 kB
Inactive(anon): 21999324 kB
Active(file): 825988 kB
Inactive(file): 4517324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65928 kB
Writeback: 0 kB
AnonPages: 21963076 kB
Mapped: 139672 kB
Shmem: 37720 kB
KReclaimable: 185644 kB
Slab: 301920 kB
SReclaimable: 185644 kB
SUnreclaim: 116276 kB
KernelStack: 4192 kB
PageTables: 53008 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10486320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61824 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3004416 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: 240340 kB
DirectMap2M: 23650304 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC024 at 2024-07-16 17:46:16