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.2 | OPTIMUM | 45.2799 | 23.9753 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02ac_wcsp.wbo |
| MD5SUM | 022d1494f6130b0a4572cc40f0203308 |
| 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 | 1559 |
| Best CPU time to get the best result obtained on this benchmark | 1.69148 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1030 |
| Total number of constraints | 43694 |
| Number of soft constraints | 43512 |
| Number of constraints which are clauses | 43512 |
| Number of constraints which are cardinality constraints (but not clauses) | 182 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 156112 |
| Min constraint cost | 1 |
| Max constraint cost | 156112 |
| Sum of constraints costs | 6685649767 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 10 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
4.45/3.40 o 2159 5.43/3.96 o 1659 8.21/5.33 o 1559 45.17/23.95 s OPTIMUM FOUND 45.17/23.95 v x1 -x2 x3 -x4 -x5 x6 -x7 -x8 x9 -x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 45.17/23.95 v x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 45.17/23.95 v x35 -x36 x37 -x38 -x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 45.17/23.95 v -x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 45.17/23.95 v -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 45.17/23.95 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 45.17/23.95 v x99 -x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 45.17/23.95 v x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 45.17/23.95 v -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 45.17/23.95 v -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 45.17/23.95 v -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 45.17/23.95 v -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 45.17/23.95 v -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 45.17/23.95 v -x192 -x193 x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 -x203 -x204 45.17/23.95 v -x205 x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 45.17/23.95 v x218 -x219 x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 x229 -x230 -x231 45.17/23.95 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 45.17/23.95 v -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 -x257 45.17/23.95 v -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 45.17/23.95 v -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 45.17/23.95 v -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 45.17/23.95 v -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 x309 45.17/23.95 v -x310 -x311 -x312 -x313 x314 -x315 -x316 x317 -x318 -x319 x320 -x321 -x322 45.17/23.95 v -x323 -x324 x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 x334 -x335 x336 45.17/23.95 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 45.17/23.95 v -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 45.17/23.95 v -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 45.17/23.95 v -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 45.17/23.95 v -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 45.17/23.95 v -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 x412 -x413 -x414 45.17/23.95 v -x415 x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 x427 -x428 45.17/23.95 v -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 x437 -x438 -x439 -x440 x441 -x442 45.17/23.95 v x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 45.17/23.95 v -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 45.17/23.95 v -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 45.17/23.95 v -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 45.17/23.95 v -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 45.17/23.95 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 x519 -x520 45.17/23.95 v -x521 -x522 x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 45.17/23.95 v x534 -x535 -x536 -x537 -x538 x539 -x540 x541 -x542 -x543 x544 -x545 -x546 -x547 45.17/23.95 v x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 45.17/23.95 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 45.17/23.95 v -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 45.17/23.95 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 45.17/23.95 v -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 45.17/23.95 v -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 45.17/23.95 v x626 -x627 -x628 -x629 x630 -x631 -x632 x633 -x634 -x635 -x636 x637 -x638 -x639 45.17/23.95 v -x640 x641 -x642 -x643 -x644 -x645 x646 -x647 x648 -x649 -x650 x651 -x652 -x653 45.17/23.95 v -x654 x655 -x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 45.17/23.95 v -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 45.17/23.95 v -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 45.17/23.95 v x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 45.17/23.95 v -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 45.17/23.95 v -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 45.17/23.95 v -x732 x733 -x734 -x735 x736 -x737 x738 -x739 -x740 x741 -x742 -x743 x744 -x745 45.17/23.95 v -x746 -x747 x748 -x749 x750 -x751 -x752 x753 -x754 -x755 -x756 x757 -x758 x759 45.17/23.95 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 45.17/23.95 v -x773 -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 45.17/23.95 v x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 45.17/23.95 v -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 45.17/23.95 v -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 45.17/23.95 v -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 x836 -x837 45.17/23.95 v x838 -x839 -x840 x841 -x842 -x843 -x844 x845 -x846 x847 -x848 -x849 -x850 -x851 45.17/23.95 v -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 45.17/23.95 v x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 45.17/23.95 v -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 -x890 45.17/23.95 v -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 45.17/23.95 v -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 45.17/23.95 v -x917 -x918 x919 -x920 -x921 -x922 -x923 x924 x925 -x926 x927 -x928 -x929 -x930 45.17/23.95 v x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 45.17/23.95 v -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 45.17/23.95 v -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 x969 45.17/23.95 v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 45.17/23.95 v -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 45.17/23.95 v x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 45.17/23.95 v -x1008 x1009 -x1010 -x1011 x1012 x1013 -x1014 x1015 -x1016 x1017 -x1018 x1019 45.17/23.95 v -x1020 x1021 -x1022 x1023 -x1024 -x1025 x1026 x1027 -x1028 x1029 -x1030
OK 1559
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 (62450 MiB free)
memory of node 1: 64465 MiB (63531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529556-1752571900/watcher-4529556-1752571900 -o /tmp/evaluation-result-4529556-1752571900/solver-4529556-1752571900 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752571843-128467 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529556-1752571900.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=128801, runsolver pid=128793
[startup+0.100072 s]*
/proc/loadavg: 3.81 1.15 0.45 5/253 128805
/proc/meminfo: memFree=128982504/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=29768 memory=22608 CPUtime=0.1 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) R 128793 128801 128446 0 -1 4194304 5440 0 0 0 9 1 0 0 20 0 1 0 172869577 30482432 5620 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 7442 5620 1088 2102 0 4982 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29768 KiB
Current children cumulated memory: 22608 KiB
[startup+0.214895 s]*
/proc/loadavg: 3.81 1.15 0.45 6/255 128810
/proc/meminfo: memFree=128951808/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=49880 memory=43092 CPUtime=0.21 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) R 128793 128801 128446 0 -1 4194304 10796 0 0 0 18 3 0 0 20 0 1 0 172869577 51077120 10773 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 12470 10773 1408 2102 0 10010 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49880 KiB
Current children cumulated memory: 43092 KiB
[startup+0.313854 s]*
/proc/loadavg: 3.81 1.15 0.45 8/255 128810
/proc/meminfo: memFree=128925348/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=54204 memory=47444 CPUtime=0.31 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) R 128793 128801 128446 0 -1 4194304 11880 0 0 0 28 3 0 0 20 0 1 0 172869577 55504896 11861 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 13551 11861 1408 2102 0 11091 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 54204 KiB
Current children cumulated memory: 47444 KiB
[startup+0.700335 s]
/proc/loadavg: 3.81 1.15 0.45 6/255 128810
/proc/meminfo: memFree=128909224/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=72164 memory=58360 CPUtime=0.68 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) R 128793 128801 128446 0 -1 4194304 15447 0 0 0 64 4 0 0 20 0 1 0 172869577 73895936 14590 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 18041 14590 1536 2102 0 15581 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72164 KiB
Current children cumulated memory: 58360 KiB
[startup+1.50033 s]
/proc/loadavg: 3.81 1.15 0.45 7/257 128812
/proc/meminfo: memFree=128794060/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=94468 memory=88720 CPUtime=1.47 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) R 128793 128801 128446 0 -1 4194304 26921 0 0 0 139 8 0 0 20 0 1 0 172869577 96735232 22180 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 23617 22180 1888 2102 0 21157 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94468 KiB
Current children cumulated memory: 88720 KiB
[startup+3.10931 s]
/proc/loadavg: 3.81 1.15 0.45 5/251 128824
/proc/meminfo: memFree=128630488/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=424236 memory=312548 CPUtime=3.87 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 79002 0 0 0 364 23 0 0 20 0 3 0 172869577 434417664 78137 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 106059 78137 2176 2102 0 83673 0
[pid=128801/tid=128823] ppid=128793 vsize=424236 memory=0 CPUtime=0.78 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 25808 0 0 0 70 8 0 0 20 0 3 0 172869808 434417664 78137 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=424236 memory=219828 CPUtime=0.79 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 19663 0 0 0 75 4 0 0 20 0 3 0 172869808 434417664 78137 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 3.87 s
Current children cumulated vsize: 424236 KiB
Current children cumulated memory: 312548 KiB
[startup+6.30022 s]
/proc/loadavg: 3.99 1.23 0.48 5/249 128832
/proc/meminfo: memFree=128556548/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=362028 CPUtime=10.19 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 142111 0 0 0 985 34 0 0 20 0 3 0 172869577 497242112 90507 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 90507 2176 2102 0 97007 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=0 CPUtime=3.93 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 56891 0 0 0 381 12 0 0 20 0 3 0 172869808 497242112 90507 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=88720 CPUtime=3.95 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 50761 0 0 0 384 11 0 0 20 0 3 0 172869808 497242112 90507 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 10.19 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 362028 KiB
[startup+12.7002 s]
/proc/loadavg: 3.99 1.28 0.50 5/245 128878
/proc/meminfo: memFree=128604372/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=373892 CPUtime=22.89 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 179088 0 0 0 2248 41 0 0 20 0 3 0 172869577 497242112 93473 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 93473 2176 2102 0 99994 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=88720 CPUtime=10.24 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 72979 0 0 0 1010 14 0 0 20 0 3 0 172869808 497242112 93473 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=20864 CPUtime=10.28 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 69695 0 0 0 1013 15 0 0 20 0 3 0 172869808 497242112 93473 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 22.89 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 373892 KiB
[startup+23.9753 s]
# the end of solver process 128801 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=44.8164 s, system=0.463555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 3.99 1.28 0.50 5/245 128878
/proc/meminfo: memFree=128604372/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=373892 CPUtime=23.09 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 179089 0 0 0 2268 41 0 0 20 0 3 0 172869577 497242112 93473 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 93473 2176 2102 0 99994 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=-6735264924781940068 CPUtime=10.34 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 72980 0 0 0 1020 14 0 0 20 0 3 0 172869808 497242112 93473 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=132 CPUtime=10.38 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 69695 0 0 0 1023 15 0 0 20 0 3 0 172869808 497242112 93473 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 23.09 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 373892 KiB
[startup+19.2002 s]
/proc/loadavg: 3.99 1.32 0.52 5/245 128879
/proc/meminfo: memFree=128604196/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=378884 CPUtime=35.82 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 190548 0 0 0 3539 43 0 0 20 0 3 0 172869577 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 94721 2176 2102 0 101421 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=369156 CPUtime=16.68 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 83463 0 0 0 1653 15 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=378884 CPUtime=16.76 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 70668 0 0 0 1661 15 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 35.82 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 378884 KiB
[startup+22.4002 s]
/proc/loadavg: 3.99 1.37 0.54 5/245 128879
/proc/meminfo: memFree=128604204/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=378884 CPUtime=42.18 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 210368 0 0 0 4174 44 0 0 20 0 3 0 172869577 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 94721 2176 2102 0 101421 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=-6735264924781940068 CPUtime=19.86 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 86753 0 0 0 1970 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=14848 CPUtime=19.95 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 87167 0 0 0 1979 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 42.18 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 378884 KiB
[startup+23.2002 s]
/proc/loadavg: 3.99 1.37 0.54 5/245 128879
/proc/meminfo: memFree=128604204/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=378884 CPUtime=43.77 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 210695 0 0 0 4333 44 0 0 20 0 3 0 172869577 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 94721 2176 2102 0 101421 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=14848 CPUtime=20.65 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 86814 0 0 0 2049 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=11136 CPUtime=20.75 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 87433 0 0 0 2059 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 43.77 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 378884 KiB
[startup+23.6002 s]
/proc/loadavg: 3.99 1.37 0.54 5/245 128879
/proc/meminfo: memFree=128604204/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=378884 CPUtime=44.57 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 210717 0 0 0 4413 44 0 0 20 0 3 0 172869577 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 94721 2176 2102 0 101421 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=-6735264924781940068 CPUtime=21.05 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 86836 0 0 0 2089 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=3200 CPUtime=21.15 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 87433 0 0 0 2099 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 44.57 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 378884 KiB
[startup+23.8002 s]
/proc/loadavg: 3.99 1.37 0.54 5/245 128879
/proc/meminfo: memFree=128604204/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=378884 CPUtime=44.97 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 210718 0 0 0 4453 44 0 0 20 0 3 0 172869577 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 94721 2176 2102 0 101421 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=2760 CPUtime=21.25 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 86837 0 0 0 2109 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=19456 CPUtime=21.35 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 87433 0 0 0 2119 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 44.97 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 378884 KiB
[startup+23.9002 s]
/proc/loadavg: 3.99 1.37 0.54 5/245 128879
/proc/meminfo: memFree=128604204/131382112 swapFree=33002444/33010684
[pid=128801] ppid=128793 vsize=485588 memory=378884 CPUtime=45.17 cores=5,7
/proc/128801/stat : 128801 (cp_sat_runner) S 128793 128801 128446 0 -1 4194304 210718 0 0 0 4473 44 0 0 20 0 3 0 172869577 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
/proc/128801/statm: 121397 94721 2176 2102 0 101421 0
[pid=128801/tid=128823] ppid=128793 vsize=485588 memory=88720 CPUtime=21.35 cores=5,7
/proc/128801/task/128823/stat : 128823 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 86837 0 0 0 2119 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
[pid=128801/tid=128824] ppid=128793 vsize=485588 memory=378884 CPUtime=21.45 cores=5,7
/proc/128801/task/128824/stat : 128824 (cp_sat_runner) R 128793 128801 128446 0 -1 4194368 87433 0 0 0 2129 16 0 0 20 0 3 0 172869808 497242112 94721 18446744073709551615 4198400 12806697 140736670709536 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146848 14333620 26279936 140736670714133 140736670714337 140736670714337 140736670719943 0
Current children cumulated CPU time: 45.17 s
Current children cumulated vsize: 485588 KiB
Current children cumulated memory: 378884 KiB
Child status: 10
Real time (s): 23.9753
CPU time (s): 45.2799
CPU user time (s): 44.8164
CPU system time (s): 0.463555
CPU usage (%): 188.86
Max. virtual memory (cumulated for all children) (KiB): 503568
Max. memory (cumulated for all children) (KiB): 385072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8164
system time used= 0.463555
maximum resident set size= 385168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225074
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= 415
involuntary context switches= 646
# summary of solver processes directly reported to runsolver:
# pid: 128801
# total CPU time (s): 45.2799
# total CPU user time (s): 44.8164
# total CPU system time (s): 0.463555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.088721 second user time and 0.176223 second system time
The end
Begin job on nodeC005 at 2025-07-15 11:31:41 IDJOB=4529556 IDBENCH=144148 IDSOLVER=3387 FILE ID=nodeC005/4529556-1752571900 RUNJOBID= nodeC005-1752571843-128467 SLURM_JOB_ID= 9683874 Free space on /tmp= 429048 MiB SOLVER NAME= OR-Tools CP-SAT 9.14.2 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/satellite/normalized-satellite02ac_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-4529556-1752571900/watcher-4529556-1752571900 -o /tmp/evaluation-result-4529556-1752571900/solver-4529556-1752571900 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752571843-128467 --watchdog 3760 cp_sat_runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:375222618 --competition_mode --input HOME/instance-4529556-1752571900.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 022d1494f6130b0a4572cc40f0203308 RANDOM SEED=375222618 nodeC005 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 : 3591.724 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.253 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.90 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.726 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.343 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.90 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 : 1197.688 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.90 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 : 1197.241 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.238 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.90 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.300 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.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129020904 kB MemAvailable: 129897312 kB Buffers: 12 kB Cached: 1668812 kB SwapCached: 244 kB Active: 381584 kB Inactive: 1386620 kB Active(anon): 80856 kB Inactive(anon): 39608 kB Active(file): 300728 kB Inactive(file): 1347012 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33002444 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 27012 kB Writeback: 0 kB AnonPages: 102240 kB Mapped: 110472 kB Shmem: 21084 kB KReclaimable: 136592 kB Slab: 225856 kB SReclaimable: 136592 kB SUnreclaim: 89264 kB KernelStack: 4000 kB PageTables: 3116 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 425912 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 38912 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429036 MiB End job on nodeC005 at 2025-07-15 11:32:06