Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| LS-MabP 2024-07-10 | SAT | -40 | 3558.02 | 3564.36 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
| MD5SUM | dbca78014701662c42e2f44b8d3d4cf2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 30.0879 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 760 |
| Total number of constraints | 41263 |
| Number of constraints which are clauses | 41263 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 760 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 760 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 760 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Filename:instance-4428669-1722773148.opb, Cutoff_time:3558, memory_limit_gb:500000 0.00/0.00 c Use Presolve 0.30/0.35 c Parse finsih 0.30/0.41 c Start Presolve 1.48/1.52 c After Reduce Vars: 760 Clauses: 42023 Top clause weight: 761 Hard Clauses: 41263 1.48/1.54 c Use LS-small 1.48/1.54 c Use postsolve 1.48/1.56 o 0 1.48/1.56 c Use postsolve 1.48/1.57 o -1 1.48/1.57 c Use postsolve 1.48/1.58 o -2 1.48/1.58 c Use postsolve 1.48/1.59 o -3 1.48/1.59 c Use postsolve 1.57/1.60 o -4 1.57/1.60 c Use postsolve 1.57/1.62 o -5 1.57/1.62 c Use postsolve 1.57/1.63 o -6 1.57/1.63 c Use postsolve 1.57/1.64 o -7 1.57/1.64 c Use postsolve 1.57/1.65 o -8 1.57/1.65 c Use postsolve 1.57/1.66 o -9 1.57/1.66 c Use postsolve 1.57/1.67 o -10 1.57/1.67 c Use postsolve 1.57/1.69 o -11 1.57/1.69 c Use postsolve 1.68/1.70 o -12 1.68/1.70 c Use postsolve 1.68/1.71 o -13 1.68/1.71 c Use postsolve 1.68/1.72 o -14 1.68/1.72 c Use postsolve 1.68/1.73 o -15 1.68/1.73 c Use postsolve 1.68/1.74 o -16 1.68/1.74 c Use postsolve 1.68/1.76 o -17 1.68/1.76 c Use postsolve 1.68/1.77 o -18 1.68/1.77 c Use postsolve 1.68/1.78 o -19 1.68/1.78 c Use postsolve 1.68/1.79 o -20 1.68/1.79 c Use postsolve 1.78/1.80 o -21 1.78/1.80 c Use postsolve 1.78/1.81 o -22 1.78/1.81 c Use postsolve 1.78/1.83 o -23 1.78/1.83 c Use postsolve 1.78/1.84 o -24 1.78/1.84 c Use postsolve 1.78/1.85 o -25 1.78/1.85 c Use postsolve 1.78/1.86 o -26 1.78/1.86 c Use postsolve 1.78/1.87 o -33 1.78/1.88 c Use postsolve 1.78/1.89 o -34 1.88/1.90 c Use postsolve 1.88/1.91 o -35 2.18/2.28 c Use postsolve 2.18/2.29 o -36 2.37/2.44 c Use postsolve 2.37/2.45 o -37 2.37/2.46 c Use postsolve 2.37/2.46 o -38 3.76/3.81 c Use postsolve 3.76/3.82 o -39 219.25/219.79 c Use postsolve 219.25/219.79 o -40 3557.95/3564.35 s SATISFIABLE 3557.95/3564.35 c Use postsolve 3557.95/3564.35 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 3557.95/3564.35 c Done 219.34s
OK -40
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 (62964 MiB free)
memory of node 1: 64473 MiB (58752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428669-1722773148/watcher-4428669-1722773148 -o /tmp/evaluation-result-4428669-1722773148/solver-4428669-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241838 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428669-1722773148.opb -t 3558 -s 895189054 --no-s
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=243857, runsolver pid=243852
[startup+0.100739 s]*
/proc/loadavg: 4.18 4.12 4.04 5/242 243870
/proc/meminfo: memFree=124617124/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=22236 memory=9464 CPUtime=0.09 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 1180 0 0 0 9 0 0 0 20 0 1 0 43911330 22769664 2366 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 5559 2366 1073 2753 0 2212 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22236 KiB
Current children cumulated memory: 9464 KiB
[startup+0.214196 s]*
/proc/loadavg: 4.18 4.12 4.04 5/242 243870
/proc/meminfo: memFree=124614700/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=23260 memory=10500 CPUtime=0.21 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 1647 0 0 0 21 0 0 0 20 0 1 0 43911330 23818240 2625 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 5815 2625 1073 2753 0 2468 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 23260 KiB
Current children cumulated memory: 10500 KiB
[startup+0.312849 s]*
/proc/loadavg: 4.18 4.12 4.04 6/240 243870
/proc/meminfo: memFree=124890392/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=25308 memory=11052 CPUtime=0.3 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 1829 0 0 0 30 0 0 0 20 0 1 0 43911330 25915392 2763 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 6327 2763 1073 2753 0 2980 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25308 KiB
Current children cumulated memory: 11052 KiB
[startup+0.700333 s]
/proc/loadavg: 4.18 4.12 4.04 4/237 243878
/proc/meminfo: memFree=124860980/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=41036 memory=27120 CPUtime=0.68 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 6616 0 0 0 66 2 0 0 20 0 1 0 43911330 42020864 6780 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 10259 6780 1105 2753 0 6912 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41036 KiB
Current children cumulated memory: 27120 KiB
[startup+1.50033 s]
/proc/loadavg: 4.18 4.12 4.04 4/237 243878
/proc/meminfo: memFree=124844592/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=41036 memory=27120 CPUtime=1.48 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 6616 0 0 0 146 2 0 0 20 0 1 0 43911330 42020864 6780 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 10259 6780 1105 2753 0 6912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 41036 KiB
Current children cumulated memory: 27120 KiB
[startup+3.11322 s]
/proc/loadavg: 4.18 4.12 4.04 5/240 243884
/proc/meminfo: memFree=124793148/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=33036 CPUtime=3.08 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 49531 0 0 0 295 13 0 0 20 0 1 0 43911330 48685056 8259 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8259 1169 2753 0 8539 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 33036 KiB
[startup+6.30029 s]
/proc/loadavg: 4.25 4.14 4.04 5/242 243916
/proc/meminfo: memFree=124752704/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=33036 CPUtime=6.26 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 50770 0 0 0 606 20 0 0 20 0 1 0 43911330 48685056 8259 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8259 1169 2753 0 8539 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 33036 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.14 4.04 5/242 243917
/proc/meminfo: memFree=124752572/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=33036 CPUtime=12.65 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 50770 0 0 0 1231 34 0 0 20 0 1 0 43911330 48685056 8259 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8259 1169 2753 0 8539 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 33036 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 4.04 5/242 243920
/proc/meminfo: memFree=124752208/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=33036 CPUtime=25.42 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 50770 0 0 0 2481 61 0 0 20 0 1 0 43911330 48685056 8259 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8259 1169 2753 0 8539 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 33036 KiB
[startup+51.1127 s]
/proc/loadavg: 4.11 4.12 4.04 5/242 243925
/proc/meminfo: memFree=124751416/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=33036 CPUtime=50.98 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 50770 0 0 0 4987 111 0 0 20 0 1 0 43911330 48685056 8259 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8259 1169 2753 0 8539 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 33036 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.05 5/242 243933
/proc/meminfo: memFree=124747840/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=102.06 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 50819 0 0 0 9981 225 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.05 5/242 243945
/proc/meminfo: memFree=124743984/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=161.95 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 50853 0 0 0 15847 348 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 161.95 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/242 243956
/proc/meminfo: memFree=124743236/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=221.84 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52120 0 0 0 21709 475 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/245 243971
/proc/meminfo: memFree=124742628/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=281.74 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52130 0 0 0 27568 606 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/244 243982
/proc/meminfo: memFree=124741556/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=341.63 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52140 0 0 0 33425 738 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.05 5/244 243992
/proc/meminfo: memFree=124741020/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=401.52 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52150 0 0 0 39293 859 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 401.52 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/244 244004
/proc/meminfo: memFree=124739912/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=461.41 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52160 0 0 0 45150 991 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
################
# More data... #
################
/proc/loadavg: 4.13 4.30 4.33 5/246 245673
/proc/meminfo: memFree=124706008/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3216.55 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52620 0 0 0 314708 6947 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3216.55 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.26 4.32 5/245 245687
/proc/meminfo: memFree=124705032/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3276.45 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52630 0 0 0 320565 7080 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3276.45 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.22 4.30 5/245 245708
/proc/meminfo: memFree=124704408/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3336.35 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52640 0 0 0 326419 7216 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3336.35 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.28 5/245 245719
/proc/meminfo: memFree=124703756/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3396.24 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52650 0 0 0 332277 7347 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3396.24 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.27 5/243 245731
/proc/meminfo: memFree=124702800/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3456.13 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52660 0 0 0 338132 7481 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3456.13 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.15 4.25 5/243 245742
/proc/meminfo: memFree=124702260/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3516.03 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52670 0 0 0 343996 7607 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3516.03 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3564.36 s]
# the end of solver process 243857 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3481.05 s, system=76.9709 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.04 4.15 4.25 5/243 245743
/proc/meminfo: memFree=124702272/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3526.5 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52670 0 0 0 345018 7632 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3526.5 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3545.6 s]
/proc/loadavg: 4.12 4.16 4.25 5/243 245745
/proc/meminfo: memFree=124702092/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3539.29 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52670 0 0 0 346268 7661 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3539.29 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3552 s]*
/proc/loadavg: 4.10 4.15 4.25 5/243 245748
/proc/meminfo: memFree=124701908/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3545.68 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52670 0 0 0 346895 7673 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3545.68 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3558.4 s]
/proc/loadavg: 4.09 4.15 4.25 5/241 245748
/proc/meminfo: memFree=124701968/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3552.06 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52670 0 0 0 347521 7685 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3552.06 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3561.6 s]
/proc/loadavg: 4.08 4.15 4.25 5/241 245749
/proc/meminfo: memFree=124701596/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3555.26 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52670 0 0 0 347834 7692 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3555.26 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3563.2 s]
/proc/loadavg: 4.08 4.15 4.25 5/241 245749
/proc/meminfo: memFree=124701616/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3556.85 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52680 0 0 0 347991 7694 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3556.85 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3564 s]*
/proc/loadavg: 4.08 4.15 4.25 5/241 245749
/proc/meminfo: memFree=124701600/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3557.66 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52680 0 0 0 348070 7696 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3557.66 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3564.2 s]
/proc/loadavg: 4.08 4.15 4.25 5/241 245749
/proc/meminfo: memFree=124701600/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3557.85 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52680 0 0 0 348089 7696 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3557.85 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
[startup+3564.3 s]
/proc/loadavg: 4.08 4.15 4.25 5/241 245749
/proc/meminfo: memFree=124701600/131655788 swapFree=131071996/131071996
[pid=243857] ppid=243852 vsize=47544 memory=34148 CPUtime=3557.95 cores=5,7
/proc/243857/stat : 243857 (LS-MabP) R 243852 243857 241825 0 -1 4194304 52680 0 0 0 348099 7696 0 0 20 0 1 0 43911330 48685056 8537 134679101440 4194304 15467897 140733754569520 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56152064 140733754573850 140733754573958 140733754573958 140733754580974 0
/proc/243857/statm: 11886 8537 1169 2753 0 8539 0
Current children cumulated CPU time: 3557.95 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 34148 KiB
Child status: 0
Real time (s): 3564.36
CPU time (s): 3558.02
CPU user time (s): 3481.05
CPU system time (s): 76.9709
CPU usage (%): 99.8221
Max. virtual memory (cumulated for all children) (KiB): 52628
Max. memory (cumulated for all children) (KiB): 37560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3481.05
system time used= 76.9709
maximum resident set size= 39024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53940
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= 12
involuntary context switches= 4473
# summary of solver processes directly reported to runsolver:
# pid: 243857
# total CPU time (s): 3558.02
# total CPU user time (s): 3481.05
# total CPU system time (s): 76.9709
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5765 second user time and 34.5389 second system time
The end
Begin job on nodeC006 at 2024-08-04 14:05:48 IDJOB=4428669 IDBENCH=146695 IDSOLVER=3049 FILE ID=nodeC006/4428669-1722773148 RUNJOBID= nodeC006-1722769581-241838 SLURM_JOB_ID= 8257544 Free space on /tmp= 723764 MiB SOLVER NAME= LS-MabP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= ./LS-MabP -f BENCHNAME -t 3558 -s RANDOMSEED --no-s RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428669-1722773148/watcher-4428669-1722773148 -o /tmp/evaluation-result-4428669-1722773148/solver-4428669-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241838 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428669-1722773148.opb -t 3558 -s 895189054 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2 RANDOM SEED=895189054 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 : 3666.967 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 : 1197.178 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 : 1197.338 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.174 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 : 1197.171 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.184 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.181 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: 124639876 kB MemAvailable: 129642252 kB Buffers: 294684 kB Cached: 5519648 kB SwapCached: 0 kB Active: 498792 kB Inactive: 6001164 kB Active(anon): 1376 kB Inactive(anon): 713780 kB Active(file): 497416 kB Inactive(file): 5287384 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 53512 kB Writeback: 4 kB AnonPages: 685656 kB Mapped: 101880 kB Shmem: 29512 kB KReclaimable: 115548 kB Slab: 199856 kB SReclaimable: 115548 kB SUnreclaim: 84308 kB KernelStack: 3680 kB PageTables: 10016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1087552 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19072 kB HardwareCorrupted: 0 kB AnonHugePages: 557056 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: 271176 kB DirectMap2M: 19556352 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723712 MiB End job on nodeC006 at 2024-08-04 15:05:13