Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | -36 | 3600.09 | 3611.9 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
| MD5SUM | dbca78014701662c42e2f44b8d3d4cf2 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -40 |
| Best CPU time to get the best result obtained on this benchmark | 30.0879 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 760 |
| Total number of constraints | 41263 |
| Number of constraints which are clauses | 41263 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 760 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 760 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 760 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.60/0.65 o 0 0.60/0.65 o -1 0.60/0.65 o -2 0.60/0.65 o -3 0.79/0.86 o -4 0.79/0.86 o -5 0.79/0.87 o -6 0.79/0.88 o -7 0.79/0.88 o -8 0.79/0.89 o -9 0.88/0.91 o -10 0.88/1.01 o -11 1.99/2.03 o -12 3.08/3.13 o -13 3.08/3.14 o -14 3.08/3.16 o -15 4.27/4.31 o -16 5.46/5.57 o -17 5.46/5.58 o -18 6.15/6.28 o -19 7.85/7.97 o -20 9.06/9.14 o -21 10.06/10.13 o -22 10.06/10.14 o -23 10.14/10.23 o -24 10.24/10.34 o -25 11.83/12.00 o -26 12.33/12.46 o -27 16.82/17.00 o -28 24.89/25.06 o -29 24.99/25.13 o -30 28.88/29.05 o -31 38.84/39.11 o -32 40.93/41.13 o -33 41.42/41.60 o -34 51.48/51.79 o -35 91.46/91.80 o -36 3600.07/3611.90 c Program interrupted by user. 3600.07/3611.90 s SATISFIABLE 3600.07/3611.90 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
OK -36
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61143 MiB free)
memory of node 1: 64510 MiB (62278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433102-1721063086/watcher-4433102-1721063086 -o /tmp/evaluation-result-4433102-1721063086/solver-4433102-1721063086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811456 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1754728395 HOME/instance-4433102-1721063086.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=811489, runsolver pid=811486
[startup+0.100907 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126356920/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=29404 memory=8792 CPUtime=0.1 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 958 0 0 0 10 0 0 0 20 0 1 0 158467342 30109696 2198 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 7351 2198 868 1005 0 6114 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29404 KiB
Current children cumulated memory: 8792 KiB
[startup+0.214387 s]*
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126337908/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=34868 memory=14788 CPUtime=0.21 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 2726 0 0 0 21 0 0 0 20 0 1 0 158467342 35704832 3697 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 8717 3697 1028 1005 0 7480 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34868 KiB
Current children cumulated memory: 14788 KiB
[startup+0.313447 s]*
/proc/loadavg: 1.09 1.11 1.51 6/243 811520
/proc/meminfo: memFree=126291576/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=52828 memory=32640 CPUtime=0.32 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 7911 0 0 0 29 3 0 0 20 0 1 0 158467342 54095872 8160 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 13207 8160 1028 1005 0 11970 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 52828 KiB
Current children cumulated memory: 32640 KiB
[startup+0.700303 s]
/proc/loadavg: 1.09 1.11 1.51 6/243 811520
/proc/meminfo: memFree=126281540/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=53476 memory=34688 CPUtime=0.69 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 7944 0 0 0 66 3 0 0 20 0 1 0 158467342 54759424 8672 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 13369 8672 1028 1005 0 12132 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53476 KiB
Current children cumulated memory: 34688 KiB
[startup+1.50027 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811520
/proc/meminfo: memFree=126167560/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=54292 memory=38732 CPUtime=1.48 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 8306 0 0 0 145 3 0 0 20 0 1 0 158467342 55595008 9683 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 13573 9683 1140 1005 0 12336 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 54292 KiB
Current children cumulated memory: 38732 KiB
[startup+3.11352 s]
/proc/loadavg: 1.09 1.11 1.51 5/243 811522
/proc/meminfo: memFree=126060872/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=60052 memory=50392 CPUtime=3.08 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 9731 0 0 0 305 3 0 0 20 0 1 0 158467342 61493248 12598 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 15013 12598 1140 1005 0 13776 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60052 KiB
Current children cumulated memory: 50392 KiB
[startup+6.3003 s]
/proc/loadavg: 1.33 1.16 1.52 5/243 811522
/proc/meminfo: memFree=125950544/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=76984 memory=63116 CPUtime=6.25 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 11090 0 0 0 621 4 0 0 20 0 1 0 158467342 78831616 15779 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 19246 15779 1140 1005 0 18009 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 76984 KiB
Current children cumulated memory: 63116 KiB
[startup+12.7003 s]
/proc/loadavg: 1.54 1.20 1.54 5/243 811523
/proc/meminfo: memFree=125829588/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=101960 memory=74812 CPUtime=12.63 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 11832 0 0 0 1257 6 0 0 20 0 1 0 158467342 104407040 18703 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 25490 18703 1140 1005 0 24253 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 101960 KiB
Current children cumulated memory: 74812 KiB
[startup+25.5003 s]
/proc/loadavg: 2.17 1.36 1.58 5/243 811525
/proc/meminfo: memFree=125612252/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=104568 memory=86004 CPUtime=25.38 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 12666 0 0 0 2531 7 0 0 20 0 1 0 158467342 107077632 21501 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 26142 21501 1140 1005 0 24905 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 104568 KiB
Current children cumulated memory: 86004 KiB
[startup+51.113 s]
/proc/loadavg: 2.79 1.57 1.65 5/243 811528
/proc/meminfo: memFree=125365576/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=109144 memory=90792 CPUtime=50.9 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 13853 0 0 0 5080 10 0 0 20 0 1 0 158467342 111763456 22698 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 27286 22698 1140 1005 0 26049 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 109144 KiB
Current children cumulated memory: 90792 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 1.96 1.78 5/245 811543
/proc/meminfo: memFree=125142992/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=112312 memory=95976 CPUtime=101.93 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 14703 0 0 0 10177 16 0 0 20 0 1 0 158467342 115007488 23994 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 28078 23994 1140 1005 0 26841 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 112312 KiB
Current children cumulated memory: 95976 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.35 1.93 5/245 811554
/proc/meminfo: memFree=125128820/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=115772 memory=98864 CPUtime=161.74 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 15504 0 0 0 16152 22 0 0 20 0 1 0 158467342 118550528 24716 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 28943 24716 1140 1005 0 27706 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 115772 KiB
Current children cumulated memory: 98864 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.67 2.06 5/245 811564
/proc/meminfo: memFree=125082112/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=123360 memory=114664 CPUtime=221.55 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 17535 0 0 0 22124 31 0 0 20 0 1 0 158467342 126320640 28666 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 30840 28666 1140 1005 0 29603 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 123360 KiB
Current children cumulated memory: 114664 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.95 2.20 5/245 811576
/proc/meminfo: memFree=125057808/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=125172 memory=116596 CPUtime=281.35 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 18001 0 0 0 28098 37 0 0 20 0 1 0 158467342 128176128 29149 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 31293 29149 1140 1005 0 30056 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 125172 KiB
Current children cumulated memory: 116596 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.15 2.32 5/245 811589
/proc/meminfo: memFree=124997692/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=131448 memory=122876 CPUtime=341.16 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 19616 0 0 0 34072 44 0 0 20 0 1 0 158467342 134602752 30719 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 32862 30719 1140 1005 0 31625 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 131448 KiB
Current children cumulated memory: 122876 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.32 2.43 5/245 811599
/proc/meminfo: memFree=124936328/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=133956 memory=125256 CPUtime=400.97 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 20283 0 0 0 40048 49 0 0 20 0 1 0 158467342 137170944 31314 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 33489 31314 1140 1005 0 32252 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 133956 KiB
Current children cumulated memory: 125256 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 3.50 2.55 5/244 811611
/proc/meminfo: memFree=124909052/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=177984 memory=140096 CPUtime=460.78 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 21913 0 0 0 46023 55 0 0 20 0 1 0 158467342 182255616 35024 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 44496 35024 1140 1005 0 43259 0
################
# More data... #
################
Current children cumulated memory: 222808 KiB
[startup+2922.3 s]
/proc/loadavg: 4.33 4.29 4.10 5/242 812665
/proc/meminfo: memFree=124440928/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=247552 memory=223036 CPUtime=2912.64 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 42174 0 0 0 290934 330 0 0 20 0 1 0 158467342 253493248 55759 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 61888 55759 1140 1005 0 60651 0
Current children cumulated CPU time: 2912.64 s
Current children cumulated vsize: 247552 KiB
Current children cumulated memory: 223036 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.23 4.09 5/242 812676
/proc/meminfo: memFree=124437412/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=248904 memory=224512 CPUtime=2972.46 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 42605 0 0 0 296908 338 0 0 20 0 1 0 158467342 254877696 56128 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62226 56128 1140 1005 0 60989 0
Current children cumulated CPU time: 2972.46 s
Current children cumulated vsize: 248904 KiB
Current children cumulated memory: 224512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.44 4.28 4.11 5/244 813070
/proc/meminfo: memFree=124432592/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=248904 memory=224568 CPUtime=3032.26 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 42719 0 0 0 302882 344 0 0 20 0 1 0 158467342 254877696 56142 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62226 56142 1140 1005 0 60989 0
Current children cumulated CPU time: 3032.26 s
Current children cumulated vsize: 248904 KiB
Current children cumulated memory: 224568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.68 4.40 4.17 5/244 813081
/proc/meminfo: memFree=124430888/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=248904 memory=224628 CPUtime=3092.08 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 42825 0 0 0 308855 353 0 0 20 0 1 0 158467342 254877696 56157 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62226 56157 1140 1005 0 60989 0
Current children cumulated CPU time: 3092.08 s
Current children cumulated vsize: 248904 KiB
Current children cumulated memory: 224628 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.34 4.16 5/244 813091
/proc/meminfo: memFree=124429108/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=249756 memory=225372 CPUtime=3151.89 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 43104 0 0 0 314829 360 0 0 20 0 1 0 158467342 255750144 56343 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62439 56343 1140 1005 0 61202 0
Current children cumulated CPU time: 3151.89 s
Current children cumulated vsize: 249756 KiB
Current children cumulated memory: 225372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.77 4.46 4.21 5/246 813271
/proc/meminfo: memFree=124421344/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=250280 memory=225692 CPUtime=3211.7 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 43315 0 0 0 320803 367 0 0 20 0 1 0 158467342 256286720 56423 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62570 56423 1140 1005 0 61333 0
Current children cumulated CPU time: 3211.7 s
Current children cumulated vsize: 250280 KiB
Current children cumulated memory: 225692 KiB
[startup+3282.3 s]
/proc/loadavg: 4.79 4.52 4.25 5/246 813282
/proc/meminfo: memFree=124411324/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=250724 memory=226152 CPUtime=3271.51 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 43524 0 0 0 326777 374 0 0 20 0 1 0 158467342 256741376 56538 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62681 56538 1140 1005 0 61444 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 250724 KiB
Current children cumulated memory: 226152 KiB
[startup+3342.3 s]
/proc/loadavg: 4.70 4.56 4.28 5/248 813296
/proc/meminfo: memFree=124382716/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=250724 memory=226360 CPUtime=3331.32 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 43644 0 0 0 332752 380 0 0 20 0 1 0 158467342 256741376 56590 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 62681 56590 1140 1005 0 61444 0
Current children cumulated CPU time: 3331.32 s
Current children cumulated vsize: 250724 KiB
Current children cumulated memory: 226360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.45 4.26 5/245 813317
/proc/meminfo: memFree=124377740/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=252636 memory=228240 CPUtime=3391.13 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 44190 0 0 0 338728 385 0 0 20 0 1 0 158467342 258699264 57060 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 63159 57060 1140 1005 0 61922 0
Current children cumulated CPU time: 3391.13 s
Current children cumulated vsize: 252636 KiB
Current children cumulated memory: 228240 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.38 4.25 5/245 813329
/proc/meminfo: memFree=124376604/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=252908 memory=228524 CPUtime=3450.95 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 44371 0 0 0 344702 393 0 0 20 0 1 0 158467342 258977792 57131 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 63227 57131 1140 1005 0 61990 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 252908 KiB
Current children cumulated memory: 228524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.34 4.24 5/245 813339
/proc/meminfo: memFree=124371428/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=253256 memory=228872 CPUtime=3510.76 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 44550 0 0 0 350677 399 0 0 20 0 1 0 158467342 259334144 57218 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 63314 57218 1140 1005 0 62077 0
Current children cumulated CPU time: 3510.76 s
Current children cumulated vsize: 253256 KiB
Current children cumulated memory: 228872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.29 4.23 5/243 813350
/proc/meminfo: memFree=124368932/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=253256 memory=228928 CPUtime=3570.57 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 44640 0 0 0 356652 405 0 0 20 0 1 0 158467342 259334144 57232 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 63314 57232 1140 1005 0 62077 0
Current children cumulated CPU time: 3570.57 s
Current children cumulated vsize: 253256 KiB
Current children cumulated memory: 228928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.06 4.26 4.22 6/244 813493
/proc/meminfo: memFree=126005616/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=254108 memory=229476 CPUtime=3600.07 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 44843 0 0 0 359598 409 0 0 20 0 1 0 158467342 260206592 57369 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 63527 57369 1140 1005 0 62290 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 254108 KiB
Current children cumulated memory: 229476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.9 s]
# the end of solver process 811489 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.99 s, system=4.09973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.06 4.26 4.22 6/244 813493
/proc/meminfo: memFree=126005616/131655788 swapFree=131071996/131071996
[pid=811489] ppid=811486 vsize=254108 memory=229476 CPUtime=3600.07 cores=0,2
/proc/811489/stat : 811489 (Exact) R 811486 811489 811446 0 -1 4194304 44843 0 0 0 359598 409 0 0 20 0 1 0 158467342 260206592 57369 134679101440 4194304 8309489 140725720626144 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 19169280 140725720634302 140725720634472 140725720634472 140725720641487 0
/proc/811489/statm: 63527 57369 1140 1005 0 62290 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 254108 KiB
Current children cumulated memory: 229476 KiB
Child status: 10
Real time (s): 3611.9
CPU time (s): 3600.09
CPU user time (s): 3595.99
CPU system time (s): 4.09973
CPU usage (%): 99.6729
Max. virtual memory (cumulated for all children) (KiB): 254108
Max. memory (cumulated for all children) (KiB): 229476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.99
system time used= 4.09973
maximum resident set size= 229476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44846
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= 54
involuntary context switches= 24655
# summary of solver processes directly reported to runsolver:
# pid: 811489
# total CPU time (s): 3600.09
# total CPU user time (s): 3595.99
# total CPU system time (s): 4.09973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2281 second user time and 34.7067 second system time
The end
Begin job on nodeC006 at 2024-07-15 19:04:58 IDJOB=4433102 IDBENCH=146695 IDSOLVER=3060 FILE ID=nodeC006/4433102-1721063086 RUNJOBID= nodeC006-1721063098-811456 SLURM_JOB_ID= 7505517 Free space on /tmp= 723776 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433102-1721063086/watcher-4433102-1721063086 -o /tmp/evaluation-result-4433102-1721063086/solver-4433102-1721063086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721063098-811456 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1754728395 HOME/instance-4433102-1721063086.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2 RANDOM SEED=1754728395 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3349.342 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.253 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.251 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.253 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.249 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.265 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.94 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.268 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126388476 kB MemAvailable: 129905992 kB Buffers: 374608 kB Cached: 3941720 kB SwapCached: 0 kB Active: 617424 kB Inactive: 4031700 kB Active(anon): 1372 kB Inactive(anon): 369176 kB Active(file): 616052 kB Inactive(file): 3662524 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 13568 kB Writeback: 4 kB AnonPages: 329432 kB Mapped: 103020 kB Shmem: 37704 kB KReclaimable: 157944 kB Slab: 262108 kB SReclaimable: 157944 kB SUnreclaim: 104164 kB KernelStack: 3680 kB PageTables: 9596 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 665056 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51520 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 219976 kB DirectMap2M: 27996160 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723748 MiB End job on nodeC006 at 2024-07-15 20:05:10