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.15 | 1814.55 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo |
| MD5SUM | dc0c1b337d286273cd261e7868deb02f |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best cost obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.06023 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1089 |
| Total number of constraints | 40843 |
| Number of soft constraints | 40810 |
| Number of constraints which are clauses | 40810 |
| Number of constraints which are cardinality constraints (but not clauses) | 33 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 33 |
| Top cost | 1 |
| Min constraint cost | 1 |
| Max constraint cost | 1 |
| Sum of constraints costs | 40810 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 34 |
| 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 |
1.45/1.40 o 402 1.45/1.49 o 221 3.04/2.27 o 135 3.83/2.62 o 21 5.02/3.20 o 20 7.60/4.52 o 19 8.80/5.14 o 17 8.80/5.16 o 13 9.39/5.43 o 12 9.39/5.44 o 11 9.39/5.45 o 10 9.39/5.49 o 9 10.18/5.82 o 7 15.68/8.62 o 6 17.85/9.74 o 5 28.65/15.29 o 4 37.87/19.96 o 3 781.19/394.95 o 2 3600.09/1814.50 s SATISFIABLE 3600.09/1814.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 3600.09/1814.50 v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 3600.09/1814.50 v -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 3600.09/1814.50 v -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 3600.09/1814.50 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 3600.09/1814.50 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 3600.09/1814.50 v -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 3600.09/1814.50 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 3600.09/1814.50 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 3600.09/1814.50 v -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 3600.09/1814.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 3600.09/1814.50 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 3600.09/1814.50 v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 3600.09/1814.50 v -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 3600.09/1814.50 v -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 3600.09/1814.50 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 3600.09/1814.50 v -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 3600.09/1814.50 v -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 3600.09/1814.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 3600.09/1814.50 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 3600.09/1814.50 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 3600.09/1814.50 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 3600.09/1814.50 v -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 3600.09/1814.50 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 3600.09/1814.50 v -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 3600.09/1814.50 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 3600.09/1814.50 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 3600.09/1814.50 v -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 3600.09/1814.50 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 3600.09/1814.50 v -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 3600.09/1814.50 v -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 3600.09/1814.50 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 3600.09/1814.50 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 3600.09/1814.50 v -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 3600.09/1814.50 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 3600.09/1814.50 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 3600.09/1814.50 v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 3600.09/1814.50 v -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 3600.09/1814.50 v -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 3600.09/1814.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 3600.09/1814.50 v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 3600.09/1814.50 v -x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 3600.09/1814.50 v -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 3600.09/1814.50 v -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 3600.09/1814.50 v -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 3600.09/1814.50 v -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 3600.09/1814.50 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 3600.09/1814.50 v -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 3600.09/1814.50 v -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 3600.09/1814.50 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 3600.09/1814.50 v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 3600.09/1814.50 v x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 3600.09/1814.50 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 3600.09/1814.50 v -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 3600.09/1814.50 v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 3600.09/1814.50 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 3600.09/1814.50 v -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 3600.09/1814.50 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 3600.09/1814.50 v -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 3600.09/1814.50 v -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 3600.09/1814.50 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 3600.09/1814.50 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 3600.09/1814.50 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 3600.09/1814.50 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 3600.09/1814.50 v -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 3600.09/1814.50 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 3600.09/1814.50 v -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 3600.09/1814.50 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 3600.09/1814.50 v -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 3600.09/1814.50 v -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 3600.09/1814.50 v -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 3600.09/1814.50 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 3600.09/1814.50 v -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 3600.09/1814.50 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 3600.09/1814.50 v -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 3600.09/1814.50 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 3600.09/1814.50 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 3600.09/1814.50 v -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 3600.09/1814.50 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 3600.09/1814.50 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 3600.09/1814.50 v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 3600.09/1814.50 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 3600.09/1814.50 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 3600.09/1814.50 v -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089
FAILED ERROR: cost 1 exceeds topCost = 1
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: 63708 MiB (62494 MiB free)
memory of node 1: 64465 MiB (63358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525863-1751625562/watcher-4525863-1751625562 -o /tmp/evaluation-result-4525863-1751625562/solver-4525863-1751625562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89349 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1885463146 --competition_mode --input HOME/instance-4525863-1751625562.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=89694, runsolver pid=89691
[startup+0.100064 s]*
/proc/loadavg: 1.44 1.89 2.95 7/269 89695
/proc/meminfo: memFree=128828824/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=51848 memory=45064 CPUtime=0.09 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) R 89691 89694 89339 0 -1 4194304 11220 0 0 0 8 1 0 0 20 0 1 0 78234041 53092352 11266 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 12962 11266 1408 2102 0 10502 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51848 KiB
Current children cumulated memory: 45064 KiB
[startup+0.205757 s]*
/proc/loadavg: 1.44 1.89 2.95 7/269 89695
/proc/meminfo: memFree=128804504/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=57568 memory=50184 CPUtime=0.2 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) R 89691 89694 89339 0 -1 4194304 12415 0 0 0 18 2 0 0 20 0 1 0 78234041 58949632 12546 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 14392 12546 1504 2102 0 11932 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57568 KiB
Current children cumulated memory: 50184 KiB
[startup+0.305831 s]*
/proc/loadavg: 1.44 1.89 2.95 7/269 89695
/proc/meminfo: memFree=128752276/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=75820 memory=68352 CPUtime=0.3 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) R 89691 89694 89339 0 -1 4194304 17864 0 0 0 28 2 0 0 20 0 1 0 78234041 77639680 17088 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 18955 17088 1600 2102 0 16495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75820 KiB
Current children cumulated memory: 68352 KiB
[startup+0.700206 s]
/proc/loadavg: 1.44 1.89 2.95 7/269 89695
/proc/meminfo: memFree=128611532/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=83896 memory=78936 CPUtime=0.69 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) R 89691 89694 89339 0 -1 4194304 27977 0 0 0 65 4 0 0 20 0 1 0 78234041 85909504 19734 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 20974 19734 1888 2102 0 18514 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 83896 KiB
Current children cumulated memory: 78936 KiB
[startup+1.50021 s]
/proc/loadavg: 1.44 1.89 2.95 7/269 89695
/proc/meminfo: memFree=128599712/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=355680 memory=229700 CPUtime=1.65 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 63493 0 0 0 154 11 0 0 20 0 3 0 78234041 364216320 57425 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 88920 57425 2176 2102 0 72308 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 355680 KiB
Current children cumulated memory: 229700 KiB
[startup+3.1056 s]
/proc/loadavg: 1.88 1.97 2.97 8/271 89697
/proc/meminfo: memFree=128334104/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=554672 memory=413212 CPUtime=4.83 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 126352 0 0 0 463 20 0 0 20 0 3 0 78234041 567984128 103303 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 138668 103303 2176 2102 0 113666 0
[pid=89694/tid=89696] ppid=89691 vsize=554672 memory=0 CPUtime=1.64 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 64334 0 0 0 156 8 0 0 20 0 3 0 78234173 567984128 103303 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=554672 memory=399500 CPUtime=1.74 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 27273 0 0 0 168 6 0 0 20 0 3 0 78234173 567984128 103303 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 4.83 s
Current children cumulated vsize: 554672 KiB
Current children cumulated memory: 413212 KiB
[startup+6.30022 s]
/proc/loadavg: 1.88 1.97 2.97 7/267 89697
/proc/meminfo: memFree=128396372/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=510292 memory=400700 CPUtime=11.16 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 176590 0 0 0 1090 26 0 0 20 0 3 0 78234041 522539008 100175 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 127573 100175 2176 2102 0 106984 0
[pid=89694/tid=89696] ppid=89691 vsize=510292 memory=0 CPUtime=4.81 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 90144 0 0 0 472 9 0 0 20 0 3 0 78234173 522539008 100175 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=510292 memory=392636 CPUtime=4.91 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 51653 0 0 0 480 11 0 0 20 0 3 0 78234173 522539008 100175 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 11.16 s
Current children cumulated vsize: 510292 KiB
Current children cumulated memory: 400700 KiB
[startup+12.7002 s]
/proc/loadavg: 2.60 2.12 3.01 6/266 89873
/proc/meminfo: memFree=128343388/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=510292 memory=420756 CPUtime=23.76 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 238310 0 0 0 2339 37 0 0 20 0 3 0 78234041 522539008 105189 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 127573 105189 2176 2102 0 111802 0
[pid=89694/tid=89696] ppid=89691 vsize=510292 memory=418704 CPUtime=11.04 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 106773 0 0 0 1092 12 0 0 20 0 3 0 78234173 522539008 105189 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=510292 memory=420756 CPUtime=11.14 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 96026 0 0 0 1095 19 0 0 20 0 3 0 78234173 522539008 105189 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 23.76 s
Current children cumulated vsize: 510292 KiB
Current children cumulated memory: 420756 KiB
[startup+25.5003 s]
/proc/loadavg: 3.13 2.25 3.04 8/270 90277
/proc/meminfo: memFree=127216504/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=510292 memory=430484 CPUtime=48.75 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 266774 0 0 0 4811 64 0 0 20 0 3 0 78234041 522539008 107621 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 127573 107621 2176 2102 0 114619 0
[pid=89694/tid=89696] ppid=89691 vsize=510292 memory=33 CPUtime=23.67 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 111818 0 0 0 2351 16 0 0 20 0 3 0 78234173 522539008 107621 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=510292 memory=-8183433557431849918 CPUtime=23.5 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 119400 0 0 0 2308 42 0 0 20 0 3 0 78234173 522539008 107621 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 48.75 s
Current children cumulated vsize: 510292 KiB
Current children cumulated memory: 430484 KiB
[startup+51.1058 s]
/proc/loadavg: 4.73 2.70 3.17 9/273 90404
/proc/meminfo: memFree=126119992/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=534696 memory=467076 CPUtime=99.48 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 322866 0 0 0 9874 74 0 0 20 0 3 0 78234041 547528704 116769 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 133674 116769 2176 2102 0 123447 0
[pid=89694/tid=89696] ppid=89691 vsize=534696 memory=460516 CPUtime=49.09 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 142461 0 0 0 4889 20 0 0 20 0 3 0 78234173 547528704 116769 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=534696 memory=460516 CPUtime=48.74 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 144804 0 0 0 4827 47 0 0 20 0 3 0 78234173 547528704 116769 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 99.48 s
Current children cumulated vsize: 534696 KiB
Current children cumulated memory: 467076 KiB
[startup+102.3 s]
/proc/loadavg: 6.81 3.62 3.46 9/275 90501
/proc/meminfo: memFree=126380656/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=534696 memory=475012 CPUtime=200.95 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 402812 0 0 0 20006 89 0 0 20 0 3 0 78234041 547528704 118753 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 133674 118753 2176 2102 0 125401 0
[pid=89694/tid=89696] ppid=89691 vsize=534696 memory=14156 CPUtime=99.62 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 161956 0 0 0 9936 26 0 0 20 0 3 0 78234173 547528704 118753 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=534696 memory=14156 CPUtime=99.66 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 205147 0 0 0 9911 55 0 0 20 0 3 0 78234173 547528704 118753 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 200.95 s
Current children cumulated vsize: 534696 KiB
Current children cumulated memory: 475012 KiB
[startup+162.3 s]
/proc/loadavg: 7.62 4.44 3.75 9/275 90503
/proc/meminfo: memFree=125943052/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=665768 memory=569308 CPUtime=319.96 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 479368 0 0 0 31874 122 0 0 20 0 3 0 78234041 681746432 142327 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 166442 142327 2176 2102 0 148990 0
[pid=89694/tid=89696] ppid=89691 vsize=665768 memory=489220 CPUtime=158.86 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 223875 0 0 0 15828 58 0 0 20 0 3 0 78234173 681746432 142327 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=665768 memory=14156 CPUtime=159.42 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 219757 0 0 0 15885 57 0 0 20 0 3 0 78234173 681746432 142327 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 319.96 s
Current children cumulated vsize: 665768 KiB
Current children cumulated memory: 569308 KiB
[startup+222.3 s]
/proc/loadavg: 7.79 5.06 4.01 9/275 90739
/proc/meminfo: memFree=124939348/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=731304 memory=650440 CPUtime=438.81 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 552807 0 0 0 43731 150 0 0 20 0 3 0 78234041 748855296 162610 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 182826 162610 2176 2102 0 169280 0
[pid=89694/tid=89696] ppid=89691 vsize=731304 memory=10624 CPUtime=218.01 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 284315 0 0 0 21723 78 0 0 20 0 3 0 78234173 748855296 162610 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=731304 memory=5632 CPUtime=219.09 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 232723 0 0 0 21846 63 0 0 20 0 3 0 78234173 748855296 162610 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 438.81 s
Current children cumulated vsize: 731304 KiB
Current children cumulated memory: 650440 KiB
[startup+282.3 s]
/proc/loadavg: 8.02 5.63 4.27 9/274 90741
/proc/meminfo: memFree=124869416/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=731304 memory=678088 CPUtime=557.82 cores=0,2
################
# More data... #
################
Current children cumulated memory: 1675332 KiB
[startup+1362.3 s]
/proc/loadavg: 8.11 8.03 6.93 9/272 91369
/proc/meminfo: memFree=124224536/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1675332 CPUtime=2701.84 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2303114 0 0 0 269750 434 0 0 20 0 3 0 78234041 1839382528 418833 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 418833 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=5632 CPUtime=1345.96 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1840023 0 0 0 134291 305 0 0 20 0 3 0 78234173 1839382528 418833 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1675332 CPUtime=1353.3 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 426736 0 0 0 135225 105 0 0 20 0 3 0 78234173 1839382528 418833 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 2701.84 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1675332 KiB
[startup+1422.3 s]
/proc/loadavg: 8.09 8.04 7.01 9/272 91371
/proc/meminfo: memFree=124216136/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1675588 CPUtime=2820.94 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2380994 0 0 0 281651 443 0 0 20 0 3 0 78234041 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 418897 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=5632 CPUtime=1405.24 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1892687 0 0 0 140214 310 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1675332 CPUtime=1412.85 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 451906 0 0 0 141177 108 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 2820.94 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1675588 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 8.04 7.08 9/273 91374
/proc/meminfo: memFree=124206948/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1675588 CPUtime=2940.09 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2407689 0 0 0 293563 446 0 0 20 0 3 0 78234041 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 418897 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=14156 CPUtime=1464.63 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1911913 0 0 0 146152 311 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1472.59 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 459352 0 0 0 147150 109 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 2940.09 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1675588 KiB
[startup+1542.3 s]
/proc/loadavg: 8.09 8.05 7.14 9/273 91376
/proc/meminfo: memFree=124273932/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1675588 CPUtime=3059.26 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2430187 0 0 0 305476 450 0 0 20 0 3 0 78234041 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 418897 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1523.99 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1920365 0 0 0 152087 312 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1532.31 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 473357 0 0 0 153120 111 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3059.26 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1675588 KiB
[startup+1602.3 s]
/proc/loadavg: 8.07 8.05 7.21 9/273 91378
/proc/meminfo: memFree=124219048/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1675588 CPUtime=3178.47 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2447211 0 0 0 317394 453 0 0 20 0 3 0 78234041 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 418897 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1583.39 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1923841 0 0 0 158025 314 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1592.11 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 486866 0 0 0 159098 113 0 0 20 0 3 0 78234173 1839382528 418897 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3178.47 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1675588 KiB
[startup+1662.3 s]
/proc/loadavg: 8.06 8.05 7.26 9/273 91380
/proc/meminfo: memFree=124262840/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1677692 CPUtime=3297.71 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2480396 0 0 0 329314 457 0 0 20 0 3 0 78234041 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 419423 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1642.8 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1949571 0 0 0 163965 315 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1651.89 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 494298 0 0 0 165074 115 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3297.71 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1677692 KiB
[startup+1722.3 s]
/proc/loadavg: 8.06 8.06 7.32 9/272 91382
/proc/meminfo: memFree=124180032/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1677692 CPUtime=3416.93 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2507886 0 0 0 341232 461 0 0 20 0 3 0 78234041 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 419423 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1675588 CPUtime=1702.21 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1963838 0 0 0 169905 316 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1711.66 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 507477 0 0 0 171049 117 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3416.93 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1677692 KiB
[startup+1782.3 s]
/proc/loadavg: 8.13 8.07 7.37 9/272 91386
/proc/meminfo: memFree=124131224/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1677692 CPUtime=3536.12 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2523455 0 0 0 353148 464 0 0 20 0 3 0 78234041 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 419423 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1761.69 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1971544 0 0 0 175852 317 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1771.34 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 515319 0 0 0 177016 118 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3536.12 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1677692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.5 s]
/proc/loadavg: 8.08 8.07 7.40 9/270 91386
/proc/meminfo: memFree=124092924/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1677692 CPUtime=3600.09 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2535556 0 0 0 359543 466 0 0 20 0 3 0 78234041 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 419423 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1793.78 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1976579 0 0 0 179061 317 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1803.2 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 522368 0 0 0 180201 119 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1677692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1814.55 s]
# the end of solver process 89694 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.44 s, system=4.70567 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1814.5 s]
/proc/loadavg: 8.08 8.07 7.40 9/270 91386
/proc/meminfo: memFree=124092924/131249996 swapFree=33000896/33010684
[pid=89694] ppid=89691 vsize=1796272 memory=1677692 CPUtime=3600.09 cores=0,2
/proc/89694/stat : 89694 (cp-sat-runner) S 89691 89694 89339 0 -1 4194304 2535556 0 0 0 359543 466 0 0 20 0 3 0 78234041 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
/proc/89694/statm: 449068 419423 2176 2102 0 439827 0
[pid=89694/tid=89696] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1793.78 cores=0,2
/proc/89694/task/89696/stat : 89696 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 1976579 0 0 0 179061 317 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
[pid=89694/tid=89697] ppid=89691 vsize=1796272 memory=1677692 CPUtime=1803.2 cores=0,2
/proc/89694/task/89697/stat : 89697 (cp-sat-runner) R 89691 89694 89339 0 -1 4194368 522368 0 0 0 180201 119 0 0 20 0 3 0 78234173 1839382528 419423 18446744073709551615 4198400 12805993 140735147484176 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 33607680 140735147485462 140735147485667 140735147485667 140735147491271 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1796272 KiB
Current children cumulated memory: 1677692 KiB
Child status: 0
Real time (s): 1814.55
CPU time (s): 3600.15
CPU user time (s): 3595.44
CPU system time (s): 4.70567
CPU usage (%): 198.405
Max. virtual memory (cumulated for all children) (KiB): 1796272
Max. memory (cumulated for all children) (KiB): 1677692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.44
system time used= 4.70567
maximum resident set size= 1732680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2535565
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= 22239
involuntary context switches= 183367
# summary of solver processes directly reported to runsolver:
# pid: 89694
# total CPU time (s): 3600.15
# total CPU user time (s): 3595.44
# total CPU system time (s): 4.70567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.75588 second user time and 8.92678 second system time
The end
Begin job on nodeC023 at 2025-07-04 12:39:22 IDJOB=4525863 IDBENCH=143903 IDSOLVER=3378 FILE ID=nodeC023/4525863-1751625562 RUNJOBID= nodeC023-1751625557-89349 SLURM_JOB_ID= 9598950 Free space on /tmp= 431824 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-langford-3-11_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-4525863-1751625562/watcher-4525863-1751625562 -o /tmp/evaluation-result-4525863-1751625562/solver-4525863-1751625562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751625557-89349 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1885463146 --competition_mode --input HOME/instance-4525863-1751625562.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= dc0c1b337d286273cd261e7868deb02f RANDOM SEED=1885463146 nodeC023 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 : 3599.069 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.78 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 : 3599.894 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.78 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.695 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.78 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.885 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.78 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 : 3599.926 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.78 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 : 3599.909 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.78 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 : 3599.855 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.78 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.883 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128872712 kB MemAvailable: 128700052 kB Buffers: 16 kB Cached: 570112 kB SwapCached: 2904 kB Active: 1166348 kB Inactive: 426608 kB Active(anon): 981996 kB Inactive(anon): 53364 kB Active(file): 184352 kB Inactive(file): 373244 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33000896 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56528 kB Writeback: 0 kB AnonPages: 1023632 kB Mapped: 121952 kB Shmem: 12532 kB KReclaimable: 217968 kB Slab: 309788 kB SReclaimable: 217968 kB SUnreclaim: 91820 kB KernelStack: 4372 kB PageTables: 4916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1474608 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 182272 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431808 MiB End job on nodeC023 at 2025-07-04 13:09:37