Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OR-Tools CP-SAT 9.14 | SAT (TO) | -48 | 3600.18 | 1812.41 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
| MD5SUM | f240478745515edc7850a10c9aa5c21f |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -50 |
| Best CPU time to get the best result obtained on this benchmark | 1849.76 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1150 |
| Total number of constraints | 80035 |
| Number of constraints which are clauses | 80035 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1150 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1150 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1150 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.27/1.12 o 0 1.86/1.44 o -35 2.06/1.54 o -36 2.26/1.69 o -38 2.66/1.82 o -39 3.45/2.28 o -40 3.84/2.42 o -42 16.57/8.88 o -43 22.12/11.69 o -44 73.14/37.33 o -45 130.16/66.04 o -46 208.42/105.47 o -47 1286.93/648.31 o -48 3600.15/1812.40 s SATISFIABLE 3600.15/1812.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 3600.15/1812.40 v -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 3600.15/1812.40 v -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 3600.15/1812.40 v -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 3600.15/1812.40 v -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 3600.15/1812.40 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 3600.15/1812.40 v -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 3600.15/1812.40 v -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 3600.15/1812.40 v -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 3600.15/1812.40 v -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 3600.15/1812.40 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 3600.15/1812.40 v -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 3600.15/1812.40 v -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 3600.15/1812.40 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 3600.15/1812.40 v -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 3600.15/1812.40 v -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 3600.15/1812.40 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 3600.15/1812.40 v -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 3600.15/1812.40 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 3600.15/1812.40 v -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 3600.15/1812.40 v -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 3600.15/1812.40 v -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 3600.15/1812.40 v -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 3600.15/1812.40 v -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 3600.15/1812.40 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 3600.15/1812.40 v -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 3600.15/1812.40 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 3600.15/1812.40 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 3600.15/1812.40 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 3600.15/1812.40 v -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 3600.15/1812.40 v -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 3600.15/1812.40 v -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 3600.15/1812.40 v -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 3600.15/1812.40 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 3600.15/1812.40 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 3600.15/1812.40 v -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 3600.15/1812.40 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 3600.15/1812.40 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 3600.15/1812.40 v -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 3600.15/1812.40 v -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 3600.15/1812.40 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 3600.15/1812.40 v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 3600.15/1812.40 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 3600.15/1812.40 v x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 3600.15/1812.40 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 3600.15/1812.40 v -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 3600.15/1812.40 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 3600.15/1812.40 v -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 3600.15/1812.40 v -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 3600.15/1812.40 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 3600.15/1812.40 v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 3600.15/1812.40 v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 3600.15/1812.40 v -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 3600.15/1812.40 v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 3600.15/1812.40 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 3600.15/1812.40 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 3600.15/1812.40 v -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 3600.15/1812.40 v -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 3600.15/1812.40 v -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 3600.15/1812.40 v -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 3600.15/1812.40 v -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 3600.15/1812.40 v -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 3600.15/1812.40 v -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 3600.15/1812.40 v -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 3600.15/1812.40 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 3600.15/1812.40 v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 3600.15/1812.40 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 3600.15/1812.40 v -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 3600.15/1812.40 v -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 3600.15/1812.40 v -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 3600.15/1812.40 v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 3600.15/1812.40 v -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 3600.15/1812.40 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 3600.15/1812.40 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 3600.15/1812.40 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 3600.15/1812.40 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 3600.15/1812.40 v -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 3600.15/1812.40 v -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 3600.15/1812.40 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 3600.15/1812.40 v -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 3600.15/1812.40 v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 3600.15/1812.40 v -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 3600.15/1812.40 v -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 3600.15/1812.40 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 3600.15/1812.40 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 3600.15/1812.40 v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 3600.15/1812.40 v -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 3600.15/1812.40 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 3600.15/1812.40 v -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 3600.15/1812.40 v -x1149 -x1150
OK -48
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 (61884 MiB free)
memory of node 1: 64465 MiB (63939 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4484926-1751313715/watcher-4484926-1751313715 -o /tmp/evaluation-result-4484926-1751313715/solver-4484926-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52073 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40033737 --competition_mode --input HOME/instance-4484926-1751313715.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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=52112, runsolver pid=52105
[startup+0.100061 s]*
/proc/loadavg: 0.61 1.29 2.46 5/264 52133
/proc/meminfo: memFree=128785924/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=49852 memory=43912 CPUtime=0.09 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) R 52105 52112 52063 0 -1 4194304 11778 0 0 0 7 2 0 0 20 0 1 0 47049045 51048448 10978 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 12463 10978 1344 2102 0 10003 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49852 KiB
Current children cumulated memory: 43912 KiB
[startup+0.205387 s]*
/proc/loadavg: 0.61 1.29 2.46 5/264 52133
/proc/meminfo: memFree=128705156/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=64316 memory=57876 CPUtime=0.19 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) R 52105 52112 52063 0 -1 4194304 14637 0 0 0 17 2 0 0 20 0 1 0 47049045 65859584 14469 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 16079 14469 1472 2102 0 13619 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 64316 KiB
Current children cumulated memory: 57876 KiB
[startup+0.305342 s]*
/proc/loadavg: 0.61 1.29 2.46 6/264 52133
/proc/meminfo: memFree=128689216/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=70428 memory=64184 CPUtime=0.29 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) R 52105 52112 52063 0 -1 4194304 15146 0 0 0 27 2 0 0 20 0 1 0 47049045 72118272 16046 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 17607 16046 1504 2102 0 15147 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70428 KiB
Current children cumulated memory: 64184 KiB
[startup+0.70013 s]
/proc/loadavg: 0.61 1.29 2.46 7/267 52136
/proc/meminfo: memFree=128660420/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=88264 memory=80608 CPUtime=0.68 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) R 52105 52112 52063 0 -1 4194304 17959 0 0 0 65 3 0 0 20 0 1 0 47049045 90382336 20152 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 22066 20152 1824 2102 0 19606 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88264 KiB
Current children cumulated memory: 80608 KiB
[startup+1.50017 s]
/proc/loadavg: 0.61 1.29 2.46 8/271 52140
/proc/meminfo: memFree=128540904/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=115656 CPUtime=2.06 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 26231 0 0 0 201 5 0 0 20 0 3 0 47049045 241451008 28914 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 28914 2176 2102 0 39601 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=0 CPUtime=0.59 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 4762 0 0 0 58 1 0 0 20 0 3 0 47049134 241451008 28914 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=14432 CPUtime=0.57 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 3357 0 0 0 57 0 0 0 20 0 3 0 47049134 241451008 28914 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 2.06 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 115656 KiB
[startup+3.10531 s]
/proc/loadavg: 0.61 1.29 2.46 8/271 52140
/proc/meminfo: memFree=128467624/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=136836 CPUtime=5.25 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 35497 0 0 0 519 6 0 0 20 0 3 0 47049045 241451008 34209 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 34209 2176 2102 0 41957 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=14432 CPUtime=2.18 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 10025 0 0 0 217 1 0 0 20 0 3 0 47049134 241451008 34209 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=115656 CPUtime=2.18 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 7323 0 0 0 217 1 0 0 20 0 3 0 47049134 241451008 34209 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 5.25 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 136836 KiB
[startup+6.30018 s]
/proc/loadavg: 1.12 1.38 2.48 9/273 52142
/proc/meminfo: memFree=128307296/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=145540 CPUtime=11.6 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 41610 0 0 0 1153 7 0 0 20 0 3 0 47049045 241451008 36385 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 36385 2176 2102 0 41957 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=14432 CPUtime=5.35 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 14324 0 0 0 533 2 0 0 20 0 3 0 47049134 241451008 36385 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=17664 CPUtime=5.36 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 9097 0 0 0 535 1 0 0 20 0 3 0 47049134 241451008 36385 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 11.6 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 145540 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.51 2.52 9/273 52142
/proc/meminfo: memFree=128019352/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=155108 CPUtime=24.31 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 50888 0 0 0 2423 8 0 0 20 0 3 0 47049045 241451008 38777 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 38777 2176 2102 0 47920 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=7079170013609893396 CPUtime=11.68 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 18658 0 0 0 1166 2 0 0 20 0 3 0 47049134 241451008 38777 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=137220 CPUtime=11.73 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 14005 0 0 0 1171 2 0 0 20 0 3 0 47049134 241451008 38777 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 24.31 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 155108 KiB
[startup+25.5002 s]
/proc/loadavg: 3.05 1.81 2.60 8/271 52188
/proc/meminfo: memFree=127824036/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=155108 CPUtime=49.69 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 58281 0 0 0 4957 12 0 0 20 0 3 0 47049045 241451008 38777 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 38777 2176 2102 0 47920 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=155108 CPUtime=24.33 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 23351 0 0 0 2428 5 0 0 20 0 3 0 47049134 241451008 38777 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=-8183429198124390598 CPUtime=24.48 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 16661 0 0 0 2444 4 0 0 20 0 3 0 47049134 241451008 38777 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 49.69 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 155108 KiB
[startup+51.1057 s]
/proc/loadavg: 4.74 2.31 2.75 9/273 52190
/proc/meminfo: memFree=127207384/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=155236 CPUtime=100.56 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 74262 0 0 0 10042 14 0 0 20 0 3 0 47049045 241451008 38809 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 38809 2176 2102 0 47920 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=155108 CPUtime=49.65 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 31125 0 0 0 4960 5 0 0 20 0 3 0 47049134 241451008 38809 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=14432 CPUtime=49.99 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 24771 0 0 0 4995 4 0 0 20 0 3 0 47049134 241451008 38809 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 100.56 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 155236 KiB
[startup+102.3 s]
/proc/loadavg: 6.71 3.22 3.03 9/273 52192
/proc/meminfo: memFree=127189272/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=161380 CPUtime=202.27 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 84668 0 0 0 20209 18 0 0 20 0 3 0 47049045 241451008 40345 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 40345 2176 2102 0 49228 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=17664 CPUtime=100.32 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 39284 0 0 0 10025 7 0 0 20 0 3 0 47049134 241451008 40345 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=161380 CPUtime=101.01 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 26983 0 0 0 10095 6 0 0 20 0 3 0 47049134 241451008 40345 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 202.27 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 161380 KiB
[startup+162.3 s]
/proc/loadavg: 7.59 4.11 3.35 9/273 52194
/proc/meminfo: memFree=127032608/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=178916 CPUtime=321.44 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 89875 0 0 0 32120 24 0 0 20 0 3 0 47049045 241451008 44729 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 44729 2176 2102 0 52888 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=10624 CPUtime=159.68 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 43685 0 0 0 15958 10 0 0 20 0 3 0 47049134 241451008 44729 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=176484 CPUtime=160.8 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 27755 0 0 0 16073 7 0 0 20 0 3 0 47049134 241451008 44729 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 321.44 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 178916 KiB
[startup+222.3 s]
/proc/loadavg: 7.92 4.83 3.65 9/274 52203
/proc/meminfo: memFree=126928576/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=235792 memory=188644 CPUtime=440.61 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 96616 0 0 0 44034 27 0 0 20 0 3 0 47049045 241451008 47161 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 58948 47161 2176 2102 0 55388 0
[pid=52112/tid=52139] ppid=52105 vsize=235792 memory=14432 CPUtime=219.05 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 50021 0 0 0 21892 13 0 0 20 0 3 0 47049134 241451008 47161 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=235792 memory=14432 CPUtime=220.58 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 28152 0 0 0 22051 7 0 0 20 0 3 0 47049134 241451008 47161 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 440.61 s
Current children cumulated vsize: 235792 KiB
Current children cumulated memory: 188644 KiB
################
# More data... #
################
Current children cumulated memory: 238820 KiB
[startup+1302.3 s]
/proc/loadavg: 8.14 8.04 6.76 9/271 52251
/proc/meminfo: memFree=126422644/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=242148 CPUtime=2586.5 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 187937 0 0 0 258576 74 0 0 20 0 3 0 47049045 308559872 60537 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 60537 2176 2102 0 68156 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=240612 CPUtime=1288.31 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 139198 0 0 0 128798 33 0 0 20 0 3 0 47049134 308559872 60537 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=242148 CPUtime=1296.84 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30162 0 0 0 129665 19 0 0 20 0 3 0 47049134 308559872 60537 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 2586.5 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 242148 KiB
[startup+1362.3 s]
/proc/loadavg: 8.11 8.05 6.85 9/271 52253
/proc/meminfo: memFree=126421492/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=242788 CPUtime=2705.75 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 188136 0 0 0 270500 75 0 0 20 0 3 0 47049045 308559872 60697 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 60697 2176 2102 0 68322 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=240612 CPUtime=1347.74 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 139397 0 0 0 134740 34 0 0 20 0 3 0 47049134 308559872 60697 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=242148 CPUtime=1356.65 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30162 0 0 0 135646 19 0 0 20 0 3 0 47049134 308559872 60697 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 2705.75 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 242788 KiB
[startup+1422.3 s]
/proc/loadavg: 8.09 8.05 6.93 9/271 52262
/proc/meminfo: memFree=126394956/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=242788 CPUtime=2825.01 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 188139 0 0 0 282424 77 0 0 20 0 3 0 47049045 308559872 60697 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 60697 2176 2102 0 68322 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=240612 CPUtime=1407.17 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 139397 0 0 0 140683 34 0 0 20 0 3 0 47049134 308559872 60697 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=242148 CPUtime=1416.46 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30164 0 0 0 141626 20 0 0 20 0 3 0 47049134 308559872 60697 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 2825.01 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 242788 KiB
[startup+1482.3 s]
/proc/loadavg: 8.07 8.06 7.00 9/272 52265
/proc/meminfo: memFree=126420988/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=243428 CPUtime=2944.26 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 188306 0 0 0 294347 79 0 0 20 0 3 0 47049045 308559872 60857 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 60857 2176 2102 0 68490 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=243428 CPUtime=1466.59 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 139564 0 0 0 146625 34 0 0 20 0 3 0 47049134 308559872 60857 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=243428 CPUtime=1476.27 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30164 0 0 0 147606 21 0 0 20 0 3 0 47049134 308559872 60857 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 2944.26 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 243428 KiB
[startup+1542.3 s]
/proc/loadavg: 8.28 8.11 7.09 9/273 52268
/proc/meminfo: memFree=126421020/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=245092 CPUtime=3063.52 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 189133 0 0 0 306271 81 0 0 20 0 3 0 47049045 308559872 61273 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 61273 2176 2102 0 68973 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=245092 CPUtime=1526.02 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 140376 0 0 0 152567 35 0 0 20 0 3 0 47049134 308559872 61273 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=4252 CPUtime=1536.08 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30175 0 0 0 153587 21 0 0 20 0 3 0 47049134 308559872 61273 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 3063.52 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 245092 KiB
[startup+1602.3 s]
/proc/loadavg: 8.29 8.16 7.17 9/273 52270
/proc/meminfo: memFree=126390220/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=246244 CPUtime=3182.75 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 189441 0 0 0 318193 82 0 0 20 0 3 0 47049045 308559872 61561 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 61561 2176 2102 0 69268 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=245092 CPUtime=1585.43 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 140681 0 0 0 158508 35 0 0 20 0 3 0 47049134 308559872 61561 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=246244 CPUtime=1595.89 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30175 0 0 0 159567 22 0 0 20 0 3 0 47049134 308559872 61561 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 3182.75 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 246244 KiB
[startup+1662.3 s]
/proc/loadavg: 8.20 8.16 7.24 9/273 52272
/proc/meminfo: memFree=126373388/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=248292 CPUtime=3301.95 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 189957 0 0 0 330111 84 0 0 20 0 3 0 47049045 308559872 62073 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 62073 2176 2102 0 69761 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=246244 CPUtime=1644.85 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 141197 0 0 0 164450 35 0 0 20 0 3 0 47049134 308559872 62073 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=246244 CPUtime=1655.64 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30175 0 0 0 165542 22 0 0 20 0 3 0 47049134 308559872 62073 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 3301.95 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 248292 KiB
[startup+1722.3 s]
/proc/loadavg: 8.20 8.16 7.30 9/273 52274
/proc/meminfo: memFree=126397996/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=248292 CPUtime=3421.15 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 190280 0 0 0 342029 86 0 0 20 0 3 0 47049045 308559872 62073 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 62073 2176 2102 0 69761 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=246244 CPUtime=1704.25 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 141505 0 0 0 170390 35 0 0 20 0 3 0 47049134 308559872 62073 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=248292 CPUtime=1715.41 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30187 0 0 0 171518 23 0 0 20 0 3 0 47049134 308559872 62073 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 3421.15 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 248292 KiB
[startup+1782.3 s]
/proc/loadavg: 8.18 8.16 7.36 9/272 52278
/proc/meminfo: memFree=126416544/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=249060 CPUtime=3540.35 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 190595 0 0 0 353947 88 0 0 20 0 3 0 47049045 308559872 62265 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 62265 2176 2102 0 69959 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=249060 CPUtime=1763.68 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 141814 0 0 0 176332 36 0 0 20 0 3 0 47049134 308559872 62265 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=14432 CPUtime=1775.18 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30193 0 0 0 177494 24 0 0 20 0 3 0 47049134 308559872 62265 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 3540.35 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 249060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.4 s]
/proc/loadavg: 8.11 8.14 7.38 9/272 52279
/proc/meminfo: memFree=126420416/131250000 swapFree=33010684/33010684
[pid=52112] ppid=52105 vsize=301328 memory=249060 CPUtime=3600.15 cores=0,2
/proc/52112/stat : 52112 (cp-sat-runner) S 52105 52112 52063 0 -1 4194304 190595 0 0 0 359927 88 0 0 20 0 3 0 47049045 308559872 62265 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
/proc/52112/statm: 75332 62265 2176 2102 0 69959 0
[pid=52112/tid=52139] ppid=52105 vsize=301328 memory=249060 CPUtime=1793.5 cores=0,2
/proc/52112/task/52139/stat : 52139 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 141814 0 0 0 179314 36 0 0 20 0 3 0 47049134 308559872 62265 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
[pid=52112/tid=52140] ppid=52105 vsize=301328 memory=17592 CPUtime=1805.16 cores=0,2
/proc/52112/task/52140/stat : 52140 (cp-sat-runner) R 52105 52112 52063 0 -1 4194368 30193 0 0 0 180492 24 0 0 20 0 3 0 47049134 308559872 62265 18446744073709551615 4198400 12805993 140733631466672 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 26595328 140733631469850 140733631470053 140733631470053 140733631475655 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 301328 KiB
Current children cumulated memory: 249060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1812.41 s]
# the end of solver process 52112 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.29 s, system=0.891425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1812.41
CPU time (s): 3600.18
CPU user time (s): 3599.29
CPU system time (s): 0.891425
CPU usage (%): 198.641
Max. virtual memory (cumulated for all children) (KiB): 301328
Max. memory (cumulated for all children) (KiB): 249060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.29
system time used= 0.891425
maximum resident set size= 249188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190600
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= 26093
involuntary context switches= 112320
# summary of solver processes directly reported to runsolver:
# pid: 52112
# total CPU time (s): 3600.18
# total CPU user time (s): 3599.29
# total CPU system time (s): 0.891425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.33967 second user time and 8.71713 second system time
The end
Begin job on nodeC016 at 2025-06-30 22:01:55 IDJOB=4484926 IDBENCH=146676 IDSOLVER=3320 FILE ID=nodeC016/4484926-1751313715 RUNJOBID= nodeC016-1751313715-52073 SLURM_JOB_ID= 9594315 Free space on /tmp= 433060 MiB SOLVER NAME= OR-Tools CP-SAT 9.14 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb 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 --file-size-limit 102400 -w /tmp/evaluation-result-4484926-1751313715/watcher-4484926-1751313715 -o /tmp/evaluation-result-4484926-1751313715/solver-4484926-1751313715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751313715-52073 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:40033737 --competition_mode --input HOME/instance-4484926-1751313715.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f240478745515edc7850a10c9aa5c21f RANDOM SEED=40033737 nodeC016 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.598 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.48 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 : 3600.493 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.48 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 : 3600.363 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.48 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 : 1918.934 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.48 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.725 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.48 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 : 2324.260 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.48 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.434 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.48 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 : 1855.877 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128863884 kB MemAvailable: 129748176 kB Buffers: 3280 kB Cached: 1687524 kB SwapCached: 0 kB Active: 351220 kB Inactive: 1417312 kB Active(anon): 95856 kB Inactive(anon): 0 kB Active(file): 255364 kB Inactive(file): 1417312 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 18420 kB Writeback: 8 kB AnonPages: 81044 kB Mapped: 102996 kB Shmem: 18072 kB KReclaimable: 101712 kB Slab: 189848 kB SReclaimable: 101712 kB SUnreclaim: 88136 kB KernelStack: 3972 kB PageTables: 2688 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 343080 kB VmallocTotal: 34359738367 kB VmallocUsed: 150360 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC016 at 2025-06-30 22:32:08