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 | Wrong Cert. | 3600.11 | 1814.93 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4reduc_wcsp.wbo |
| MD5SUM | fda5da57972dd77ccec8adba64462c64 |
| 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 | 3130 |
| Best CPU time to get the best result obtained on this benchmark | 42.9708 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 816 |
| Total number of constraints | 142008 |
| Number of soft constraints | 141988 |
| Number of constraints which are clauses | 141988 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 44 |
| Top cost | 3230 |
| Min constraint cost | 1 |
| Max constraint cost | 2200 |
| Sum of constraints costs | 35467150 |
| 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 |
4.86/4.62 o 26277 5.25/4.83 o 24426 9.99/7.22 o 23822 11.81/8.28 o 12705 16.38/10.56 o 12659 28.31/16.59 o 11717 28.70/16.71 o 11667 29.69/17.29 o 10644 29.89/17.34 o 9768 31.30/18.06 o 8658 36.26/20.55 o 8640 39.45/22.14 o 8619 40.63/22.70 o 8354 40.63/22.74 o 7811 48.76/26.86 o 7809 51.93/28.42 o 7709 64.43/34.73 o 7708 74.97/40.05 o 6909 77.94/41.54 o 6697 81.51/43.34 o 6621 81.51/43.37 o 6606 90.05/47.68 o 6529 90.24/47.78 o 6507 94.22/49.77 o 6506 95.80/50.55 o 6496 103.54/54.49 o 6385 107.71/56.57 o 5950 107.90/56.61 o 5755 110.28/57.81 o 5720 153.73/79.75 o 5712 155.72/80.77 o 5611 158.31/82.03 o 5588 169.64/87.94 o 5587 339.05/173.28 o 5578 380.95/194.37 o 5568 428.61/218.36 o 5502 444.12/226.13 o 5501 465.56/236.92 o 5452 465.56/236.95 o 5392 556.13/282.59 o 5390 786.35/398.41 o 5281 1380.83/697.74 o 5280 1383.81/699.21 o 5279 1750.66/883.95 o 5108 1754.24/885.78 o 5008 1754.44/885.82 o 4657 1766.55/891.91 o 4572 1766.55/891.96 o 4560 1818.80/918.28 o 4559 1930.00/974.25 o 4557 2001.52/1010.27 o 4454 2071.04/1045.26 o 4445 2071.44/1045.44 o 4422 3600.07/1814.90 s SATISFIABLE 3600.07/1814.90 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.07/1814.90 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.07/1814.90 v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 3600.07/1814.90 v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 3600.07/1814.90 v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 3600.07/1814.90 v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 3600.07/1814.90 v -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 3600.07/1814.90 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 3600.07/1814.90 v -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 3600.07/1814.90 v -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 3600.07/1814.90 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 3600.07/1814.90 v -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 3600.07/1814.90 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 3600.07/1814.90 v -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 3600.07/1814.90 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 3600.07/1814.90 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 3600.07/1814.90 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 3600.07/1814.90 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 3600.07/1814.90 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 3600.07/1814.90 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 3600.07/1814.90 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 3600.07/1814.90 v -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 3600.07/1814.90 v -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 3600.07/1814.90 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 3600.07/1814.90 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 3600.07/1814.90 v -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 3600.07/1814.90 v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 3600.07/1814.90 v -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 3600.07/1814.90 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 3600.07/1814.90 v -x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 3600.07/1814.90 v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 3600.07/1814.90 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 3600.07/1814.90 v -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 3600.07/1814.90 v -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 3600.07/1814.90 v -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 3600.07/1814.90 v -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 3600.07/1814.90 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 3600.07/1814.90 v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 3600.07/1814.90 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 3600.07/1814.90 v -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 3600.07/1814.90 v -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 3600.07/1814.90 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 3600.07/1814.90 v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 3600.07/1814.90 v -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 3600.07/1814.90 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 3600.07/1814.90 v -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 3600.07/1814.90 v -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 3600.07/1814.90 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 3600.07/1814.90 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 3600.07/1814.90 v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 3600.07/1814.90 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 3600.07/1814.90 v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 3600.07/1814.90 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 3600.07/1814.90 v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 3600.07/1814.90 v -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 3600.07/1814.90 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 3600.07/1814.90 v -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 3600.07/1814.90 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 3600.07/1814.90 v -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 3600.07/1814.90 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 3600.07/1814.90 v -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 3600.07/1814.90 v -x810 -x811 -x812 -x813 -x814 -x815 -x816
FAILED ERROR: cost 3235 exceeds topCost = 3230
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: 63665 MiB (58405 MiB free)
memory of node 1: 64507 MiB (62006 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525773-1751624255/watcher-4525773-1751624255 -o /tmp/evaluation-result-4525773-1751624255/solver-4525773-1751624255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89465 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:531285753 --competition_mode --input HOME/instance-4525773-1751624255.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=89514, runsolver pid=89505
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 2.31 3.64 3.94 6/265 89523
/proc/meminfo: memFree=123174980/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=58372 memory=47700 CPUtime=0.09 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) R 89505 89514 89454 0 -1 4194304 10414 0 0 0 8 1 0 0 20 0 1 0 78103262 59772928 11893 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 14593 11925 1088 2102 0 12133 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58372 KiB
Current children cumulated memory: 47700 KiB
[startup+0.204697 s]*
/proc/loadavg: 2.31 3.64 3.94 6/265 89523
/proc/meminfo: memFree=122972544/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=109036 memory=100068 CPUtime=0.2 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) R 89505 89514 89454 0 -1 4194304 25336 0 0 0 17 3 0 0 20 0 1 0 78103262 111652864 25017 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 27259 25017 1344 2102 0 24799 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109036 KiB
Current children cumulated memory: 100068 KiB
[startup+0.305768 s]*
/proc/loadavg: 2.31 3.64 3.94 6/265 89523
/proc/meminfo: memFree=122799356/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=154172 memory=143572 CPUtime=0.3 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) R 89505 89514 89454 0 -1 4194304 34109 0 0 0 26 4 0 0 20 0 1 0 78103262 157872128 35893 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 38543 35893 1408 2102 0 36083 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 154172 KiB
Current children cumulated memory: 143572 KiB
[startup+0.700158 s]
/proc/loadavg: 2.31 3.64 3.94 6/265 89523
/proc/meminfo: memFree=122610288/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=185516 memory=167596 CPUtime=0.69 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) R 89505 89514 89454 0 -1 4194304 35931 0 0 0 64 5 0 0 20 0 1 0 78103262 189968384 41899 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 46379 41899 1504 2102 0 43919 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 185516 KiB
Current children cumulated memory: 167596 KiB
[startup+1.50012 s]
/proc/loadavg: 2.31 3.64 3.94 6/265 89523
/proc/meminfo: memFree=122485228/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=335208 memory=310920 CPUtime=1.48 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) R 89505 89514 89454 0 -1 4194304 56095 0 0 0 139 9 0 0 20 0 1 0 78103262 343252992 77730 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 83802 77730 1888 2102 0 81342 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 335208 KiB
Current children cumulated memory: 310920 KiB
[startup+3.10456 s]
/proc/loadavg: 2.31 3.64 3.94 7/267 89525
/proc/meminfo: memFree=121689288/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=383436 memory=359752 CPUtime=3.08 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) R 89505 89514 89454 0 -1 4194304 66263 0 0 0 296 12 0 0 20 0 1 0 78103262 392638464 89938 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 95859 89938 1888 2102 0 93399 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 383436 KiB
Current children cumulated memory: 359752 KiB
[startup+6.30016 s]
/proc/loadavg: 2.53 3.66 3.95 8/269 89527
/proc/meminfo: memFree=120927528/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1417684 memory=1195880 CPUtime=8.22 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 219947 0 0 0 779 43 0 0 20 0 3 0 78103262 1451708416 298970 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 354421 298970 2144 2102 0 337971 0
[pid=89514/tid=89526] ppid=89505 vsize=1417684 memory=-8183429198056821702 CPUtime=1.84 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 117901 0 0 0 163 21 0 0 20 0 3 0 78103691 1451708416 298970 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1417684 memory=14592 CPUtime=1.95 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 34033 0 0 0 186 9 0 0 20 0 3 0 78103691 1451708416 298970 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 1417684 KiB
Current children cumulated memory: 1195880 KiB
[startup+12.7002 s]
/proc/loadavg: 2.80 3.70 3.96 8/269 89527
/proc/meminfo: memFree=120200992/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1548756 memory=1338788 CPUtime=20.75 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 316841 0 0 0 2018 57 0 0 20 0 3 0 78103262 1585926144 334697 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 387189 334697 2144 2102 0 366114 0
[pid=89514/tid=89526] ppid=89505 vsize=1548756 memory=0 CPUtime=7.33 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 163720 0 0 0 707 26 0 0 20 0 3 0 78103691 1585926144 334697 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1548756 memory=-8183429198056821702 CPUtime=8.1 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 84528 0 0 0 793 17 0 0 20 0 3 0 78103691 1585926144 334697 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 20.75 s
Current children cumulated vsize: 1548756 KiB
Current children cumulated memory: 1338788 KiB
[startup+25.5002 s]
/proc/loadavg: 3.51 3.82 3.99 8/269 89528
/proc/meminfo: memFree=119898376/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1558176 memory=1387396 CPUtime=46.17 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 489611 0 0 0 4534 83 0 0 20 0 3 0 78103262 1595572224 346849 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 389544 346849 2144 2102 0 373345 0
[pid=89514/tid=89526] ppid=89505 vsize=1558176 memory=1242380 CPUtime=19.91 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 251617 0 0 0 1960 31 0 0 20 0 3 0 78103691 1595572224 346849 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1558176 memory=14592 CPUtime=20.69 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 169313 0 0 0 2031 38 0 0 20 0 3 0 78103691 1595572224 346849 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 46.17 s
Current children cumulated vsize: 1558176 KiB
Current children cumulated memory: 1387396 KiB
[startup+51.105 s]
/proc/loadavg: 5.00 4.14 4.09 10/273 89532
/proc/meminfo: memFree=116730256/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1608100 memory=1484008 CPUtime=97 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 595546 0 0 0 9590 110 0 0 20 0 3 0 78103262 1646694400 371002 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 402025 371002 2144 2102 0 394458 0
[pid=89514/tid=89526] ppid=89505 vsize=1608100 memory=1429932 CPUtime=44.75 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 294101 0 0 0 4440 35 0 0 20 0 3 0 78103691 1646694400 371002 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1608100 memory=1513928 CPUtime=46 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 223891 0 0 0 4540 60 0 0 20 0 3 0 78103691 1646694400 371002 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 97 s
Current children cumulated vsize: 1608100 KiB
Current children cumulated memory: 1484008 KiB
[startup+102.3 s]
/proc/loadavg: 6.79 4.76 4.31 10/273 89534
/proc/meminfo: memFree=116262476/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1677000 memory=1566504 CPUtime=198.24 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 763422 0 0 0 19665 159 0 0 20 0 3 0 78103262 1717248000 391626 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 419250 391626 2144 2102 0 408966 0
[pid=89514/tid=89526] ppid=89505 vsize=1677000 memory=14592 CPUtime=95.18 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 355851 0 0 0 9478 40 0 0 20 0 3 0 78103691 1717248000 391626 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1677000 memory=1537372 CPUtime=96.02 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 329940 0 0 0 9499 103 0 0 20 0 3 0 78103691 1717248000 391626 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 198.24 s
Current children cumulated vsize: 1677000 KiB
Current children cumulated memory: 1566504 KiB
[startup+162.3 s]
/proc/loadavg: 7.61 5.36 4.54 10/273 89536
/proc/meminfo: memFree=116390888/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1679612 memory=1542492 CPUtime=317.4 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 867476 0 0 0 31529 211 0 0 20 0 3 0 78103262 1719922688 385623 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 419903 385623 2144 2102 0 409619 0
[pid=89514/tid=89526] ppid=89505 vsize=1679612 memory=14592 CPUtime=154.94 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 370648 0 0 0 15453 41 0 0 20 0 3 0 78103691 1719922688 385623 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1679612 memory=14592 CPUtime=155.42 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 419165 0 0 0 15388 154 0 0 20 0 3 0 78103691 1719922688 385623 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 317.4 s
Current children cumulated vsize: 1679612 KiB
Current children cumulated memory: 1542492 KiB
[startup+222.3 s]
/proc/loadavg: 7.90 5.86 4.77 10/271 89542
/proc/meminfo: memFree=116197052/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1671620 memory=1522212 CPUtime=436.56 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 926211 0 0 0 43397 259 0 0 20 0 3 0 78103262 1711738880 380553 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 417905 380553 2144 2102 0 407621 0
[pid=89514/tid=89526] ppid=89505 vsize=1671620 memory=14592 CPUtime=214.69 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 379184 0 0 0 21427 42 0 0 20 0 3 0 78103691 1711738880 380553 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1671620 memory=1507180 CPUtime=214.82 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 469335 0 0 0 21281 201 0 0 20 0 3 0 78103691 1711738880 380553 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 436.56 s
Current children cumulated vsize: 1671620 KiB
Current children cumulated memory: 1522212 KiB
[startup+282.3 s]
/proc/loadavg: 8.02 6.27 4.98 10/271 89544
/proc/meminfo: memFree=116227932/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1681692 memory=1571196 CPUtime=555.73 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1000109 0 0 0 55263 310 0 0 20 0 3 0 78103262 1722052608 392799 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 420423 392799 2144 2102 0 410139 0
[pid=89514/tid=89526] ppid=89505 vsize=1681692 memory=0 CPUtime=274.43 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 385312 0 0 0 27401 42 0 0 20 0 3 0 78103691 1722052608 392799 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1681692 memory=1540568 CPUtime=274.22 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 537064 0 0 0 27171 251 0 0 20 0 3 0 78103691 1722052608 392799 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
################
# More data... #
################
Current children cumulated memory: 1524716 KiB
[startup+1362.3 s]
/proc/loadavg: 8.11 8.06 7.17 10/272 89595
/proc/meminfo: memFree=115817500/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1685856 memory=1541312 CPUtime=2700.98 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1578845 0 0 0 268936 1162 0 0 20 0 3 0 78103262 1726316544 385328 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 421464 385328 2144 2102 0 412124 0
[pid=89514/tid=89526] ppid=89505 vsize=1685856 memory=1524716 CPUtime=1350.13 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 512473 0 0 0 134960 53 0 0 20 0 3 0 78103691 1726316544 385328 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1685856 memory=1524716 CPUtime=1343.48 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 988372 0 0 0 133266 1082 0 0 20 0 3 0 78103691 1726316544 385328 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 2700.98 s
Current children cumulated vsize: 1685856 KiB
Current children cumulated memory: 1541312 KiB
[startup+1422.3 s]
/proc/loadavg: 8.08 8.06 7.23 10/272 89602
/proc/meminfo: memFree=115815220/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1684068 memory=1586628 CPUtime=2820.16 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1595050 0 0 0 280811 1205 0 0 20 0 3 0 78103262 1724485632 396657 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 421017 396657 2144 2102 0 411677 0
[pid=89514/tid=89526] ppid=89505 vsize=1684068 memory=1524716 CPUtime=1409.9 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 517507 0 0 0 140936 54 0 0 20 0 3 0 78103691 1724485632 396657 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1684068 memory=4760 CPUtime=1402.89 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 999537 0 0 0 139165 1124 0 0 20 0 3 0 78103691 1724485632 396657 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 2820.16 s
Current children cumulated vsize: 1684068 KiB
Current children cumulated memory: 1586628 KiB
[startup+1482.3 s]
/proc/loadavg: 8.13 8.08 7.29 10/273 89605
/proc/meminfo: memFree=115804396/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1660104 memory=1568808 CPUtime=2939.36 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1611920 0 0 0 292686 1250 0 0 20 0 3 0 78103262 1699946496 392202 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 415026 392202 2144 2102 0 405686 0
[pid=89514/tid=89526] ppid=89505 vsize=1660104 memory=1586544 CPUtime=1469.66 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 522432 0 0 0 146912 54 0 0 20 0 3 0 78103691 1699946496 392202 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1660104 memory=1588912 CPUtime=1462.3 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1011477 0 0 0 145063 1167 0 0 20 0 3 0 78103691 1699946496 392202 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 2939.36 s
Current children cumulated vsize: 1660104 KiB
Current children cumulated memory: 1568808 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.08 7.34 10/273 89607
/proc/meminfo: memFree=115851708/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1681164 memory=1539956 CPUtime=3058.54 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1639348 0 0 0 304557 1297 0 0 20 0 3 0 78103262 1721511936 384989 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 420291 384989 2144 2102 0 397637 0
[pid=89514/tid=89526] ppid=89505 vsize=1681164 memory=-8183429198056821702 CPUtime=1529.43 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 538419 0 0 0 152887 56 0 0 20 0 3 0 78103691 1721511936 384989 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1681164 memory=1557580 CPUtime=1521.71 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1022914 0 0 0 150959 1212 0 0 20 0 3 0 78103691 1721511936 384989 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3058.54 s
Current children cumulated vsize: 1681164 KiB
Current children cumulated memory: 1539956 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.09 7.39 10/273 89609
/proc/meminfo: memFree=115758700/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1668864 memory=1584104 CPUtime=3177.73 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1659490 0 0 0 316428 1345 0 0 20 0 3 0 78103262 1708916736 396026 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 417216 396026 2144 2102 0 410007 0
[pid=89514/tid=89526] ppid=89505 vsize=1668864 memory=-8183429198056821702 CPUtime=1589.2 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 544692 0 0 0 158863 57 0 0 20 0 3 0 78103691 1708916736 396026 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1668864 memory=14592 CPUtime=1581.11 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1036779 0 0 0 156853 1258 0 0 20 0 3 0 78103691 1708916736 396026 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3177.73 s
Current children cumulated vsize: 1668864 KiB
Current children cumulated memory: 1584104 KiB
[startup+1662.3 s]
/proc/loadavg: 8.11 8.09 7.44 10/272 89613
/proc/meminfo: memFree=115886672/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1661808 memory=1560896 CPUtime=3296.91 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1681344 0 0 0 328303 1388 0 0 20 0 3 0 78103262 1701691392 390224 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 415452 390224 2144 2102 0 408301 0
[pid=89514/tid=89526] ppid=89505 vsize=1661808 memory=-8183429198056821702 CPUtime=1648.96 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 557683 0 0 0 164838 58 0 0 20 0 3 0 78103691 1701691392 390224 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1661808 memory=14592 CPUtime=1640.52 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1045634 0 0 0 162753 1299 0 0 20 0 3 0 78103691 1701691392 390224 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3296.91 s
Current children cumulated vsize: 1661808 KiB
Current children cumulated memory: 1560896 KiB
[startup+1722.3 s]
/proc/loadavg: 8.08 8.09 7.48 10/271 89615
/proc/meminfo: memFree=115624372/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1681952 memory=1589232 CPUtime=3416.11 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1700301 0 0 0 340178 1433 0 0 20 0 3 0 78103262 1722318848 397308 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 420488 397308 2144 2102 0 413337 0
[pid=89514/tid=89526] ppid=89505 vsize=1681952 memory=-8183429198056821702 CPUtime=1708.73 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 567439 0 0 0 170814 59 0 0 20 0 3 0 78103691 1722318848 397308 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1681952 memory=14592 CPUtime=1699.93 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1054828 0 0 0 168651 1342 0 0 20 0 3 0 78103691 1722318848 397308 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3416.11 s
Current children cumulated vsize: 1681952 KiB
Current children cumulated memory: 1589232 KiB
[startup+1782.3 s]
/proc/loadavg: 8.13 8.10 7.53 10/270 89617
/proc/meminfo: memFree=115670224/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1615628 memory=1537244 CPUtime=3535.31 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1723025 0 0 0 352054 1477 0 0 20 0 3 0 78103262 1654403072 384311 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 403907 384311 2144 2102 0 396756 0
[pid=89514/tid=89526] ppid=89505 vsize=1615628 memory=1560968 CPUtime=1768.5 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 579199 0 0 0 176789 61 0 0 20 0 3 0 78103691 1654403072 384311 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1615628 memory=1537244 CPUtime=1759.34 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1065786 0 0 0 174550 1384 0 0 20 0 3 0 78103691 1654403072 384311 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3535.31 s
Current children cumulated vsize: 1615628 KiB
Current children cumulated memory: 1537244 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.9 s]
/proc/loadavg: 8.14 8.10 7.55 10/270 89619
/proc/meminfo: memFree=115582044/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1655632 memory=1577652 CPUtime=3600.07 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1736285 0 0 0 358504 1503 0 0 20 0 3 0 78103262 1695367168 394413 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 413908 394413 2144 2102 0 406858 0
[pid=89514/tid=89526] ppid=89505 vsize=1655632 memory=1560968 CPUtime=1800.97 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 585925 0 0 0 180034 63 0 0 20 0 3 0 78103691 1695367168 394413 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1655632 memory=1537244 CPUtime=1791.62 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1072314 0 0 0 177754 1408 0 0 20 0 3 0 78103691 1695367168 394413 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1655632 KiB
Current children cumulated memory: 1577652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1814.93 s]
# the end of solver process 89514 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.06 s, system=15.0581 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1814.9 s]
/proc/loadavg: 8.14 8.10 7.55 10/270 89619
/proc/meminfo: memFree=115582044/131249996 swapFree=33003468/33010684
[pid=89514] ppid=89505 vsize=1655632 memory=1577652 CPUtime=3600.07 cores=4,6
/proc/89514/stat : 89514 (cp-sat-runner) S 89505 89514 89454 0 -1 4194304 1736285 0 0 0 358504 1503 0 0 20 0 3 0 78103262 1695367168 394413 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
/proc/89514/statm: 413908 394413 2144 2102 0 406858 0
[pid=89514/tid=89526] ppid=89505 vsize=1655632 memory=1560968 CPUtime=1800.97 cores=4,6
/proc/89514/task/89526/stat : 89526 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 585925 0 0 0 180034 63 0 0 20 0 3 0 78103691 1695367168 394413 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
[pid=89514/tid=89527] ppid=89505 vsize=1655632 memory=1537244 CPUtime=1791.62 cores=4,6
/proc/89514/task/89527/stat : 89527 (cp-sat-runner) R 89505 89514 89454 0 -1 4194368 1072314 0 0 0 177754 1408 0 0 20 0 3 0 78103691 1695367168 394413 18446744073709551615 4198400 12805993 140728493011120 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 14146912 14333620 28864512 140728493017367 140728493017571 140728493017571 140728493023175 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1655632 KiB
Current children cumulated memory: 1577652 KiB
Child status: 0
Real time (s): 1814.93
CPU time (s): 3600.11
CPU user time (s): 3585.06
CPU system time (s): 15.0581
CPU usage (%): 198.361
Max. virtual memory (cumulated for all children) (KiB): 1760416
Max. memory (cumulated for all children) (KiB): 1615404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.06
system time used= 15.0581
maximum resident set size= 1615404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1736290
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= 21456
involuntary context switches= 79141
# summary of solver processes directly reported to runsolver:
# pid: 89514
# total CPU time (s): 3600.11
# total CPU user time (s): 3585.06
# total CPU system time (s): 15.0581
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.54543 second user time and 6.85311 second system time
The end
Begin job on nodeC021 at 2025-07-04 12:17:36 IDJOB=4525773 IDBENCH=143892 IDSOLVER=3378 FILE ID=nodeC021/4525773-1751624255 RUNJOBID= nodeC021-1751624255-89465 SLURM_JOB_ID= 9598947 Free space on /tmp= 430936 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4reduc_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-4525773-1751624255/watcher-4525773-1751624255 -o /tmp/evaluation-result-4525773-1751624255/solver-4525773-1751624255 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751624255-89465 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:531285753 --competition_mode --input HOME/instance-4525773-1751624255.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= fda5da57972dd77ccec8adba64462c64 RANDOM SEED=531285753 nodeC021 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 : 0xb00002a cpu MHz : 3600.256 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.816 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.785 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3601.130 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.601 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.166 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.784 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 123307560 kB MemAvailable: 129699272 kB Buffers: 1056 kB Cached: 7124984 kB SwapCached: 32 kB Active: 537364 kB Inactive: 6662176 kB Active(anon): 46464 kB Inactive(anon): 40812 kB Active(file): 490900 kB Inactive(file): 6621364 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33003468 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 69660 kB Writeback: 0 kB AnonPages: 76920 kB Mapped: 99036 kB Shmem: 13452 kB KReclaimable: 236976 kB Slab: 328472 kB SReclaimable: 236976 kB SUnreclaim: 91496 kB KernelStack: 4040 kB PageTables: 2716 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 348020 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430876 MiB End job on nodeC021 at 2025-07-04 12:47:51