Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | -36 | 3600.03 | 3610.12 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
| MD5SUM | c55f73e6e0cc08bf75a2558de9268914 |
| 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 | 15.9721 |
| 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 | 41314 |
| Number of constraints which are clauses | 41314 |
| 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.60/0.63 o 0 0.60/0.63 o -1 0.60/0.63 o -2 0.60/0.63 o -3 0.78/0.81 o -4 0.78/0.81 o -5 0.78/0.82 o -6 0.78/0.83 o -7 0.78/0.84 o -8 0.78/0.86 o -9 0.88/0.91 o -10 0.88/0.95 o -11 1.69/1.73 o -12 2.78/2.85 o -13 2.78/2.85 o -14 2.88/2.92 o -15 4.09/4.19 o -16 5.09/5.19 o -17 5.09/5.19 o -18 5.18/5.20 o -19 21.63/21.75 o -20 25.82/25.92 o -21 25.82/25.93 o -22 28.20/28.32 o -23 29.92/30.09 o -24 29.92/30.11 o -25 30.60/30.78 o -26 31.50/31.60 o -27 38.38/38.52 o -28 40.88/41.05 o -29 70.97/71.25 o -30 85.52/85.84 o -31 101.78/102.15 o -32 187.70/188.37 o -33 219.31/220.09 o -34 235.26/236.03 o -35 1339.91/1343.96 o -36 3600.01/3610.11 c Program interrupted by user. 3600.01/3610.11 s SATISFIABLE 3600.01/3610.11 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -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 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760
OK -36
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: 64059 MiB (61133 MiB free)
memory of node 1: 64510 MiB (62277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433101-1721063086/watcher-4433101-1721063086 -o /tmp/evaluation-result-4433101-1721063086/solver-4433101-1721063086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811458 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1754728395 HOME/instance-4433101-1721063086.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=811504, runsolver pid=811500
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126345108/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=29296 memory=9492 CPUtime=0.1 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 1100 0 0 0 10 0 0 0 20 0 1 0 158467347 29999104 2373 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 7324 2373 868 1005 0 6087 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29296 KiB
Current children cumulated memory: 9492 KiB
[startup+0.213915 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126317236/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=36620 memory=16200 CPUtime=0.22 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 2585 0 0 0 21 1 0 0 20 0 1 0 158467347 37498880 4050 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 9155 4050 1028 1005 0 7918 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 36620 KiB
Current children cumulated memory: 16200 KiB
[startup+0.313635 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126287880/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=51460 memory=32080 CPUtime=0.32 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 6751 0 0 0 29 3 0 0 20 0 1 0 158467347 52695040 8020 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 12865 8020 1028 1005 0 11628 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 51460 KiB
Current children cumulated memory: 32080 KiB
[startup+0.700314 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126277868/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=52908 memory=33556 CPUtime=0.68 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 7053 0 0 0 65 3 0 0 20 0 1 0 158467347 54177792 8389 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 13227 8389 1140 1005 0 11990 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52908 KiB
Current children cumulated memory: 33556 KiB
[startup+1.50034 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126166928/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=53984 memory=39232 CPUtime=1.49 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 7419 0 0 0 145 4 0 0 20 0 1 0 158467347 55279616 9808 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 13496 9808 1140 1005 0 12259 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53984 KiB
Current children cumulated memory: 39232 KiB
[startup+3.11315 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811522
/proc/meminfo: memFree=126058520/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=61444 memory=50696 CPUtime=3.09 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 9257 0 0 0 305 4 0 0 20 0 1 0 158467347 62918656 12674 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 15361 12674 1140 1005 0 14124 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61444 KiB
Current children cumulated memory: 50696 KiB
[startup+6.30031 s]
/proc/loadavg: 1.33 1.16 1.52 5/243 811522
/proc/meminfo: memFree=125950544/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=74384 memory=59772 CPUtime=6.27 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 10210 0 0 0 622 5 0 0 20 0 1 0 158467347 76169216 14943 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 18596 14943 1140 1005 0 17359 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 74384 KiB
Current children cumulated memory: 59772 KiB
[startup+12.7003 s]
/proc/loadavg: 1.54 1.20 1.54 5/243 811523
/proc/meminfo: memFree=125829588/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=99692 memory=75988 CPUtime=12.66 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 11653 0 0 0 1259 7 0 0 20 0 1 0 158467347 102084608 18997 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 24923 18997 1140 1005 0 23686 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 99692 KiB
Current children cumulated memory: 75988 KiB
[startup+25.5003 s]
/proc/loadavg: 2.17 1.36 1.58 5/243 811525
/proc/meminfo: memFree=125612252/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=106212 memory=90104 CPUtime=25.42 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 13146 0 0 0 2534 8 0 0 20 0 1 0 158467347 108761088 22526 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 26553 22526 1140 1005 0 25316 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 106212 KiB
Current children cumulated memory: 90104 KiB
[startup+51.1129 s]
/proc/loadavg: 2.79 1.57 1.65 5/243 811528
/proc/meminfo: memFree=125365240/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=108320 memory=92328 CPUtime=50.95 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 13792 0 0 0 5084 11 0 0 20 0 1 0 158467347 110919680 23082 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 27080 23082 1140 1005 0 25843 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 108320 KiB
Current children cumulated memory: 92328 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.96 1.78 5/245 811543
/proc/meminfo: memFree=125142992/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=112124 memory=98352 CPUtime=101.97 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 14785 0 0 0 10182 15 0 0 20 0 1 0 158467347 114814976 24588 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 28031 24588 1140 1005 0 26794 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 112124 KiB
Current children cumulated memory: 98352 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.35 1.93 5/245 811554
/proc/meminfo: memFree=125128820/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=115252 memory=101388 CPUtime=161.78 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 15623 0 0 0 16156 22 0 0 20 0 1 0 158467347 118018048 25347 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 28813 25347 1140 1005 0 27576 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 115252 KiB
Current children cumulated memory: 101388 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.67 2.06 5/245 811564
/proc/meminfo: memFree=125082112/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=118980 memory=105504 CPUtime=221.59 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 16643 0 0 0 22131 28 0 0 20 0 1 0 158467347 121835520 26376 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 29745 26376 1140 1005 0 28508 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 118980 KiB
Current children cumulated memory: 105504 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.95 2.20 5/245 811576
/proc/meminfo: memFree=125057808/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=124556 memory=116836 CPUtime=281.4 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 17984 0 0 0 28105 35 0 0 20 0 1 0 158467347 127545344 29209 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 31139 29209 1140 1005 0 29902 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 124556 KiB
Current children cumulated memory: 116836 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.15 2.32 5/245 811589
/proc/meminfo: memFree=124996684/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=132968 memory=126924 CPUtime=341.21 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 20084 0 0 0 34080 41 0 0 20 0 1 0 158467347 136159232 31731 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 33242 31731 1140 1005 0 32005 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 132968 KiB
Current children cumulated memory: 126924 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.32 2.43 5/245 811599
/proc/meminfo: memFree=124936328/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=134024 memory=128156 CPUtime=401.01 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 20415 0 0 0 40054 47 0 0 20 0 1 0 158467347 137240576 32039 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 33506 32039 1140 1005 0 32269 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 134024 KiB
Current children cumulated memory: 128156 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 3.50 2.55 5/244 811611
/proc/meminfo: memFree=124909052/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=137316 memory=131232 CPUtime=460.82 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 21237 0 0 0 46028 54 0 0 20 0 1 0 158467347 140611584 32808 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 34329 32808 1140 1005 0 33092 0
################
# More data... #
################
Current children cumulated memory: 204196 KiB
[startup+2922.3 s]
/proc/loadavg: 4.33 4.29 4.10 5/242 812665
/proc/meminfo: memFree=124440936/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=240444 memory=204372 CPUtime=2914.24 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 40097 0 0 0 291090 334 0 0 20 0 1 0 158467347 246214656 51093 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 60111 51093 1140 1005 0 58874 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 240444 KiB
Current children cumulated memory: 204372 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.23 4.09 5/242 812676
/proc/meminfo: memFree=124437412/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=241952 memory=205912 CPUtime=2974.07 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 40551 0 0 0 297067 340 0 0 20 0 1 0 158467347 247758848 51478 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 60488 51478 1140 1005 0 59251 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 241952 KiB
Current children cumulated memory: 205912 KiB
[startup+3042.3 s]
/proc/loadavg: 4.44 4.28 4.11 5/244 813070
/proc/meminfo: memFree=124432592/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=242288 memory=206380 CPUtime=3033.89 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 40716 0 0 0 303042 347 0 0 20 0 1 0 158467347 248102912 51595 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 60572 51595 1140 1005 0 59335 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 242288 KiB
Current children cumulated memory: 206380 KiB
[startup+3102.3 s]
/proc/loadavg: 4.68 4.40 4.17 5/244 813081
/proc/meminfo: memFree=124430888/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=243204 memory=207340 CPUtime=3093.71 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 41174 0 0 0 309018 353 0 0 20 0 1 0 158467347 249040896 51835 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 60801 51835 1140 1005 0 59564 0
Current children cumulated CPU time: 3093.71 s
Current children cumulated vsize: 243204 KiB
Current children cumulated memory: 207340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.34 4.16 5/244 813091
/proc/meminfo: memFree=124429108/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=243792 memory=207952 CPUtime=3153.53 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 41460 0 0 0 314993 360 0 0 20 0 1 0 158467347 249643008 51988 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 60948 51988 1140 1005 0 59711 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 243792 KiB
Current children cumulated memory: 207952 KiB
[startup+3222.3 s]
/proc/loadavg: 4.77 4.46 4.21 5/246 813271
/proc/meminfo: memFree=124421344/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=247920 memory=211208 CPUtime=3213.35 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 42384 0 0 0 320970 365 0 0 20 0 1 0 158467347 253870080 52802 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 61980 52802 1140 1005 0 60743 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 247920 KiB
Current children cumulated memory: 211208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.79 4.52 4.25 5/246 813282
/proc/meminfo: memFree=124411324/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=250984 memory=221048 CPUtime=3273.17 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 43438 0 0 0 326946 371 0 0 20 0 1 0 158467347 257007616 55262 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 62746 55262 1140 1005 0 61509 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 250984 KiB
Current children cumulated memory: 221048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.70 4.56 4.28 5/248 813296
/proc/meminfo: memFree=124382716/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=252512 memory=222552 CPUtime=3332.99 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 43906 0 0 0 332921 378 0 0 20 0 1 0 158467347 258572288 55638 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63128 55638 1140 1005 0 61891 0
Current children cumulated CPU time: 3332.99 s
Current children cumulated vsize: 252512 KiB
Current children cumulated memory: 222552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.45 4.26 5/245 813317
/proc/meminfo: memFree=124377732/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=254784 memory=224836 CPUtime=3392.81 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 44563 0 0 0 338896 385 0 0 20 0 1 0 158467347 260898816 56209 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63696 56209 1140 1005 0 62459 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 254784 KiB
Current children cumulated memory: 224836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.38 4.25 5/245 813329
/proc/meminfo: memFree=124376604/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=255508 memory=225548 CPUtime=3452.63 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 44830 0 0 0 344873 390 0 0 20 0 1 0 158467347 261640192 56387 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63877 56387 1140 1005 0 62640 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 255508 KiB
Current children cumulated memory: 225548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.34 4.24 5/245 813339
/proc/meminfo: memFree=124371428/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=255508 memory=225724 CPUtime=3512.46 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 44938 0 0 0 350848 398 0 0 20 0 1 0 158467347 261640192 56431 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63877 56431 1140 1005 0 62640 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 255508 KiB
Current children cumulated memory: 225724 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.29 4.23 5/243 813350
/proc/meminfo: memFree=124368932/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=255508 memory=225764 CPUtime=3572.28 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 45020 0 0 0 356823 405 0 0 20 0 1 0 158467347 261640192 56441 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63877 56441 1140 1005 0 62640 0
Current children cumulated CPU time: 3572.28 s
Current children cumulated vsize: 255508 KiB
Current children cumulated memory: 225764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.06 4.26 4.22 5/239 813441
/proc/meminfo: memFree=125868448/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=255508 memory=225764 CPUtime=3600.01 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 45028 0 0 0 359592 409 0 0 20 0 1 0 158467347 261640192 56441 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63877 56441 1140 1005 0 62640 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 255508 KiB
Current children cumulated memory: 225764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 811504 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.93 s, system=4.09983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.06 4.26 4.22 5/239 813441
/proc/meminfo: memFree=125868448/131655788 swapFree=131071996/131071996
[pid=811504] ppid=811500 vsize=255508 memory=225764 CPUtime=3600.01 cores=1,3
/proc/811504/stat : 811504 (Exact) R 811500 811504 811446 0 -1 4194304 45028 0 0 0 359592 409 0 0 20 0 1 0 158467347 261640192 56441 134679101440 4194304 8309489 140734797060288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 13987840 140734797067198 140734797067368 140734797067368 140734797074383 0
/proc/811504/statm: 63877 56441 1140 1005 0 62640 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 255508 KiB
Current children cumulated memory: 225764 KiB
Child status: 10
Real time (s): 3610.12
CPU time (s): 3600.03
CPU user time (s): 3595.93
CPU system time (s): 4.09983
CPU usage (%): 99.7205
Max. virtual memory (cumulated for all children) (KiB): 255508
Max. memory (cumulated for all children) (KiB): 225764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.93
system time used= 4.09983
maximum resident set size= 225764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45042
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= 50
involuntary context switches= 2080
# summary of solver processes directly reported to runsolver:
# pid: 811504
# total CPU time (s): 3600.03
# total CPU user time (s): 3595.93
# total CPU system time (s): 4.09983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6613 second user time and 35.6088 second system time
The end
Begin job on nodeC006 at 2024-07-15 19:04:58 IDJOB=4433101 IDBENCH=146698 IDSOLVER=3060 FILE ID=nodeC006/4433101-1721063086 RUNJOBID= nodeC006-1721063098-811458 SLURM_JOB_ID= 7505517 Free space on /tmp= 723764 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433101-1721063086/watcher-4433101-1721063086 -o /tmp/evaluation-result-4433101-1721063086/solver-4433101-1721063086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811458 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1754728395 HOME/instance-4433101-1721063086.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914 RANDOM SEED=1754728395 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 : 3392.258 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.94 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.263 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.26 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.247 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.94 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.248 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.26 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.247 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.94 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.250 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.26 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.274 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.94 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.255 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.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126382684 kB MemAvailable: 129912204 kB Buffers: 374608 kB Cached: 3954044 kB SwapCached: 0 kB Active: 621312 kB Inactive: 4032036 kB Active(anon): 1372 kB Inactive(anon): 361396 kB Active(file): 619940 kB Inactive(file): 3670640 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 25892 kB Writeback: 4 kB AnonPages: 325196 kB Mapped: 102696 kB Shmem: 37704 kB KReclaimable: 157944 kB Slab: 262132 kB SReclaimable: 157944 kB SUnreclaim: 104188 kB KernelStack: 3728 kB PageTables: 9320 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 734632 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51520 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 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: 219976 kB DirectMap2M: 27996160 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723748 MiB End job on nodeC006 at 2024-07-15 20:05:09