Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_veripb2_no_SoPlex 2024-07-05 | SAT (TO) | -35 | 3600.07 | 3674.6 |
| 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.22/0.28 o -2 0.22/0.30 o -3 0.22/0.30 o -4 0.22/0.30 o -5 0.22/0.31 o -6 0.22/0.32 o -7 0.32/0.33 o -8 0.32/0.36 o -9 0.32/0.40 o -10 1.18/1.28 o -11 1.68/1.79 o -12 1.78/1.82 o -13 4.08/4.17 o -14 6.46/6.55 o -15 6.46/6.57 o -16 17.23/17.37 o -17 17.33/17.41 o -18 17.33/17.44 o -19 17.73/17.87 o -20 19.52/19.69 o -21 23.31/23.44 o -22 27.50/27.65 o -23 37.45/37.61 o -24 52.92/53.13 o -25 52.92/53.13 o -26 63.89/64.12 o -27 63.89/64.13 o -28 102.72/105.35 o -29 128.52/131.21 o -30 142.19/144.91 o -31 159.45/162.25 o -32 188.20/193.27 o -33 337.06/342.60 o -34 1251.37/1262.22 o -35 3600.04/3674.30 c Program interrupted by user. 3600.04/3674.30 s SATISFIABLE 3600.04/3674.30 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 -35
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 (62135 MiB free)
memory of node 1: 64473 MiB (60025 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440758-1721752158/watcher-4440758-1721752158 -o /tmp/evaluation-result-4440758-1721752158/solver-4440758-1721752158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721752157-107010 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440758-1721752158 --seed=828014788 HOME/instance-4440758-1721752158.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=107051, runsolver pid=107046
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 2.03 2.15 2.17 5/255 107072
/proc/meminfo: memFree=125054748/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=40432 memory=16692 CPUtime=0.1 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 3743 0 0 0 10 0 0 0 20 0 1 0 11205024 41402368 4173 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 10108 4173 738 747 0 9171 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40432 KiB
Current children cumulated memory: 16692 KiB
[startup+0.214936 s]*
/proc/loadavg: 2.03 2.15 2.17 5/255 107072
/proc/meminfo: memFree=125041684/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=33260 memory=14912 CPUtime=0.22 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 4185 0 0 0 21 1 0 0 20 0 1 0 11205024 34058240 3728 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 8315 3728 754 747 0 7378 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 14912 KiB
[startup+0.314877 s]*
/proc/loadavg: 2.03 2.15 2.17 5/255 107072
/proc/meminfo: memFree=125033772/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=33260 memory=14912 CPUtime=0.32 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 4189 0 0 0 31 1 0 0 20 0 1 0 11205024 34058240 3728 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 8315 3728 754 747 0 7378 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 14912 KiB
[startup+0.700265 s]
/proc/loadavg: 2.03 2.15 2.17 5/255 107072
/proc/meminfo: memFree=125025524/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=33260 memory=14912 CPUtime=0.69 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 4190 0 0 0 68 1 0 0 20 0 1 0 11205024 34058240 3728 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 8315 3728 754 747 0 7378 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 14912 KiB
[startup+1.50029 s]
/proc/loadavg: 2.03 2.15 2.17 5/255 107072
/proc/meminfo: memFree=125028168/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=33260 memory=19008 CPUtime=1.48 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 4192 0 0 0 147 1 0 0 20 0 1 0 11205024 34058240 4752 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 8315 4752 754 747 0 7378 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 33260 KiB
Current children cumulated memory: 19008 KiB
[startup+3.11366 s]
/proc/loadavg: 2.18 2.18 2.18 5/255 107072
/proc/meminfo: memFree=124963288/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=36444 memory=28604 CPUtime=3.08 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 4982 0 0 0 307 1 0 0 20 0 1 0 11205024 37318656 7151 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 9111 7151 834 747 0 8174 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36444 KiB
Current children cumulated memory: 28604 KiB
[startup+6.30032 s]
/proc/loadavg: 2.18 2.18 2.18 5/256 107075
/proc/meminfo: memFree=124894440/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=49672 memory=40588 CPUtime=6.26 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 5682 0 0 0 623 3 0 0 20 0 1 0 11205024 50864128 10147 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 12418 10147 834 747 0 11481 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49672 KiB
Current children cumulated memory: 40588 KiB
[startup+12.7003 s]
/proc/loadavg: 2.33 2.21 2.19 5/256 107075
/proc/meminfo: memFree=124809880/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=77696 memory=58936 CPUtime=12.64 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 7129 0 0 0 1260 4 0 0 20 0 1 0 11205024 79560704 14734 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 19424 14734 834 747 0 18487 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 77696 KiB
Current children cumulated memory: 58936 KiB
[startup+25.5003 s]
/proc/loadavg: 2.85 2.33 2.23 5/255 107078
/proc/meminfo: memFree=124725048/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=85096 memory=65128 CPUtime=25.41 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 8707 0 0 0 2535 6 0 0 20 0 1 0 11205024 87138304 16282 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 21274 16282 834 747 0 20337 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 85096 KiB
Current children cumulated memory: 65128 KiB
[startup+51.1135 s]
/proc/loadavg: 3.25 2.47 2.28 5/256 107140
/proc/meminfo: memFree=124610004/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=86024 memory=74412 CPUtime=50.92 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 9037 0 0 0 5084 8 0 0 20 0 1 0 11205024 88088576 18603 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 4 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 21506 18603 834 747 0 20569 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 86024 KiB
Current children cumulated memory: 74412 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 2.72 2.37 5/253 107148
/proc/meminfo: memFree=124408104/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=90608 memory=78284 CPUtime=99.73 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 10073 0 0 0 9960 13 0 0 20 0 1 0 11205024 92782592 19571 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 229 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 22652 19571 834 747 0 21715 0
Current children cumulated CPU time: 99.73 s
Current children cumulated vsize: 90608 KiB
Current children cumulated memory: 78284 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.99 2.49 5/253 107160
/proc/meminfo: memFree=124096436/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=95536 memory=82824 CPUtime=159.55 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 11301 0 0 0 15935 20 0 0 20 0 1 0 11205024 97828864 20706 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 232 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 23884 20706 834 747 0 22947 0
Current children cumulated CPU time: 159.55 s
Current children cumulated vsize: 95536 KiB
Current children cumulated memory: 82824 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 3.17 2.59 5/251 107170
/proc/meminfo: memFree=123702060/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=97300 memory=84516 CPUtime=217.2 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 11722 0 0 0 21691 29 0 0 20 0 1 0 11205024 99635200 21129 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 453 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 24325 21129 834 747 0 23388 0
Current children cumulated CPU time: 217.2 s
Current children cumulated vsize: 97300 KiB
Current children cumulated memory: 84516 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.34 2.68 5/249 107182
/proc/meminfo: memFree=123244636/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=102836 memory=89656 CPUtime=276.98 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 13059 0 0 0 27658 40 0 0 20 0 1 0 11205024 105304064 22414 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 459 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 25709 22414 834 747 0 24772 0
Current children cumulated CPU time: 276.98 s
Current children cumulated vsize: 102836 KiB
Current children cumulated memory: 89656 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.49 2.78 5/247 107192
/proc/meminfo: memFree=122804652/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=112260 memory=97448 CPUtime=336.76 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 15070 0 0 0 33625 51 0 0 20 0 1 0 11205024 114954240 24362 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 467 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 28065 24362 834 747 0 27128 0
Current children cumulated CPU time: 336.76 s
Current children cumulated vsize: 112260 KiB
Current children cumulated memory: 97448 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.60 2.86 5/246 107203
/proc/meminfo: memFree=122338856/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=115524 memory=101012 CPUtime=396.53 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 15955 0 0 0 39592 61 0 0 20 0 1 0 11205024 118296576 25253 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 475 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 28881 25253 834 747 0 27944 0
Current children cumulated CPU time: 396.53 s
Current children cumulated vsize: 115524 KiB
Current children cumulated memory: 101012 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.71 2.95 5/246 107214
/proc/meminfo: memFree=121883800/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=121360 memory=110644 CPUtime=456.29 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 17376 0 0 0 45557 72 0 0 20 0 1 0 11205024 124272640 27661 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 484 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 30340 27661 834 747 0 29403 0
################
# More data... #
################
Current children cumulated memory: 175144 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/246 108264
/proc/meminfo: memFree=97410768/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=216368 memory=175696 CPUtime=3000.81 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 34298 0 0 0 299434 647 0 0 20 0 1 0 11205024 221560832 43924 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3388 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54092 43924 834 747 0 53155 0
Current children cumulated CPU time: 3000.81 s
Current children cumulated vsize: 216368 KiB
Current children cumulated memory: 175696 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/249 108279
/proc/meminfo: memFree=96764232/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=216692 memory=180252 CPUtime=3060.21 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 34494 0 0 0 305358 663 0 0 20 0 1 0 11205024 221892608 45063 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3433 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54173 45063 834 747 0 53236 0
Current children cumulated CPU time: 3060.21 s
Current children cumulated vsize: 216692 KiB
Current children cumulated memory: 180252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/253 108294
/proc/meminfo: memFree=96160788/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=217268 memory=180720 CPUtime=3119.74 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 34703 0 0 0 311298 676 0 0 20 0 1 0 11205024 222482432 45180 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3465 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54317 45180 834 747 0 53380 0
Current children cumulated CPU time: 3119.74 s
Current children cumulated vsize: 217268 KiB
Current children cumulated memory: 180720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.13 4.05 4/253 108304
/proc/meminfo: memFree=95556040/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=217972 memory=181284 CPUtime=3178.95 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 34944 0 0 0 317204 691 0 0 20 0 1 0 11205024 223203328 45321 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3530 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54493 45321 834 747 0 53556 0
Current children cumulated CPU time: 3178.95 s
Current children cumulated vsize: 217972 KiB
Current children cumulated memory: 181284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.05 5/252 108315
/proc/meminfo: memFree=94910908/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=218804 memory=182184 CPUtime=3238.08 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 35233 0 0 0 323102 706 0 0 20 0 1 0 11205024 224055296 45546 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 3602 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54701 45546 834 747 0 53764 0
Current children cumulated CPU time: 3238.08 s
Current children cumulated vsize: 218804 KiB
Current children cumulated memory: 182184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/252 108326
/proc/meminfo: memFree=94634604/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=219188 memory=182632 CPUtime=3269.7 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 35415 0 0 0 326257 713 0 0 20 0 1 0 11205024 224448512 45658 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6431 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54797 45658 834 747 0 53860 0
Current children cumulated CPU time: 3269.7 s
Current children cumulated vsize: 219188 KiB
Current children cumulated memory: 182632 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/253 108722
/proc/meminfo: memFree=94029408/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=219632 memory=185124 CPUtime=3329.36 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 35614 0 0 0 332209 727 0 0 20 0 1 0 11205024 224903168 46281 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6450 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54908 46281 834 747 0 53971 0
Current children cumulated CPU time: 3329.36 s
Current children cumulated vsize: 219632 KiB
Current children cumulated memory: 185124 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.14 4.06 5/249 108734
/proc/meminfo: memFree=93456560/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=219632 memory=185252 CPUtime=3389.18 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 35724 0 0 0 338177 741 0 0 20 0 1 0 11205024 224903168 46313 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6455 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 54908 46313 834 747 0 53971 0
Current children cumulated CPU time: 3389.18 s
Current children cumulated vsize: 219632 KiB
Current children cumulated memory: 185252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/250 108745
/proc/meminfo: memFree=92961868/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=220400 memory=185892 CPUtime=3448.93 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 35974 0 0 0 344139 754 0 0 20 0 1 0 11205024 225689600 46473 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6464 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 55100 46473 834 747 0 54163 0
Current children cumulated CPU time: 3448.93 s
Current children cumulated vsize: 220400 KiB
Current children cumulated memory: 185892 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/251 108924
/proc/meminfo: memFree=92336788/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=220656 memory=186148 CPUtime=3508.49 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 36118 0 0 0 350080 769 0 0 20 0 1 0 11205024 225951744 46537 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6494 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 55164 46537 834 747 0 54227 0
Current children cumulated CPU time: 3508.49 s
Current children cumulated vsize: 220656 KiB
Current children cumulated memory: 186148 KiB
[startup+3642.3 s]
/proc/loadavg: 4.08 4.11 4.06 4/251 108935
/proc/meminfo: memFree=91717040/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=220656 memory=186276 CPUtime=3568.25 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 36239 0 0 0 356039 786 0 0 20 0 1 0 11205024 225951744 46569 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6502 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 55164 46569 834 747 0 54227 0
Current children cumulated CPU time: 3568.25 s
Current children cumulated vsize: 220656 KiB
Current children cumulated memory: 186276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3674.3 s]
/proc/loadavg: 4.09 4.11 4.07 4/246 109026
/proc/meminfo: memFree=91720912/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=221108 memory=186412 CPUtime=3600.04 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) R 107046 107051 106999 0 -1 4194304 36320 0 0 0 359210 794 0 0 20 0 1 0 11205024 226414592 46603 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6515 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 55277 46603 834 747 0 54340 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 221108 KiB
Current children cumulated memory: 186412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3674.6 s]
# the end of solver process 107051 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3592.11 s, system=7.95618 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3674.4 s]
/proc/loadavg: 4.09 4.11 4.07 4/246 109026
/proc/meminfo: memFree=91720912/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=18628 memory=14144 CPUtime=3600.04 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) D 107046 107051 106999 0 -1 4194304 36321 0 0 0 359210 794 0 0 20 0 1 0 11205024 19075072 3536 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6526 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 4657 3536 834 747 0 3720 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 18628 KiB
Current children cumulated memory: 14144 KiB
[startup+3674.6 s]
/proc/loadavg: 4.09 4.11 4.07 4/246 109026
/proc/meminfo: memFree=91720912/131655788 swapFree=131071996/131071996
[pid=107051] ppid=107046 vsize=18628 memory=14144 CPUtime=3600.05 cores=4,6
/proc/107051/stat : 107051 (Exact_veripb2_n) D 107046 107051 106999 0 -1 1077936128 36321 0 0 0 359210 795 0 0 20 0 1 0 11205024 19075072 3536 134679101440 4194304 7250417 140723310262816 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6549 0 0 7950792 8015128 32698368 140723310269239 140723310269527 140723310269527 140723310276542 0
/proc/107051/statm: 4657 3536 834 747 0 3720 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 18628 KiB
Current children cumulated memory: 14144 KiB
Child status: 10
Real time (s): 3674.6
CPU time (s): 3600.07
CPU user time (s): 3592.11
CPU system time (s): 7.95618
CPU usage (%): 97.9715
Max. virtual memory (cumulated for all children) (KiB): 221108
Max. memory (cumulated for all children) (KiB): 186412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.11
system time used= 7.95618
maximum resident set size= 186412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18201800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3655
involuntary context switches= 5055
# summary of solver processes directly reported to runsolver:
# pid: 107051
# total CPU time (s): 3600.07
# total CPU user time (s): 3592.11
# total CPU system time (s): 7.95618
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0087 second user time and 37.2332 second system time
The end
Begin job on nodeC006 at 2024-07-23 18:29:18 IDJOB=4440758 IDBENCH=146698 IDSOLVER=3080 FILE ID=nodeC006/4440758-1721752158 RUNJOBID= nodeC006-1721752157-107010 SLURM_JOB_ID= 7770654 Free space on /tmp= 723772 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 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_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440758-1721752158/watcher-4440758-1721752158 -o /tmp/evaluation-result-4440758-1721752158/solver-4440758-1721752158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721752157-107010 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440758-1721752158 --seed=828014788 HOME/instance-4440758-1721752158.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914 RANDOM SEED=828014788 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.101 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.06 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.113 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.40 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.105 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.06 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.097 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.40 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 : 3366.853 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.06 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.099 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.40 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.099 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.06 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.111 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.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125104212 kB MemAvailable: 129932068 kB Buffers: 169460 kB Cached: 5438216 kB SwapCached: 0 kB Active: 1052296 kB Inactive: 4887244 kB Active(anon): 1336 kB Inactive(anon): 368552 kB Active(file): 1050960 kB Inactive(file): 4518692 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 19092 kB Writeback: 0 kB AnonPages: 332276 kB Mapped: 102320 kB Shmem: 37704 kB KReclaimable: 196804 kB Slab: 297868 kB SReclaimable: 196804 kB SUnreclaim: 101064 kB KernelStack: 3904 kB PageTables: 9948 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 650160 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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: 332616 kB DirectMap2M: 40466432 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723752 MiB End job on nodeC006 at 2024-07-23 19:30:32