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.42 |
| 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.00/0.00 c Filename:instance-4428668-1722773148.opb, Cutoff_time:3558, memory_limit_gb:500000 0.00/0.00 c Use Presolve 0.31/0.35 c Parse finsih 0.31/0.40 c Start Presolve 1.38/1.47 c After Reduce Vars: 760 Clauses: 42074 Top clause weight: 761 Hard Clauses: 41314 1.38/1.49 c Use LS-small 1.38/1.50 c Use postsolve 1.48/1.51 o 0 1.48/1.51 c Use postsolve 1.48/1.52 o -1 1.48/1.52 c Use postsolve 1.48/1.53 o -2 1.48/1.53 c Use postsolve 1.48/1.54 o -3 1.48/1.54 c Use postsolve 1.48/1.55 o -4 1.48/1.55 c Use postsolve 1.48/1.56 o -5 1.48/1.56 c Use postsolve 1.48/1.58 o -6 1.48/1.58 c Use postsolve 1.48/1.59 o -7 1.48/1.59 c Use postsolve 1.58/1.60 o -8 1.58/1.60 c Use postsolve 1.58/1.61 o -9 1.58/1.61 c Use postsolve 1.58/1.62 o -10 1.58/1.62 c Use postsolve 1.58/1.63 o -11 1.58/1.63 c Use postsolve 1.58/1.64 o -12 1.58/1.64 c Use postsolve 1.58/1.66 o -13 1.58/1.66 c Use postsolve 1.58/1.67 o -14 1.58/1.67 c Use postsolve 1.58/1.68 o -15 1.58/1.68 c Use postsolve 1.58/1.69 o -16 1.58/1.69 c Use postsolve 1.68/1.70 o -17 1.68/1.70 c Use postsolve 1.68/1.71 o -18 1.68/1.71 c Use postsolve 1.68/1.72 o -19 1.68/1.72 c Use postsolve 1.68/1.74 o -20 1.68/1.74 c Use postsolve 1.68/1.75 o -21 1.68/1.75 c Use postsolve 1.68/1.76 o -22 1.68/1.76 c Use postsolve 1.68/1.77 o -23 1.68/1.77 c Use postsolve 1.68/1.78 o -24 1.68/1.78 c Use postsolve 1.68/1.79 o -25 1.68/1.79 c Use postsolve 1.78/1.80 o -26 1.78/1.80 c Use postsolve 1.78/1.81 o -27 1.78/1.82 c Use postsolve 1.78/1.83 o -33 1.78/1.84 c Use postsolve 1.78/1.85 o -35 1.99/2.02 c Use postsolve 1.99/2.03 o -36 1.99/2.10 c Use postsolve 2.09/2.11 o -37 2.18/2.25 c Use postsolve 2.18/2.26 o -38 3.67/3.70 c Use postsolve 3.67/3.71 o -40 3557.99/3564.40 s SATISFIABLE 3557.99/3564.40 c Use postsolve 3557.99/3564.41 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.99/3564.41 c Done 3.68s
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-4428668-1722773148/watcher-4428668-1722773148 -o /tmp/evaluation-result-4428668-1722773148/solver-4428668-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241837 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428668-1722773148.opb -t 3558 -s 895189054 --no-s
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=243861, runsolver pid=243853
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.18 4.12 4.04 6/242 243870
/proc/meminfo: memFree=124617124/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=22236 memory=9464 CPUtime=0.1 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 1185 0 0 0 10 0 0 0 20 0 1 0 43911331 22769664 2366 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 5559 2366 1073 2753 0 2212 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22236 KiB
Current children cumulated memory: 9464 KiB
[startup+0.214051 s]*
/proc/loadavg: 4.18 4.12 4.04 6/242 243870
/proc/meminfo: memFree=124614700/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=23260 memory=10500 CPUtime=0.21 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 1648 0 0 0 21 0 0 0 20 0 1 0 43911331 23818240 2625 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/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.312332 s]*
/proc/loadavg: 4.18 4.12 4.04 7/240 243870
/proc/meminfo: memFree=124890392/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=25308 memory=12360 CPUtime=0.31 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 2109 0 0 0 30 1 0 0 20 0 1 0 43911331 25915392 3090 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 6327 3090 1073 2753 0 2980 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25308 KiB
Current children cumulated memory: 12360 KiB
[startup+0.70028 s]
/proc/loadavg: 4.18 4.12 4.04 5/237 243878
/proc/meminfo: memFree=124860980/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=41056 memory=27968 CPUtime=0.68 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 6316 0 0 0 66 2 0 0 20 0 1 0 43911331 42041344 6992 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 10264 6992 1105 2753 0 6917 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41056 KiB
Current children cumulated memory: 27968 KiB
[startup+1.50027 s]
/proc/loadavg: 4.18 4.12 4.04 5/237 243878
/proc/meminfo: memFree=124844256/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=48220 memory=33636 CPUtime=1.48 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 8296 0 0 0 145 3 0 0 20 0 1 0 43911331 49377280 8409 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 12055 8409 1153 2753 0 8708 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48220 KiB
Current children cumulated memory: 33636 KiB
[startup+3.11249 s]
/proc/loadavg: 4.18 4.12 4.04 6/240 243884
/proc/meminfo: memFree=124793148/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=33896 CPUtime=3.09 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 49267 0 0 0 295 14 0 0 20 0 1 0 43911331 48713728 8474 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8474 1169 2753 0 8546 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 33896 KiB
[startup+6.30022 s]
/proc/loadavg: 4.25 4.14 4.04 6/242 243916
/proc/meminfo: memFree=124752704/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=33896 CPUtime=6.26 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50507 0 0 0 605 21 0 0 20 0 1 0 43911331 48713728 8474 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8474 1169 2753 0 8546 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 33896 KiB
[startup+12.7003 s]
/proc/loadavg: 4.23 4.14 4.04 6/242 243917
/proc/meminfo: memFree=124752572/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=33896 CPUtime=12.65 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50507 0 0 0 1231 34 0 0 20 0 1 0 43911331 48713728 8474 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8474 1169 2753 0 8546 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 33896 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 4.04 6/242 243920
/proc/meminfo: memFree=124752208/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=33896 CPUtime=25.41 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50507 0 0 0 2480 61 0 0 20 0 1 0 43911331 48713728 8474 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8474 1169 2753 0 8546 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 33896 KiB
[startup+51.112 s]
/proc/loadavg: 4.11 4.12 4.04 6/242 243925
/proc/meminfo: memFree=124751416/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=33896 CPUtime=50.96 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50507 0 0 0 4979 117 0 0 20 0 1 0 43911331 48713728 8474 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8474 1169 2753 0 8546 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 33896 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.05 6/242 243933
/proc/meminfo: memFree=124747840/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=102.02 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50546 0 0 0 9976 226 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.05 6/242 243945
/proc/meminfo: memFree=124743984/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=161.91 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50586 0 0 0 15840 351 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.05 7/242 243956
/proc/meminfo: memFree=124743236/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=221.81 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50606 0 0 0 21700 481 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.05 6/245 243971
/proc/meminfo: memFree=124742628/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=281.69 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50626 0 0 0 27556 613 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 281.69 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.05 6/244 243982
/proc/meminfo: memFree=124741556/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=341.58 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50636 0 0 0 33417 741 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 341.58 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.05 6/244 243992
/proc/meminfo: memFree=124741020/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=401.47 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50646 0 0 0 39278 869 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 401.47 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.05 6/244 244004
/proc/meminfo: memFree=124739912/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=461.37 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 50656 0 0 0 45142 995 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
################
# More data... #
################
/proc/loadavg: 4.21 4.35 4.35 6/246 245662
/proc/meminfo: memFree=124706416/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3156.6 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51106 0 0 0 308916 6744 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3156.6 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.30 4.33 6/246 245673
/proc/meminfo: memFree=124706008/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3216.49 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51116 0 0 0 314782 6867 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3216.49 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.26 4.32 6/245 245687
/proc/meminfo: memFree=124705032/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3276.39 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51126 0 0 0 320641 6998 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3276.39 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.22 4.30 6/245 245708
/proc/meminfo: memFree=124704408/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3336.29 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51136 0 0 0 326504 7125 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3336.29 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.20 4.28 6/245 245719
/proc/meminfo: memFree=124703756/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3396.18 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51146 0 0 0 332362 7256 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3396.18 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.27 6/243 245731
/proc/meminfo: memFree=124702800/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3456.08 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51156 0 0 0 338224 7384 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3456.08 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.15 4.25 6/243 245742
/proc/meminfo: memFree=124702260/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3515.97 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 344078 7519 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3515.97 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3564.42 s]
# the end of solver process 243861 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3481.92 s, system=76.0985 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 6/243 245743
/proc/meminfo: memFree=124702272/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3526.45 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 345103 7542 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3526.45 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3545.6 s]
/proc/loadavg: 4.12 4.16 4.25 6/243 245745
/proc/meminfo: memFree=124702092/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3539.22 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 346353 7569 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3539.22 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3552 s]*
/proc/loadavg: 4.10 4.15 4.25 6/243 245748
/proc/meminfo: memFree=124701908/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3545.63 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 346978 7585 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3545.63 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3558.4 s]
/proc/loadavg: 4.09 4.15 4.25 6/241 245748
/proc/meminfo: memFree=124701968/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3552 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 347602 7598 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3552 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3561.6 s]
/proc/loadavg: 4.08 4.15 4.25 6/241 245749
/proc/meminfo: memFree=124701596/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3555.2 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 347916 7604 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3555.2 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3563.2 s]
/proc/loadavg: 4.08 4.15 4.25 6/241 245749
/proc/meminfo: memFree=124701616/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3556.8 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 348073 7607 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3556.8 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3564 s]*
/proc/loadavg: 4.08 4.15 4.25 6/241 245749
/proc/meminfo: memFree=124701600/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3557.6 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 348152 7608 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3557.6 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
[startup+3564.4 s]
/proc/loadavg: 4.08 4.15 4.25 6/241 245749
/proc/meminfo: memFree=124701600/131655788 swapFree=131071996/131071996
[pid=243861] ppid=243853 vsize=47572 memory=35012 CPUtime=3557.99 cores=1,3
/proc/243861/stat : 243861 (LS-MabP) R 243853 243861 241825 0 -1 4194304 51166 0 0 0 348190 7609 0 0 20 0 1 0 43911331 48713728 8753 134679101440 4194304 15467897 140726306163952 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 44658688 140726306169882 140726306169990 140726306169990 140726306177006 0
/proc/243861/statm: 11893 8753 1169 2753 0 8546 0
Current children cumulated CPU time: 3557.99 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 35012 KiB
Child status: 0
Real time (s): 3564.42
CPU time (s): 3558.02
CPU user time (s): 3481.92
CPU system time (s): 76.0985
CPU usage (%): 99.8204
Max. virtual memory (cumulated for all children) (KiB): 52660
Max. memory (cumulated for all children) (KiB): 38420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3481.92
system time used= 76.0985
maximum resident set size= 39760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52409
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= 1186
# summary of solver processes directly reported to runsolver:
# pid: 243861
# total CPU time (s): 3558.02
# total CPU user time (s): 3481.92
# total CPU system time (s): 76.0985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.654 second user time and 31.2778 second system time
The end
Begin job on nodeC006 at 2024-08-04 14:05:48 IDJOB=4428668 IDBENCH=146698 IDSOLVER=3049 FILE ID=nodeC006/4428668-1722773148 RUNJOBID= nodeC006-1722769581-241837 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-1.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-4428668-1722773148/watcher-4428668-1722773148 -o /tmp/evaluation-result-4428668-1722773148/solver-4428668-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722769581-241837 --watchdog 3760 --use-pty ./LS-MabP -f HOME/instance-4428668-1722773148.opb -t 3558 -s 895189054 --no-s TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914 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