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.11 | 1840.89 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub3_wcsp.wbo |
| MD5SUM | 25adf5b940a77273e2a5bcad45fe6bb3 |
| 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 | 3079 |
| Best CPU time to get the best result obtained on this benchmark | 43.3589 |
| 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 | 319436 |
| Number of soft constraints | 319418 |
| Number of constraints which are clauses | 319418 |
| 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 | 58724 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 41665382 |
| 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 |
49.61/49.11 o 32642 50.39/49.53 o 32630 57.91/53.34 o 32620 70.11/59.56 o 32520 93.98/71.62 o 31653 94.56/71.93 o 30643 100.92/75.10 o 15495 100.92/75.17 o 11032 113.62/81.57 o 10414 113.81/81.68 o 10150 217.76/135.13 o 9622 241.17/146.96 o 9467 241.75/147.26 o 8912 244.73/148.73 o 8911 332.42/192.90 o 8546 332.62/193.03 o 7982 352.23/202.93 o 7892 357.19/205.43 o 7882 378.43/216.15 o 7763 395.47/224.70 o 7673 395.47/224.78 o 7662 401.63/227.87 o 7572 401.83/227.94 o 7561 405.19/229.68 o 7461 405.39/229.75 o 7340 456.36/255.43 o 6885 472.61/263.70 o 6883 495.82/275.31 o 6671 607.96/332.38 o 6661 638.73/347.84 o 6510 643.29/350.16 o 4948 735.56/396.66 o 4849 765.52/411.77 o 4848 800.06/429.14 o 4838 1652.09/858.58 o 4829 1652.29/858.60 o 4828 1938.08/1002.77 o 4823 1999.57/1033.70 o 4822 2124.68/1096.89 o 4812 2204.61/1137.16 o 4704 2205.39/1137.51 o 4703 2592.51/1332.72 o 4702 3600.01/1840.80 s SATISFIABLE 3600.01/1840.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.01/1840.80 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.01/1840.80 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.01/1840.80 v -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.01/1840.80 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.01/1840.80 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.01/1840.80 v x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.01/1840.80 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 3600.01/1840.80 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 3600.01/1840.80 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.01/1840.80 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.01/1840.80 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 3600.01/1840.80 v -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 3600.01/1840.80 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.01/1840.80 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 3600.01/1840.80 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 3600.01/1840.80 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 3600.01/1840.80 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.01/1840.80 v -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.01/1840.80 v -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.01/1840.80 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.01/1840.80 v -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.01/1840.80 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 3600.01/1840.80 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.01/1840.80 v -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 3600.01/1840.80 v -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 3600.01/1840.80 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 3600.01/1840.80 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 3600.01/1840.80 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 3600.01/1840.80 v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.01/1840.80 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.01/1840.80 v -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 3600.01/1840.80 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 3600.01/1840.80 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 3600.01/1840.80 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 3600.01/1840.80 v x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.01/1840.80 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 3600.01/1840.80 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 3600.01/1840.80 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.01/1840.80 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 3600.01/1840.80 v -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 3600.01/1840.80 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 3600.01/1840.80 v -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.01/1840.80 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 3600.01/1840.80 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 3600.01/1840.80 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 3600.01/1840.80 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 3600.01/1840.80 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 3600.01/1840.80 v -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 3600.01/1840.80 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 3600.01/1840.80 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 3600.01/1840.80 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 3600.01/1840.80 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 3600.01/1840.80 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 3600.01/1840.80 v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 3600.01/1840.80 v x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 3600.01/1840.80 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 3600.01/1840.80 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 3600.01/1840.80 v -x771 -x772 -x773 -x774 -x775 -x776
OK 4702
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 (61395 MiB free)
memory of node 1: 64465 MiB (59707 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525728-1751621171/watcher-4525728-1751621171 -o /tmp/evaluation-result-4525728-1751621171/solver-4525728-1751621171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90044 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1007262620 --competition_mode --input HOME/instance-4525728-1751621171.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=97050, runsolver pid=97047
[startup+0.100121 s]*
/proc/loadavg: 7.91 7.99 8.02 8/258 97051
/proc/meminfo: memFree=123990300/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=31988 memory=25372 CPUtime=0.1 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 5870 0 0 0 9 1 0 0 20 0 1 0 77796256 32755712 6343 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 7997 6343 1088 2102 0 5537 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31988 KiB
Current children cumulated memory: 25372 KiB
[startup+0.213655 s]*
/proc/loadavg: 7.91 7.99 8.02 8/258 97051
/proc/meminfo: memFree=123958292/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=53312 memory=46764 CPUtime=0.22 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 10191 0 0 0 20 2 0 0 20 0 1 0 77796256 54591488 11691 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 13328 11691 1088 2102 0 10868 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 53312 KiB
Current children cumulated memory: 46764 KiB
[startup+0.313553 s]*
/proc/loadavg: 7.91 7.99 8.02 8/258 97051
/proc/meminfo: memFree=123926220/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=78668 memory=63932 CPUtime=0.31 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 13964 0 0 0 28 3 0 0 20 0 1 0 77796256 80556032 15951 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 19667 15983 1088 2102 0 17207 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78668 KiB
Current children cumulated memory: 63932 KiB
[startup+0.700357 s]
/proc/loadavg: 7.91 7.99 8.02 8/258 97051
/proc/meminfo: memFree=123793036/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=225908 memory=216800 CPUtime=0.69 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 52790 0 0 0 58 11 0 0 20 0 1 0 77796256 231329792 54200 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 56477 54200 1344 2102 0 54017 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 225908 KiB
Current children cumulated memory: 216800 KiB
[startup+1.50031 s]
/proc/loadavg: 7.91 7.99 8.02 8/258 97051
/proc/meminfo: memFree=123670152/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=337600 memory=322588 CPUtime=1.49 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 73490 0 0 0 134 15 0 0 20 0 1 0 77796256 345702400 80647 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 84400 80647 1472 2102 0 81940 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 337600 KiB
Current children cumulated memory: 322588 KiB
[startup+3.11336 s]
/proc/loadavg: 7.91 7.99 8.02 8/258 97051
/proc/meminfo: memFree=123567620/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=515004 memory=483576 CPUtime=3.09 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 96855 0 0 0 288 21 0 0 20 0 1 0 77796256 527364096 120894 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 128751 120894 1600 2102 0 126291 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 515004 KiB
Current children cumulated memory: 483576 KiB
[startup+6.3003 s]
/proc/loadavg: 7.84 7.97 8.01 8/258 97052
/proc/meminfo: memFree=123531780/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=542168 memory=508920 CPUtime=6.27 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 103271 0 0 0 604 23 0 0 20 0 1 0 77796256 555180032 127230 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 135542 127230 1600 2102 0 133082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 542168 KiB
Current children cumulated memory: 508920 KiB
[startup+12.7004 s]
/proc/loadavg: 7.77 7.95 8.01 8/258 97052
/proc/meminfo: memFree=123522676/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=547200 memory=514168 CPUtime=12.65 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 104616 0 0 0 1241 24 0 0 20 0 1 0 77796256 560332800 128542 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 136800 128542 1600 2102 0 134340 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 547200 KiB
Current children cumulated memory: 514168 KiB
[startup+25.5004 s]
/proc/loadavg: 7.89 7.97 8.01 8/258 97052
/proc/meminfo: memFree=123513912/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=577400 memory=564368 CPUtime=25.41 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) R 97047 97050 90031 0 -1 4194304 113234 0 0 0 2512 29 0 0 20 0 1 0 77796256 591257600 141092 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 144350 141092 1888 2102 0 141890 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 577400 KiB
Current children cumulated memory: 564368 KiB
[startup+51.1057 s]
/proc/loadavg: 7.71 7.92 7.99 9/260 97054
/proc/meminfo: memFree=121943480/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=2724468 memory=2100208 CPUtime=53.56 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 278862 0 0 0 5267 89 0 0 20 0 3 0 77796256 2789855232 525052 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 681117 525052 2176 2102 0 645469 0
[pid=97050/tid=97053] ppid=97047 vsize=2724468 memory=754484 CPUtime=2.62 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 67335 0 0 0 237 25 0 0 20 0 3 0 77801098 2789855232 525052 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=2724468 memory=1474760 CPUtime=2.64 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 51937 0 0 0 248 16 0 0 20 0 3 0 77801098 2789855232 525052 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 53.56 s
Current children cumulated vsize: 2724468 KiB
Current children cumulated memory: 2100208 KiB
[startup+102.3 s]
/proc/loadavg: 7.95 7.95 8.00 9/259 97056
/proc/meminfo: memFree=121521268/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=2799000 memory=2506692 CPUtime=154.9 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 684364 0 0 0 15296 194 0 0 20 0 3 0 77796256 2866176000 626673 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 699750 626673 2176 2102 0 667026 0
[pid=97050/tid=97053] ppid=97047 vsize=2799000 memory=2634420 CPUtime=48.16 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 234264 0 0 0 4769 47 0 0 20 0 3 0 77801098 2866176000 626673 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=2799000 memory=14080 CPUtime=53.29 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 290359 0 0 0 5230 99 0 0 20 0 3 0 77801098 2866176000 626673 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 154.9 s
Current children cumulated vsize: 2799000 KiB
Current children cumulated memory: 2506692 KiB
[startup+162.3 s]
/proc/loadavg: 7.94 7.95 8.00 9/258 97058
/proc/meminfo: memFree=120955892/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3267064 memory=3011308 CPUtime=271.73 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 933231 0 0 0 26883 290 0 0 20 0 3 0 77796256 3345473536 752827 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 816766 752827 2176 2102 0 794214 0
[pid=97050/tid=97053] ppid=97047 vsize=3267064 memory=2958756 CPUtime=102.99 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 351677 0 0 0 10237 62 0 0 20 0 3 0 77801098 3345473536 752827 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3267064 memory=2980588 CPUtime=110.6 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 421732 0 0 0 10881 179 0 0 20 0 3 0 77801098 3345473536 752827 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 271.73 s
Current children cumulated vsize: 3267064 KiB
Current children cumulated memory: 3011308 KiB
[startup+222.3 s]
/proc/loadavg: 7.94 7.96 8.00 9/258 97107
/proc/meminfo: memFree=121165108/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3278488 memory=2992952 CPUtime=390.71 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 1084388 0 0 0 38702 369 0 0 20 0 3 0 77796256 3357171712 748238 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 819622 748238 2176 2102 0 797223 0
[pid=97050/tid=97053] ppid=97047 vsize=3278488 memory=18560 CPUtime=162.25 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 369758 0 0 0 16161 64 0 0 20 0 3 0 77801098 3357171712 748238 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3278488 memory=11264 CPUtime=170.31 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 554734 0 0 0 16775 256 0 0 20 0 3 0 77801098 3357171712 748238 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 390.71 s
Current children cumulated vsize: 3278488 KiB
Current children cumulated memory: 2992952 KiB
[startup+282.3 s]
/proc/loadavg: 8.01 7.98 8.00 9/258 97114
/proc/meminfo: memFree=121170156/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3319140 memory=2980376 CPUtime=509.71 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 1219192 0 0 0 50519 452 0 0 20 0 3 0 77796256 3398799360 745094 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 829785 745094 2176 2102 0 806884 0
[pid=97050/tid=97053] ppid=97047 vsize=3319140 memory=2977696 CPUtime=221.53 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 385820 0 0 0 22086 67 0 0 20 0 3 0 77801098 3398799360 745094 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3319140 memory=2932228 CPUtime=230.02 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 673420 0 0 0 22666 336 0 0 20 0 3 0 77801098 3398799360 745094 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 509.71 s
Current children cumulated vsize: 3319140 KiB
Current children cumulated memory: 2980376 KiB
[startup+342.3 s]
/proc/loadavg: 8.18 8.03 8.01 9/258 97116
/proc/meminfo: memFree=121197128/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3323272 memory=2987848 CPUtime=627.81 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 1380512 0 0 0 62237 544 0 0 20 0 3 0 77796256 3403030528 746962 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 830818 746962 2176 2102 0 799013 0
[pid=97050/tid=97053] ppid=97047 vsize=3323272 memory=2932228 CPUtime=278.07 cores=5,7
################
# More data... #
################
Current children cumulated memory: 2913364 KiB
[startup+1302.3 s]
/proc/loadavg: 8.12 8.11 8.06 9/258 97161
/proc/meminfo: memFree=120883448/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3339512 memory=3058660 CPUtime=2532.24 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 2991939 0 0 0 251520 1704 0 0 20 0 3 0 77796256 3419660288 764665 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 834878 764665 2176 2102 0 803060 0
[pid=97050/tid=97053] ppid=97047 vsize=3339512 memory=2954532 CPUtime=1233.72 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1480377 0 0 0 123217 155 0 0 20 0 3 0 77801098 3419660288 764665 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3339512 memory=2947192 CPUtime=1236.99 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1351224 0 0 0 122210 1489 0 0 20 0 3 0 77801098 3419660288 764665 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 2532.24 s
Current children cumulated vsize: 3339512 KiB
Current children cumulated memory: 3058660 KiB
[startup+1362.3 s]
/proc/loadavg: 8.14 8.12 8.06 9/258 97163
/proc/meminfo: memFree=120952224/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3324564 memory=3045760 CPUtime=2651.21 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3076069 0 0 0 263352 1769 0 0 20 0 3 0 77796256 3404353536 761440 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 831141 761440 2176 2102 0 799323 0
[pid=97050/tid=97053] ppid=97047 vsize=3324564 memory=14080 CPUtime=1293.41 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1552497 0 0 0 129181 160 0 0 20 0 3 0 77801098 3404353536 761440 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3324564 memory=2913412 CPUtime=1296.25 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1363216 0 0 0 128077 1548 0 0 20 0 3 0 77801098 3404353536 761440 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 2651.21 s
Current children cumulated vsize: 3324564 KiB
Current children cumulated memory: 3045760 KiB
[startup+1422.3 s]
/proc/loadavg: 8.10 8.11 8.06 9/257 97165
/proc/meminfo: memFree=120861720/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3345152 memory=3058200 CPUtime=2770.2 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3174120 0 0 0 275184 1836 0 0 20 0 3 0 77796256 3425435648 764550 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 836288 764550 2176 2102 0 804481 0
[pid=97050/tid=97053] ppid=97047 vsize=3345152 memory=3066044 CPUtime=1353.11 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1634439 0 0 0 135144 167 0 0 20 0 3 0 77801098 3425435648 764550 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3345152 memory=14080 CPUtime=1355.53 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1379316 0 0 0 133946 1607 0 0 20 0 3 0 77801098 3425435648 764550 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 2770.2 s
Current children cumulated vsize: 3345152 KiB
Current children cumulated memory: 3058200 KiB
[startup+1482.3 s]
/proc/loadavg: 8.14 8.12 8.07 8/256 97187
/proc/meminfo: memFree=123965276/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3328912 memory=3050160 CPUtime=2889.19 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3264931 0 0 0 287018 1901 0 0 20 0 3 0 77796256 3408805888 762540 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 832228 762540 2176 2102 0 800421 0
[pid=97050/tid=97053] ppid=97047 vsize=3328912 memory=3066044 CPUtime=1412.82 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1716920 0 0 0 141109 173 0 0 20 0 3 0 77801098 3408805888 762540 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3328912 memory=2955884 CPUtime=1414.78 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1387633 0 0 0 139812 1666 0 0 20 0 3 0 77801098 3408805888 762540 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 2889.19 s
Current children cumulated vsize: 3328912 KiB
Current children cumulated memory: 3050160 KiB
[startup+1542.3 s]
/proc/loadavg: 6.87 7.76 7.95 7/251 97205
/proc/meminfo: memFree=123959368/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3354232 memory=3075480 CPUtime=3008.35 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3342039 0 0 0 298866 1969 0 0 20 0 3 0 77796256 3434733568 768870 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 838558 768870 2176 2102 0 806751 0
[pid=97050/tid=97053] ppid=97047 vsize=3354232 memory=3040472 CPUtime=1472.64 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1785659 0 0 0 147085 179 0 0 20 0 3 0 77801098 3434733568 768870 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3354232 memory=3042712 CPUtime=1474.11 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1395990 0 0 0 145682 1729 0 0 20 0 3 0 77801098 3434733568 768870 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 3008.35 s
Current children cumulated vsize: 3354232 KiB
Current children cumulated memory: 3075480 KiB
[startup+1602.3 s]
/proc/loadavg: 6.44 7.47 7.83 7/251 97207
/proc/meminfo: memFree=124053028/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3284756 memory=2991668 CPUtime=3127.51 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3413191 0 0 0 310715 2036 0 0 20 0 3 0 77796256 3363590144 747917 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 821189 747917 2176 2102 0 789382 0
[pid=97050/tid=97053] ppid=97047 vsize=3284756 memory=3040472 CPUtime=1532.46 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1847082 0 0 0 153062 184 0 0 20 0 3 0 77801098 3363590144 747917 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3284756 memory=14080 CPUtime=1533.44 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1405705 0 0 0 151554 1790 0 0 20 0 3 0 77801098 3363590144 747917 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 3127.51 s
Current children cumulated vsize: 3284756 KiB
Current children cumulated memory: 2991668 KiB
[startup+1662.3 s]
/proc/loadavg: 6.22 7.21 7.72 7/251 97208
/proc/meminfo: memFree=124171280/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3192216 memory=2913464 CPUtime=3246.67 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3527596 0 0 0 322558 2109 0 0 20 0 3 0 77796256 3268829184 728366 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 798054 728366 2176 2102 0 766247 0
[pid=97050/tid=97053] ppid=97047 vsize=3192216 memory=3040472 CPUtime=1592.27 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1952958 0 0 0 159036 191 0 0 20 0 3 0 77801098 3268829184 728366 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3192216 memory=18560 CPUtime=1592.75 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1414225 0 0 0 157420 1855 0 0 20 0 3 0 77801098 3268829184 728366 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 3246.67 s
Current children cumulated vsize: 3192216 KiB
Current children cumulated memory: 2913464 KiB
[startup+1722.3 s]
/proc/loadavg: 6.13 7.01 7.61 7/251 97212
/proc/meminfo: memFree=124179500/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3192216 memory=2913464 CPUtime=3365.82 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3624219 0 0 0 334400 2182 0 0 20 0 3 0 77796256 3268829184 728366 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 798054 728366 2176 2102 0 766247 0
[pid=97050/tid=97053] ppid=97047 vsize=3192216 memory=3040472 CPUtime=1652.09 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 2040847 0 0 0 165011 198 0 0 20 0 3 0 77801098 3268829184 728366 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3192216 memory=-8183426981937714882 CPUtime=1652.08 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1422944 0 0 0 163287 1921 0 0 20 0 3 0 77801098 3268829184 728366 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 3365.82 s
Current children cumulated vsize: 3192216 KiB
Current children cumulated memory: 2913464 KiB
[startup+1782.3 s]
/proc/loadavg: 5.25 6.62 7.44 5/242 97245
/proc/meminfo: memFree=124824180/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3470168 memory=3147536 CPUtime=3483.79 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3826555 0 0 0 346110 2269 0 0 20 0 3 0 77796256 3553452032 786884 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 867542 786884 2176 2102 0 835997 0
[pid=97050/tid=97053] ppid=97047 vsize=3470168 memory=3111248 CPUtime=1708.35 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 2213417 0 0 0 170621 214 0 0 20 0 3 0 77801098 3553452032 786884 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3470168 memory=11264 CPUtime=1710.83 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1450925 0 0 0 169093 1990 0 0 20 0 3 0 77801098 3553452032 786884 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 3483.79 s
Current children cumulated vsize: 3470168 KiB
Current children cumulated memory: 3147536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1840.8 s]
/proc/loadavg: 4.46 6.14 7.22 5/242 97247
/proc/meminfo: memFree=124816560/131382116 swapFree=33009904/33010684
[pid=97050] ppid=97047 vsize=3550424 memory=3262608 CPUtime=3600.01 cores=5,7
/proc/97050/stat : 97050 (cp-sat-runner) S 97047 97050 90031 0 -1 4194304 3878313 0 0 0 357666 2335 0 0 20 0 3 0 77796256 3635634176 815652 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
/proc/97050/statm: 887606 815652 2176 2102 0 856061 0
[pid=97050/tid=97053] ppid=97047 vsize=3550424 memory=21648 CPUtime=1766.26 cores=5,7
/proc/97050/task/97053/stat : 97053 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 2237116 0 0 0 176409 217 0 0 20 0 3 0 77801098 3635634176 815652 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
[pid=97050/tid=97054] ppid=97047 vsize=3550424 memory=-8183426981937714882 CPUtime=1769.14 cores=5,7
/proc/97050/task/97054/stat : 97054 (cp-sat-runner) R 97047 97050 90031 0 -1 4194368 1478974 0 0 0 174861 2053 0 0 20 0 3 0 77801098 3635634176 815652 18446744073709551615 4198400 12805993 140733221881248 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 24965120 140733221890326 140733221890531 140733221890531 140733221896135 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3550424 KiB
Current children cumulated memory: 3262608 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1840.89 s]
# the end of solver process 97050 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.68 s, system=23.4329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1840.89
CPU time (s): 3600.11
CPU user time (s): 3576.68
CPU system time (s): 23.4329
CPU usage (%): 195.564
Max. virtual memory (cumulated for all children) (KiB): 3591012
Max. memory (cumulated for all children) (KiB): 3293960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.68
system time used= 23.4329
maximum resident set size= 3296264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3878316
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= 18953
involuntary context switches= 111876
# summary of solver processes directly reported to runsolver:
# pid: 97050
# total CPU time (s): 3600.11
# total CPU user time (s): 3576.68
# total CPU system time (s): 23.4329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64778 second user time and 9.12441 second system time
The end
Begin job on nodeC004 at 2025-07-04 11:26:11 IDJOB=4525728 IDBENCH=143882 IDSOLVER=3378 FILE ID=nodeC004/4525728-1751621171 RUNJOBID= nodeC004-1751612733-90044 SLURM_JOB_ID= 9598915 Free space on /tmp= 431620 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-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-4525728-1751621171/watcher-4525728-1751621171 -o /tmp/evaluation-result-4525728-1751621171/solver-4525728-1751621171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90044 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1007262620 --competition_mode --input HOME/instance-4525728-1751621171.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 25adf5b940a77273e2a5bcad45fe6bb3 RANDOM SEED=1007262620 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.872 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 : 3591.559 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 : 3591.641 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 : 3591.664 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 : 3591.635 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 : 2195.410 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.034 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 : 1197.210 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: 124017960 kB MemAvailable: 124977224 kB Buffers: 2128 kB Cached: 1707416 kB SwapCached: 32 kB Active: 5504748 kB Inactive: 1112436 kB Active(anon): 4914836 kB Inactive(anon): 10736 kB Active(file): 589912 kB Inactive(file): 1101700 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21632 kB Writeback: 4 kB AnonPages: 4906824 kB Mapped: 129928 kB Shmem: 17932 kB KReclaimable: 214556 kB Slab: 301380 kB SReclaimable: 214556 kB SUnreclaim: 86824 kB KernelStack: 4160 kB PageTables: 12636 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 5549740 kB VmallocTotal: 34359738367 kB VmallocUsed: 149560 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 1923072 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= 431644 MiB End job on nodeC004 at 2025-07-04 11:56:52