0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4452665-1721447222.opb>
0.00/0.04 c original problem has 22684 variables (22684 bin, 0 int, 0 impl, 0 cont) and 5672 constraints
0.00/0.04 c problem read in 0.04
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.09 c presolving:
0.09/0.11 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
0.09/0.14 c (0.1s) running MILP presolver
0.09/0.17 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 4 fixings, 0 bound changes
0.19/0.24 c (round 2, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 5552 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 3, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 5644 upgd conss, 0 impls, 0 clqs
0.19/0.26 c (round 4, exhaustive) 4 del vars, 1 del conss, 0 add conss, 0 chg bounds, 107 chg sides, 0 chg coeffs, 5671 upgd conss, 0 impls, 0 clqs
0.29/0.40 c (0.4s) probing: 51/22680 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.40 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.39/0.42 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
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 (62531 MiB free)
memory of node 1: 64473 MiB (62015 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452665-1721447222/watcher-4452665-1721447222 -o /tmp/evaluation-result-4452665-1721447222/solver-4452665-1721447222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721447234-1044304 --watchdog 3760 pbscip -f HOME/instance-4452665-1721447222.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1044366, runsolver pid=1044363
Current StackSize limit: 8192 KiB
[startup+0.100896 s]*
/proc/loadavg: 1.11 1.22 1.94 6/255 1044367
/proc/meminfo: memFree=127390428/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=124200 memory=81556 CPUtime=0.09 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 17184 0 0 0 7 2 0 0 20 0 1 0 196887118 127180800 20389 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 31050 20389 3532 3540 0 19307 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 81556 KiB
[startup+0.205895 s]*
/proc/loadavg: 1.11 1.22 1.94 5/251 1044371
/proc/meminfo: memFree=127360872/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=148348 memory=106268 CPUtime=0.19 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 26034 0 0 0 17 2 0 0 20 0 1 0 196887118 151908352 26567 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 37087 26567 3691 3540 0 25344 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148348 KiB
Current children cumulated memory: 106268 KiB
[startup+0.30527 s]*
/proc/loadavg: 1.11 1.22 1.94 4/250 1044375
/proc/meminfo: memFree=127325196/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=161408 memory=118532 CPUtime=0.29 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 29066 0 0 0 26 3 0 0 20 0 1 0 196887118 165281792 29633 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 40352 29633 3723 3540 0 28609 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 161408 KiB
Current children cumulated memory: 118532 KiB
[startup+0.700221 s]
/proc/loadavg: 1.11 1.22 1.94 5/250 1044403
/proc/meminfo: memFree=127254892/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=275636 memory=188764 CPUtime=0.68 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 46662 0 0 0 62 6 0 0 20 0 1 0 196887118 282251264 47191 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 68909 47191 3755 3540 0 57166 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 275636 KiB
Current children cumulated memory: 188764 KiB
[startup+1.5002 s]
/proc/loadavg: 1.11 1.22 1.94 5/255 1044413
/proc/meminfo: memFree=127009356/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=351852 memory=265060 CPUtime=1.48 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 65712 0 0 0 137 11 0 0 20 0 1 0 196887118 360296448 66265 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 87963 66265 3755 3540 0 76220 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 351852 KiB
Current children cumulated memory: 265060 KiB
[startup+3.10511 s]
/proc/loadavg: 1.34 1.27 1.95 5/255 1044415
/proc/meminfo: memFree=126710224/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=438044 memory=354484 CPUtime=3.07 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 87568 0 0 0 293 14 0 0 20 0 1 0 196887118 448557056 88621 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 109511 88621 3755 3540 0 97768 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 438044 KiB
Current children cumulated memory: 354484 KiB
[startup+6.30015 s]
/proc/loadavg: 1.34 1.27 1.95 5/255 1044415
/proc/meminfo: memFree=126629032/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=467288 memory=385564 CPUtime=6.27 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 94838 0 0 0 611 16 0 0 20 0 1 0 196887118 478502912 96391 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 116822 96391 3755 3540 0 105079 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 467288 KiB
Current children cumulated memory: 385564 KiB
[startup+12.7002 s]
/proc/loadavg: 1.55 1.31 1.96 5/255 1044416
/proc/meminfo: memFree=126530612/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=500076 memory=421660 CPUtime=12.65 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 103335 0 0 0 1247 18 0 0 20 0 1 0 196887118 512077824 105415 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 125019 105415 3755 3540 0 113276 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 500076 KiB
Current children cumulated memory: 421660 KiB
[startup+25.5002 s]
/proc/loadavg: 2.18 1.46 2.00 5/255 1044418
/proc/meminfo: memFree=126407084/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=542608 memory=464692 CPUtime=25.41 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 114086 0 0 0 2521 20 0 0 20 0 1 0 196887118 555630592 116173 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 135652 116173 3755 3540 0 123909 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 542608 KiB
Current children cumulated memory: 464692 KiB
[startup+51.1052 s]
/proc/loadavg: 2.80 1.67 2.05 5/255 1044421
/proc/meminfo: memFree=126252544/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=601092 memory=523036 CPUtime=50.96 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 128663 0 0 0 5072 24 0 0 20 0 1 0 196887118 615518208 130759 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 150273 130759 3755 3540 0 138530 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 601092 KiB
Current children cumulated memory: 523036 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.04 2.16 5/255 1044431
/proc/meminfo: memFree=126190720/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650716 memory=572668 CPUtime=102 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141070 0 0 0 10170 30 0 0 20 0 1 0 196887118 666333184 143167 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162679 143167 3755 3540 0 150936 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 650716 KiB
Current children cumulated memory: 572668 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.43 2.29 5/254 1044442
/proc/meminfo: memFree=126189008/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650720 memory=572668 CPUtime=161.82 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141071 0 0 0 16146 36 0 0 20 0 1 0 196887118 666337280 143167 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162680 143167 3755 3540 0 150937 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 650720 KiB
Current children cumulated memory: 572668 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.74 2.41 5/256 1044458
/proc/meminfo: memFree=126186852/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650728 memory=572668 CPUtime=221.62 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141073 0 0 0 22121 41 0 0 20 0 1 0 196887118 666345472 143167 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162682 143167 3755 3540 0 150939 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 650728 KiB
Current children cumulated memory: 572668 KiB
[startup+282.3 s]
/proc/loadavg: 4.41 3.06 2.54 5/256 1044468
/proc/meminfo: memFree=126177284/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650732 memory=575324 CPUtime=281.44 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141083 0 0 0 28100 44 0 0 20 0 1 0 196887118 666349568 143831 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162683 143831 3755 3540 0 150940 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 650732 KiB
Current children cumulated memory: 575324 KiB
[startup+342.3 s]
/proc/loadavg: 4.45 3.34 2.67 5/256 1044478
/proc/meminfo: memFree=126174168/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650736 memory=577216 CPUtime=341.28 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141112 0 0 0 34083 45 0 0 20 0 1 0 196887118 666353664 144304 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162684 144304 3755 3540 0 150941 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 650736 KiB
Current children cumulated memory: 577216 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.48 2.76 5/256 1044489
/proc/meminfo: memFree=126170240/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650740 memory=577216 CPUtime=401.11 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141123 0 0 0 40066 45 0 0 20 0 1 0 196887118 666357760 144304 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162685 144304 3755 3540 0 150942 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 650740 KiB
Current children cumulated memory: 577216 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 3.60 2.85 5/256 1044500
/proc/meminfo: memFree=126169324/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650740 memory=577476 CPUtime=460.96 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 141174 0 0 0 46050 46 0 0 20 0 1 0 196887118 666357760 144369 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162685 144369 3755 3540 0 150942 0
################
# More data... #
################
Current children cumulated memory: 584580 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/257 1046246
/proc/meminfo: memFree=124145296/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650816 memory=584580 CPUtime=2854.21 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143541 0 0 0 285365 56 0 0 20 0 1 0 196887118 666435584 146145 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162704 146145 3755 3540 0 150961 0
Current children cumulated CPU time: 2854.21 s
Current children cumulated vsize: 650816 KiB
Current children cumulated memory: 584580 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.04 5/255 1046256
/proc/meminfo: memFree=124144904/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650820 memory=584584 CPUtime=2914.03 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143639 0 0 0 291347 56 0 0 20 0 1 0 196887118 666439680 146146 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162705 146146 3755 3540 0 150962 0
Current children cumulated CPU time: 2914.03 s
Current children cumulated vsize: 650820 KiB
Current children cumulated memory: 584584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/255 1046266
/proc/meminfo: memFree=124144236/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650820 memory=584584 CPUtime=2973.85 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143689 0 0 0 297329 56 0 0 20 0 1 0 196887118 666439680 146146 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162705 146146 3755 3540 0 150962 0
Current children cumulated CPU time: 2973.85 s
Current children cumulated vsize: 650820 KiB
Current children cumulated memory: 584584 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/255 1046277
/proc/meminfo: memFree=124143816/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650820 memory=584584 CPUtime=3033.66 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143788 0 0 0 303310 56 0 0 20 0 1 0 196887118 666439680 146146 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162705 146146 3755 3540 0 150962 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 650820 KiB
Current children cumulated memory: 584584 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/255 1046287
/proc/meminfo: memFree=124143344/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650824 memory=584584 CPUtime=3093.48 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143840 0 0 0 309292 56 0 0 20 0 1 0 196887118 666443776 146146 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162706 146146 3755 3540 0 150963 0
Current children cumulated CPU time: 3093.48 s
Current children cumulated vsize: 650824 KiB
Current children cumulated memory: 584584 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/254 1046297
/proc/meminfo: memFree=124142940/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650824 memory=584588 CPUtime=3153.31 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143939 0 0 0 315274 57 0 0 20 0 1 0 196887118 666443776 146147 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162706 146147 3755 3540 0 150963 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 650824 KiB
Current children cumulated memory: 584588 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/256 1046312
/proc/meminfo: memFree=124141836/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650824 memory=584588 CPUtime=3213.12 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 143992 0 0 0 321255 57 0 0 20 0 1 0 196887118 666443776 146147 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162706 146147 3755 3540 0 150963 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 650824 KiB
Current children cumulated memory: 584588 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/256 1046322
/proc/meminfo: memFree=124141256/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650828 memory=584588 CPUtime=3272.94 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144094 0 0 0 327237 57 0 0 20 0 1 0 196887118 666447872 146147 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162707 146147 3755 3540 0 150964 0
Current children cumulated CPU time: 3272.94 s
Current children cumulated vsize: 650828 KiB
Current children cumulated memory: 584588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/256 1046332
/proc/meminfo: memFree=124140784/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650828 memory=584592 CPUtime=3332.76 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144146 0 0 0 333219 57 0 0 20 0 1 0 196887118 666447872 146148 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162707 146148 3755 3540 0 150964 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 650828 KiB
Current children cumulated memory: 584592 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/256 1046343
/proc/meminfo: memFree=124140480/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650828 memory=584592 CPUtime=3392.58 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144249 0 0 0 339201 57 0 0 20 0 1 0 196887118 666447872 146148 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162707 146148 3755 3540 0 150964 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 650828 KiB
Current children cumulated memory: 584592 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 1046354
/proc/meminfo: memFree=124139084/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650832 memory=584596 CPUtime=3452.39 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144303 0 0 0 345182 57 0 0 20 0 1 0 196887118 666451968 146149 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162708 146149 3755 3540 0 150965 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 650832 KiB
Current children cumulated memory: 584596 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 1046364
/proc/meminfo: memFree=124131960/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650832 memory=584596 CPUtime=3512.21 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144406 0 0 0 351164 57 0 0 20 0 1 0 196887118 666451968 146149 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162708 146149 3755 3540 0 150965 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 650832 KiB
Current children cumulated memory: 584596 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 1046374
/proc/meminfo: memFree=124131460/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650832 memory=584596 CPUtime=3572.04 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144461 0 0 0 357146 58 0 0 20 0 1 0 196887118 666451968 146149 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162708 146149 3755 3540 0 150965 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 650832 KiB
Current children cumulated memory: 584596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 1046424
/proc/meminfo: memFree=124434812/131524600 swapFree=131070704/131071996
[pid=1044366] ppid=1044363 vsize=650832 memory=584596 CPUtime=3600.05 cores=0,2
/proc/1044366/stat : 1044366 (pbscip) R 1044363 1044366 1044294 0 -1 4194304 144513 0 0 0 359947 58 0 0 20 0 1 0 196887118 666451968 146149 134679101440 4194304 18693293 140721812732752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 37957632 140721812734978 140721812735077 140721812735077 140721812742094 0
/proc/1044366/statm: 162708 146149 3755 3540 0 150965 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 650832 KiB
Current children cumulated memory: 584596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 1044366 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.48 s, system=0.585232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.4
CPU time (s): 3600.06
CPU user time (s): 3599.48
CPU system time (s): 0.585232
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 650832
Max. memory (cumulated for all children) (KiB): 584596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.48
system time used= 0.585232
maximum resident set size= 584596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144513
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= 16
involuntary context switches= 25409
# summary of solver processes directly reported to runsolver:
# pid: 1044366
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.48
# total CPU system time (s): 0.585232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46686 second user time and 15.076 second system time
The end
Begin job on nodeC023 at 2024-07-20 05:47:14
IDJOB=4452665
IDBENCH=165278
IDSOLVER=3059
FILE ID=nodeC023/4452665-1721447222
RUNJOBID= nodeC023-1721447234-1044304
SLURM_JOB_ID= 7545676
Free space on /tmp= 890040 MiB
SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-3.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452665-1721447222/watcher-4452665-1721447222 -o /tmp/evaluation-result-4452665-1721447222/solver-4452665-1721447222 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721447234-1044304 --watchdog 3760 pbscip -f HOME/instance-4452665-1721447222.opb -t 3600 -j 2 -m 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7bfcdc46f967c8c85bd034be31c75732
RANDOM SEED=785288849
nodeC023.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 : 3631.377
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.61
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 : 3664.392
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.48
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 : 3657.492
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.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.382
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.48
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 : 3655.968
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.61
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 : 3631.835
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.48
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 : 3654.236
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.61
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 : 3666.971
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127544060 kB
MemAvailable: 129736944 kB
Buffers: 585168 kB
Cached: 2443812 kB
SwapCached: 80 kB
Active: 1217396 kB
Inactive: 2193064 kB
Active(anon): 1464 kB
Inactive(anon): 425740 kB
Active(file): 1215932 kB
Inactive(file): 1767324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 75448 kB
Writeback: 0 kB
AnonPages: 381512 kB
Mapped: 126008 kB
Shmem: 45728 kB
KReclaimable: 98900 kB
Slab: 193028 kB
SReclaimable: 98900 kB
SUnreclaim: 94128 kB
KernelStack: 3956 kB
PageTables: 9352 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 773480 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC023 at 2024-07-20 06:47:25