Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | MSAT (TO) | 3600.25 | 3612.04 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo |
| MD5SUM | 4332859c61197d8e78afa6b8b48bb73c |
| 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 | 2927 |
| Best CPU time to get the best result obtained on this benchmark | 3600.42 |
| 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 | 241978 |
| Number of soft constraints | 241964 |
| Number of constraints which are clauses | 241964 |
| 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 | 48694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 34489736 |
| 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.68/2.73 o 14089 3.87/3.95 o 4101 4.16/4.26 o 4026 4.67/4.73 o 3928 5.07/5.15 o 3926 9.25/9.39 o 3915 9.44/9.58 o 3895 9.75/9.82 o 3806 16.52/16.61 o 3727 27.08/27.23 o 3726 27.78/27.96 o 3716 261.51/262.56 o 3706 405.39/406.95 o 3617 409.57/411.18 o 3615 446.04/447.79 o 3605 2081.33/2088.66 o 3594 2081.73/2089.04 o 3503 2087.11/2094.41 o 3496 2096.88/2104.24 o 3488 2097.48/2104.80 o 3478 2191.40/2199.03 o 3389 2199.17/2206.87 o 3377 3600.01/3611.80 c Program interrupted by user. 3600.01/3611.80 s SATISFIABLE 3600.01/3611.80 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 3377
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: 63931 MiB (62976 MiB free)
memory of node 1: 64510 MiB (63761 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425730-1720890789/watcher-4425730-1720890789 -o /tmp/evaluation-result-4425730-1720890789/solver-4425730-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720890802-713415 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425730-1720890789.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=713455, runsolver pid=713449
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 0.14 0.10 0.09 4/249 713464
/proc/meminfo: memFree=129678220/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=80812 memory=56648 CPUtime=0.1 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 15168 0 0 0 8 2 0 0 20 0 1 0 141243786 82751488 14162 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 20203 14162 884 1005 0 18966 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80812 KiB
Current children cumulated memory: 56648 KiB
[startup+0.205607 s]*
/proc/loadavg: 0.14 0.10 0.09 4/251 713487
/proc/meminfo: memFree=129593560/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=120488 memory=101636 CPUtime=0.2 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 22256 0 0 0 17 3 0 0 20 0 1 0 141243786 123379712 25409 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 30122 25409 884 1005 0 28885 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 101636 KiB
[startup+0.306215 s]*
/proc/loadavg: 0.14 0.10 0.09 5/250 713497
/proc/meminfo: memFree=129518424/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=157932 memory=133052 CPUtime=0.3 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 26845 0 0 0 26 4 0 0 20 0 1 0 141243786 161722368 33263 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 39483 33263 884 1005 0 38246 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 157932 KiB
Current children cumulated memory: 133052 KiB
[startup+0.700214 s]
/proc/loadavg: 0.14 0.10 0.09 4/248 713524
/proc/meminfo: memFree=129347632/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=319252 memory=286528 CPUtime=0.68 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 46520 0 0 0 59 9 0 0 20 0 1 0 141243786 326914048 71632 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 79813 71632 884 1005 0 78576 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 319252 KiB
Current children cumulated memory: 286528 KiB
[startup+1.50022 s]
/proc/loadavg: 0.14 0.10 0.09 5/255 713571
/proc/meminfo: memFree=128961244/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=503300 memory=476524 CPUtime=1.48 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 81290 0 0 0 131 17 0 0 20 0 1 0 141243786 515379200 119131 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 125825 119131 900 1005 0 124588 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 503300 KiB
Current children cumulated memory: 476524 KiB
[startup+3.10594 s]
/proc/loadavg: 0.14 0.10 0.09 6/257 713757
/proc/meminfo: memFree=127885724/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=928400 memory=897236 CPUtime=3.08 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 120912 0 0 0 279 29 0 0 20 0 1 0 141243786 950681600 224309 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 232100 224309 1108 1005 0 230863 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 928400 KiB
Current children cumulated memory: 897236 KiB
[startup+6.30021 s]
/proc/loadavg: 0.45 0.17 0.11 6/257 713757
/proc/meminfo: memFree=127705556/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=984240 memory=931856 CPUtime=6.26 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 123522 0 0 0 595 31 0 0 20 0 1 0 141243786 1007861760 232964 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 246060 232964 1140 1005 0 244823 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 984240 KiB
Current children cumulated memory: 931856 KiB
[startup+12.7002 s]
/proc/loadavg: 0.73 0.23 0.13 6/257 713758
/proc/meminfo: memFree=127541576/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1012488 memory=982660 CPUtime=12.64 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 130749 0 0 0 1232 32 0 0 20 0 1 0 141243786 1036787712 245665 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 253122 245665 1140 1005 0 251885 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1012488 KiB
Current children cumulated memory: 982660 KiB
[startup+25.5002 s]
/proc/loadavg: 1.46 0.42 0.20 6/257 713760
/proc/meminfo: memFree=127459652/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1112892 memory=1026044 CPUtime=25.39 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 139403 0 0 0 2504 35 0 0 20 0 1 0 141243786 1139601408 256511 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 278223 256511 1140 1005 0 276986 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1112892 KiB
Current children cumulated memory: 1026044 KiB
[startup+51.1059 s]
/proc/loadavg: 2.38 0.72 0.31 6/257 713763
/proc/meminfo: memFree=127205624/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1212832 memory=1157312 CPUtime=50.9 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 150737 0 0 0 5051 39 0 0 20 0 1 0 141243786 1241939968 289328 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 303208 289328 1140 1005 0 301971 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1212832 KiB
Current children cumulated memory: 1157312 KiB
[startup+102.3 s]
/proc/loadavg: 3.35 1.25 0.51 6/258 713774
/proc/meminfo: memFree=126887408/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1458728 memory=1381556 CPUtime=101.9 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 177753 0 0 0 10141 49 0 0 20 0 1 0 141243786 1493737472 345389 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 364682 345389 1140 1005 0 363445 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1458728 KiB
Current children cumulated memory: 1381556 KiB
[startup+162.3 s]
/proc/loadavg: 3.81 1.76 0.73 6/256 713785
/proc/meminfo: memFree=126427760/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1889352 memory=1685988 CPUtime=161.68 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 220406 0 0 0 16103 65 0 0 20 0 1 0 141243786 1934696448 421497 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 472338 421497 1140 1005 0 471101 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1889352 KiB
Current children cumulated memory: 1685988 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.20 0.95 6/256 713795
/proc/meminfo: memFree=126175776/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1959420 memory=1862284 CPUtime=221.45 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 233693 0 0 0 22074 71 0 0 20 0 1 0 141243786 2006446080 465571 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 489855 465571 1140 1005 0 488618 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 1959420 KiB
Current children cumulated memory: 1862284 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.56 1.15 6/256 713805
/proc/meminfo: memFree=126065020/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=1970796 memory=1918788 CPUtime=281.23 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 235861 0 0 0 28050 73 0 0 20 0 1 0 141243786 2018095104 479697 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 492699 479697 1140 1005 0 491462 0
Current children cumulated CPU time: 281.23 s
Current children cumulated vsize: 1970796 KiB
Current children cumulated memory: 1918788 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 2.86 1.35 6/255 713816
/proc/meminfo: memFree=125972964/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=2347180 memory=1944588 CPUtime=341.02 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 236861 0 0 0 34018 84 0 0 20 0 1 0 141243786 2403512320 486147 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 586795 486147 1140 1005 0 585558 0
Current children cumulated CPU time: 341.02 s
Current children cumulated vsize: 2347180 KiB
Current children cumulated memory: 1944588 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.08 1.52 6/257 713830
/proc/meminfo: memFree=125938248/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=2347180 memory=1965848 CPUtime=400.8 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 237496 0 0 0 39995 85 0 0 20 0 1 0 141243786 2403512320 491462 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 586795 491462 1140 1005 0 585558 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 2347180 KiB
Current children cumulated memory: 1965848 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.27 1.68 6/257 713840
/proc/meminfo: memFree=125576036/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=2736396 memory=2304236 CPUtime=460.59 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 301515 0 0 0 45962 97 0 0 20 0 1 0 141243786 2802069504 576059 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 684099 576059 1140 1005 0 682862 0
Current children cumulated CPU time: 460.59 s
################
# More data... #
################
/proc/713455/statm: 2478329 1899674 1140 1005 0 2477092 0
Current children cumulated CPU time: 2852.73 s
Current children cumulated vsize: 9913316 KiB
Current children cumulated memory: 7598696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.15 4.01 6/258 715465
/proc/meminfo: memFree=117753848/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9913316 memory=7598696 CPUtime=2912.55 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1045210 0 0 0 290839 416 0 0 20 0 1 0 141243786 10151235584 1899674 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2478329 1899674 1140 1005 0 2477092 0
Current children cumulated CPU time: 2912.55 s
Current children cumulated vsize: 9913316 KiB
Current children cumulated memory: 7598696 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.01 6/258 715475
/proc/meminfo: memFree=117698496/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7642872 CPUtime=2972.37 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1050579 0 0 0 296816 421 0 0 20 0 1 0 141243786 10198069248 1910718 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1910718 1140 1005 0 2488526 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7642872 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.02 6/256 715487
/proc/meminfo: memFree=117697960/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7643148 CPUtime=3032.19 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1052784 0 0 0 302796 423 0 0 20 0 1 0 141243786 10198069248 1910787 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1910787 1140 1005 0 2488526 0
Current children cumulated CPU time: 3032.19 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7643148 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.03 6/256 715497
/proc/meminfo: memFree=117669320/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7643316 CPUtime=3092.02 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1055535 0 0 0 308777 425 0 0 20 0 1 0 141243786 10198069248 1910829 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1910829 1140 1005 0 2488526 0
Current children cumulated CPU time: 3092.02 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7643316 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.03 6/255 715507
/proc/meminfo: memFree=117668756/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7643464 CPUtime=3151.84 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1058381 0 0 0 314758 426 0 0 20 0 1 0 141243786 10198069248 1910866 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1910866 1140 1005 0 2488526 0
Current children cumulated CPU time: 3151.84 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7643464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.03 6/254 715517
/proc/meminfo: memFree=117665780/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7643700 CPUtime=3211.66 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1061054 0 0 0 320739 427 0 0 20 0 1 0 141243786 10198069248 1910925 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1910925 1140 1005 0 2488526 0
Current children cumulated CPU time: 3211.66 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7643700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.04 6/254 715528
/proc/meminfo: memFree=117664908/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7643920 CPUtime=3271.48 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1063875 0 0 0 326720 428 0 0 20 0 1 0 141243786 10198069248 1910980 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1910980 1140 1005 0 2488526 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7643920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.04 6/254 715539
/proc/meminfo: memFree=117662012/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7644184 CPUtime=3331.31 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1066316 0 0 0 332701 430 0 0 20 0 1 0 141243786 10198069248 1911046 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1911046 1140 1005 0 2488526 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7644184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.05 6/256 715553
/proc/meminfo: memFree=117661384/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7644320 CPUtime=3391.12 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1069162 0 0 0 338681 431 0 0 20 0 1 0 141243786 10198069248 1911080 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1911080 1140 1005 0 2488526 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7644320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.22 4.08 6/256 715564
/proc/meminfo: memFree=117660052/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7645252 CPUtime=3450.95 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1072086 0 0 0 344662 433 0 0 20 0 1 0 141243786 10198069248 1911313 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1911313 1140 1005 0 2488526 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7645252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.21 4.09 6/258 715578
/proc/meminfo: memFree=117629688/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7674916 CPUtime=3510.77 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1074445 0 0 0 350643 434 0 0 20 0 1 0 141243786 10198069248 1918729 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1918729 1140 1005 0 2488526 0
Current children cumulated CPU time: 3510.77 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7674916 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.19 4.09 6/258 715588
/proc/meminfo: memFree=117596212/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7706696 CPUtime=3570.59 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1076938 0 0 0 356624 435 0 0 20 0 1 0 141243786 10198069248 1926674 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1926674 1140 1005 0 2488526 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7706696 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.09 4.17 4.09 4/251 715624
/proc/meminfo: memFree=121425832/131524600 swapFree=131071996/131071996
[pid=713455] ppid=713449 vsize=9959052 memory=7722384 CPUtime=3600.01 cores=0,2
/proc/713455/stat : 713455 (Exact) R 713449 713455 713405 0 -1 4194304 1078441 0 0 0 359565 436 0 0 20 0 1 0 141243786 10198069248 1930596 134679101440 4194304 8309489 140723547004672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26468352 140723547005917 140723547006086 140723547006086 140723547013071 0
/proc/713455/statm: 2489763 1930596 1140 1005 0 2488526 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9959052 KiB
Current children cumulated memory: 7722384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.04 s]
# the end of solver process 713455 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.84 s, system=4.41282 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612 s]*
/proc/loadavg: 4.09 4.17 4.09 3/244 715657
/proc/meminfo: memFree=126104956/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3612.04
CPU time (s): 3600.25
CPU user time (s): 3595.84
CPU system time (s): 4.41282
CPU usage (%): 99.6737
Max. virtual memory (cumulated for all children) (KiB): 12522156
Max. memory (cumulated for all children) (KiB): 9853924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.84
system time used= 4.41282
maximum resident set size= 9892836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1079069
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= 42
involuntary context switches= 24719
# summary of solver processes directly reported to runsolver:
# pid: 713455
# total CPU time (s): 3600.25
# total CPU user time (s): 3595.84
# total CPU system time (s): 4.41282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56487 second user time and 17.6954 second system time
The end
Begin job on nodeC024 at 2024-07-13 19:13:22 IDJOB=4425730 IDBENCH=143893 IDSOLVER=3040 FILE ID=nodeC024/4425730-1720890789 RUNJOBID= nodeC024-1720890802-713415 SLURM_JOB_ID= 7485807 Free space on /tmp= 890068 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425730-1720890789/watcher-4425730-1720890789 -o /tmp/evaluation-result-4425730-1720890789/solver-4425730-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720890802-713415 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425730-1720890789.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4332859c61197d8e78afa6b8b48bb73c RANDOM SEED=153657947 nodeC024.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 : 3582.936 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.60 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 : 2862.712 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 : 7007.08 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 : 3612.335 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.60 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 : 3992.286 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 : 7007.08 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 : 3615.674 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.60 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 : 3733.120 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 : 7007.08 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 : 3747.661 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.60 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 : 3727.857 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 : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129788312 kB MemAvailable: 129782192 kB Buffers: 323112 kB Cached: 518324 kB SwapCached: 0 kB Active: 485468 kB Inactive: 701200 kB Active(anon): 1452 kB Inactive(anon): 381280 kB Active(file): 484016 kB Inactive(file): 319920 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 31684 kB Writeback: 0 kB AnonPages: 344976 kB Mapped: 101452 kB Shmem: 37720 kB KReclaimable: 59180 kB Slab: 155404 kB SReclaimable: 59180 kB SUnreclaim: 96224 kB KernelStack: 3856 kB PageTables: 9432 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 589020 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53792 kB HardwareCorrupted: 0 kB AnonHugePages: 225280 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: 189140 kB DirectMap2M: 7972864 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890064 MiB End job on nodeC024 at 2024-07-13 20:13:34