Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| OR-Tools CP-SAT 9.14 | MSAT (TO) | 3600.21 | 1837.85 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub3_wcsp.wbo |
| MD5SUM | ab58973f8a134afc7bedbaa01ab0bdb8 |
| 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 | 203460 |
| Best CPU time to get the best result obtained on this benchmark | 73.634 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 776 |
| Total number of constraints | 326836 |
| Number of soft constraints | 326818 |
| Number of constraints which are clauses | 326818 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| 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 | 45857915 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 23120752168 |
| 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 |
47.83/46.33 o 16242036 48.82/46.86 o 16241933 57.72/51.33 o 16241833 60.60/52.89 o 16241832 98.42/72.08 o 12242439 98.63/72.16 o 12212439 104.76/75.28 o 10603755 104.95/75.36 o 7593452 117.44/81.64 o 6633356 117.84/81.85 o 6583255 153.92/100.05 o 4674164 167.70/107.11 o 4653660 167.98/107.35 o 4583454 179.54/113.49 o 3583654 187.94/117.71 o 3583554 195.90/121.80 o 3583553 230.22/139.20 o 3553757 230.40/139.28 o 3553554 262.55/155.42 o 2673964 265.92/157.16 o 2504170 270.48/159.41 o 2433558 287.27/167.92 o 2423361 287.67/168.10 o 2413258 292.23/170.47 o 2413158 351.47/200.93 o 1633658 358.62/204.59 o 1593658 359.01/204.72 o 1533352 359.01/204.78 o 1533252 479.80/265.60 o 1533152 516.85/284.30 o 1503454 531.72/291.87 o 1464264 532.51/292.20 o 1433958 537.48/294.74 o 1433957 565.45/308.85 o 1404559 573.58/312.95 o 1384557 573.78/313.06 o 1374054 657.50/355.26 o 624669 659.48/356.28 o 394461 659.88/356.48 o 374155 820.95/437.54 o 374058 883.49/469.06 o 354249 883.69/469.13 o 354248 934.50/494.70 o 354246 944.82/499.97 o 334255 945.02/500.05 o 334154 985.51/520.40 o 324356 985.51/520.49 o 324054 1114.13/585.22 o 304156 1114.32/585.30 o 304055 3600.14/1837.80 s SATISFIABLE 3600.14/1837.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 3600.14/1837.80 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.14/1837.80 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 3600.14/1837.80 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.14/1837.80 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.14/1837.80 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.14/1837.80 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.14/1837.80 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 3600.14/1837.80 v x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 3600.14/1837.80 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.14/1837.80 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.14/1837.80 v x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 3600.14/1837.80 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 3600.14/1837.80 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.14/1837.80 v -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 3600.14/1837.80 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 3600.14/1837.80 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 3600.14/1837.80 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.14/1837.80 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.14/1837.80 v x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.14/1837.80 v x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.14/1837.80 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.14/1837.80 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.14/1837.80 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.14/1837.80 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 3600.14/1837.80 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 3600.14/1837.80 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 3600.14/1837.80 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 3600.14/1837.80 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 3600.14/1837.80 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.14/1837.80 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.14/1837.80 v x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 3600.14/1837.80 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 3600.14/1837.80 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 3600.14/1837.80 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 3600.14/1837.80 v -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.14/1837.80 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 3600.14/1837.80 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 3600.14/1837.80 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.14/1837.80 v -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 3600.14/1837.80 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 3600.14/1837.80 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 3600.14/1837.80 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.14/1837.80 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 3600.14/1837.80 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 3600.14/1837.80 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 3600.14/1837.80 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 3600.14/1837.80 v -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 3600.14/1837.80 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 3600.14/1837.80 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 3600.14/1837.80 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 3600.14/1837.80 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 3600.14/1837.80 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 3600.14/1837.80 v -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 3600.14/1837.80 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 3600.14/1837.80 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 3600.14/1837.80 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 3600.14/1837.80 v -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 3600.14/1837.80 v -x771 -x772 -x773 -x774 -x775 -x776
OK 304055
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: 63837 MiB (46887 MiB free)
memory of node 1: 64465 MiB (50899 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525710-1751620813/watcher-4525710-1751620813 -o /tmp/evaluation-result-4525710-1751620813/solver-4525710-1751620813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90043 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1686939070 --competition_mode --input HOME/instance-4525710-1751620813.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=96930, runsolver pid=96927
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 8.12 8.14 8.09 7/257 96931
/proc/meminfo: memFree=100122228/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=21788 memory=15680 CPUtime=0.11 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 3201 0 0 0 10 1 0 0 20 0 1 0 77760509 22310912 3920 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 5447 3920 1088 2102 0 2987 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 21788 KiB
Current children cumulated memory: 15680 KiB
[startup+0.213651 s]*
/proc/loadavg: 8.12 8.14 8.09 8/257 96931
/proc/meminfo: memFree=100112652/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=34232 memory=28200 CPUtime=0.22 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 6059 0 0 0 20 2 0 0 20 0 1 0 77760509 35053568 7050 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 8558 7050 1088 2102 0 6098 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 34232 KiB
Current children cumulated memory: 28200 KiB
[startup+0.313523 s]*
/proc/loadavg: 8.12 8.14 8.09 7/257 96931
/proc/meminfo: memFree=100100492/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=48428 memory=39328 CPUtime=0.31 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 8334 0 0 0 28 3 0 0 20 0 1 0 77760509 49590272 9832 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 12107 9832 1088 2102 0 9647 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48428 KiB
Current children cumulated memory: 39328 KiB
[startup+0.700325 s]
/proc/loadavg: 8.03 8.13 8.08 7/257 96931
/proc/meminfo: memFree=100055944/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=201700 memory=184508 CPUtime=0.69 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 41582 0 0 0 58 11 0 0 20 0 1 0 77760509 206540800 46127 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 50465 46127 1088 2102 0 48005 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 201700 KiB
Current children cumulated memory: 184508 KiB
[startup+1.50032 s]
/proc/loadavg: 8.03 8.13 8.08 7/257 96931
/proc/meminfo: memFree=100028612/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=333520 memory=317432 CPUtime=1.48 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 71662 0 0 0 131 17 0 0 20 0 1 0 77760509 341524480 79358 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 83380 79358 1408 2102 0 80920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 333520 KiB
Current children cumulated memory: 317432 KiB
[startup+3.11312 s]
/proc/loadavg: 8.03 8.13 8.08 8/257 96931
/proc/meminfo: memFree=99198540/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=390792 memory=368348 CPUtime=3.08 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 89634 0 0 0 286 22 0 0 20 0 1 0 77760509 400171008 92087 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 97698 92087 1536 2102 0 95238 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 390792 KiB
Current children cumulated memory: 368348 KiB
[startup+6.30032 s]
/proc/loadavg: 7.95 8.11 8.08 8/257 96931
/proc/meminfo: memFree=99449904/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=550432 memory=518588 CPUtime=6.27 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 104178 0 0 0 600 27 0 0 20 0 1 0 77760509 563642368 129647 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 137608 129647 1568 2102 0 135148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 550432 KiB
Current children cumulated memory: 518588 KiB
[startup+12.7004 s]
/proc/loadavg: 7.95 8.10 8.08 8/257 96931
/proc/meminfo: memFree=99533856/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=555112 memory=523324 CPUtime=12.63 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 105399 0 0 0 1236 27 0 0 20 0 1 0 77760509 568434688 130831 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 138778 130831 1568 2102 0 136318 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 555112 KiB
Current children cumulated memory: 523324 KiB
[startup+25.5003 s]
/proc/loadavg: 7.80 8.07 8.06 9/256 96931
/proc/meminfo: memFree=99622716/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=713400 memory=684540 CPUtime=25.38 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 114677 0 0 0 2507 31 0 0 20 0 1 0 77760509 730521600 171135 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 178350 171135 1856 2102 0 175890 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 713400 KiB
Current children cumulated memory: 684540 KiB
[startup+51.1061 s]
/proc/loadavg: 7.61 8.00 8.04 10/258 96933
/proc/meminfo: memFree=100296228/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3036136 memory=2469548 CPUtime=57.34 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) R 96927 96930 90031 0 -1 4194304 333206 0 0 0 5635 99 0 0 20 0 3 0 77760509 3109003264 617387 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 759034 617387 2144 2102 0 725990 0
[pid=96930/tid=96932] ppid=96927 vsize=3036136 memory=2223408 CPUtime=5.81 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) S 96927 96930 90031 0 -1 4194368 128136 0 0 0 550 31 0 0 20 0 3 0 77764959 3109003264 617387 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 1 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3036136 memory=748116 CPUtime=6.45 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 69657 0 0 0 622 23 0 0 20 0 3 0 77764959 3109003264 617387 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 57.34 s
Current children cumulated vsize: 3036136 KiB
Current children cumulated memory: 2469548 KiB
[startup+102.3 s]
/proc/loadavg: 7.95 8.03 8.05 9/259 96948
/proc/meminfo: memFree=98220228/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=2955628 memory=2699228 CPUtime=158.47 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 714421 0 0 0 15653 194 0 0 20 0 3 0 77760509 3026563072 674807 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 738907 674807 2144 2102 0 712001 0
[pid=96930/tid=96932] ppid=96927 vsize=2955628 memory=-8183426990376720068 CPUtime=50.99 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 281590 0 0 0 5054 45 0 0 20 0 3 0 77764959 3026563072 674807 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=2955628 memory=5276 CPUtime=56.38 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 297270 0 0 0 5535 103 0 0 20 0 3 0 77764959 3026563072 674807 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 158.47 s
Current children cumulated vsize: 2955628 KiB
Current children cumulated memory: 2699228 KiB
[startup+162.3 s]
/proc/loadavg: 8.15 8.07 8.06 9/259 96950
/proc/meminfo: memFree=98088252/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3356456 memory=3044168 CPUtime=276.15 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 960475 0 0 0 27345 270 0 0 20 0 3 0 77760509 3437010944 761042 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 839114 761042 2144 2102 0 811931 0
[pid=96930/tid=96932] ppid=96927 vsize=3356456 memory=3062260 CPUtime=104.44 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 371333 0 0 0 10387 57 0 0 20 0 3 0 77764959 3437010944 761042 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3356456 memory=14080 CPUtime=114.15 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 453503 0 0 0 11249 166 0 0 20 0 3 0 77764959 3437010944 761042 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 276.15 s
Current children cumulated vsize: 3356456 KiB
Current children cumulated memory: 3044168 KiB
[startup+222.3 s]
/proc/loadavg: 7.86 7.99 8.03 9/260 96955
/proc/meminfo: memFree=96784148/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3281552 memory=2997936 CPUtime=393.9 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 1145786 0 0 0 39053 337 0 0 20 0 3 0 77760509 3360309248 749484 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 820388 749484 2144 2102 0 793205 0
[pid=96930/tid=96932] ppid=96927 vsize=3281552 memory=2920328 CPUtime=159.1 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 428719 0 0 0 15849 61 0 0 20 0 3 0 77764959 3360309248 749484 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3281552 memory=2976408 CPUtime=172.22 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 581386 0 0 0 16993 229 0 0 20 0 3 0 77764959 3360309248 749484 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 393.9 s
Current children cumulated vsize: 3281552 KiB
Current children cumulated memory: 2997936 KiB
[startup+282.3 s]
/proc/loadavg: 7.95 8.01 8.03 8/258 97002
/proc/meminfo: memFree=112215352/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3316188 memory=3040872 CPUtime=512.89 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 1206387 0 0 0 50896 393 0 0 20 0 3 0 77760509 3395776512 760218 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 829047 760218 2144 2102 0 801864 0
[pid=96930/tid=96932] ppid=96927 vsize=3316188 memory=-8183426990376720068 CPUtime=218.8 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 444982 0 0 0 21816 64 0 0 20 0 3 0 77764959 3395776512 760218 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3316188 memory=3055136 CPUtime=231.48 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 625688 0 0 0 22867 281 0 0 20 0 3 0 77764959 3395776512 760218 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 512.89 s
Current children cumulated vsize: 3316188 KiB
Current children cumulated memory: 3040872 KiB
[startup+342.3 s]
/proc/loadavg: 7.99 8.00 8.03 9/260 97006
/proc/meminfo: memFree=110412548/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3337844 memory=3044096 CPUtime=631.9 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 1351653 0 0 0 62731 459 0 0 20 0 3 0 77760509 3417952256 761024 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 834461 761024 2144 2102 0 807278 0
[pid=96930/tid=96932] ppid=96927 vsize=3337844 memory=3084616 CPUtime=278.51 cores=1,3
################
# More data... #
################
Current children cumulated memory: 3041624 KiB
[startup+1302.3 s]
/proc/loadavg: 8.10 8.09 8.04 9/258 97144
/proc/meminfo: memFree=121098680/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3333912 memory=3032192 CPUtime=2537.19 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2510316 0 0 0 252291 1428 0 0 20 0 3 0 77760509 3413925888 758048 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 833478 758048 2144 2102 0 806748 0
[pid=96930/tid=96932] ppid=96927 vsize=3333912 memory=3011964 CPUtime=1232.54 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1128911 0 0 0 123138 116 0 0 20 0 3 0 77764959 3413925888 758048 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3333912 memory=2996940 CPUtime=1241.72 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1245123 0 0 0 122917 1255 0 0 20 0 3 0 77764959 3413925888 758048 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 2537.19 s
Current children cumulated vsize: 3333912 KiB
Current children cumulated memory: 3032192 KiB
[startup+1362.3 s]
/proc/loadavg: 8.14 8.10 8.04 9/258 97146
/proc/meminfo: memFree=121102996/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3265016 memory=3019520 CPUtime=2656.3 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2560414 0 0 0 264138 1492 0 0 20 0 3 0 77760509 3343376384 754880 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 816254 754880 2144 2102 0 789580 0
[pid=96930/tid=96932] ppid=96927 vsize=3265016 memory=3014048 CPUtime=1292.02 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1169923 0 0 0 129075 127 0 0 20 0 3 0 77764959 3343376384 754880 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3265016 memory=2932560 CPUtime=1301.32 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1254171 0 0 0 128825 1307 0 0 20 0 3 0 77764959 3343376384 754880 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 2656.3 s
Current children cumulated vsize: 3265016 KiB
Current children cumulated memory: 3019520 KiB
[startup+1422.3 s]
/proc/loadavg: 8.11 8.10 8.04 9/258 97150
/proc/meminfo: memFree=120941212/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3312008 memory=3010320 CPUtime=2775.41 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2611702 0 0 0 275956 1585 0 0 20 0 3 0 77760509 3391496192 752580 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 828002 752580 2144 2102 0 801328 0
[pid=96930/tid=96932] ppid=96927 vsize=3312008 memory=14080 CPUtime=1351.35 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1211890 0 0 0 134975 160 0 0 20 0 3 0 77764959 3391496192 752580 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3312008 memory=3056824 CPUtime=1361.07 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1263465 0 0 0 134740 1367 0 0 20 0 3 0 77764959 3391496192 752580 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 2775.41 s
Current children cumulated vsize: 3312008 KiB
Current children cumulated memory: 3010320 KiB
[startup+1482.3 s]
/proc/loadavg: 8.08 8.09 8.04 9/259 97155
/proc/meminfo: memFree=121080736/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3293264 memory=3030492 CPUtime=2894.5 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2679538 0 0 0 287775 1675 0 0 20 0 3 0 77760509 3372302336 757623 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 823316 757623 2144 2102 0 796642 0
[pid=96930/tid=96932] ppid=96927 vsize=3293264 memory=3056824 CPUtime=1410.68 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1269072 0 0 0 140879 189 0 0 20 0 3 0 77764959 3372302336 757623 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3293264 memory=-8183426990376720068 CPUtime=1420.82 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1274087 0 0 0 140654 1428 0 0 20 0 3 0 77764959 3372302336 757623 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 2894.5 s
Current children cumulated vsize: 3293264 KiB
Current children cumulated memory: 3030492 KiB
[startup+1542.3 s]
/proc/loadavg: 8.13 8.10 8.05 9/258 97157
/proc/meminfo: memFree=120891536/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3173244 memory=2927140 CPUtime=3013.61 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2734209 0 0 0 299577 1784 0 0 20 0 3 0 77760509 3249401856 731785 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 793311 731785 2144 2102 0 766637 0
[pid=96930/tid=96932] ppid=96927 vsize=3173244 memory=11264 CPUtime=1470.01 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1313287 0 0 0 146761 240 0 0 20 0 3 0 77764959 3249401856 731785 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3173244 memory=-8183426990376720068 CPUtime=1480.58 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1284511 0 0 0 146572 1486 0 0 20 0 3 0 77764959 3249401856 731785 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 3013.61 s
Current children cumulated vsize: 3173244 KiB
Current children cumulated memory: 2927140 KiB
[startup+1602.3 s]
/proc/loadavg: 8.09 8.09 8.05 9/258 97159
/proc/meminfo: memFree=120980112/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3357164 memory=3079112 CPUtime=3132.71 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2785923 0 0 0 311379 1892 0 0 20 0 3 0 77760509 3437735936 769778 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 839291 769778 2144 2102 0 812617 0
[pid=96930/tid=96932] ppid=96927 vsize=3357164 memory=11264 CPUtime=1529.34 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1354647 0 0 0 152639 295 0 0 20 0 3 0 77764959 3437735936 769778 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3357164 memory=3029200 CPUtime=1540.33 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1294834 0 0 0 152495 1538 0 0 20 0 3 0 77764959 3437735936 769778 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 3132.71 s
Current children cumulated vsize: 3357164 KiB
Current children cumulated memory: 3079112 KiB
[startup+1662.3 s]
/proc/loadavg: 8.19 8.12 8.06 9/258 97161
/proc/meminfo: memFree=120900040/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3352244 memory=3090720 CPUtime=3251.79 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2837760 0 0 0 323149 2030 0 0 20 0 3 0 77760509 3432697856 772680 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 838061 772680 2144 2102 0 811387 0
[pid=96930/tid=96932] ppid=96927 vsize=3352244 memory=11264 CPUtime=1588.65 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1371012 0 0 0 158497 368 0 0 20 0 3 0 77764959 3432697856 772680 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3352244 memory=3021252 CPUtime=1600.08 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1330280 0 0 0 158406 1602 0 0 20 0 3 0 77764959 3432697856 772680 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 3251.79 s
Current children cumulated vsize: 3352244 KiB
Current children cumulated memory: 3090720 KiB
[startup+1722.3 s]
/proc/loadavg: 8.13 8.11 8.06 9/258 97163
/proc/meminfo: memFree=120963908/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3353904 memory=3049356 CPUtime=3370.89 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2868828 0 0 0 334915 2174 0 0 20 0 3 0 77760509 3434397696 762339 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 838476 762339 2144 2102 0 811802 0
[pid=96930/tid=96932] ppid=96927 vsize=3353904 memory=11264 CPUtime=1647.98 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1380850 0 0 0 164349 449 0 0 20 0 3 0 77764959 3434397696 762339 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3353904 memory=3094816 CPUtime=1659.83 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1351483 0 0 0 164318 1665 0 0 20 0 3 0 77764959 3434397696 762339 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 3370.89 s
Current children cumulated vsize: 3353904 KiB
Current children cumulated memory: 3049356 KiB
[startup+1782.3 s]
/proc/loadavg: 8.09 8.11 8.06 9/257 97165
/proc/meminfo: memFree=120935952/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3396564 memory=3043828 CPUtime=3489.97 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2915449 0 0 0 346682 2315 0 0 20 0 3 0 77760509 3478081536 760957 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 849141 760957 2144 2102 0 822467 0
[pid=96930/tid=96932] ppid=96927 vsize=3396564 memory=3017120 CPUtime=1707.3 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1405042 0 0 0 170193 537 0 0 20 0 3 0 77764959 3478081536 760957 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3396564 memory=14080 CPUtime=1719.57 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1373889 0 0 0 170239 1718 0 0 20 0 3 0 77764959 3478081536 760957 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 3489.97 s
Current children cumulated vsize: 3396564 KiB
Current children cumulated memory: 3043828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1837.8 s]
/proc/loadavg: 8.14 8.12 8.07 9/259 97173
/proc/meminfo: memFree=120939928/131382116 swapFree=33009904/33010684
[pid=96930] ppid=96927 vsize=3368316 memory=3101596 CPUtime=3600.14 cores=1,3
/proc/96930/stat : 96930 (cp-sat-runner) S 96927 96930 90031 0 -1 4194304 2944931 0 0 0 357601 2413 0 0 20 0 3 0 77760509 3449155584 775399 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
/proc/96930/statm: 842079 775399 2144 2102 0 815405 0
[pid=96930/tid=96932] ppid=96927 vsize=3368316 memory=2884 CPUtime=1762.18 cores=1,3
/proc/96930/task/96932/stat : 96932 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1413919 0 0 0 175635 583 0 0 20 0 3 0 77764959 3449155584 775399 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
[pid=96930/tid=96933] ppid=96927 vsize=3368316 memory=21648 CPUtime=1774.85 cores=1,3
/proc/96930/task/96933/stat : 96933 (cp-sat-runner) R 96927 96930 90031 0 -1 4194368 1394466 0 0 0 175715 1770 0 0 20 0 3 0 77764959 3449155584 775399 18446744073709551615 4198400 12805993 140721208379520 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 18079744 140721208383766 140721208383971 140721208383971 140721208389575 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 3368316 KiB
Current children cumulated memory: 3101596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1837.85 s]
# the end of solver process 96930 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.02 s, system=24.1855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1837.85
CPU time (s): 3600.21
CPU user time (s): 3576.02
CPU system time (s): 24.1855
CPU usage (%): 195.892
Max. virtual memory (cumulated for all children) (KiB): 3475956
Max. memory (cumulated for all children) (KiB): 3151472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.02
system time used= 24.1855
maximum resident set size= 3153520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2944937
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= 19226
involuntary context switches= 127337
# summary of solver processes directly reported to runsolver:
# pid: 96930
# total CPU time (s): 3600.21
# total CPU user time (s): 3576.02
# total CPU system time (s): 24.1855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98511 second user time and 8.95916 second system time
The end
Begin job on nodeC004 at 2025-07-04 11:20:13 IDJOB=4525710 IDBENCH=143880 IDSOLVER=3378 FILE ID=nodeC004/4525710-1751620813 RUNJOBID= nodeC004-1751612733-90043 SLURM_JOB_ID= 9598915 Free space on /tmp= 431532 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525710-1751620813/watcher-4525710-1751620813 -o /tmp/evaluation-result-4525710-1751620813/solver-4525710-1751620813 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90043 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1686939070 --competition_mode --input HOME/instance-4525710-1751620813.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8 RANDOM SEED=1686939070 nodeC004 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 : 3491.695 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.74 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 : 2494.309 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.74 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 : 3491.867 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.74 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.094 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.74 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 : 3557.228 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.74 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.094 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.74 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 : 3492.036 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.74 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 : 3591.031 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.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 100133632 kB MemAvailable: 101181644 kB Buffers: 2128 kB Cached: 1796184 kB SwapCached: 32 kB Active: 29251956 kB Inactive: 1201204 kB Active(anon): 28662044 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1190468 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22228 kB Writeback: 4 kB AnonPages: 28651768 kB Mapped: 129776 kB Shmem: 17932 kB KReclaimable: 214516 kB Slab: 301308 kB SReclaimable: 214516 kB SUnreclaim: 86792 kB KernelStack: 4144 kB PageTables: 59672 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 30511848 kB VmallocTotal: 34359738367 kB VmallocUsed: 149576 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 19396608 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: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 431608 MiB End job on nodeC004 at 2025-07-04 11:50:51