0.00/0.03 c initialize IPBHS solver
0.00/0.03 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.03 c optimizer = "gurobi"
0.00/0.03 c pbsolver = "roundingsat"
0.00/0.03 c load symmetries from file ""
0.00/0.03 c set time limit for symmetry computation to 100 seconds.
0.00/0.03 c set interchangeable summation variable limit to 3
0.00/0.03 c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.03 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.03 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.03 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.03 c set sym generation to 's'
0.00/0.03 c set abstraction set creation to 10 iterations without LB change
0.00/0.03 c set abstraction set inputs to 0
0.00/0.03 c set abstraction set cluster min size to 2
0.00/0.03 c set abstraction set cluster max size to 100000000
0.00/0.03 c set abstraction set cluster activation limit to 2
0.00/0.03 c enable abstraction set require equal cost
0.00/0.03 c set abstraction set assumptions to 0
0.00/0.03 c set abstraction set constraint type to 0
0.00/0.03 c set abstract core extraction strategy to b
0.00/0.03 c set core extraction strategy to 2
0.00/0.03 c set core extraction shuffles 10
0.00/0.03 c set cores per iteration to 5
0.00/0.03 c set optimizer bound usage strategy to 2
0.00/0.03 c set optimizer max non-optimal iterations to 1000
0.00/0.03 c set small core cardinality limit to 2
0.00/0.03 c set max coef in cores to 1000000000
0.00/0.03 c set SIS iterations to 5
0.00/0.03 c set SIS budget abs to 1000
0.00/0.03 c set SIS budget rel to 0.05
0.00/0.03 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.03 c will solve HOME/instance-4458646-1723986258.opb
0.38/0.43 c [0.03] solve iteration 1, LB=0, UB=561
0.38/0.43 c [0.05] solve iteration 2, LB=140, UB=143
0.38/0.43 c LB=UB after core extraction
0.38/0.43 c instance solved in 0.38s (IP-solver: 0.34s, core-extraction: 0s, SIS: 0s), 2 iterations, LB=140, UB=140,
0.38/0.43 d ITERATIONS 2
0.38/0.43 d SIS 0
0.38/0.43 d SIS_SAT 0
0.38/0.43 d SIS_UNSAT 0
0.38/0.43 d SIS_OUT_OF_BUDGET 0
0.38/0.43 d CORES_EXTRACTED 0
0.38/0.43 d CORES_IN_OPTIMIZER 0
0.38/0.43 d CLAUSAL_CORES_IN_OPTIMIZER 0
0.38/0.43 d CARDINALITY_CORES_IN_OPTIMIZER 0
0.38/0.43 d PB_CORES_IN_OPTIMIZER 0
0.38/0.43 d TIME_EXTRACT_CORES 0.000000
0.38/0.43 d TIME_OPTIMIZE 0.340000
0.38/0.43 d TIME_SIS 0.000000
0.38/0.43 c solve_time: 0.380000
0.38/0.43 s OPTIMUM FOUND
0.38/0.43 o 140
0.38/0.43 v -x1 -x8 -x554 x2 -x9 -x555 x3 -x10 -x556 -x4 -x11 -x557 -x5 -x12 -x558 x6 -x13 -x559 x7 -x14 -x560 -x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 x131 -x132 -x133 x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 -x196 -x197 x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 -x213 x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 x243 -x244 -x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 -x276 -x277 x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 x323 -x324 -x325 x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 x339 -x340 -x341 x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 x355 -x356 -x357 x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 -x372 -x373 x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 x387 -x388 -x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 x403 -x404 -x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 -x420 -x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 -x437 x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 x451 -x452 -x453 x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 x499 -x500 -x501 x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 x515 -x516 -x517 x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 x531 -x532 -x533 x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 x547 -x548 -x549 x550 x551 -x552 -x553
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62673 MiB free)
memory of node 1: 64473 MiB (58101 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458646-1723986258/watcher-4458646-1723986258 -o /tmp/evaluation-result-4458646-1723986258/solver-4458646-1723986258 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1723986255-893424 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4458646-1723986258.opb
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=893578, runsolver pid=893575
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 1.85 0.55 0.25 5/257 893592
/proc/meminfo: memFree=123640484/131655788 swapFree=131071996/131071996
[pid=893578] ppid=893575 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/893578/stat : 893578 (run-glibc-2.34.) S 893575 893578 892413 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 165222310 10166272 685 134679101440 94583888023552 94583889102872 140725859675360 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94583891201328 94583891248516 94583897214976 140725859677117 140725859677274 140725859677274 140725859684291 0
/proc/893578/statm: 2482 685 605 264 0 133 0
[pid=893580] ppid=893578 vsize=138636 memory=26548 CPUtime=0.08 cores=0,2
/proc/893580/stat : 893580 (ld-linux-x86-64) R 893578 893578 892413 0 -1 4194304 2285 0 1 0 7 1 0 0 20 0 2 0 165222310 141963264 6637 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
/proc/893580/statm: 34659 6637 3766 46 0 7254 0
[pid=893580/tid=893585] ppid=893578 vsize=138636 memory=4026561614 CPUtime=0 cores=0,2
/proc/893580/task/893585/stat : 893585 (ld-linux-x86-64) S 893578 893578 892413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165222313 141963264 6637 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 148564 KiB
Current children cumulated memory: 29288 KiB
[startup+0.223135 s]*
/proc/loadavg: 1.85 0.55 0.25 5/257 893595
/proc/meminfo: memFree=123602964/131655788 swapFree=131071996/131071996
[pid=893578] ppid=893575 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/893578/stat : 893578 (run-glibc-2.34.) S 893575 893578 892413 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 165222310 10166272 685 134679101440 94583888023552 94583889102872 140725859675360 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94583891201328 94583891248516 94583897214976 140725859677117 140725859677274 140725859677274 140725859684291 0
/proc/893578/statm: 2482 685 605 264 0 133 0
[pid=893580] ppid=893578 vsize=138636 memory=26548 CPUtime=0.19 cores=0,2
/proc/893580/stat : 893580 (ld-linux-x86-64) R 893578 893578 892413 0 -1 4194304 2297 0 1 0 18 1 0 0 20 0 2 0 165222310 141963264 6637 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
/proc/893580/statm: 34659 6637 3766 46 0 7254 0
[pid=893580/tid=893585] ppid=893578 vsize=138636 memory=8319679323896309298 CPUtime=0 cores=0,2
/proc/893580/task/893585/stat : 893585 (ld-linux-x86-64) S 893578 893578 892413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165222313 141963264 6637 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 1 0 0 -1 0 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 148564 KiB
Current children cumulated memory: 29288 KiB
[startup+0.312925 s]*
/proc/loadavg: 1.85 0.55 0.25 5/252 893599
/proc/meminfo: memFree=123826924/131655788 swapFree=131071996/131071996
[pid=893578] ppid=893575 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/893578/stat : 893578 (run-glibc-2.34.) S 893575 893578 892413 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 165222310 10166272 685 134679101440 94583888023552 94583889102872 140725859675360 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94583891201328 94583891248516 94583897214976 140725859677117 140725859677274 140725859677274 140725859684291 0
/proc/893578/statm: 2482 685 605 264 0 133 0
[pid=893580] ppid=893578 vsize=139436 memory=27340 CPUtime=0.28 cores=0,2
/proc/893580/stat : 893580 (ld-linux-x86-64) R 893578 893578 892413 0 -1 4194304 2487 0 1 0 27 1 0 0 20 0 2 0 165222310 142782464 6835 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
/proc/893580/statm: 34859 6835 3766 46 0 7454 0
[pid=893580/tid=893585] ppid=893578 vsize=139436 memory=-7384994778349281184 CPUtime=0 cores=0,2
/proc/893580/task/893585/stat : 893585 (ld-linux-x86-64) S 893578 893578 892413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165222313 142782464 6835 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 149364 KiB
Current children cumulated memory: 30080 KiB
[startup+0.43771 s]
# the end of solver process 893578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=0.384734 s, system=0.019951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.412686 s]*
/proc/loadavg: 1.85 0.55 0.25 4/247 893603
/proc/meminfo: memFree=123862180/131655788 swapFree=131071996/131071996
[pid=893578] ppid=893575 vsize=9928 memory=2740 CPUtime=0 cores=0,2
/proc/893578/stat : 893578 (run-glibc-2.34.) S 893575 893578 892413 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 165222310 10166272 685 134679101440 94583888023552 94583889102872 140725859675360 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94583891201328 94583891248516 94583897214976 140725859677117 140725859677274 140725859677274 140725859684291 0
/proc/893578/statm: 2482 685 605 264 0 133 0
[pid=893580] ppid=893578 vsize=139436 memory=27340 CPUtime=0.38 cores=0,2
/proc/893580/stat : 893580 (ld-linux-x86-64) R 893578 893578 892413 0 -1 4194304 2487 0 1 0 37 1 0 0 20 0 2 0 165222310 142782464 6835 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
/proc/893580/statm: 34859 6835 3766 46 0 7454 0
[pid=893580/tid=893585] ppid=893578 vsize=139436 memory=4212105094720192631 CPUtime=0 cores=0,2
/proc/893580/task/893585/stat : 893585 (ld-linux-x86-64) S 893578 893578 892413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 165222313 142782464 6835 134679101440 139635204263936 139635204451548 140735048838880 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 139635206552448 139635206561896 93825006292992 140735048848213 140735048848377 140735048848377 140735048855474 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 149364 KiB
Current children cumulated memory: 30080 KiB
Child status: 0
Real time (s): 0.437769
CPU time (s): 0.404685
CPU user time (s): 0.384734
CPU system time (s): 0.019951
CPU usage (%): 92.4426
Max. virtual memory (cumulated for all children) (KiB): 149364
Max. memory (cumulated for all children) (KiB): 30080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.384734
system time used= 0.019951
maximum resident set size= 28280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2776
page faults= 1
swaps= 0
block input operations= 296
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 893578
# total CPU time (s): 0.404685
# total CPU user time (s): 0.384734
# total CPU system time (s): 0.019951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027044 second user time and 0.053027 second system time
The end
Begin job on nodeC006 at 2024-08-18 15:04:18
IDJOB=4458646
IDBENCH=178101
IDSOLVER=3055
FILE ID=nodeC006/4458646-1723986258
RUNJOBID= nodeC006-1723986255-893424
SLURM_JOB_ID= 8268137
Free space on /tmp= 723700 MiB
SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458646-1723986258/watcher-4458646-1723986258 -o /tmp/evaluation-result-4458646-1723986258/solver-4458646-1723986258 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1723986255-893424 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4458646-1723986258.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f0521fdb0b18beb600868184781ec28
RANDOM SEED=1940662289
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3208.376
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1204.274
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.340
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.733
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.360
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123682344 kB
MemAvailable: 129636476 kB
Buffers: 395620 kB
Cached: 6376212 kB
SwapCached: 0 kB
Active: 880088 kB
Inactive: 6514492 kB
Active(anon): 1416 kB
Inactive(anon): 667220 kB
Active(file): 878672 kB
Inactive(file): 5847272 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 168936 kB
Writeback: 16 kB
AnonPages: 622784 kB
Mapped: 124124 kB
Shmem: 45896 kB
KReclaimable: 136772 kB
Slab: 234880 kB
SReclaimable: 136772 kB
SUnreclaim: 98108 kB
KernelStack: 3952 kB
PageTables: 10720 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1007104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 40320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 356352 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: 277320 kB
DirectMap2M: 22695936 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723616 MiB
End job on nodeC006 at 2024-08-18 15:04:19