Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2024-07-05 | OPTIMUM | 377.513 | 378.533 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub0_wcsp.wbo |
| MD5SUM | c1daaa37b7d013b8df922d639958f72d |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 159 |
| Best CPU time to get the best result obtained on this benchmark | 377.513 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 640 |
| Total number of constraints | 123180 |
| Number of soft constraints | 123164 |
| Number of constraints which are clauses | 123164 |
| Number of constraints which are cardinality constraints (but not clauses) | 16 |
| 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 | 45316 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 22402430 |
| 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 |
1.19/1.25 o 20306 1.29/1.36 o 1718 7.47/7.54 o 1537 14.64/14.72 o 1527 17.24/17.37 o 1352 17.44/17.57 o 1350 17.64/17.78 o 1260 41.56/41.77 o 1175 42.16/42.35 o 1174 42.36/42.56 o 1158 77.94/78.26 o 1157 78.55/78.81 o 1057 155.72/156.23 o 1029 156.01/156.57 o 1026 165.29/165.85 o 1019 167.28/167.82 o 1009 184.74/185.39 o 908 186.33/186.90 o 224 186.33/186.97 o 223 186.54/187.18 o 214 186.63/187.25 o 213 188.54/189.10 o 212 188.93/189.58 o 203 189.03/189.65 o 202 191.22/191.88 o 201 191.82/192.46 o 200 211.48/212.15 o 190 323.11/324.03 o 189 349.34/350.38 o 166 349.44/350.42 o 165 350.94/351.90 o 163 350.94/351.94 o 162 350.94/351.99 o 161 351.34/352.38 o 159 377.37/378.40 s OPTIMUM FOUND 377.37/378.40 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
OK 159
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62862 MiB free)
memory of node 1: 64473 MiB (63679 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425728-1720890789/watcher-4425728-1720890789 -o /tmp/evaluation-result-4425728-1720890789/solver-4425728-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720890801-713702 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425728-1720890789.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
solver pid=713750, runsolver pid=713744
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 0.13 0.15 0.12 3/256 713767
/proc/meminfo: memFree=129528144/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=79568 memory=58344 CPUtime=0.09 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 15415 0 0 0 7 2 0 0 20 0 1 0 141243830 81477632 14586 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 19892 14586 884 1005 0 18655 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79568 KiB
Current children cumulated memory: 58344 KiB
[startup+0.205973 s]*
/proc/loadavg: 0.13 0.15 0.12 4/252 713803
/proc/meminfo: memFree=129474716/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=127908 memory=107144 CPUtime=0.2 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 23128 0 0 0 16 4 0 0 20 0 1 0 141243830 130977792 26786 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 31977 26786 884 1005 0 30740 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 127908 KiB
Current children cumulated memory: 107144 KiB
[startup+0.305918 s]*
/proc/loadavg: 0.13 0.15 0.12 3/251 713821
/proc/meminfo: memFree=129447780/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=161212 memory=138732 CPUtime=0.3 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 28219 0 0 0 24 6 0 0 20 0 1 0 141243830 165081088 34683 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 40303 34683 884 1005 0 39066 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161212 KiB
Current children cumulated memory: 138732 KiB
[startup+0.700226 s]
/proc/loadavg: 0.13 0.15 0.12 3/250 713875
/proc/meminfo: memFree=129363988/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=279692 memory=241412 CPUtime=0.68 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 48807 0 0 0 59 9 0 0 20 0 1 0 141243830 286404608 60353 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 69923 60353 900 1005 0 68686 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 279692 KiB
Current children cumulated memory: 241412 KiB
[startup+1.50023 s]
/proc/loadavg: 0.13 0.15 0.12 3/250 713921
/proc/meminfo: memFree=129115288/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=475700 memory=442672 CPUtime=1.48 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 71075 0 0 0 133 15 0 0 20 0 1 0 141243830 487116800 110668 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 118925 110668 1108 1005 0 117688 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 475700 KiB
Current children cumulated memory: 442672 KiB
[startup+3.10575 s]
/proc/loadavg: 0.13 0.15 0.12 5/262 714089
/proc/meminfo: memFree=128499012/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=486812 memory=470000 CPUtime=3.08 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 72278 0 0 0 292 16 0 0 20 0 1 0 141243830 498495488 117500 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 121703 117500 1140 1005 0 120466 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 486812 KiB
Current children cumulated memory: 470000 KiB
[startup+6.30021 s]
/proc/loadavg: 0.44 0.21 0.14 5/262 714091
/proc/meminfo: memFree=128132448/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=517160 memory=480100 CPUtime=6.27 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 73304 0 0 0 610 17 0 0 20 0 1 0 141243830 529571840 120025 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 129290 120025 1140 1005 0 128053 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 517160 KiB
Current children cumulated memory: 480100 KiB
[startup+12.7002 s]
/proc/loadavg: 0.72 0.28 0.16 5/262 714091
/proc/meminfo: memFree=127940460/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=595292 memory=531508 CPUtime=12.65 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 78587 0 0 0 1245 20 0 0 20 0 1 0 141243830 609579008 132877 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 148823 132877 1140 1005 0 147586 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 595292 KiB
Current children cumulated memory: 531508 KiB
[startup+25.5002 s]
/proc/loadavg: 1.53 0.48 0.23 5/262 714094
/proc/meminfo: memFree=127636348/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=721936 memory=634444 CPUtime=25.41 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 90879 0 0 0 2516 25 0 0 20 0 1 0 141243830 739262464 158611 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 180484 158611 1140 1005 0 179247 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 721936 KiB
Current children cumulated memory: 634444 KiB
[startup+51.1057 s]
/proc/loadavg: 2.37 0.76 0.33 5/262 714097
/proc/meminfo: memFree=127214704/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=988616 memory=877164 CPUtime=50.94 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 122348 0 0 0 5059 35 0 0 20 0 1 0 141243830 1012342784 219291 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 247154 219291 1140 1005 0 245917 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 988616 KiB
Current children cumulated memory: 877164 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.29 0.54 5/262 714105
/proc/meminfo: memFree=126638508/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=1427372 memory=1270104 CPUtime=101.97 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 175185 0 0 0 10144 53 0 0 20 0 1 0 141243830 1461628928 317526 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 356843 317526 1140 1005 0 355606 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1427372 KiB
Current children cumulated memory: 1270104 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.82 0.77 5/259 714116
/proc/meminfo: memFree=126070280/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=1760140 memory=1626020 CPUtime=161.79 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 226682 0 0 0 16115 64 0 0 20 0 1 0 141243830 1802383360 406505 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 440035 406505 1140 1005 0 438798 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1760140 KiB
Current children cumulated memory: 1626020 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.24 0.98 5/259 714126
/proc/meminfo: memFree=125481112/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2338268 memory=2087284 CPUtime=221.65 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 274898 0 0 0 22078 87 0 0 20 0 1 0 141243830 2394386432 521821 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 584567 521821 1140 1005 0 583330 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2338268 KiB
Current children cumulated memory: 2087284 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.57 1.18 5/259 714136
/proc/meminfo: memFree=125135392/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2398168 memory=2145996 CPUtime=281.51 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 284949 0 0 0 28060 91 0 0 20 0 1 0 141243830 2455724032 536499 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 599542 536499 1140 1005 0 598305 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2398168 KiB
Current children cumulated memory: 2145996 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 2.87 1.37 5/254 714148
/proc/meminfo: memFree=124807332/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501576 memory=2249360 CPUtime=341.36 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 301510 0 0 0 34041 95 0 0 20 0 1 0 141243830 2561613824 562340 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625394 562340 1140 1005 0 624157 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2501576 KiB
Current children cumulated memory: 2249360 KiB
[startup+378.533 s]
# the end of solver process 713750 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=376.509 s, system=1.0038 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+358.4 s]
/proc/loadavg: 4.09 2.92 1.41 5/254 714151
/proc/meminfo: memFree=124787640/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501576 memory=2250860 CPUtime=357.42 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 301972 0 0 0 35646 96 0 0 20 0 1 0 141243830 2561613824 562715 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625394 562715 1140 1005 0 624157 0
Current children cumulated CPU time: 357.42 s
Current children cumulated vsize: 2501576 KiB
Current children cumulated memory: 2250860 KiB
[startup+371.2 s]
/proc/loadavg: 4.07 2.98 1.45 5/254 714153
/proc/meminfo: memFree=124616700/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501708 memory=2251316 CPUtime=370.19 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302084 0 0 0 36922 97 0 0 20 0 1 0 141243830 2561748992 562829 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625427 562829 1140 1005 0 624190 0
Current children cumulated CPU time: 370.19 s
Current children cumulated vsize: 2501708 KiB
Current children cumulated memory: 2251316 KiB
[startup+374.4 s]
/proc/loadavg: 4.07 2.98 1.45 5/254 714153
/proc/meminfo: memFree=124563752/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501708 memory=2251316 CPUtime=373.38 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302099 0 0 0 37241 97 0 0 20 0 1 0 141243830 2561748992 562829 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625427 562829 1140 1005 0 624190 0
Current children cumulated CPU time: 373.38 s
Current children cumulated vsize: 2501708 KiB
Current children cumulated memory: 2251316 KiB
[startup+376 s]*
/proc/loadavg: 4.14 3.01 1.47 5/254 714155
/proc/meminfo: memFree=124530548/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501708 memory=2251504 CPUtime=374.98 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302109 0 0 0 37401 97 0 0 20 0 1 0 141243830 2561748992 562876 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625427 562876 1140 1005 0 624190 0
Current children cumulated CPU time: 374.98 s
Current children cumulated vsize: 2501708 KiB
Current children cumulated memory: 2251504 KiB
[startup+377.6 s]
/proc/loadavg: 4.14 3.01 1.47 5/254 714155
/proc/meminfo: memFree=124519444/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501708 memory=2251504 CPUtime=376.57 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302123 0 0 0 37560 97 0 0 20 0 1 0 141243830 2561748992 562876 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625427 562876 1140 1005 0 624190 0
Current children cumulated CPU time: 376.57 s
Current children cumulated vsize: 2501708 KiB
Current children cumulated memory: 2251504 KiB
[startup+378 s]*
/proc/loadavg: 4.14 3.01 1.47 5/254 714155
/proc/meminfo: memFree=124509268/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501708 memory=2251504 CPUtime=376.98 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302164 0 0 0 37601 97 0 0 20 0 1 0 141243830 2561748992 562876 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625427 562876 1140 1005 0 624190 0
Current children cumulated CPU time: 376.98 s
Current children cumulated vsize: 2501708 KiB
Current children cumulated memory: 2251504 KiB
[startup+378.4 s]
/proc/loadavg: 4.14 3.01 1.47 5/254 714155
/proc/meminfo: memFree=124509268/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=2501708 memory=2251504 CPUtime=377.37 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302167 0 0 0 37640 97 0 0 20 0 1 0 141243830 2561748992 562876 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 625427 562876 1140 1005 0 624190 0
Current children cumulated CPU time: 377.37 s
Current children cumulated vsize: 2501708 KiB
Current children cumulated memory: 2251504 KiB
[startup+378.5 s]
/proc/loadavg: 4.14 3.01 1.47 5/254 714155
/proc/meminfo: memFree=124509268/131524600 swapFree=131071996/131071996
[pid=713750] ppid=713744 vsize=1564920 memory=1461680 CPUtime=377.47 cores=5,7
/proc/713750/stat : 713750 (Exact) R 713744 713750 713689 0 -1 4194304 302193 0 0 0 37650 97 0 0 20 0 1 0 141243830 1602478080 365420 134679101440 4194304 8309489 140726070892224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 42491904 140726070899677 140726070899846 140726070899846 140726070906831 0
/proc/713750/statm: 391230 365420 1140 1005 0 389993 0
Current children cumulated CPU time: 377.47 s
Current children cumulated vsize: 1564920 KiB
Current children cumulated memory: 1461680 KiB
Child status: 30
Real time (s): 378.533
CPU time (s): 377.513
CPU user time (s): 376.509
CPU system time (s): 1.0038
CPU usage (%): 99.7306
Max. virtual memory (cumulated for all children) (KiB): 2627420
Max. memory (cumulated for all children) (KiB): 2251504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 376.509
system time used= 1.0038
maximum resident set size= 2251504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 302196
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= 18
involuntary context switches= 462
# summary of solver processes directly reported to runsolver:
# pid: 713750
# total CPU time (s): 377.513
# total CPU user time (s): 376.509
# total CPU system time (s): 1.0038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.594274 second user time and 1.93005 second system time
The end
Begin job on nodeC023 at 2024-07-13 19:13:21 IDJOB=4425728 IDBENCH=143891 IDSOLVER=3040 FILE ID=nodeC023/4425728-1720890789 RUNJOBID= nodeC023-1720890801-713702 SLURM_JOB_ID= 7485806 Free space on /tmp= 890080 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub0_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-4425728-1720890789/watcher-4425728-1720890789 -o /tmp/evaluation-result-4425728-1720890789/solver-4425728-1720890789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1720890801-713702 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=153657947 HOME/instance-4425728-1720890789.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c1daaa37b7d013b8df922d639958f72d RANDOM SEED=153657947 nodeC023.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 : 3572.047 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.61 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 : 3588.699 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3476.984 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.61 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 : 3599.904 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3453.202 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.61 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 : 3498.316 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3491.690 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.61 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 : 3571.068 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129594396 kB MemAvailable: 129759516 kB Buffers: 327904 kB Cached: 681524 kB SwapCached: 0 kB Active: 508788 kB Inactive: 857012 kB Active(anon): 1448 kB Inactive(anon): 392960 kB Active(file): 507340 kB Inactive(file): 464052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 17424 kB Writeback: 0 kB AnonPages: 356772 kB Mapped: 101228 kB Shmem: 37720 kB KReclaimable: 67104 kB Slab: 164952 kB SReclaimable: 67104 kB SUnreclaim: 97848 kB KernelStack: 3848 kB PageTables: 9480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 591576 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54688 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 164564 kB DirectMap2M: 5900288 kB DirectMap1G: 130023424 kB Free space on /tmp at the end= 890048 MiB End job on nodeC023 at 2024-07-13 19:19:40