Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_db_no_ls 2025-06-19 | OPT | 4517 | 122.071 | 122.448 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-9symml.opb |
| MD5SUM | 30811ed4729c90bd058f0c8aab264377 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 4517 |
| Best CPU time to get the best result obtained on this benchmark | 0.125111 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 651 |
| Total number of constraints | 1658 |
| Number of constraints which are clauses | 1656 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 42 |
| Number of terms in the objective function | 651 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 28138 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 28138 |
| Number of bits of the biggest sum of numbers | 15 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.05 o 5028 7.56/7.66 o 5027 9.35/9.40 o 5026 9.35/9.41 o 5021 9.35/9.41 o 5020 9.35/9.41 o 5019 9.35/9.41 o 5018 9.35/9.42 o 5017 9.35/9.49 o 5013 9.65/9.77 o 5011 9.65/9.77 o 5010 9.65/9.77 o 5009 9.65/9.77 o 5008 9.84/9.97 o 5007 9.96/10.04 o 5006 11.64/11.77 o 5001 13.54/13.66 o 5000 13.54/13.69 o 4975 13.64/13.73 o 4974 14.05/14.15 o 4973 14.05/14.16 o 4972 14.05/14.16 o 4971 14.13/14.28 o 4970 14.13/14.29 o 4966 14.33/14.45 o 4965 14.33/14.47 o 4951 14.33/14.47 o 4950 17.42/17.51 o 4949 17.42/17.51 o 4948 17.42/17.51 o 4947 17.42/17.51 o 4946 17.42/17.53 o 4939 17.42/17.53 o 4938 17.42/17.53 o 4937 17.42/17.57 o 4923 17.42/17.58 o 4922 17.42/17.58 o 4913 17.42/17.58 o 4912 17.82/17.95 o 4910 17.82/17.95 o 4909 17.82/17.97 o 4904 17.82/17.98 o 4901 17.82/17.98 o 4900 17.82/17.98 o 4894 17.82/17.99 o 4887 17.82/17.99 o 4878 17.82/17.99 o 4877 21.92/22.04 o 4876 21.92/22.07 o 4875 22.31/22.41 o 4874 22.31/22.42 o 4873 22.31/22.45 o 4865 22.31/22.47 o 4860 22.31/22.47 o 4859 22.70/22.86 o 4858 22.80/22.98 o 4857 23.02/23.11 o 4855 23.02/23.16 o 4849 23.11/23.26 o 4848 23.11/23.27 o 4839 23.21/23.37 o 4806 25.01/25.17 o 4802 31.38/31.50 o 4801 31.38/31.53 o 4796 31.38/31.53 o 4795 31.38/31.53 o 4794 31.38/31.55 o 4786 31.38/31.55 o 4785 31.38/31.57 o 4776 31.38/31.59 o 4775 31.68/31.86 o 4774 31.68/31.86 o 4765 31.68/31.86 o 4764 31.68/31.86 o 4728 31.68/31.88 o 4723 31.68/31.88 o 4722 31.68/31.88 o 4721 31.68/31.88 o 4720 31.68/31.89 o 4713 31.68/31.89 o 4712 31.68/31.89 o 4711 31.78/31.92 o 4703 31.78/31.92 o 4702 31.78/31.93 o 4701 31.78/31.93 o 4691 31.78/31.97 o 4690 31.78/32.00 o 4685 31.78/32.00 o 4677 31.78/32.00 o 4676 31.78/32.01 o 4675 31.89/32.02 o 4674 31.99/32.15 o 4669 31.99/32.16 o 4668 31.99/32.16 o 4667 32.08/32.25 o 4663 32.08/32.25 o 4662 32.08/32.25 o 4661 32.08/32.29 o 4658 32.08/32.29 o 4657 32.18/32.32 o 4656 32.18/32.32 o 4655 32.18/32.34 o 4639 32.18/32.35 o 4632 32.57/32.77 o 4624 32.78/32.91 o 4622 32.78/32.93 o 4621 32.89/33.09 o 4616 32.99/33.16 o 4614 33.08/33.28 o 4599 33.08/33.29 o 4598 33.08/33.29 o 4590 33.08/33.29 o 4589 33.18/33.39 o 4588 34.47/34.64 o 4577 57.50/57.78 o 4576 61.90/62.18 o 4575 65.89/66.17 o 4574 73.16/73.47 o 4569 77.45/77.76 o 4568 84.62/85.00 o 4567 87.02/87.38 o 4566 91.21/91.56 o 4564 93.90/94.22 o 4557 95.81/96.17 o 4556 96.19/96.59 o 4555 97.70/98.08 o 4554 100.28/100.60 o 4553 101.97/102.32 o 4552 103.87/104.22 o 4551 105.26/105.65 o 4550 106.36/106.75 o 4549 107.26/107.65 o 4545 108.95/109.36 o 4544 111.94/112.36 o 4536 115.24/115.64 o 4534 117.93/118.37 o 4528 119.12/119.58 o 4527 119.82/120.24 o 4523 120.82/121.27 o 4520 121.42/121.89 o 4517 122.01/122.43 s OPTIMUM FOUND 122.01/122.43 v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 x31 x32 x33 -x34 x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 -x165 x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 x178 x179 -x180 x181 -x182 x183 x184 x185 x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 x241 -x242 -x243 -x244 -x245 -x246 x247 x248 -x249 -x250 x251 x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 x285 x286 x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 x368 -x369 x370 -x371 -x372 -x373 x374 -x375 x376 x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 x632 x633 -x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 x646 x647 -x648 -x649 x650 -x651
OK 4517
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: 63794 MiB (62855 MiB free)
memory of node 1: 64507 MiB (63984 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487684-1751330776/watcher-4487684-1751330776 -o /tmp/evaluation-result-4487684-1751330776/solver-4487684-1751330776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751327154-44681 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=246764248 --ls=0 --inp-dombreaklim=0 HOME/instance-4487684-1751330776.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46024, runsolver pid=46018
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.41 4.55 4.28 4/247 46033
/proc/meminfo: memFree=129884180/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=31640 memory=9580 CPUtime=0.11 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 1315 0 0 0 10 1 0 0 20 0 1 0 48756459 32399360 2395 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 7910 2395 1280 1200 0 6390 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 31640 KiB
Current children cumulated memory: 9580 KiB
[startup+0.213817 s]*
/proc/loadavg: 4.41 4.55 4.28 4/247 46035
/proc/meminfo: memFree=129884180/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=32692 memory=10988 CPUtime=0.22 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 1678 0 0 0 21 1 0 0 20 0 1 0 48756459 33476608 2747 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 8173 2747 1280 1200 0 6653 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 32692 KiB
Current children cumulated memory: 10988 KiB
[startup+0.312814 s]*
/proc/loadavg: 4.41 4.55 4.28 4/247 46038
/proc/meminfo: memFree=129888200/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=32828 memory=11628 CPUtime=0.31 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 1821 0 0 0 30 1 0 0 20 0 1 0 48756459 33615872 2907 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 8207 2907 1280 1200 0 6687 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32828 KiB
Current children cumulated memory: 11628 KiB
[startup+0.700338 s]
/proc/loadavg: 4.41 4.55 4.28 5/249 46042
/proc/meminfo: memFree=129878644/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=34844 memory=16248 CPUtime=0.68 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 2485 0 0 0 67 1 0 0 20 0 1 0 48756459 35680256 4062 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 8711 4062 1280 1200 0 7191 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34844 KiB
Current children cumulated memory: 16248 KiB
[startup+1.5003 s]
/proc/loadavg: 4.41 4.55 4.28 5/251 46047
/proc/meminfo: memFree=129817152/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=39720 memory=22688 CPUtime=1.48 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 3578 0 0 0 145 3 0 0 20 0 1 0 48756459 40673280 5672 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 9930 5672 1280 1200 0 8410 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39720 KiB
Current children cumulated memory: 22688 KiB
[startup+3.11313 s]
/proc/loadavg: 4.37 4.54 4.27 5/251 46047
/proc/meminfo: memFree=129644000/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=51092 memory=38672 CPUtime=3.08 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 6039 0 0 0 304 4 0 0 20 0 1 0 48756459 52318208 9668 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 12773 9668 1280 1200 0 11253 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51092 KiB
Current children cumulated memory: 38672 KiB
[startup+6.30032 s]
/proc/loadavg: 4.37 4.54 4.27 5/251 46047
/proc/meminfo: memFree=129263964/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=76344 memory=59152 CPUtime=6.26 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 9334 0 0 0 619 7 0 0 20 0 1 0 48756459 78176256 14788 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 19086 14788 1280 1200 0 17566 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76344 KiB
Current children cumulated memory: 59152 KiB
[startup+12.7003 s]
/proc/loadavg: 4.34 4.53 4.27 5/251 46047
/proc/meminfo: memFree=128960016/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=83240 memory=64784 CPUtime=12.64 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 10765 0 0 0 1254 10 0 0 20 0 1 0 48756459 85237760 16196 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 20810 16196 1280 1200 0 19290 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 83240 KiB
Current children cumulated memory: 64784 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.52 4.27 5/251 46047
/proc/meminfo: memFree=128920372/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=88816 memory=69392 CPUtime=25.4 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 11922 0 0 0 2524 16 0 0 20 0 1 0 48756459 90947584 17348 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 22204 17348 1280 1200 0 20684 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 88816 KiB
Current children cumulated memory: 69392 KiB
[startup+51.113 s]
/proc/loadavg: 4.29 4.49 4.27 5/251 46048
/proc/meminfo: memFree=128573548/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=101372 memory=80784 CPUtime=50.93 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 14766 0 0 0 5061 32 0 0 20 0 1 0 48756459 103804928 20196 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 25343 20196 1280 1200 0 23823 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 101372 KiB
Current children cumulated memory: 80784 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.43 4.26 5/251 46049
/proc/meminfo: memFree=128561136/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=111680 memory=90896 CPUtime=101.97 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 17308 0 0 0 10129 68 0 0 20 0 1 0 48756459 114360320 22724 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 27920 22724 1280 1200 0 26400 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 111680 KiB
Current children cumulated memory: 90896 KiB
[startup+122.448 s]
# the end of solver process 46024 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=121.218 s, system=0.853366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.16 4.43 4.26 5/251 46049
/proc/meminfo: memFree=128561136/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=111680 memory=90896 CPUtime=102.07 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 17329 0 0 0 10139 68 0 0 20 0 1 0 48756459 114360320 22724 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 27920 22724 1280 1200 0 26400 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 111680 KiB
Current children cumulated memory: 90896 KiB
[startup+115.2 s]
/proc/loadavg: 4.20 4.43 4.26 5/251 46050
/proc/meminfo: memFree=128548976/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=114184 memory=93584 CPUtime=114.83 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 17994 0 0 0 11406 77 0 0 20 0 1 0 48756459 116924416 23396 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 28546 23396 1280 1200 0 27026 0
Current children cumulated CPU time: 114.83 s
Current children cumulated vsize: 114184 KiB
Current children cumulated memory: 93584 KiB
[startup+118.4 s]
/proc/loadavg: 4.20 4.43 4.26 5/251 46050
/proc/meminfo: memFree=128548976/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=117432 memory=96016 CPUtime=118.03 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 18624 0 0 0 11723 80 0 0 20 0 1 0 48756459 120250368 24004 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 29358 24004 1280 1200 0 27838 0
Current children cumulated CPU time: 118.03 s
Current children cumulated vsize: 117432 KiB
Current children cumulated memory: 96016 KiB
[startup+120 s]*
/proc/loadavg: 4.18 4.42 4.26 5/251 46050
/proc/meminfo: memFree=128540912/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=120124 memory=98832 CPUtime=119.63 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 19319 0 0 0 11881 82 0 0 20 0 1 0 48756459 123006976 24708 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 30031 24708 1280 1200 0 28511 0
Current children cumulated CPU time: 119.63 s
Current children cumulated vsize: 120124 KiB
Current children cumulated memory: 98832 KiB
[startup+121.6 s]
/proc/loadavg: 4.18 4.42 4.26 5/251 46051
/proc/meminfo: memFree=128540912/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=120124 memory=98960 CPUtime=121.22 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 19342 0 0 0 12038 84 0 0 20 0 1 0 48756459 123006976 24740 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 30031 24740 1280 1200 0 28511 0
Current children cumulated CPU time: 121.22 s
Current children cumulated vsize: 120124 KiB
Current children cumulated memory: 98960 KiB
[startup+122 s]*
/proc/loadavg: 4.18 4.42 4.26 5/251 46051
/proc/meminfo: memFree=128540912/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=120124 memory=98960 CPUtime=121.63 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 19348 0 0 0 12079 84 0 0 20 0 1 0 48756459 123006976 24740 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 30031 24740 1280 1200 0 28511 0
Current children cumulated CPU time: 121.63 s
Current children cumulated vsize: 120124 KiB
Current children cumulated memory: 98960 KiB
[startup+122.4 s]
/proc/loadavg: 4.18 4.42 4.26 5/251 46051
/proc/meminfo: memFree=128540912/131382112 swapFree=33010160/33010684
[pid=46024] ppid=46018 vsize=120124 memory=98960 CPUtime=122.01 cores=1,3
/proc/46024/stat : 46024 (Exact) R 46018 46024 44669 0 -1 4194304 19350 0 0 0 12117 84 0 0 20 0 1 0 48756459 123006976 24740 18446744073709551615 4198400 9112445 140731544553184 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 41828352 140731544561961 140731544562157 140731544562157 140731544567759 0
/proc/46024/statm: 30031 24740 1280 1200 0 28511 0
Current children cumulated CPU time: 122.01 s
Current children cumulated vsize: 120124 KiB
Current children cumulated memory: 98960 KiB
Child status: 30
Real time (s): 122.448
CPU time (s): 122.071
CPU user time (s): 121.218
CPU system time (s): 0.853366
CPU usage (%): 99.6923
Max. virtual memory (cumulated for all children) (KiB): 120124
Max. memory (cumulated for all children) (KiB): 98960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.218
system time used= 0.853366
maximum resident set size= 99088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19391
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= 2
involuntary context switches= 182
# summary of solver processes directly reported to runsolver:
# pid: 46024
# total CPU time (s): 122.071
# total CPU user time (s): 121.218
# total CPU system time (s): 0.853366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.616717 second user time and 1.26157 second system time
The end
Begin job on nodeC001 at 2025-07-01 02:46:16 IDJOB=4487684 IDBENCH=147219 IDSOLVER=3318 FILE ID=nodeC001/4487684-1751330776 RUNJOBID= nodeC001-1751327154-44681 SLURM_JOB_ID= 9594366 Free space on /tmp= 433036 MiB SOLVER NAME= Exact_no_db_no_ls 2025-06-19 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4487684-1751330776/watcher-4487684-1751330776 -o /tmp/evaluation-result-4487684-1751330776/solver-4487684-1751330776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751327154-44681 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=246764248 --ls=0 --inp-dombreaklim=0 HOME/instance-4487684-1751330776.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 30811ed4729c90bd058f0c8aab264377 RANDOM SEED=246764248 nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 2993.005 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.308 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.511 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 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.172 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.477 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 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.213 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.429 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 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.168 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129892748 kB MemAvailable: 129673856 kB Buffers: 2128 kB Cached: 585616 kB SwapCached: 28 kB Active: 677636 kB Inactive: 286748 kB Active(anon): 384200 kB Inactive(anon): 10380 kB Active(file): 293436 kB Inactive(file): 276368 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22712 kB Writeback: 16 kB AnonPages: 379968 kB Mapped: 113144 kB Shmem: 17932 kB KReclaimable: 101480 kB Slab: 184564 kB SReclaimable: 101480 kB SUnreclaim: 83084 kB KernelStack: 4032 kB PageTables: 3600 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 716228 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 280576 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195400 kB DirectMap2M: 9144320 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433028 MiB End job on nodeC001 at 2025-07-01 02:48:18