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) | 9 | 3600.04 | 3648.18 |
| Name | PB24/normalized-PB11/OPT-LIN/heinz/ normalized-neos-1620770.opb |
| MD5SUM | ea40b84df91c60f1b4d71ba03d843a27 |
| 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 | 9 |
| Best CPU time to get the best result obtained on this benchmark | 374.616 |
| 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 | 792 |
| Total number of constraints | 9296 |
| Number of constraints which are clauses | 9261 |
| Number of constraints which are cardinality constraints (but not clauses) | 35 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Number of terms in the objective function | 22 |
| 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 | 22 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.04 o 22 0.00/0.04 o 21 0.00/0.04 o 20 0.00/0.04 o 19 0.00/0.04 o 18 0.00/0.04 o 17 0.00/0.04 o 16 0.00/0.04 o 15 0.00/0.05 o 14 0.00/0.05 o 13 0.00/0.05 o 12 0.00/0.05 o 11 0.00/0.05 o 10 0.00/0.05 o 9 3600.03/3648.10 c Program interrupted by user. 3600.03/3648.10 s SATISFIABLE 3600.03/3648.10 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 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792
OK 9
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: 63968 MiB (9193 MiB free)
memory of node 1: 64473 MiB (46381 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440889-1721806867/watcher-4440889-1721806867 -o /tmp/evaluation-result-4440889-1721806867/solver-4440889-1721806867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721801549-174651 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440889-1721806867 --seed=1145154659 HOME/instance-4440889-1721806867.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=179474, runsolver pid=179471
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.16 4.18 4.13 6/262 179475
/proc/meminfo: memFree=56899412/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=27668 memory=8120 CPUtime=0.09 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 1506 0 0 0 9 0 0 0 20 0 1 0 17215749 28332032 2030 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 6917 2030 770 747 0 5980 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27668 KiB
Current children cumulated memory: 8120 KiB
[startup+0.205995 s]*
/proc/loadavg: 4.16 4.18 4.13 5/262 179475
/proc/meminfo: memFree=56895124/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=27668 memory=8120 CPUtime=0.2 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 1506 0 0 0 20 0 0 0 20 0 1 0 17215749 28332032 2030 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 6917 2030 770 747 0 5980 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27668 KiB
Current children cumulated memory: 8120 KiB
[startup+0.305734 s]*
/proc/loadavg: 4.16 4.18 4.13 5/262 179475
/proc/meminfo: memFree=56890084/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=27668 memory=8120 CPUtime=0.3 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 1506 0 0 0 30 0 0 0 20 0 1 0 17215749 28332032 2030 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 6917 2030 770 747 0 5980 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27668 KiB
Current children cumulated memory: 8120 KiB
[startup+0.700216 s]
/proc/loadavg: 4.16 4.18 4.13 5/262 179475
/proc/meminfo: memFree=56882552/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=28148 memory=8676 CPUtime=0.68 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 1604 0 0 0 68 0 0 0 20 0 1 0 17215749 28823552 2169 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7037 2169 850 747 0 6100 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 8676 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.18 4.13 5/262 179475
/proc/meminfo: memFree=56855004/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=28744 memory=11248 CPUtime=1.49 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 1747 0 0 0 148 1 0 0 20 0 1 0 17215749 29433856 2812 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7186 2812 850 747 0 6249 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 11248 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 4.17 4.13 5/262 179475
/proc/meminfo: memFree=56765636/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=29440 memory=12032 CPUtime=3.08 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 1910 0 0 0 307 1 0 0 20 0 1 0 17215749 30146560 3008 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7360 3008 850 747 0 6423 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29440 KiB
Current children cumulated memory: 12032 KiB
[startup+6.30019 s]
/proc/loadavg: 4.15 4.17 4.13 5/262 179476
/proc/meminfo: memFree=56544884/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=29812 memory=12288 CPUtime=6.27 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 2009 0 0 0 624 3 0 0 20 0 1 0 17215749 30527488 3072 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7453 3072 850 747 0 6516 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 29812 KiB
Current children cumulated memory: 12288 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.17 4.13 5/262 179477
/proc/meminfo: memFree=56339232/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=30340 memory=13064 CPUtime=12.65 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 2169 0 0 0 1261 4 0 0 20 0 1 0 17215749 31068160 3266 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7585 3266 850 747 0 6648 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30340 KiB
Current children cumulated memory: 13064 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.16 4.12 4/262 179479
/proc/meminfo: memFree=55781592/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=30876 memory=13320 CPUtime=25.43 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 2286 0 0 0 2534 9 0 0 20 0 1 0 17215749 31617024 3330 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7719 3330 850 747 0 6782 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 30876 KiB
Current children cumulated memory: 13320 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.16 4.12 5/257 179510
/proc/meminfo: memFree=55328904/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=31828 memory=14352 CPUtime=50.6 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 2531 0 0 0 5044 16 0 0 20 0 1 0 17215749 32591872 3588 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 36 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 7957 3588 850 747 0 7020 0
Current children cumulated CPU time: 50.6 s
Current children cumulated vsize: 31828 KiB
Current children cumulated memory: 14352 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/262 179540
/proc/meminfo: memFree=54669344/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=32640 memory=17424 CPUtime=100.95 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 2757 0 0 0 10064 31 0 0 20 0 1 0 17215749 33423360 4356 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 107 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8160 4356 850 747 0 7223 0
Current children cumulated CPU time: 100.95 s
Current children cumulated vsize: 32640 KiB
Current children cumulated memory: 17424 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/262 179550
/proc/meminfo: memFree=51874596/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=33264 memory=17928 CPUtime=160.46 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 2904 0 0 0 15996 50 0 0 20 0 1 0 17215749 34062336 4482 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 136 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8316 4482 850 747 0 7379 0
Current children cumulated CPU time: 160.46 s
Current children cumulated vsize: 33264 KiB
Current children cumulated memory: 17928 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/262 179561
/proc/meminfo: memFree=50139556/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=34144 memory=18972 CPUtime=220.01 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 3159 0 0 0 21934 67 0 0 20 0 1 0 17215749 34963456 4743 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 164 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8536 4743 850 747 0 7599 0
Current children cumulated CPU time: 220.01 s
Current children cumulated vsize: 34144 KiB
Current children cumulated memory: 18972 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/260 179574
/proc/meminfo: memFree=48549020/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=34288 memory=18972 CPUtime=279.73 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 3195 0 0 0 27891 82 0 0 20 0 1 0 17215749 35110912 4743 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 177 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8572 4743 850 747 0 7635 0
Current children cumulated CPU time: 279.73 s
Current children cumulated vsize: 34288 KiB
Current children cumulated memory: 18972 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 4.16 4.12 5/260 179584
/proc/meminfo: memFree=46833496/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=34720 memory=19488 CPUtime=339.5 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 3290 0 0 0 33853 97 0 0 20 0 1 0 17215749 35553280 4872 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 184 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8680 4872 850 747 0 7743 0
Current children cumulated CPU time: 339.5 s
Current children cumulated vsize: 34720 KiB
Current children cumulated memory: 19488 KiB
[startup+402.3 s]
/proc/loadavg: 4.52 4.24 4.15 5/260 179595
/proc/meminfo: memFree=45392080/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=35072 memory=19728 CPUtime=399.12 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 3373 0 0 0 39799 113 0 0 20 0 1 0 17215749 35913728 4932 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 207 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8768 4932 850 747 0 7831 0
Current children cumulated CPU time: 399.12 s
Current children cumulated vsize: 35072 KiB
Current children cumulated memory: 19728 KiB
[startup+462.3 s]
/proc/loadavg: 4.24 4.21 4.14 5/260 179606
/proc/meminfo: memFree=44760088/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=35728 memory=20508 CPUtime=458.76 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 3545 0 0 0 45746 130 0 0 20 0 1 0 17215749 36585472 5127 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 228 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 8932 5127 850 747 0 7995 0
################
# More data... #
################
Current children cumulated memory: 24816 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/264 181376
/proc/meminfo: memFree=75392860/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40096 memory=24936 CPUtime=2949.23 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 4948 0 0 0 294109 814 0 0 20 0 1 0 17215749 41058304 6234 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2515 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10024 6234 850 747 0 9087 0
Current children cumulated CPU time: 2949.23 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 24936 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.18 5/262 181387
/proc/meminfo: memFree=74588408/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40256 memory=24936 CPUtime=3007.97 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 4981 0 0 0 299967 830 0 0 20 0 1 0 17215749 41222144 6234 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2624 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10064 6234 850 747 0 9127 0
Current children cumulated CPU time: 3007.97 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 24936 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/263 181400
/proc/meminfo: memFree=73819456/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40256 memory=24936 CPUtime=3067.13 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 4990 0 0 0 305866 847 0 0 20 0 1 0 17215749 41222144 6234 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2693 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10064 6234 850 747 0 9127 0
Current children cumulated CPU time: 3067.13 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 24936 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/261 181410
/proc/meminfo: memFree=72733488/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40256 memory=25104 CPUtime=3126 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 4999 0 0 0 311735 865 0 0 20 0 1 0 17215749 41222144 6276 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2789 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10064 6276 850 747 0 9127 0
Current children cumulated CPU time: 3126 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 25104 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.17 4.18 5/261 181420
/proc/meminfo: memFree=71745772/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40256 memory=25104 CPUtime=3184.87 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5008 0 0 0 317609 878 0 0 20 0 1 0 17215749 41222144 6276 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2886 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10064 6276 850 747 0 9127 0
Current children cumulated CPU time: 3184.87 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 25104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/261 181432
/proc/meminfo: memFree=70880024/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40256 memory=25104 CPUtime=3243.63 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5033 0 0 0 323471 892 0 0 20 0 1 0 17215749 41222144 6276 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 2994 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10064 6276 850 747 0 9127 0
Current children cumulated CPU time: 3243.63 s
Current children cumulated vsize: 40256 KiB
Current children cumulated memory: 25104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/259 181442
/proc/meminfo: memFree=69962888/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40416 memory=25104 CPUtime=3301.37 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5058 0 0 0 329230 907 0 0 20 0 1 0 17215749 41385984 6276 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3205 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10104 6276 850 747 0 9167 0
Current children cumulated CPU time: 3301.37 s
Current children cumulated vsize: 40416 KiB
Current children cumulated memory: 25104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.31 4.21 4.19 5/258 181453
/proc/meminfo: memFree=69176408/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40416 memory=25232 CPUtime=3358.87 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5067 0 0 0 334965 922 0 0 20 0 1 0 17215749 41385984 6308 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3439 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10104 6308 850 747 0 9167 0
Current children cumulated CPU time: 3358.87 s
Current children cumulated vsize: 40416 KiB
Current children cumulated memory: 25232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/259 181464
/proc/meminfo: memFree=68366456/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40416 memory=25232 CPUtime=3417.38 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5092 0 0 0 340801 937 0 0 20 0 1 0 17215749 41385984 6308 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3571 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10104 6308 850 747 0 9167 0
Current children cumulated CPU time: 3417.38 s
Current children cumulated vsize: 40416 KiB
Current children cumulated memory: 25232 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/259 181477
/proc/meminfo: memFree=67529892/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40416 memory=25232 CPUtime=3476.67 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5101 0 0 0 346715 952 0 0 20 0 1 0 17215749 41385984 6308 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3628 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10104 6308 850 747 0 9167 0
Current children cumulated CPU time: 3476.67 s
Current children cumulated vsize: 40416 KiB
Current children cumulated memory: 25232 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.17 4.18 5/260 181491
/proc/meminfo: memFree=66659508/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40576 memory=25368 CPUtime=3535.07 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5150 0 0 0 352542 965 0 0 20 0 1 0 17215749 41549824 6342 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3772 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10144 6342 850 747 0 9207 0
Current children cumulated CPU time: 3535.07 s
Current children cumulated vsize: 40576 KiB
Current children cumulated memory: 25368 KiB
[startup+3642.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/260 181502
/proc/meminfo: memFree=65750032/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40736 memory=25368 CPUtime=3594.5 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5175 0 0 0 358470 980 0 0 20 0 1 0 17215749 41713664 6342 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3813 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10184 6342 850 747 0 9247 0
Current children cumulated CPU time: 3594.5 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 25368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3648.11 s]
/proc/loadavg: 4.21 4.18 4.18 5/260 181504
/proc/meminfo: memFree=65696708/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40736 memory=25368 CPUtime=3600.03 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5183 0 0 0 359021 982 0 0 20 0 1 0 17215749 41713664 6342 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3840 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10184 6342 850 747 0 9247 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 25368 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3648.18 s]
# the end of solver process 179474 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3590.22 s, system=9.82416 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3648.11 s]
/proc/loadavg: 4.21 4.18 4.18 5/260 181504
/proc/meminfo: memFree=65696708/131524600 swapFree=131071996/131071996
[pid=179474] ppid=179471 vsize=40736 memory=25368 CPUtime=3600.03 cores=1,3
/proc/179474/stat : 179474 (Exact_veripb2_n) R 179471 179474 174639 0 -1 4194304 5183 0 0 0 359021 982 0 0 20 0 1 0 17215749 41713664 6342 134679101440 4194304 7250417 140721448264336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 3840 0 0 7950792 8015128 35049472 140721448268598 140721448268887 140721448268887 140721448275902 0
/proc/179474/statm: 10184 6342 850 747 0 9247 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 40736 KiB
Current children cumulated memory: 25368 KiB
Child status: 10
Real time (s): 3648.18
CPU time (s): 3600.04
CPU user time (s): 3590.22
CPU system time (s): 9.82416
CPU usage (%): 98.6804
Max. virtual memory (cumulated for all children) (KiB): 40736
Max. memory (cumulated for all children) (KiB): 25368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.22
system time used= 9.82416
maximum resident set size= 25368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19245936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 360
involuntary context switches= 5089
# summary of solver processes directly reported to runsolver:
# pid: 179474
# total CPU time (s): 3600.04
# total CPU user time (s): 3590.22
# total CPU system time (s): 9.82416
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52306 second user time and 16.9579 second system time
The end
Begin job on nodeC025 at 2024-07-24 09:41:07 IDJOB=4440889 IDBENCH=155341 IDSOLVER=3080 FILE ID=nodeC025/4440889-1721806867 RUNJOBID= nodeC025-1721801549-174651 SLURM_JOB_ID= 7770691 Free space on /tmp= 890012 MiB SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1620770.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-4440889-1721806867/watcher-4440889-1721806867 -o /tmp/evaluation-result-4440889-1721806867/solver-4440889-1721806867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721801549-174651 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4440889-1721806867 --seed=1145154659 HOME/instance-4440889-1721806867.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ea40b84df91c60f1b4d71ba03d843a27 RANDOM SEED=1145154659 nodeC025.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 : 0xb00002a cpu MHz : 3653.893 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3655.862 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 3599.969 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3651.493 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 3654.084 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3657.456 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 3599.925 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3599.840 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 56909232 kB MemAvailable: 127255592 kB Buffers: 243544 kB Cached: 70775908 kB SwapCached: 0 kB Active: 2501024 kB Inactive: 71157348 kB Active(anon): 1536 kB Inactive(anon): 2691168 kB Active(file): 2499488 kB Inactive(file): 68466180 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 508488 kB Writeback: 0 kB AnonPages: 2638552 kB Mapped: 127296 kB Shmem: 54104 kB KReclaimable: 441028 kB Slab: 588860 kB SReclaimable: 441028 kB SUnreclaim: 147832 kB KernelStack: 4188 kB PageTables: 15052 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3605072 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 22144 kB HardwareCorrupted: 0 kB AnonHugePages: 1441792 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: 377556 kB DirectMap2M: 39241728 kB DirectMap1G: 96468992 kB Free space on /tmp at the end= 889704 MiB End job on nodeC025 at 2024-07-24 10:41:55