Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.29 | 3609.34 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub1_wcsp.wbo |
| MD5SUM | daf2f1ed087a94b78160429ad112bf14 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 212742 |
| Best CPU time to get the best result obtained on this benchmark | 3600.31 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 249748 |
| Number of soft constraints | 249734 |
| Number of constraints which are clauses | 249734 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 39275680 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 19104596930 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2.28/2.32 o 8432838 2.58/2.61 o 412333 6.08/6.14 o 412233 9.76/9.83 o 402337 18.13/18.23 o 392337 19.04/19.12 o 392336 20.52/20.60 o 382438 22.12/22.26 o 382437 28.80/28.97 o 382337 64.30/64.55 o 382233 376.11/377.17 o 362336 448.72/449.91 o 352336 544.70/546.15 o 342336 548.37/549.80 o 332535 549.47/550.96 o 312433 625.40/627.04 o 312130 1023.24/1025.84 o 302435 1442.48/1446.01 o 302433 1444.37/1447.94 o 282131 2475.10/2481.27 o 282031 2475.50/2481.67 o 281931 2475.91/2482.07 o 242030 2477.00/2483.15 o 241728 2478.19/2484.38 o 231730 3600.04/3609.11 c Program interrupted by user. 3600.04/3609.11 s SATISFIABLE 3600.04/3609.11 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
OK 231730
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 (60861 MiB free)
memory of node 1: 64510 MiB (63753 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425457-1720883663/watcher-4425457-1720883663 -o /tmp/evaluation-result-4425457-1720883663/solver-4425457-1720883663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720880066-700695 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=394220458 HOME/instance-4425457-1720883663.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=702644, runsolver pid=702641
[startup+0.100318 s]*
/proc/loadavg: 4.14 4.13 4.09 5/238 702665
/proc/meminfo: memFree=127588500/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=48556 memory=26752 CPUtime=0.1 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 7180 0 0 0 8 2 0 0 20 0 1 0 140525963 49721344 6622 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 12139 6688 755 746 0 11203 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48556 KiB
Current children cumulated memory: 26752 KiB
[startup+0.213371 s]*
/proc/loadavg: 4.14 4.13 4.09 4/235 702678
/proc/meminfo: memFree=127548276/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=92976 memory=70460 CPUtime=0.21 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 18108 0 0 0 17 4 0 0 20 0 1 0 140525963 95207424 17615 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 23244 17615 755 746 0 22308 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 92976 KiB
Current children cumulated memory: 70460 KiB
[startup+0.312209 s]*
/proc/loadavg: 4.14 4.13 4.09 4/234 702697
/proc/meminfo: memFree=127493148/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=133792 memory=113892 CPUtime=0.31 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 25720 0 0 0 25 6 0 0 20 0 1 0 140525963 137003008 28473 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 33448 28473 755 746 0 32512 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 133792 KiB
Current children cumulated memory: 113892 KiB
[startup+0.700336 s]
/proc/loadavg: 4.14 4.13 4.09 5/244 702723
/proc/meminfo: memFree=127404272/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=281352 memory=249176 CPUtime=0.69 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 42442 0 0 0 58 11 0 0 20 0 1 0 140525963 288104448 62294 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 70338 62294 755 746 0 69402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 281352 KiB
Current children cumulated memory: 249176 KiB
[startup+1.50034 s]
/proc/loadavg: 4.14 4.13 4.09 5/244 702723
/proc/meminfo: memFree=126881840/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=444424 memory=424960 CPUtime=1.49 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 76965 0 0 0 130 19 0 0 20 0 1 0 140525963 455090176 106240 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 111106 106240 803 746 0 110170 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 444424 KiB
Current children cumulated memory: 424960 KiB
[startup+3.11317 s]
/proc/loadavg: 4.13 4.13 4.09 5/244 702770
/proc/meminfo: memFree=127864796/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=575528 memory=558160 CPUtime=3.08 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 99413 0 0 0 285 23 0 0 20 0 1 0 140525963 589340672 139540 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 143882 139540 851 746 0 142946 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 575528 KiB
Current children cumulated memory: 558160 KiB
[startup+6.30032 s]
/proc/loadavg: 4.13 4.13 4.09 5/244 702770
/proc/meminfo: memFree=127350000/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=666700 memory=607604 CPUtime=6.27 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 106199 0 0 0 601 26 0 0 20 0 1 0 140525963 682700800 151901 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 166675 151901 851 746 0 165739 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 666700 KiB
Current children cumulated memory: 607604 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.14 4.10 5/244 702772
/proc/meminfo: memFree=127168500/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=677324 memory=623768 CPUtime=12.65 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 108298 0 0 0 1239 26 0 0 20 0 1 0 140525963 693579776 155942 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 169331 155942 851 746 0 168395 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 677324 KiB
Current children cumulated memory: 623768 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.14 4.09 5/244 702773
/proc/meminfo: memFree=126812488/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=695216 memory=656160 CPUtime=25.41 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 110424 0 0 0 2514 27 0 0 20 0 1 0 140525963 711901184 164040 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 173804 164040 851 746 0 172868 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 695216 KiB
Current children cumulated memory: 656160 KiB
[startup+51.1132 s]
/proc/loadavg: 4.23 4.16 4.10 5/244 702776
/proc/meminfo: memFree=126192464/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=787112 memory=713992 CPUtime=50.95 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 115588 0 0 0 5065 30 0 0 20 0 1 0 140525963 806002688 178498 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 196778 178498 851 746 0 195842 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 787112 KiB
Current children cumulated memory: 713992 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/241 702787
/proc/meminfo: memFree=125165260/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=796100 memory=754088 CPUtime=102 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 118068 0 0 0 10169 31 0 0 20 0 1 0 140525963 815206400 188522 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 199025 188522 851 746 0 198089 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 796100 KiB
Current children cumulated memory: 754088 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/241 702797
/proc/meminfo: memFree=124329964/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=822648 memory=797052 CPUtime=161.85 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 122996 0 0 0 16153 32 0 0 20 0 1 0 140525963 842391552 199263 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 205662 199263 851 746 0 204726 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 822648 KiB
Current children cumulated memory: 797052 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/241 702807
/proc/meminfo: memFree=123476164/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=956268 memory=819404 CPUtime=221.68 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 125053 0 0 0 22132 36 0 0 20 0 1 0 140525963 979218432 204851 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 239067 204851 851 746 0 238131 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 956268 KiB
Current children cumulated memory: 819404 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/241 702818
/proc/meminfo: memFree=122971428/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=995012 memory=931140 CPUtime=281.53 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 133031 0 0 0 28114 39 0 0 20 0 1 0 140525963 1018892288 232785 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 248753 232785 851 746 0 247817 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 995012 KiB
Current children cumulated memory: 931140 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/241 702828
/proc/meminfo: memFree=122696012/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1207404 memory=984736 CPUtime=341.37 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 134125 0 0 0 34092 45 0 0 20 0 1 0 140525963 1236381696 246184 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 301851 246184 851 746 0 300915 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 1207404 KiB
Current children cumulated memory: 984736 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/243 702842
/proc/meminfo: memFree=121748436/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1207820 memory=1091696 CPUtime=401.23 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 134603 0 0 0 40075 48 0 0 20 0 1 0 140525963 1236807680 272924 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 301955 272924 851 746 0 301019 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1207820 KiB
Current children cumulated memory: 1091696 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/243 702852
/proc/meminfo: memFree=121609336/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1207820 memory=1091696 CPUtime=461.09 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 134830 0 0 0 46061 48 0 0 20 0 1 0 140525963 1236807680 272924 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 301955 272924 851 746 0 301019 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
Current children cumulated memory: 1800876 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.12 3.24 4/235 704513
/proc/meminfo: memFree=119010500/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874300 memory=1800876 CPUtime=2974.88 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 293340 0 0 0 297413 75 0 0 20 0 1 0 140525963 1919283200 450219 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468575 450219 851 746 0 467639 0
Current children cumulated CPU time: 2974.88 s
Current children cumulated vsize: 1874300 KiB
Current children cumulated memory: 1800876 KiB
[startup+3042.3 s]
/proc/loadavg: 3.14 3.12 3.23 4/235 704523
/proc/meminfo: memFree=119010156/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874300 memory=1800908 CPUtime=3034.72 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 293844 0 0 0 303397 75 0 0 20 0 1 0 140525963 1919283200 450227 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468575 450227 851 746 0 467639 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 1874300 KiB
Current children cumulated memory: 1800908 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.13 3.23 4/234 704534
/proc/meminfo: memFree=118985100/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874300 memory=1800908 CPUtime=3094.56 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 294174 0 0 0 309381 75 0 0 20 0 1 0 140525963 1919283200 450227 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468575 450227 851 746 0 467639 0
Current children cumulated CPU time: 3094.56 s
Current children cumulated vsize: 1874300 KiB
Current children cumulated memory: 1800908 KiB
[startup+3162.3 s]
/proc/loadavg: 3.12 3.12 3.22 4/234 704544
/proc/meminfo: memFree=118984628/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874300 memory=1800908 CPUtime=3154.41 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 294542 0 0 0 315366 75 0 0 20 0 1 0 140525963 1919283200 450227 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468575 450227 851 746 0 467639 0
Current children cumulated CPU time: 3154.41 s
Current children cumulated vsize: 1874300 KiB
Current children cumulated memory: 1800908 KiB
[startup+3222.3 s]
/proc/loadavg: 3.37 3.18 3.23 4/234 704554
/proc/meminfo: memFree=118984268/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874476 memory=1800992 CPUtime=3214.24 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 295063 0 0 0 321349 75 0 0 20 0 1 0 140525963 1919463424 450248 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468619 450248 851 746 0 467683 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 1874476 KiB
Current children cumulated memory: 1800992 KiB
[startup+3282.3 s]
/proc/loadavg: 3.64 3.31 3.27 4/234 704565
/proc/meminfo: memFree=118983672/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874476 memory=1800992 CPUtime=3274.09 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 295529 0 0 0 327334 75 0 0 20 0 1 0 140525963 1919463424 450248 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468619 450248 851 746 0 467683 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 1874476 KiB
Current children cumulated memory: 1800992 KiB
[startup+3342.3 s]
/proc/loadavg: 3.28 3.27 3.26 4/234 704575
/proc/meminfo: memFree=118982976/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874636 memory=1801036 CPUtime=3333.93 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 296082 0 0 0 333318 75 0 0 20 0 1 0 140525963 1919627264 450259 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468659 450259 851 746 0 467723 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 1874636 KiB
Current children cumulated memory: 1801036 KiB
[startup+3402.3 s]
/proc/loadavg: 3.22 3.25 3.26 4/237 704590
/proc/meminfo: memFree=118982588/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874636 memory=1801156 CPUtime=3393.77 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 296421 0 0 0 339302 75 0 0 20 0 1 0 140525963 1919627264 450289 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468659 450289 851 746 0 467723 0
Current children cumulated CPU time: 3393.77 s
Current children cumulated vsize: 1874636 KiB
Current children cumulated memory: 1801156 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.22 3.24 4/237 704600
/proc/meminfo: memFree=118982216/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874636 memory=1801156 CPUtime=3453.61 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 296859 0 0 0 345286 75 0 0 20 0 1 0 140525963 1919627264 450289 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468659 450289 851 746 0 467723 0
Current children cumulated CPU time: 3453.61 s
Current children cumulated vsize: 1874636 KiB
Current children cumulated memory: 1801156 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.19 3.23 4/237 704611
/proc/meminfo: memFree=118981768/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874812 memory=1801332 CPUtime=3513.46 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 297354 0 0 0 351271 75 0 0 20 0 1 0 140525963 1919807488 450333 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468703 450333 851 746 0 467767 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 1874812 KiB
Current children cumulated memory: 1801332 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.18 3.23 4/237 704622
/proc/meminfo: memFree=118981268/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874812 memory=1801332 CPUtime=3573.3 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 297742 0 0 0 357255 75 0 0 20 0 1 0 140525963 1919807488 450333 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468703 450333 851 746 0 467767 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 1874812 KiB
Current children cumulated memory: 1801332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 3.09 3.16 3.22 4/235 704639
/proc/meminfo: memFree=120563308/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1874812 memory=1801332 CPUtime=3600.04 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 297975 0 0 0 359929 75 0 0 20 0 1 0 140525963 1919807488 450333 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 468703 450333 851 746 0 467767 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1874812 KiB
Current children cumulated memory: 1801332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.34 s]
# the end of solver process 702644 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.51 s, system=0.781483 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 3.09 3.16 3.22 4/235 704639
/proc/meminfo: memFree=120563308/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1314452 memory=1270640 CPUtime=3600.14 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 298013 0 0 0 359938 76 0 0 20 0 1 0 140525963 1345998848 317660 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 328613 317660 851 746 0 327677 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 1314452 KiB
Current children cumulated memory: 1270640 KiB
[startup+3609.3 s]
/proc/loadavg: 3.09 3.16 3.22 4/235 704639
/proc/meminfo: memFree=120563308/131655788 swapFree=131071996/131071996
[pid=702644] ppid=702641 vsize=1302164 memory=1258352 CPUtime=3600.24 cores=5,7
/proc/702644/stat : 702644 (Exact_nosoplex) R 702641 702644 697318 0 -1 4194304 298057 0 0 0 359948 76 0 0 20 0 1 0 140525963 1333415936 314588 134679101440 4194304 7248369 140722361535808 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 34533376 140722361541523 140722361541701 140722361541701 140722361548742 0
/proc/702644/statm: 325541 314588 851 746 0 324605 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 1302164 KiB
Current children cumulated memory: 1258352 KiB
Child status: 10
Real time (s): 3609.34
CPU time (s): 3600.29
CPU user time (s): 3599.51
CPU system time (s): 0.781483
CPU usage (%): 99.7491
Max. virtual memory (cumulated for all children) (KiB): 1874812
Max. memory (cumulated for all children) (KiB): 1801332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.51
system time used= 0.781483
maximum resident set size= 1801332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298080
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= 33
involuntary context switches= 1547
# summary of solver processes directly reported to runsolver:
# pid: 702644
# total CPU time (s): 3600.29
# total CPU user time (s): 3599.51
# total CPU system time (s): 0.781483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3934 second user time and 31.4975 second system time
The end
Begin job on nodeC009 at 2024-07-13 17:14:36 IDJOB=4425457 IDBENCH=143884 IDSOLVER=3039 FILE ID=nodeC009/4425457-1720883663 RUNJOBID= nodeC009-1720880066-700695 SLURM_JOB_ID= 7483757 Free space on /tmp= 723756 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425457-1720883663/watcher-4425457-1720883663 -o /tmp/evaluation-result-4425457-1720883663/solver-4425457-1720883663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1720880066-700695 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=394220458 HOME/instance-4425457-1720883663.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14 RANDOM SEED=394220458 nodeC009.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 : 3653.758 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 : 6984.34 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 : 3632.152 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.27 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.525 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 : 6984.34 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.415 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.27 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 : 3492.172 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 : 6984.34 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 : 3492.176 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.27 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.328 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 : 6984.34 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.333 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127605176 kB MemAvailable: 127542972 kB Buffers: 322316 kB Cached: 464520 kB SwapCached: 0 kB Active: 488024 kB Inactive: 3063140 kB Active(anon): 1476 kB Inactive(anon): 2800244 kB Active(file): 486548 kB Inactive(file): 262896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11784 kB Writeback: 0 kB AnonPages: 2764028 kB Mapped: 105804 kB Shmem: 37700 kB KReclaimable: 56768 kB Slab: 145472 kB SReclaimable: 56768 kB SUnreclaim: 88704 kB KernelStack: 4016 kB PageTables: 14756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3292092 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45952 kB HardwareCorrupted: 0 kB AnonHugePages: 2643968 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: 166728 kB DirectMap2M: 11272192 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723740 MiB End job on nodeC009 at 2024-07-13 18:14:45