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)
3.78/3.87 c Default LC presolving (default).
3.78/3.88 c ** Before presolving: virtualMemUsedAtLc = 2986113555, getVmSize() = 1934553088, SCIPgetMemUsed() = 1737616094, SCIPgetMemTotal() = 1833417838, SCIPgetMemExternEstim() = 1152695717
3.78/3.88 c ** set memory limit for presolving in LC to 8.7952e+12 for SCIP **
153.95/154.58 c ** Estimated virtualMemUsedAtSolver = 2796567395, getVmSize() = 3437068288, SCIPgetMemUsed() = 2422601112, SCIPgetMemTotal() = 3042155376, SCIPgetMemExternEstim() = 1152695717
153.95/154.58 c ** set memory limit for solvers to 4.39796e+12 for each SCIP **
153.95/154.58 c Original Problem :
153.95/154.58 c Problem name : instance-4464227-1722382512
153.95/154.58 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
153.95/154.58 c Constraints : 847958
153.95/154.58 c Objective sense : minimize
153.95/154.58 c Presolved Problem :
153.95/154.58 c Variables : 300225 (300225 binary, 0 integer, 0 implicit integer, 0 continuous)
153.95/154.58 c Constraints : 539254
153.95/154.58 c Constraints : Number
153.95/154.58 c knapsack : 1375
153.95/154.58 c setppc : 356526
153.95/154.58 c and : 180075
153.95/154.58 c linear : 3
153.95/154.58 c logicor : 1275
153.95/154.58 c ** Instance transfer method used: 0
155.35/155.99 c ** ParaScipInstance copy does not increase the number of variables. **
156.53/157.13 c LC is working with racing ramp-up and with rebuilding tree after racing.
156.53/157.13 c Nodes Active
156.53/157.13 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1732.89/1738.99 c 1739 2 1 1 - 572271.7724 -
1849.39/1855.77 c 1856 3 2 1 - 572466.7377 -
1913.33/1919.89 c 1920 4 3 1 - 574373.3051 -
1980.25/1986.90 c 1987 5 4 1 - 574373.3051 -
2057.35/2064.23 c 2064 6 5 1 - 574373.3051 -
2122.68/2129.72 c 2130 7 6 1 - 574467.0931 -
2186.32/2193.53 c 2194 8 7 1 - 574467.0931 -
2374.73/2382.48 c 2382 9 8 1 - 574467.0931 -
2430.48/2438.33 c 2438 10 9 1 - 576354.5701 -
2460.41/2468.32 c 2468 11 10 1 - 576354.5701 -
2516.26/2524.31 c 2524 12 11 1 - 576354.5701 -
2524.73/2532.86 c 2533 13 12 1 - 576354.5701 -
2533.71/2541.81 c 2542 14 13 1 - 576354.5701 -
2541.00/2549.18 c 2549 15 14 1 - 576354.5701 -
2644.73/2653.15 c 2653 16 15 1 - 576354.5701 -
2732.19/2740.83 c 2741 17 16 1 - 576354.5701 -
2742.66/2751.32 c 2751 18 17 1 - 576354.5701 -
2748.74/2757.47 c 2757 21 20 1 - 576354.5701 -
2878.91/2887.93 c 2888 26 25 1 - 576354.5701 -
2887.67/2896.76 c 2897 27 26 1 - 579975.6198 -
3031.09/3040.58 c 3041 28 27 1 - 579975.6198 -
3036.27/3045.71 c 3046 35 34 1 - 579975.6198 -
3051.53/3061.04 c 3061 36 35 1 - 579975.6198 -
3062.40/3071.95 c 3072 37 36 1 - 579975.6198 -
3069.98/3079.54 c 3080 37 38 1 - 579975.6198 -
3112.67/3122.35 c 3122 38 37 1 - 579975.6198 -
3164.13/3173.98 c 3174 41 40 1 - 579975.6198 -
3210.20/3220.15 c 3220 42 41 1 - 582430.1744 -
3281.71/3291.87 c 3292 43 42 1 - 582430.1744 -
3301.55/3311.76 c 3312 44 43 1 - 582430.1744 -
3309.42/3319.62 c 3320 45 44 1 - 582430.1744 -
3314.81/3325.02 c 3325 49 48 1 - 582430.1744 -
3325.37/3335.64 c 3336 52 51 1 - 582430.1744 -
3332.55/3342.82 c 3343 58 57 1 - 582430.1744 -
3433.98/3444.62 c 3445 59 58 1 - 582430.1744 -
3440.76/3451.42 c 3451 61 60 1 - 582430.1744 -
3446.34/3457.07 c 3457 62 61 1 - 582430.1744 -
3452.91/3463.67 c 3464 64 63 1 - 582430.1744 -
3461.97/3472.73 c 3473 68 67 1 - 582430.1744 -
3471.04/3481.87 c 3482 71 70 1 - 582430.1744 -
3554.14/3565.26 c 3565 72 71 1 - 582430.1744 -
3561.50/3572.65 c 3573 73 72 1 - 582430.1744 -
3580.93/3592.17 c 3592 75 74 1 - 582430.1744 -
3586.81/3598.02 c 3598 76 75 0 - 582430.1744 -
3591.69/3602.92 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.69/3602.92 c Total Time : 3602.9300
3591.69/3602.92 c solving : 3602.9300
3591.69/3602.92 c presolving : 150.6925 (included in solving)
3591.69/3602.92 c B&B Tree :
3591.69/3602.92 c nodes (total) : 1
3591.69/3602.92 c Solution :
3591.69/3602.92 c Solutions found : 0
3591.69/3602.92 c Primal Bound : -
3591.69/3602.92 c Dual Bound : +5.82430174419884e+05
3591.69/3602.92 c Gap : -
3594.06/3605.36 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 (58495 MiB free)
memory of node 1: 64473 MiB (61496 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464227-1722382512/watcher-4464227-1722382512 -o /tmp/evaluation-result-4464227-1722382512/solver-4464227-1722382512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29777 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464227-1722382512.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32331, runsolver pid=32328
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.16 4.11 4.07 5/265 32333
/proc/meminfo: memFree=122749220/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=152924 memory=137652 CPUtime=0.09 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 32330 0 0 0 5 4 0 0 20 0 1 0 4850225 156594176 34413 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 38231 34413 2347 3035 0 34627 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 152924 KiB
Current children cumulated memory: 137652 KiB
[startup+0.205756 s]*
/proc/loadavg: 4.16 4.11 4.07 5/265 32333
/proc/meminfo: memFree=122698316/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=200760 memory=185468 CPUtime=0.2 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 44245 0 0 0 15 5 0 0 20 0 1 0 4850225 205578240 46367 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 50190 46367 2347 3035 0 46586 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 200760 KiB
Current children cumulated memory: 185468 KiB
[startup+0.305699 s]*
/proc/loadavg: 4.16 4.11 4.07 5/265 32333
/proc/meminfo: memFree=122634028/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=263636 memory=248272 CPUtime=0.3 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 59983 0 0 0 22 8 0 0 20 0 1 0 4850225 269963264 62068 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 65909 62068 2347 3035 0 62305 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 263636 KiB
Current children cumulated memory: 248272 KiB
[startup+0.700228 s]
/proc/loadavg: 4.16 4.11 4.07 5/265 32333
/proc/meminfo: memFree=122528508/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=422640 memory=407160 CPUtime=0.69 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 98636 0 0 0 56 13 0 0 20 0 1 0 4850225 432783360 101790 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 105660 101790 2347 3035 0 102056 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 422640 KiB
Current children cumulated memory: 407160 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.11 4.07 5/265 32333
/proc/meminfo: memFree=122410152/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=635292 memory=619184 CPUtime=1.48 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 149587 0 0 0 128 20 0 0 20 0 1 0 4850225 650539008 154796 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 158823 154796 2347 3035 0 155219 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 635292 KiB
Current children cumulated memory: 619184 KiB
[startup+3.10566 s]
/proc/loadavg: 4.14 4.11 4.07 5/265 32333
/proc/meminfo: memFree=121439720/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=1489024 memory=1475700 CPUtime=3.08 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 360127 0 0 0 260 48 0 0 20 0 1 0 4850225 1524760576 368925 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 372256 368925 2555 3035 0 368652 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1489024 KiB
Current children cumulated memory: 1475700 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.11 4.07 5/265 32334
/proc/meminfo: memFree=120590468/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=2367140 memory=2298540 CPUtime=6.28 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 506997 0 0 0 554 74 0 0 20 0 1 0 4850225 2423951360 574635 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 591785 574635 2646 3035 0 588181 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2367140 KiB
Current children cumulated memory: 2298540 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.07 5/265 32334
/proc/meminfo: memFree=120159368/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=2714296 memory=2672696 CPUtime=12.66 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 530414 0 0 0 1175 91 0 0 20 0 1 0 4850225 2779439104 668174 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 678574 668174 2726 3035 0 674970 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2714296 KiB
Current children cumulated memory: 2672696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.07 5/265 32336
/proc/meminfo: memFree=119921548/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=2941240 memory=2895636 CPUtime=25.42 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 676482 0 0 0 2426 116 0 0 20 0 1 0 4850225 3011829760 723909 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 735310 723909 2758 3035 0 731706 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2941240 KiB
Current children cumulated memory: 2895636 KiB
[startup+51.1059 s]
/proc/loadavg: 4.07 4.09 4.07 5/261 32340
/proc/meminfo: memFree=119770504/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=3082444 memory=3036572 CPUtime=50.95 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 683525 0 0 0 4974 121 0 0 20 0 1 0 4850225 3156422656 759143 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 770611 759143 2774 3035 0 767007 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3082444 KiB
Current children cumulated memory: 3036572 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/261 32349
/proc/meminfo: memFree=118819424/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=3082444 memory=3036572 CPUtime=101.96 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 683661 0 0 0 10073 123 0 0 20 0 1 0 4850225 3156422656 759143 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 770611 759143 2774 3035 0 767007 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 3082444 KiB
Current children cumulated memory: 3036572 KiB
[startup+162.301 s]
/proc/loadavg: 4.12 4.10 4.08 5/263 32364
/proc/meminfo: memFree=116796856/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=5334296 memory=5089580 CPUtime=161.68 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 1304093 0 0 0 15951 217 0 0 20 0 3 0 4850225 5462319104 1272395 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 1333574 1272395 2806 3035 0 1324027 0
[pid=32331/tid=32361] ppid=32328 vsize=5334296 memory=3182980 CPUtime=6.23 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 452649 0 0 0 557 66 0 0 20 0 3 0 4865683 5462319104 1272395 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=5334296 memory=-5155626907893132165 CPUtime=0 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4865941 5462319104 1272395 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 5334296 KiB
Current children cumulated memory: 5089580 KiB
[startup+222.301 s]
/proc/loadavg: 4.10 4.09 4.08 5/263 32375
/proc/meminfo: memFree=116481992/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=5530904 memory=5273948 CPUtime=221.11 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 1905771 0 0 0 21850 261 0 0 20 0 3 0 4850225 5663645696 1318487 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 1382726 1318487 2806 3035 0 1368467 0
[pid=32331/tid=32361] ppid=32328 vsize=5530904 memory=5269736 CPUtime=65.65 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 1054307 0 0 0 6456 109 0 0 20 0 3 0 4865683 5663645696 1318487 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=5530904 memory=1980 CPUtime=0 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4865941 5663645696 1318487 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 221.11 s
Current children cumulated vsize: 5530904 KiB
Current children cumulated memory: 5273948 KiB
[startup+282.301 s]
/proc/loadavg: 4.22 4.12 4.09 5/263 32385
/proc/meminfo: memFree=116398196/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=5596440 memory=5306484 CPUtime=280.53 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 2334862 0 0 0 27762 291 0 0 20 0 3 0 4850225 5730754560 1326621 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 1399110 1326621 2806 3035 0 1376621 0
[pid=32331/tid=32361] ppid=32328 vsize=5596440 memory=5286900 CPUtime=125.08 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 1483384 0 0 0 12368 140 0 0 20 0 3 0 4865683 5730754560 1326621 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=5596440 memory=5306484 CPUtime=0 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4865941 5730754560 1326621 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 280.53 s
Current children cumulated vsize: 5596440 KiB
Current children cumulated memory: 5306484 KiB
[startup+342.301 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 32401
/proc/meminfo: memFree=115045136/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=6681028 memory=6415992 CPUtime=339.97 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 2793047 0 0 0 33654 343 0 0 20 0 3 0 4850225 6841372672 1603998 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 1670257 1603998 2854 3035 0 1657153 0
[pid=32331/tid=32361] ppid=32328 vsize=6681028 memory=5286900 CPUtime=184.51 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 1941562 0 0 0 18260 191 0 0 20 0 3 0 4865683 6841372672 1603998 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=6681028 memory=6415992 CPUtime=0 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4865941 6841372672 1603998 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 339.97 s
Current children cumulated vsize: 6681028 KiB
Current children cumulated memory: 6415992 KiB
################
# More data... #
################
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 23579883 0 0 0 316195 1461 0 0 20 0 3 0 4865683 12665769984 2407220 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=9628880 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 439 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407220 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9628880 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 34239
/proc/meminfo: memFree=108960856/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9628880 CPUtime=3391.83 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 24847927 0 0 0 337546 1637 0 0 20 0 3 0 4850225 12665769984 2407220 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407220 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=9628880 CPUtime=3236.34 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 23995277 0 0 0 322151 1483 0 0 20 0 3 0 4865683 12665769984 2407220 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=9628880 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 445 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407220 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9628880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 34294
/proc/meminfo: memFree=115006984/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9629276 CPUtime=3451.61 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 25337485 0 0 0 343497 1664 0 0 20 0 3 0 4850225 12665769984 2407319 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407319 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=9628880 CPUtime=3296.11 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 24484768 0 0 0 328101 1510 0 0 20 0 3 0 4865683 12665769984 2407319 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=9628880 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 452 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407319 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9629276 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 34304
/proc/meminfo: memFree=113335504/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9630220 CPUtime=3511.4 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 25748344 0 0 0 349453 1687 0 0 20 0 3 0 4850225 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407555 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=9629712 CPUtime=3355.89 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 24895598 0 0 0 334057 1532 0 0 20 0 3 0 4865683 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=9629712 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 458 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3511.4 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9630220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 34315
/proc/meminfo: memFree=113306652/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9630220 CPUtime=3571.16 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 26117230 0 0 0 355412 1704 0 0 20 0 3 0 4850225 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407555 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=9630220 CPUtime=3415.67 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 25264406 0 0 0 340017 1550 0 0 20 0 3 0 4865683 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=11524 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 465 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9630220 KiB
[startup+3605.59 s]
# the end of solver process 32331 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.47 s, system=17.8838 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 5/265 34315
/proc/meminfo: memFree=113253908/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9630220 CPUtime=3572.86 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 26117419 0 0 0 355582 1704 0 0 20 0 3 0 4850225 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407555 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=9629068 CPUtime=3417.36 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 25264595 0 0 0 340186 1550 0 0 20 0 3 0 4865683 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=-6000919472656377964 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 465 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3572.86 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9630220 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.13 4.10 5/265 34318
/proc/meminfo: memFree=113233620/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9630220 CPUtime=3585.61 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 26165129 0 0 0 356855 1706 0 0 20 0 3 0 4850225 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407555 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=5448 CPUtime=3430.11 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 25312300 0 0 0 341459 1552 0 0 20 0 3 0 4865683 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=9630220 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 465 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9630220 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.13 4.10 5/265 34318
/proc/meminfo: memFree=113233608/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=12368916 memory=9630220 CPUtime=3588.8 cores=1,3
/proc/32331/stat : 32331 (fscip) S 32328 32331 29765 0 -1 1077936128 26324294 0 0 0 357162 1718 0 0 20 0 3 0 4850225 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 3092229 2407555 3014 3035 0 3074511 0
[pid=32331/tid=32361] ppid=32328 vsize=12368916 memory=-6000919472656377964 CPUtime=3433.3 cores=1,3
/proc/32331/task/32361/stat : 32361 (fscip) R 32328 32331 29765 0 -1 4194368 25471460 0 0 0 341767 1563 0 0 20 0 3 0 4865683 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
[pid=32331/tid=32364] ppid=32328 vsize=12368916 memory=11344 CPUtime=0.03 cores=1,3
/proc/32331/task/32364/stat : 32364 (fscip) S 32328 32331 29765 0 -1 1077936192 465 0 0 0 1 2 0 0 20 0 3 0 4865941 12665769984 2407555 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
Current children cumulated CPU time: 3588.8 s
Current children cumulated vsize: 12368916 KiB
Current children cumulated memory: 9630220 KiB
[startup+3603.2 s]
/proc/loadavg: 4.18 4.13 4.10 5/263 34318
/proc/meminfo: memFree=113295248/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=9940580 memory=9566120 CPUtime=3591.99 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 26736592 0 0 0 357457 1742 0 0 20 0 1 0 4850225 10179153920 2391530 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 2485145 2391530 3014 3035 0 2451614 0
Current children cumulated CPU time: 3591.99 s
Current children cumulated vsize: 9940580 KiB
Current children cumulated memory: 9566120 KiB
[startup+3604.8 s]
/proc/loadavg: 4.16 4.13 4.10 5/261 34318
/proc/meminfo: memFree=113295228/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=9928260 memory=9554900 CPUtime=3593.57 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 26965856 0 0 0 357603 1754 0 0 20 0 1 0 4850225 10166538240 2388725 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 2482065 2388725 3014 3035 0 2448534 0
Current children cumulated CPU time: 3593.57 s
Current children cumulated vsize: 9928260 KiB
Current children cumulated memory: 9554900 KiB
[startup+3605.2 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 34319
/proc/meminfo: memFree=113461620/131524600 swapFree=131071728/131071996
[pid=32331] ppid=32328 vsize=9588988 memory=9215628 CPUtime=3593.97 cores=1,3
/proc/32331/stat : 32331 (fscip) R 32328 32331 29765 0 -1 4194304 27052446 0 0 0 357636 1761 0 0 20 0 1 0 4850225 9819123712 2303907 134679101440 4194304 16623229 140737482269568 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 35749888 140737482277910 140737482278026 140737482278026 140737482285040 0
/proc/32331/statm: 2397247 2303907 3014 3035 0 2363716 0
Current children cumulated CPU time: 3593.97 s
Current children cumulated vsize: 9588988 KiB
Current children cumulated memory: 9215628 KiB
[startup+3605.4 s]*
/proc/loadavg: 4.16 4.13 4.10 5/262 34319
/proc/meminfo: memFree=115831128/131524600 swapFree=131071728/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3605.51 s]
/proc/loadavg: 4.16 4.13 4.10 5/262 34319
/proc/meminfo: memFree=115831128/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): 3605.59
CPU time (s): 3594.36
CPU user time (s): 3576.47
CPU system time (s): 17.8838
CPU usage (%): 99.6885
Max. virtual memory (cumulated for all children) (KiB): 12434452
Max. memory (cumulated for all children) (KiB): 9630220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.47
system time used= 17.8838
maximum resident set size= 9630224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27105916
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= 3607
involuntary context switches= 4795
# summary of solver processes directly reported to runsolver:
# pid: 32331
# total CPU time (s): 3594.36
# total CPU user time (s): 3576.47
# total CPU system time (s): 17.8838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22962 second user time and 17.6802 second system time
The end
Begin job on nodeC024 at 2024-07-31 01:35:12
IDJOB=4464227
IDBENCH=155706
IDSOLVER=3092
FILE ID=nodeC024/4464227-1722382512
RUNJOBID= nodeC024-1722378594-29777
SLURM_JOB_ID= 8249847
Free space on /tmp= 889940 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_1_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-4464227-1722382512/watcher-4464227-1722382512 -o /tmp/evaluation-result-4464227-1722382512/solver-4464227-1722382512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722378594-29777 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464227-1722382512.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c67f7d2b84b900287505153e75597a80
RANDOM SEED=292526229
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 : 3600.142
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 : 3665.337
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 : 3677.327
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 : 3687.450
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 : 3677.328
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 : 3684.373
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 : 3600.020
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.018
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: 122872152 kB
MemAvailable: 125323960 kB
Buffers: 90604 kB
Cached: 3177968 kB
SwapCached: 36 kB
Active: 287076 kB
Inactive: 7843972 kB
Active(anon): 1568 kB
Inactive(anon): 4882200 kB
Active(file): 285508 kB
Inactive(file): 2961772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 65708 kB
Writeback: 0 kB
AnonPages: 4858724 kB
Mapped: 124688 kB
Shmem: 21292 kB
KReclaimable: 88704 kB
Slab: 173292 kB
SReclaimable: 88704 kB
SUnreclaim: 84588 kB
KernelStack: 4272 kB
PageTables: 19100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3250788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9184 kB
HardwareCorrupted: 0 kB
AnonHugePages: 899072 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= 889908 MiB
End job on nodeC024 at 2024-07-31 02:35:18